[论文解读] A Survey on Analog Models of Computation

Olivier Bournez, Amaury Pouly|arXiv (Cornell University)|May 14, 2018

Computability, Logic, AI Algorithms被引用 4

一句话总结

本综述对模拟计算模型进行了全面分析，重点关注由多项式常微分方程（ODE）定义的连续时间动力系统。它通过ODE建立了经典复杂度类（如P）的基础表征，表明多项式时间可计算函数可被此类系统的解轨迹精确捕捉，且收敛精度与解曲线的长度相关。

ABSTRACT

We present a survey on analog models of computations. Analog can be understood both as computing by analogy, or as working on the continuum. We consider both approaches, often intertwined, with a point of view mostly oriented by computation theory.

研究动机与目标

• 统一并综述在连续空间和时间上运行的模拟计算模型，强调其在计算理论中的理论基础。
• 阐明“模拟”一词的双重含义——作为类比计算或连续计算——突出其在历史与现代模型中的相互作用。
• 研究由多项式ODE控制的连续动力系统在捕捉经典复杂度类方面的计算能力。
• 通过基于长度的收敛准则，对多项式时间可计算函数（P）提供严格的表征。
• 通过展示可计算性与复杂性等概念可完全通过微分方程定义，弥合经典计算理论与分析之间的鸿沟。

提出的方法

• 将模拟计算建模为由流 φ: T × X → X 定义的动力系统，其中 T 是 ℝ 的子群（连续或离散时间），X 为空间（通常为 ℝⁿ 或 ℝⁿ×ℕᵏ）。
• 通过初值问题（IVP）y′ = f(y)，y(0) = x₀ 表示连续时间系统，其中 f 是具有有理系数的多项式向量。
• 将解曲线的长度 ℓ(t) = ∫₀ᵗ ||y′(s)|| ds 作为关键计算资源，将其与模拟计算中的精度和运行时间联系起来。
• 将输入（例如实数或二进制字符串）编码为初始条件，使用有理编码如 ψ(w) = Σ wᵢ2⁻ⁱ 表示二进制字符串。
• 通过指定输出分量 y₁(t) 定义接受：y₁ ≥ 1 表示接受，y₁ ≤ -1 表示拒绝，通过不变性条件确保稳定性。
• 引入 ||y′(t)|| ≥ 1 的下界，以防止病态的缓慢收敛，确保足够长的曲线长度对应于所需的计算精度。

实验结果

研究问题

• RQ1 经典复杂度类（如P）能否通过由多项式ODE定义的连续时间动力系统来表征？
• RQ2 解曲线的几何长度如何与模拟模型中的计算精度和运行时间相关联？
• RQ3 实数上的模拟计算在多大程度上能模拟经典数字计算，反之亦然？
• RQ4 具有有理系数的多项式ODE在捕捉可计算函数与多项式时间可判定性方面发挥何种作用？
• RQ5 ‘模拟’的双重解释——作为类比计算或连续计算——在计算模型的设计与分析中如何相互作用？

主要发现

• 当且仅当存在一组具有有理系数的多项式ODE，使得解轨迹的长度 ℓ(t) ≥ L(|w|) 时，语言 L ⊆ {0,1}* 属于 P，此时 y₁(t) ≥ 1（接受）或 y₁(t) ≤ -1（拒绝），且接受后输出保持稳定。
• 输出 y₁(t) 的精度随解曲线长度的增加而提高：若 ℓ(0,t) ≥ L(μ)，则 |f(x) - y₁(t)| ≤ e⁻ᵘ，表明更长的曲线产生更高的准确性。
• 条件 ||y′(t)|| ≥ 1 确保系统不会停滞，防止出现曲线长度过长但无意义计算的退化情况。
• 通过ODE对P的表征具有鲁棒性：通过将输入范数纳入长度函数 L，可将其扩展至多元函数和无界域。
• 该框架允许仅通过微分方程和几何度量（如曲线长度）对经典计算概念（如多项式时间可判定性）进行纯分析定义。
• 结果表明，多项式时间计算可完全通过仅依赖于有理系数多项式ODE的连续演化来捕捉，而无需离散步骤。