$-演算中代价度量与元搜索算法的完备性

Eugene Eberbach

$-演算中代价度量与元搜索算法的完备性

计算复杂性 2023-06-22 v3 计算机科学中的逻辑

作者: Eugene Eberbach

摘要

在本文中，我们受著名的针对难解问题的 Cook/Levin NP 完全复杂性类的启发，为图灵机不可判定问题定义了三个新的复杂性类。它们是 U-完全(Universal complete)、D-完全(Diagonalization complete)和 H-完全(Hypercomputation complete)类。在文中，本着 Cook/Levin/Karp 的精神，我们启动了这些新类的填充过程，将若干不可判定问题归入其中。我们论证了一些超图灵计算模型（即超越图灵机的模型）具有极强的表达能力，允许接受给定字母表上的任意语言，包括那些不可判定的语言。我们还证明了这样一个超图灵计算模型——设计为自动问题求解与自动编程工具的 $-Calculus，同样具有如此强大的表达能力。我们还研究了$ -演算中代价度量与元搜索算法的完备性。

关键词

复杂性类不可判定问题超图灵模型 $-演算代价度量元搜索算法完备性

引用

@article{arxiv.2106.15969,
  title  = {On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus},
  author = {Eugene Eberbach},
  journal= {arXiv preprint arXiv:2106.15969},
  year   = {2023}
}

$-演算中代价度量与元搜索算法的完备性

摘要

关键词

引用

相关论文