×
纪尧姆·邦芬特;卡勒，莱因哈德;Jean-Yves玛丽恩;伊莎贝尔·奥塔维姆

定义布尔电路中函数的两个函数代数。 （英语） Zbl 1339.68096号

Inf.计算。 24882-103（2016）.
小结：我们以隐式计算复杂性的精神，用函数代数的方法描述了在（mathsf{NC}^k）中布尔电路计算的函数。整个层次结构定义了\（\mathsf{NC}\）。换言之，我们给出了（k\geq 1）的复杂性类（mathsf{NC}^k）的递归理论表征，而没有参考机器模型，也没有在递归模式中给出显式边界。实际上，我们给出了类\（\mathsf｛NC｝^k\），\（k\geq 1\）的两个等价描述。一种是基于Leivant的树结构，另一种是以单词为基础。后者揭示了指针计算在电路复杂性中的作用。我们表明，传感器是指针评估的关键概念。

引用于2文件

理学硕士：

2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）
2015年3月15日 计算复杂性（包括隐式计算复杂性）
2005年第68季度 计算模型（图灵机等）（MSC2010）
94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010）

关键词：

布尔电路;\（\mathsf{NC}^k\）;并行计算类;传感器
PDF格式BibTeX公司 XML格式引用
\textit{G.Bonfante}等人，《信息计算》。248、82-103（2016；Zbl 1339.68096）
全文： 内政部

参考文献：

[1] Balcázar，J.L。；迪亚斯，J。；Gabarró，J.，结构复杂性II，EATCS理论计算机科学专著，第22卷（1990），Springer·Zbl 0746.68032号
[2] Bellantoni，S.，用多项式输出长度的2型递归表征并行时间，（Leivant，D.，逻辑和计算复杂性，第960卷（1995）），253-268
[3] 贝兰托尼，S。；Cook，S.，多时间函数的新递归理论表征，计算。复杂。，2, 97-110 (1992) ·Zbl 0766.68037号
[4] Bloch，S.，对数和多对数并行时间的函数代数表征，计算。复杂。，4, 2, 175-205 (1994) ·Zbl 0813.68099号
[5] Bonfante，G。；Kahle，R。；Marion，J.-Y。；Oitavem，I.，《\（\text{NC}^k\）的递归模式》，（CSL'08。CSL’08，LNCS，第5213卷（2008），Springer）
[6] Chandra，A.K。；Kozen，D.J。；Stockmeyer，L.J.，Alternation，J.ACM，28，114-133（1981）·Zbl 0473.68043号
[7] Clote，P.，并行复杂性类的顺序、机器无关特征ALogTIME公司，\（AC^k，NC^k\）和数控（Buss，S.；Scott，P.，《可行性数学》（1990），Birkhäuser），第49-69页·Zbl 0765.68034号
[8] Cobham，A.，函数的内在计算难度，（Bar-Hillel，Y.，《国际逻辑、方法论和科学哲学会议论文集》（1962年），北荷兰：北荷兰阿姆斯特丹），24-30
[9] 埃德蒙兹，J.，《小径、树木和花朵》，加拿大。数学杂志。，17, 449-467 (1965) ·Zbl 0132.20903号
[10] 艾尔戈特，C.C。；Mezei，J.E.，《关于广义有限自动机定义的关系》，IBM J.Res.Dev.，9，1，47-68（1965年1月）·Zbl 0135.00704号
[11] Girard，J.-Y.，轻型线性逻辑，Inf.Comput。，143, 2, 175-204 (1998) ·Zbl 0912.03025号
[12] Goldreich，O.，《计算复杂性：概念视角》（2008），剑桥大学出版社·Zbl 1154.68056号
[13] Immerman，N.，《描述性复杂性》（1998），施普林格出版社·Zbl 0945.03546号
[14] Leivant，D.，《计算可行性的基本描述》（第六届IEEE计算机科学逻辑研讨会论文集。第六届计算机科学逻辑IEEE研讨会论文集，LICS’91（1991））
[15] Leivant，D.，《分层函数程序和计算复杂性》，（第二十届美国计算机学会编程语言原理研讨会（1993年），美国计算机学会出版社：美国纽约州纽约市美国计算机学会出版）
[16] Leivant，D.，通过树递归对NC进行表征，（计算机科学基础1998（1998），IEEE计算机学会），716-724
[17] Leivant，D。；Marion，J.-Y.，《用分支递归表征交替测井时间》，Theor。计算。科学。，236, 1-2, 192-208 (2000) ·Zbl 0943.68080号
[18] Marion，J.-Y.，《关于分层小跳跃操作员》，Log。方法计算。科学。，5, 1 (2009) ·Zbl 1160.03019号
[19] 莫比尔，V。；Rahli，V.，《均匀电路与布尔证明网》（LFCS.LFCS，L.N.in Computer Science，vol.4514（2007）），401-421·Zbl 1132.03351号
[20] Ruzzo，W.L.，《均匀电路复杂性》，J.Compute。系统。科学。，22, 365-383 (1981) ·Zbl 0462.68013号
[21] Sakarovitch，J.，《自动化原理》（2009），剑桥大学出版社·Zbl 1188.68177号
[22] Simmons，H.，《原始递归领域》，Arch。数学。日志。，27, 177-188 (1988) ·Zbl 0659.03025号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。