Symmetric Complementation
- 30 March 1984
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 31 (2), 401-421
- https://doi.org/10.1145/62.322436
Abstract
This paper introduces a new class of games called symmetric complementing games. These games are interesting since their related complexity classes include many well-known graph problems: Finding mlmmum spanning forests; k-connectiwty and k-blocks; and recognition of chordal graphs, comparabdity graphs, interval graphs, spht graphs, permutation graphs, and constant valence planar graphs. For these problems probabihstlc sequential algorithms requiring simultaneously logarithmic space and polynomial time are given Furthermore, probabfllsUc parallelism algorithms requiring simultaneously loganthmic time and a polynomml number of processors are also given.Keywords
This publication has 11 references indexed in Scilit:
- Symmetric space-bounded computationTheoretical Computer Science, 1982
- AlternationJournal of the ACM, 1981
- Computing connected components on parallel computersCommunications of the ACM, 1979
- Computational Complexity of Probabilistic Turing MachinesSIAM Journal on Computing, 1977
- New problems complete for nondeterministic log spaceTheory of Computing Systems, 1976
- Efficient Planarity TestingJournal of the ACM, 1974
- Algorithm 447: efficient algorithms for graph manipulationCommunications of the ACM, 1973
- Permutation Graphs and Transitive GraphsJournal of the ACM, 1972
- A Characterization of Comparability Graphs and of Interval GraphsCanadian Journal of Mathematics, 1964
- A combinatorial condition for planar graphsFundamenta Mathematicae, 1937