聖塔非研究所

切換映射系統的計算:非線性和計算複雜性

2026-03-18 · 工作論文 · 更新 2026/03/18 下午06:35

摘要 研究了基於動力系統的計算模型。我們展示了非線性映射的計算能力。存在一個具有兩種類型的麵包師映射的切換映射系統來模擬任何圖靈機。以具有二階非線性的非雙曲映射(例如,Hénon映射)作為基本運算,切換映射系統成為執行類似MRAM的平行計算的有效模擬計算機。我們的結果表明,使用類似高斯圖的整數除法圖,它具有 PSPACE 運算能力。如果沒有這個,我們推測它的運算能力介於 RP …

本頁只刊出中文翻譯與中文說明;英文原文請見下方原文連結。

原文連結

論文資訊

  • 類型:工作論文
  • 編號:工作論文 #754
  • 日期:2026-03-18

摘要

研究了基於動力系統的計算模型。我們展示了非線性映射的計算能力。存在一個具有兩種類型的麵包師映射的切換映射系統來模擬任何圖靈機。以具有二階非線性的非雙曲映射(例如,Hénon映射)作為基本運算,切換映射系統成為執行類似MRAM的平行計算的有效模擬計算機。我們的結果表明,使用類似高斯圖的整數除法圖,它具有 PSPACE 運算能力。如果沒有這個,我們推測它的運算能力介於 RP 類別和 PSPACE 類別之間。該系統的不穩定計算意味著計算穩定性和計算能力之間存在權衡原則。