铃木俊雄 有界真值表并没有将单查询重言式简化为随机预言。 （英文） Zbl 1087.03024号 架构（architecture）。数学。逻辑 44，第6期，751-762（2005）. 作者摘要：相对化命题演算是一个带有查询符号的布尔公式系统。如果查询符号的出现次数只有一次，则此系统中的公式称为单查询公式。如果一个单查询公式是关于给定预言符（a）的重言式，那么它被称为关于（a）一查询重言式。通过扩展工程K.Ambos-Spies公司【Lect.Notes Compute.Sci.223，23-34（1986年；Zbl 0615.03024号)]和我们[Inf.Comput.176，66-87（2002；Zbl 1012.03052号)]，我们研究了所有预言类\（A\）的测度，使得关于\（A\）的所有一个查询重言式的集合不p-btt归约为\（A\），其中p-btt表示多项式时间有界真值表。我们证明了某些Dowd类型的泛型预言符都属于该类，因此类的度量是1。审核人：郑希忠（科特布斯） 引用于1审查引用于2文件 MSC公司： 2015年3月1日 计算复杂性（包括隐式计算复杂性） 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 关键词：多项式时间btt约简;Dowd-type通用oracle;测量;单查询重言式;随机预言机;相对化命题演算;真值表约简 引文：Zbl 0615.03024号;Zbl 1012.03052号 PDF格式BibTeX公司 XML格式引用 \textit{T.铃木}，拱门。数学。逻辑44，No.6，751--762（2005；Zbl 1087.03024） 全文： 内政部 参考文献： [1] Ambos-Spies，K.：随机性、相对性和多项式可约性。In:《复杂性理论中的结构》，A.L.Selman（编辑），Lect。注释计算。科学。柏林施普林格，223，23-34，（1986）·Zbl 0615.03024号 [2] Ambos-Spies，K.：基于资源的泛型。In：可计算性、可枚举性、不可解性，S.B.Cooper、T.A.Slaman、S.S.Wainer（编辑），伦敦数学。Soc.Lect（社会学）。注释系列224，剑桥大学出版社，剑桥，1996年，第1-59页·Zbl 0844.03022号 [3] Ambos-Spies，K.，Fleischhack，H.，Huwig，H.：多项式时间可计算集上的对角化。定理。计算。科学。51, 177–204 (1987) ·Zbl 0653.03028号 ·doi:10.1016/0304-3975（87）90053-3 [4] Ambos-Spies，K.，Mayordomo，E.：基于资源的度量和随机性。摘自：《复杂性、逻辑和递归理论》，A.Sorbi（编辑），《纯数学和应用数学187讲义》，Marcel Dekker，纽约，1997年，第1-47页·Zbl 0877.68055号 [5] Ambos-Spies，K.，Neis，H.，Terwijin，S.A.：指数时间的遗传和度量。定理。计算。科学。168, 3–19 (1996) ·Zbl 0874.68094号 ·doi:10.1016/0304-3975（96）89424-2 [6] Balcázar，J.L.，Díaz，J.，Gabarró，J.:结构复杂性I.Springer，柏林，1988·Zbl 0638.68040号 [7] Bennett，C.H.，Gill，J.：相对于随机预言机a，概率为1的PA NPA共NPA。SIAM J.计算。10, 96–113 (1981) ·Zbl 0454.68030号 ·数字对象标识代码：10.1137/021008 [8] Book，R.V.，Tang S.：多项式时间可约性和“几乎所有”预言集。定理。计算。科学。81, 35–47 (1991) ·Zbl 0719.03020号 ·doi:10.1016/0304-3975（91）90314-R [9] Dowd，M.：通用预言、统一机器和代码。信息与计算96，第65–76页（1992）·Zbl 0755.68052号 [10] Ko，Ker-I.：关于概率算法和NP难问题的一些观察。通知。过程。莱特。14, 39–43 (1982) ·Zbl 0483.68045号 ·doi:10.1016/0020-0190（82）90139-9 [11] Kurtz，S.A.：关于随机预言假说。通知。对照57，40–47（1983），初步版本出现在：Proc。14号。ann.ACM症状。《计算理论》，计算机协会，1982年，第224-230页·Zbl 0549.68038号 ·doi:10.1016/S0019-9958（83）80023-0 [12] Ladner，R.E.，Lynch，N.A.，Selman，A.L.：多项式时间可约性的比较。定理。计算。科学。1, 103–123 (1975) ·Zbl 0321.68039号 ·doi:10.1016/0304-3975（75）90016-X [13] Merkle，W.，Wang，Y.：用随机预言和“几乎”类分离广义可约性。数学。逻辑夸脱。47, 249–269 (2001) ·Zbl 0999.03036号 ·doi:10.1002/1521-3870（200105）47:2<249:：AID-MALQ249>3.0.CO；2-牛顿 [14] Orponen，P.：具有神谕的交替机器的复杂性类别。摘自：《自动化、语言和编程》第十届学术讨论会，J.Diaz（编辑），Lect。注释计算。科学。154施普林格，柏林，1983年，第573–584页 [15] Rogers，H.Jr.：递归函数和有效可计算性理论。麻省理工学院，1987年（原版：麦克劳·希尔，纽约，1967年）·Zbl 0183.01401号 [16] 麻袋，G.E.：不溶性程度。安。数学。研究55。普林斯顿大学出版社，新泽西州普林斯顿，1963年·兹比尔0143.25302 [17] Spector，C：不可比超度数的测度理论构造。J.符号逻辑23、280–288（1958）·Zbl 0085.24901号 ·doi:10.2307/2964288 [18] 铃木，T.：通过确定性算法识别同义反复，该算法的while-loop执行时间受强制限制。神户数学杂志15，91–102（1998）·Zbl 0937.68052号 [19] 铃木，T.：带查询符号的布尔公式的计算复杂性。博士论文，1999年，日本筑波市筑波大学数学研究所 [20] 铃木，T.：通用甲骨文中r-query重言式的复杂性。Notre Dame J.《形式逻辑》41、142–151（2000）·Zbl 1015.03045号 ·doi:10.1305/ndjfl/1038234608 [21] 铃木，T.：强制复杂性：强制条件的最小大小。《圣母院J.形式逻辑》42，117-120（2001）·兹比尔1060.03065 ·数字对象标识代码：10.1305/ndjfl/1054837938 [22] 铃木，T.：Dowd型通用神谕的等级。通知。和计算。176, 66–87 (2002) ·Zbl 1012.03052号 ·doi:10.1006/inco.2002.3149 [23] 铃木，T.：强迫复杂性：强迫条件的最小大小所显示的随机程度。在日本神户武提研讨会（2003）上的演讲 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。