Complexity classes defined via k-valued functions

A lot of complexity classes can be characterized by posing some global acceptance condition on the computation trees produced by nondeterministic polynomial time machines. If the acceptance condition can be performed by a tree automaton, we obtain the concept of locally definable acceptance types (U...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Proceedings - Structure in Complexity Theory Conference s. 224 - 234
Hlavný autor: Hertrampf, U.
Médium: Konferenčný príspevok.. Journal Article
Jazyk:English
Vydavateľské údaje: IEEE Comput. Soc. Press 1994
Predmet:
Automata
Complexity theory
Polynomials
ISBN:0818656700, 9780818656705, 9780818656729, 0818656727
ISSN:1063-6870
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:A lot of complexity classes can be characterized by posing some global acceptance condition on the computation trees produced by nondeterministic polynomial time machines. If the acceptance condition can be performed by a tree automaton, we obtain the concept of locally definable acceptance types (U. Hertrampf, 1992). This concept can be varied in different ways: if the acceptance condition depends only on the leaves of the computation tree, we obtain the concept of leaf languages (D. Bovet et al., 1991); if moreover the leaf language has to be a regular set, we obtain associative acceptance types. A special case appears, if we just count the number /spl alpha/ of accepting paths up to a fixed maximal value c (i.e. /spl alpha/=max(# accepting paths, c)) and then check, whether /spl alpha/ belongs to a given subset A/spl sube/{0,...,c-1}. This concept leads to complexity classes with finite acceptance types. We survey all these concepts and compare their power.< >
Bibliografia:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISBN:0818656700
9780818656705
9780818656729
0818656727
ISSN:1063-6870
DOI:10.1109/SCT.1994.315801