G
Gerd Wechsung
Researcher at University of Jena
Publications - 57
Citations - 1109
Gerd Wechsung is an academic researcher from University of Jena. The author has contributed to research in topics: Complexity class & Polynomial hierarchy. The author has an hindex of 16, co-authored 56 publications receiving 1098 citations. Previous affiliations of Gerd Wechsung include Schiller International University.
Papers
More filters
Journal ArticleDOI
The Boolean hierarchy I: structural properties
Jin-Yi Cai,Thomas Gundermann,Juris Hartmanis,Lane A. Hemachandra,Vivian Sewelson,Klaus W. Wagner,Gerd Wechsung +6 more
TL;DR: The complexity of sets formed by boolean operations (union, intersection, and complement) on NP sets are studied, showing that in some relativized worlds the boolean hierarchy is infinite, and that for every k there is a relativization world in which the Boolean hierarchy extends exactly k levels.
Journal ArticleDOI
The Boolean hierarchy II: applications
Jin-Yi Cai,Thomas Gundermann,Gerd Wechsung,Juris Hartmanis,Lane A. Hemachandra,Vivian Sewelson,Klaus W. Wagner +6 more
TL;DR: The Boolean Hierarchy I: Structural Properties explores the structure of the boolean hierarchy, the closure of NP with respect to boolean hierarchies, and the role of symbols in this hierarchy.
Book ChapterDOI
On the Boolean closure of NP
TL;DR: New machines whose computational power is bounded by that of alternating Turing machines making only one alternation are introduced whose polynomial time classes are exactly the levels of the Boolean closure of NP which can be defined in a natural way.
Proceedings ArticleDOI
A survey on counting classes
TL;DR: The authors prove P/sup EP(log)/ 25 PP, investigate the Boolean closure BC( EP) of EP, and give a relativization principle which allows them to completely separate BC(EP) in a suitable relativized world and to give simple proofs for known relativizing results.
Journal ArticleDOI
Embedding ladders and caterpillars into the hypercube
TL;DR: The results support the conjecture of Havel (1984) that all known results concerning the embedding of caterpillars into the hypercube can be obtained.