Word problems and membership problems on compressed words

M Lohrey - SIAM Journal on Computing, 2006 - SIAM
We consider a compressed form of the word problem for finitely presented monoids, where
the input consists of two compressed representations of words over the generators of a …

On graph isomorphism for restricted graph classes

J Köbler - Conference on Computability in Europe, 2006 - Springer
Graph isomorphism (GI) is one of the few remaining problems in NP whose complexity
status couldn't be solved by classifying it as being either NP-complete or solvable in P …

A characterization of alternating log time by first order functional programs

G Bonfante, JY Marion, R Péchoux - Logic for Programming, Artificial …, 2006 - Springer
We a give an intrinsic characterization of the class of functions which are computable in NC
1 that is by a uniform, logarithmic depth and polynomial size family circuit. Recall that the …

String distances and intrusion detection: Bridging the gap between formal languages and computer security

D Bruschi, G Pighizzini - RAIRO-Theoretical Informatics and …, 2006 - cambridge.org
In this paper we analyze some intrusion detection strategies proposed in the literature and
we show that they represent the various facets of a well known formal languages problem …

[图书][B] Von der Turingmaschine zum Quantencomputer—ein Gang durch die Geschichte der Komplexitätstheorie

J Köbler, O Beyersdorff - 2006 - Springer
Die Komplexitätstheorie beschäftigt sich mit der Abschätzung des Aufwandes, welcher zur
Lösung algorithmischer Probleme nötig ist. In diesem Aufsatz verfolgen wir die spannende …

[PDF][PDF] Ein schneller, paralleler Algorithmus zur Berechnung aller maximaler Cliquen eines Graphen

AM Gross - alexandermgross.de
Einige bedeutende Klassen von Graphen besitzen eine Anzahl von Cliquen, die polynomiell
mit der Anzahl der Knoten im Graphen verknüpft ist. Ein Beispiel hierfür sind …

A characterization of Alternating log time by first order functional programs

R Péchoux, JY Marion, G Bonfante - 13th International Conference …, 2006 - inria.hal.science
We a give an intrinsic characterization of the class of functions which are computable in
$\NCUN $ that is by a uniform, logarithmic depth and polynomial size family circuit. Recall …

Parallelisierung, Nebenläufigkeit und alternative Modelle: oder wie man vieles gleichzeitig schafft

D Harel, Y Feldman - Algorithmik: Die Kunst des Rechnens, 2006 - Springer
Щй ви в гбдйи ж ж и в б и в б во в й в Ш ж б И з й ж Щй в и вб в жй иИ з ж зд вв в в йв ой а
д ж гм в ж в йв ж Ш н з з ОМК Т ж йв жизК з ж з в в жж з в о ви Щй ви в а гж и б в ж Шжг а б …

Closure under complementation of logspace complexity classes-A survey

B Jenner - Foundations of Computer Science: Potential—Theory …, 2006 - Springer
In this article we chronologically survey the closure under complementation results for
several logspace-bounded complexity classes, namely the early collapses of the logspace …

[引用][C] Department of Computer Science and Applied Mathematics Weizmann Institute of Science, Rehovot, Israel. December 12, 2006

O Goldreich - 2006