Parallel complexity of simple logic programs

被引：0

作者：

Afrati, Foto ^{[1
]}

Papadimitriou, Christos H. ^{[1
]}

机构：

[1] Natl Technical Univ of Athens, Athens, Greece

来源：

| 1600年 / 40期

关键词：

Algorithms - Automata theory - Computation theory - Computational complexity - Computational linguistics - Computer programming languages - Logic programming - Polynomials - Recursive functions - Theorem proving;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

We consider logic programs with a single recursive rule, whose right-hand side consists of binary relations forming a chain. We give a complete characterization of all programs of this form that are computable in NC (assuming that P≠NC). Our proof uses ideas from automata and language theory, and the combinatorics of strings.

引用

共 50 条

[31] NORMAL FORMS AND THE COMPLEXITY OF COMPUTATIONS OF LOGIC PROGRAMS
OCHOZKA, V
STEPANKOVA, O
STEPANEK, P
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 385 : 357 - 371
[32] STUDY OF A PARALLEL INFERENCE MACHINE FOR PARALLEL EXECUTION OF LOGIC PROGRAMS
YAOQING, G
CHENGZHENG, S
SHOUREN, H
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 457 : 143 - 153
[33] PATH FOR AND-PARALLEL EXECUTION OF LOGIC PROGRAMS
LEE, SH
KIM, DH
CHOE, KM
INFORMATION PROCESSING LETTERS, 1994, 52 (04) : 191 - 199
[34] Using the parallel complexity of programs to improve compaction
Pouzet, M
PROCEEDINGS OF THE 1996 CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES (PACT '96), 1996, : 111 - 115
[35] Automatic Complexity Analysis of Explicitly Parallel Programs
Hoefler, Torsten
Kwasniewski, Grzegorz
PROCEEDINGS OF THE 26TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES (SPAA'14), 2014, : 226 - 235
[36] PARALLEL COMPLEXITY OF LOGICAL QUERY PROGRAMS.
Ullman, Jeffrey D.
Van Gelder, Allen
Algorithmica (New York), 1988, 3 (01): : 5 - 42
[37] SEQUENTIALIZATION OF PARALLEL LOGIC PROGRAMS WITH MODE ANALYSIS
MASSEY, BC
TICK, E
LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 205 - 216
[38] Capturing parallel circumscription with disjunctive logic programs
Janhunen, T
Oikarinen, E
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 134 - 146
[39] Parallel execution of logic programs by load sharing
Lin, Z
JOURNAL OF LOGIC PROGRAMMING, 1997, 30 (01): : 25 - 51
[40] THE PARALLEL INTERPRETATION OF LOGIC PROGRAMS IN DISTRIBUTED ARCHITECTURES
CORSINI, P
FROSINI, G
SPERANZA, G
COMPUTER JOURNAL, 1989, 32 (01): : 29 - 35

← 1 2 3 4 5 →