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 条
  • [1] AN ALGEBRA AND A LOGIC FOR NC1
    COMPTON, KJ
    LAFLAMME, C
    INFORMATION AND COMPUTATION, 1990, 87 (1-2) : 241 - 263
  • [2] ON UNIFORMITY WITHIN NC1
    BARRINGTON, DAM
    IMMERMAN, N
    STRAUBING, H
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1990, 41 (03) : 274 - 306
  • [3] On Distinguishing NC1 and NL
    Krebs, Andreas
    Lange, Klaus-Joern
    Ludwig, Michael
    DEVELOPMENTS IN LANGUAGE THEORY (DLT 2015), 2015, 9168 : 340 - 351
  • [4] Nondeterministic NC1 computation
    Caussinus, H
    McKenzie, P
    Therien, D
    Vollmer, H
    ELEVENTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 1996, : 12 - 21
  • [5] Nondeterministic NC1 computation
    Caussinus, H
    McKenzie, P
    Therien, D
    Vollmer, H
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1998, 57 (02) : 200 - 212
  • [6] BOUNDED ARITHMETIC FOR NC, ALOGTIME, L AND NL
    CLOTE, P
    TAKEUTI, G
    ANNALS OF PURE AND APPLIED LOGIC, 1992, 56 (1-3) : 73 - 117
  • [7] SEPARATIONS OF THEORIES IN WEAK BOUNDED ARITHMETIC
    TAKEUTI, G
    ANNALS OF PURE AND APPLIED LOGIC, 1995, 71 (01) : 47 - 67
  • [8] Classes of Szilard Languages in NC1
    Cojocaru, Liliana
    Makinen, Erkki
    Tiplea, Ferucio Laurentiu
    11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009), 2009, : 299 - 306
  • [9] 【寂静之声】 ASUS NC1
    张越
    个人电脑, 2012, 18 (04) : 45 - 46
  • [10] SOME CLASSES OF LANGUAGES IN NC1
    IBARRA, OH
    JIANG, T
    CHANG, JH
    RAVIKUMAR, B
    INFORMATION AND COMPUTATION, 1991, 90 (01) : 86 - 106
12345