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 条
  • [21] Constrained PRFs for NC1 in Traditional Groups
    Attrapadung, Nuttapong
    Matsuda, Takahiro
    Nishimaki, Ryo
    Yamada, Shota
    Yamakawa, Takashi
    ADVANCES IN CRYPTOLOGY - CRYPTO 2018, PT II, 2018, 10992 : 543 - 574
  • [22] Arithmetizing Classes Around NC1 and L
    Limaye, Nutan
    Mahajan, Meena
    Rao, B. V. Raghavendra
    THEORY OF COMPUTING SYSTEMS, 2010, 46 (03) : 499 - 522
  • [23] Visibly Counter Languages and the Structure of NC1
    Hahn, Michael
    Krebs, Andreas
    Lange, Klaus-Joern
    Ludwig, Michael
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015, PT II, 2015, 9235 : 384 - 394
  • [24] Randomness-efficient sampling within NC1
    Healy, Alexander D.
    COMPUTATIONAL COMPLEXITY, 2008, 17 (01) : 3 - 37
  • [25] Binding interactions of the NC1 domain of collagen VII
    Brittingham, R.
    Uitto, J.
    Fertala, A.
    MATRIX BIOLOGY, 2006, 25 : S82 - S82
  • [26] Crystal structure of the collagen α1 (VIII) NC1 trimer
    Kvansakul, M
    Bogin, O
    Hohenester, E
    Yayon, A
    MATRIX BIOLOGY, 2003, 22 (02) : 145 - 152
  • [27] Separations of first and second order theories in bounded arithmetic
    Masahiro Yasumoto
    Archive for Mathematical Logic, 2005, 44 : 685 - 688
  • [28] Separations of first and second order theories in bounded arithmetic
    Yasumoto, M
    ARCHIVE FOR MATHEMATICAL LOGIC, 2005, 44 (06) : 685 - 688
  • [29] A note on conservativity relations among bounded arithmetic theories
    Impagliazzo, R
    Krajícek, J
    MATHEMATICAL LOGIC QUARTERLY, 2002, 48 (03) : 375 - 377
  • [30] Branching Programs, Grammar Systems and the NC1 Class
    Cojocaru, Liliana
    NINTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS, 2007, : 66 - 73
12345