On theories of bounded arithmetic for NC1

被引：5
|
作者：
Jerabek, Emil [1 ]
机构：
[1] Acad Sci Czech Republ, Inst Math, CR-11567 Prague 1, Czech Republic
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2011年 / 162卷 / 04期
关键词：
Bounded arithmetic; Circuit complexity; Propositional translation;
D O I：
10.1016/j.apal.2010.10.001
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We develop an arithmetical theory VNC*1 and its variant (VNC) over bar (1)(*), corresponding to "slightly nonuniform" NC1. Our theories sit between VNC1 and VL, and allow evaluation of log-depth bounded fan-in circuits under limited conditions. Propositional translations of Sigma(B)(0)(L-(VNC*1) over bar)-formulas provable in L (VNC) over bar (1)(*) admit L-uniform polynomial-size Frege proofs. (C) 2010 Elsevier B.V. All rights reserved.
引用
收藏
页码：322 / 340
页数：19
相关论文
共 50 条
  • [41] Counting Classes and the Fine Structure between NC1 and L
    Datta, Samir
    Mahajan, Meena
    Rao, B. V. Raghavendra
    Thomas, Michael
    Vollmer, Heribert
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2010, 2010, 6281 : 306 - +
  • [42] RADIOIMMUNOASSAY FOR A NON-COLLAGENOUS FRAGMENT (NC1) OF BASEMENT-MEMBRANE COLLAGEN-SERUM LEVELS OF NC1 IN FIBROTIC LIVER-DISEASE
    SCHUPPAN, D
    BESSER, M
    HAHN, EG
    RIECKEN, EO
    HEPATOLOGY, 1984, 4 (05) : 1042 - 1042
  • [43] Specificity in the assembly of the NC1 domain of Type IV collagen.
    Boutaud, A
    Gunwar, S
    Singh, N
    Netzer, KO
    Sado, Y
    Ninomiya, Y
    Noelken, ME
    Hudson, BG
    FASEB JOURNAL, 1996, 10 (06): : 1503 - 1503
  • [44] BOUNDED ARITHMETIC PREDICATES AND BOUNDED ARITHMETIC HIERARCHY
    HARROW, K
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (03): : A366 - A366
  • [45] POLYNOMIAL SIZE LOG DEPTH CIRCUITS: BETWEEN NC1 AND AC(1)
    Toran, Jacobo
    Mahajan, Meena
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2007, (91): : 42 - 56
  • [46] On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories
    Kolodziejczyk, LA
    JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (02) : 624 - 638
  • [47] BMS/NC1关于紫杉醇的协议
    蔡亲福
    国外医药(植物药分册), 1991, (05) : 234 - 234
  • [48] Experimental infection of tachyzoites of the NC1 strain of Neosporacaninum in female swine
    Alessandra Snak
    Schayanne Matos Henrique
    Ana Paula Remor Sebolt
    José Cristani
    Mere Erika Sato
    Luiz Claudio Miletti
    Anderson Barbosa de Moura
    Parasitology Research, 2021, 120 : 1049 - 1057
  • [49] Monoclonal antibodies - NC1/34 anti-P protein
    Milstein, C
    HYBRIDOMA, 1997, 16 (06): : 582 - 582
  • [50] Decentralized Multi-authority ABE for NC1 from BDH
    Datta, Pratish
    Komargodski, Ilan
    Waters, Brent
    JOURNAL OF CRYPTOLOGY, 2023, 36 (02)
12345