[论文解读] Infinite Oracle Queries in Type-2 Machines (Extended Abstract)

Arno Pauly|ArXiv.org|Jul 20, 2009

Computability, Logic, AI Algorithms参考文献 12被引用 11

一句话总结

本文提出了可进行无限次数预言机查询的 Oracle-Type-2-Machines，将 Type-2 可计算性扩展至不连续函数，且在预言机可计算时未增加计算能力。该模型统一了 Type-2 与 BSS 机器，捕捉了 Weihrauch 归约关系，并将 Ziegler 的修正计算与 Type-2 非确定性等模型作为特例涵盖其中。

ABSTRACT

We define Oracle-Type-2-Machine capable of writing infinite oracle queries. In contrast to finite oracle queries, this extends the realm of oracle-computable functions into the discontinuous realm. Our definition is conservative; access to a computable oracle does not increase the computational power. Other models of real hypercomputation such as Ziegler's (finitely) revising computation or Type-2-Nondeterminism are shown to be special cases of Oracle-Type-2-Machines. Our approach offers an intuitive definition of the weakest machine model capable to simulate both Type-2-Machines and BSS machines.

研究动机与目标

• 开发一种机器模型，通过无限预言机查询将 Type-2 可计算性扩展至包含不连续函数。
• 确保对可计算预言机的访问不会使计算能力超过标准 Type-2 机器。
• 在单一框架下统一不同的实数超计算模型，如 BSS 机器与 Ziegler 的修正计算模型。
• 通过预言机访问建模归约关系，为 Weihrauch 度提供计算基础。
• 证明现有超计算模型（如 Type-2 非确定性与修正计算）是所提预言机模型的特例。

提出的方法

• 通过允许顶点向预言机发出无限查询，并在查询完成后处理结果，扩展标准 Type-2 机器模型。
• 定义具有无限磁带和超限计算步骤的配置，以支持对无限查询响应的处理。
• 引入支持无限查询及后续计算的转移关系，同时保持 Type-2 机器的结构。
• 使用 LPO（极限下确界算子）作为关键预言机，以模拟其他超计算模型，如修正计算与非确定性。
• 将预言机计算概念应用于定义一种统一模型，能够模拟 Type-2 与 BSS 机器。
• 采用 Weihrauch 归约作为分析函数不可计算度与不连续度的框架。

实验结果

研究问题

• RQ1 能否构建一种支持无限预言机查询的机器模型，且在预言机可计算时保持对 Type-2 机器的保守性？
• RQ2 如何在统一的机器模型中通过预言机计算实现 Weihrauch 归约？
• RQ3 现有实数超计算模型（如 Ziegler 的有限修正计算与 Type-2 非确定性）是否为更一般预言机机器模型的特例？
• RQ4 能够进行无限查询的机器的计算能力如何？当预言机可计算时，其计算能力是否超过标准 Type-2 可计算性？
• RQ5 该框架能否用于分析纳什均衡或动力系统稳定性的不连续度？

主要发现

• 当预言机可计算时，Oracle-Type-2-Machines 可进行无限查询而不会增加计算能力，保持了模型的保守性。
• 该模型通过访问 LPO 问题，将 Ziegler 的（有限）修正计算作为特例涵盖其中。
• Type-2 非确定性等价于对 UnProject 问题的一次预言机调用，表明非确定性可被确定性模拟。
• 已证明 UnProject 问题与它的有限变体 Weihrauch 等价，表明非确定性模型具有鲁棒性。
• 具有测试门与连续乘法门的算术电路可通过 Oracle-Type-2-Machines 对 LPO 预言机进行有限次调用而模拟，且此类函数具有有限的 Weihrauch 度。
• 该框架为分析纳什均衡求解与线性不等式组求解等问题的不连续度提供了新的证明技术。