A Characterisation of Definable NP Search Problems in Peano Arithmetic

机译：Peano算法中可定义的NP搜索问题的特征

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

The complexity class of (γ)-bounded local search problems with goals is introduced for well-orderings (γ), and is used to give a characterisation of definable NP search problems in Peano Arithmetic.

机译：引入具有目标的（γ）边界局部搜索问题的复杂度类别，以进行良好排序（γ），并将其用于表征Peano算法中可定义的NP搜索问题。

著录项

来源
《Logic, language, information and computation》|2009年|1-12|共12页
会议地点 Tokyo(JP);Tokyo(JP)
作者
Arnold Beckmann;
展开▼
作者单位

Department of Computer Science Swansea University Swansea SA2 8PP, UK;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类程序设计、软件工程;
关键词

相似文献

外文文献
中文文献
专利

1. Nonstandard models that are definable in models of Peano Arithmetic [J] . Kazuma Ikeda, Akito Tsuboi Mathematical logic quarterly: MLQ . 2007,第1期

机译：可在Peano算术模型中定义的非标准模型
2. Classification of Search Problems and Their Definability in Bounded Arithmetic [J] . Tsuyoshi Morioka Electronic Colloquium on Computational Complexity . 2001,第3期

机译：有界算术中搜索问题的分类及其可定义性
3. Classification of Search Problems and Their Definability in Bounded Arithmetic [J] . Tsuyoshi Morioka Electronic Colloquium on Computational Complexity . 2001,第118期

机译：有界算术中搜索问题的分类及其可定义性
4. A Characterisation of Definable NP Search Problems in Peano Arithmetic [C] . Arnold Beckmann International Workshop on Logic, Language, Information and Computation . 2009

机译：PEANO算术中可定义的NP搜索问题的特征
5. Applications of the proper forcing axiom to models of Peano arithmetic [D] . Gitman, Victoria 2007

机译：适当强迫公理在Peano算法模型中的应用
6. Energy-Efficient Industrial Internet of Things Software-Defined Network by Means of the Peano Fractal [O] . Jesus Jaime Moreno Escobar, Oswaldo Morales Matamoros, Ixchel Lina Reyes, 2020

机译：借助Peano分形的节能型工业物联网软件定义网络
7. Characterising definable search problems in bounded arithmetic via proof notations [O] . Beckmann, Arnold 2010

机译：通过证明符号表征有界算术中可定义的搜索问题
8. Hoare's Logic and Peano's Arithmetic [R] . Bergstra, J. A., Tucker, J. V. 1981

机译：霍尔的逻辑与皮亚诺的算术

A Characterisation of Definable NP Search Problems in Peano Arithmetic

摘要

著录项

相似文献

相关主题

期刊订阅