Abstract
The following issues in computational complexity remain imprecisely understood: the striking difference in the complexities of computing the permanent and determinant of a matrix despite their similar looking formulae, the complexity of checking if a directed graph contains an even length cycle, and the complexity of computing the number of perfect matchings in a graph using Pfaffian orientations. Via polynomial time equivalences, we show interrelationships among these issues.
Work done while visiting AT&T Bell Labs during 1986–87. Supported in part by a PYI Award, with matching funds from AT&T Bell Labs.
Preview
Unable to display preview. Download preview PDF.
References
C. Berge, Graphs and Hypergraphs, North Holland Publishing Co., Amsterdam, 1973.
R. A. Brualdi, ‘Counting Permutations with Restricted Positions: Permanents of (0,1)-Matrices,’ to appear in Lin. Algebra and Appl.
S. Friedland, ‘Every 7-Regular Digraph Contains an Even Cycle,’ to appear.
R. M. Karp, E. Upfal, and A. Wigderson, ‘Constructing a Maximum Matching is in Random NC,’ Combinatorica, 6(1), (1986), 35–48.
P. W. Kasteleyn, ‘Graph Theory and Crystal Physics,’ Graph Theory and Theoretical Physics, Ed.: F. Harary, Academic Press, NY (1967), 43–110.
V. Klee, R. Ladner, and R. Manber, ‘Sign solvability revisited.’ Lin. Algebra and Appl. 59 (1984), 131–158.
K.M. Koh, ‘Even Circuits in Directed Graphs and Lovasz's Conjecture,’ Bull. Malaysian Math. Soc. 7 (1976), 47–52.
C. H. C. Little, An extension of Kasteleyn's method of enumerating the 1-factors of planar graphs, Combinatorial Mathematics, Proc. Second Australian Conference, Ed.: D. Holton, Lecture Notes in Math. 403, Springer-Verlag Berlin, (1974), 63–72.
L. Lovász, Problem 2, in Recent Advances in Graph Theory (M. Fiedler, Ed.), Proc. Symp Prague 1974, Academia Praha, Prague, 1975.
L. Lovász, ‘Matching Structure and the Matching Lattice,’ J. Comb. Th., Series B, 43 (1987), 187–222.
L. Lovász and M. Plummer, Matching Theory, Academic Press, Budapest, Hungary.
R. Manber and J. Shao, ‘On Digraphs with the Odd Cycle Property', Journal of Graph Theory, vol. 10 (1986), 155–165.
M. Marcus and H. Minc, ‘On the relation between the determinant and the permanent,’ Illinois J. Math. 5: 376–381 (1961).
K. Mulmuley, U.V. Vazirani, and V. V. Vazirani, ‘Matching is as easy as matrix multiplication,’ Combinatorica 7:1 (1987), 105–113.
G. Polya, Aufgabe 424, Arch. Math. Phys. (3) 20: 271 (1913).
P. Seymour and C. T. Thomassen, ‘Characterization of even directed graphs,’ J. Comb. Th., Series B, 42 (1987), 36–45.
C. Thomassen, ‘Even cycles in directed graphs.’ European J. Comb. 6 (1985), 85–89.
C. Thomassen, ‘Sign-nonsingular matrices and even cycles in directed graphs.’ Lin.Algebra and Appl. 75 (1986), 27–41.
L. G. Valiant, ‘The Complexity of Computing the Permanent,’ Theoretical Computer Science 8 (1979), 189–201.
L. G. Valiant and V. V. Vazirani, ‘NP is as Easy as Detecting Unique Solutions,’ Theoretical Computer Science, 47 (1986), 85–93.
V. V. Vazirani, ‘NC Algorithms for Computing the Number of Perfect Matchings in K 3,3-Free Graphs and Related Problems,’ submitted for publication.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vazirani, V.V., Yannakakis, M. (1988). Pfaffian orientations, 0/1 permanents, and even cycles in directed graphs. In: Lepistö, T., Salomaa, A. (eds) Automata, Languages and Programming. ICALP 1988. Lecture Notes in Computer Science, vol 317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19488-6_149
Download citation
DOI: https://doi.org/10.1007/3-540-19488-6_149
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19488-0
Online ISBN: 978-3-540-39291-0
eBook Packages: Springer Book Archive