The Polynomially Bounded Perfect Matching Problem Is in NC 2

M Agrawal, TM Hoang, T Thierauf - … February 22-24, 2007. Proceedings 24, 2007 - Springer
The perfect matching problem is known to be in P, in randomized NC, and it is hard for NL.
Whether the perfect matching problem is in NC is one of the most prominent open questions …

Relativizing small complexity classes and their theories

K Aehlig, S Cook, P Nguyen - … , CSL 2007, 16th Annual Conference of the …, 2007 - Springer
Existing definitions of the relativizations of NC 1, L and NL do not preserve the inclusions NC
1⊆ L, NL⊆ AC 1. We start by giving the first definitions that preserve them. Here for L and …

Hardness results for tournament isomorphism and automorphism

F Wagner - … Symposium on Mathematical Foundations of Computer …, 2007 - Springer
A tournament is a graph in which each pair of distinct vertices is connected by exactly one
directed edge. Tournaments are an important graph class, for which isomorphism testing …

Applications of algebraic automata theory to quantum finite automata

M Mercer - 2007 - escholarship.mcgill.ca
The computational model of Quantum Finite Automata has been introduced by multiple
authors (eg [38, 44]) with some variations in definition. The objective of this thesis is to …

Analyse de la complexité des programmes par interprétation sémantique

R Péchoux - 2007 - theses.hal.science
Il existe de nombreuses approches développées par la communauté Implicit Computational
Complexity (ICC) permettant d'analyser les ressources nécessaires à la bonne exécution …

Context-free grammars with linked nonterminals

A Klein, M Kutrib - International Journal of Foundations of Computer …, 2007 - World Scientific
We introduce a new type of finite copying parallel rewriting system, ie, grammars with linked
nonterminals, which extend the generative capacity of context-free grammars. They can be …

[PDF][PDF] Characterizing Unambiguous Augmented Pushdown Automata by Circuits3

KJ orn Lange, P Rossmanith - Proc. of 15th MFCS - researchgate.net
The notions of weak and strong unambiguity of augmented push-down automata are
considered and related to unambiguities of circuits. In particular we exhibit circuit classes …

Reductions to graph isomorphism

J Torán - FSTTCS 2007: Foundations of Software Technology …, 2007 - Springer
We show that several reducibility notions coincide when applied to the Graph Isomorphism
(GI) problem. In particular we show that if a set is many-one logspace reducible to GI, then it …

[PDF][PDF] TR96-024

E Allendery, R Bealsz, M Ogiharax - Citeseer
We characterize the complexity of some natural and important problems in linear algebra. In
particular, we identify natural complexity classes for which the problems of (a) determining if …

[PDF][PDF] Equivalence of NCk and ACk?

M Ogihara - academia.edu
Abstract Gottlob,(1993, in\Proceedings, 34th IEEE Symp. on Found. Comput. Sci.," pp. 42
{51), showed that any set recognized by polynomial-size, log-depth trees with queries to …