[论文解读] A topological view on algebraic computation models

Eike Neumann, Arno Pauly|arXiv (Cornell University)|Feb 25, 2016

Computability, Logic, AI Algorithms参考文献 31被引用 4

一句话总结

本文通过 Weihrauch 归约建立 BSS 计算模型与可计算分析之间的正式联系，表明对于可解复杂度指数（SCI）≥ 2 的函数，两种模型中的 SCI 完全相同。通过 Weihrauch 度刻画 BSS 机与分析机的计算能力，揭示了拓扑限制——尤其是不连续性——在两种框架中导致不可计算性的根源。

ABSTRACT

We investigate the topological aspects of some algebraic computation models, in particular the BSS-model. Our results can be seen as bounds on how different BSS-computability and computability in the sense of computable analysis can be. The framework for this is Weihrauch reducibility. As a consequence of our characterizations, we establish that the solvability complexity index is (mostly) independent of the computational model, and that there thus is common ground in the study of non-computability between the BSS and TTE setting.

研究动机与目标

• 研究代数计算模型中，特别是 BSS 模型，可计算性所受的拓扑约束。
• 通过分析其共享的不可计算性结构，比较 BSS 可计算性与可计算分析（TTE）之间的关系。
• 利用 Weihrauch 度刻画 BSS 机与分析机的计算能力。
• 证明当 SCI ≥ 2 时，可解复杂度指数（SCI）在两种模型间保持不变，从而在 BSS 与 TTE 框架之间建立共同基础。

提出的方法

• 使用 Weihrauch 归约作为框架，比较不同模型间的计算强度。
• 将具有等值与顺序测试的 BSS 机刻画为计算能力等价于 ℕ 上的闭选择（Cₙ）的函数。
• 表明不具顺序测试的 BSS 机由更弱的 LPO* 度刻画。
• 引入并分析分析机的 Weihrauch 度 Sort*，以捕捉其计算能力。
• 应用 Stone-Weierstrass 定理，通过有理多项式逼近 BSS 可计算函数，实现向 TTE 可计算性的转移。
• 利用极限算子的吸收性质（lim⋆lim⋆Sort ≡ lim⋆lim），在 SCI 比较中降低复杂度。

实验结果

研究问题

• RQ1 拓扑障碍——尤其是不连续性——在多大程度上限制了 BSS 可计算性？
• RQ2 在不同 BSS 变体中，不可计算性的代数与拓扑原因在多大程度上不同？
• RQ3 BSS 模型中的可解复杂度指数（SCI）与可计算分析（TTE）中的 SCI 之间存在何种关系？
• RQ4 BSS 机与分析机的计算能力是否能被 Weihrauch 度完全刻画？
• RQ5 当 SCI ≥ 2 时，是否存在一个统一框架来描述 BSS 与 TTE 模型中的不可计算性？

主要发现

• 对于 SCI ≥ 2 的函数，BSS 模型与 TTE 模型中的可解复杂度指数完全相同。
• 具有等值与顺序测试的 BSS 机恰好计算所有 Weihrauch 归约至 Cₙ（ℕ 上的闭选择）的函数。
• 不具顺序测试的 BSS 机由严格更弱的 LPO* 度刻画。
• 分析机由 Weihrauch 度 Sort* 刻画，该度准确捕捉了其通过逼近极限进行计算的能力。
• 由于拓扑原因，BSS 停机问题无法被任何仅使用连续操作的机器解决。
• 复合算子 lim⋆lim⋆Sort* 与 lim⋆lim Weihrauch 等价，从而可在 SCI 分析中降低高阶极限的复杂度。