IXThinker·2026-07-01 13:10

靜園青年講座探討Tarski不動點查詢複雜度

塔斯基不動點定理廣泛應用於驗證、語義學、博弈論與經濟學。有海外學者將主持專題報告，探討其在格上單調函數中求最小與最大不動點的查詢複雜度，結合組合結構與計算複雜度工具，並討論分佈式計算及博弈論的應用。

不動點與查詢複雜度

報告聚焦塔斯基不動點問題的查詢複雜度，即在不直接讀取全部信息的前提下，以最少的查詢次數求出格上單調函數的最小或最大不動點。報告將系統分析該問題在確定性與隨機化模型下的查詢下界。