什麼是“連續配置關係”？
該術語在第 20 頁的密碼學基礎一書中用於定義確定性預言，但之前沒有定義，我似乎無法在網上輕鬆找到定義。
OK，我們先來看看上下文中這個詞的用法：
定義 1.3.8（Oracle 機器）：（確定性/機率性） 預言機是一個（確定性/機率性）圖靈機，帶有一個額外的磁帶，稱為預言機磁帶，以及兩個特殊狀態，稱為預言機呼叫和預言機出現。確定性預言機的計算 $ M $ 在輸入 $ x $ 並且可以訪問預言機 $ f:{0,1}^\to{0,1}^ $ 由 連續配置關係定義。對於狀態與 oracle 呼叫不同的配置，下一個配置照常定義。讓 $ \gamma $ 是一個配置，其中狀態是預言機呼叫，預言機磁帶的內容是 $ q $ . 然後配置如下 $ \gamma $ 等同於 $ \gamma $ ，除了狀態是oracle出現了，oracle磁帶的內容是 $ f(q) $ . 字元串 $ q $ 叫做 $ M $ 的查詢，和 $ f(q) $ 稱為oracle 回复。類似地定義機率預言機的計算。預言機的輸出分佈 $ M $ , 在輸入 $ x $ 並且可以訪問預言機 $ f $ , 表示 $ M^f(x) $ .
所以我們的上下文是：圖靈機！
現在如果我們看一下圖靈機的正式定義，我們會發現一個關係。 $ \delta:(Q\setminus F)\times\Gamma\to Q\times \Gamma\times{L,R} $ . 注意一個函式實際上只是一個關係。
上述函式定義了，當處於給定狀態並查看給定單元格內容時，應寫入哪個單元格內容，應進入何處以及應移動頭部的哪個方向。因此，這種關係定義了每個配置的連續配置。但是我猜想用於相關圖靈機的關係比“基本”圖靈機的關係要復雜一些（也考慮了特殊狀態和額外的磁帶）。