Linear codes are hard for oblivious read-once parity branching programs

被引:5
作者
Jukna, S [1 ]
机构
[1] Univ Trier, Dept Comp Sci, D-54286 Trier, Germany
[2] Inst Math & Informat, LT-2600 Vilnius, Lithuania
关键词
computational complexity; parity branching programs; lower bounds; linear codes; computer aided design;
D O I
10.1016/S0020-0190(99)00027-7
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We show that the characteristic functions of linear codes are exponentially hard for the model of oblivious read-once branching programs with parity accepting mode, known also as Parity OBDDs. The proof is extremely simple, and employs a particular combinatorial property of linear codes-their universality. (C) 1999 Published by Elsevier Science B.V. All rights reserved.
引用
收藏
页码:267 / 269
页数:3
相关论文
共 8 条
[1]   ON THE COMPLEXITY OF VLSI IMPLEMENTATIONS AND GRAPH REPRESENTATIONS OF BOOLEAN FUNCTIONS WITH APPLICATION TO INTEGER MULTIPLICATION [J].
BRYANT, RE .
IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (02) :205-213
[2]   Mod-2-OBDDs - A data structure that generalizes EXOR-sum-of-products and ordered binary decision diagrams [J].
Gergov, J ;
Meinel, C .
FORMAL METHODS IN SYSTEM DESIGN, 1996, 8 (03) :273-282
[3]   TIME-SPACE TRADEOFFS FOR INTEGER MULTIPLICATION ON VARIOUS TYPES OF INPUT OBLIVIOUS SEQUENTIAL-MACHINES [J].
GERGOV, J .
INFORMATION PROCESSING LETTERS, 1994, 51 (05) :265-269
[4]   A NOTE ON READ-KAPPA TIMES BRANCHING PROGRAMS [J].
JUKNA, S .
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1995, 29 (01) :75-83
[5]   Neither reading few bits twice nor reading illegally helps much [J].
Jukna, S ;
Razborov, A .
DISCRETE APPLIED MATHEMATICS, 1998, 85 (03) :223-238
[6]  
Mac Williams F., 1977, THEORY ERROR CORRECT
[7]  
OKOLNISHNIKOVA EA, 1991, METODY DISKRET ANAL, V51, P61
[8]  
Waack S, 1997, LECT NOTES COMPUT SC, V1200, P201, DOI 10.1007/BFb0023460