Advertisement

A Combinatorial Algorithm for Pfaffians

  • Meena Mahajan
  • P. R. Subramanya
  • V. Vinay
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1627)

Abstract

The Pfaffian of a graph is closely linked to Perfect Matching. It is also naturally related to the determinant of an appropriately defined matrix. This relation between Pfaffian and determinant is usually exploited to give a fast algorithm for computing Pfaffians.

We present the first completely combinatorial algorithm for computing the Pfaffian in polynomial time. In fact, we show that it can be computed in the complexity class GapL; this result was not known before. Our proof techniques generalize the recent combinatorial characterization of determinant [MV97] in novel ways.

As a corollary, we show that under reasonable encodings of a planar graph, Kasteleyn's algorithm for counting the number of perfect matchings in a planar graph is also in GapL. The combinatorial characterization of Pfaffian also makes it possible to directly establish several algorithmic and complexity theoretic results on Perfect Matching which otherwise use determinants in a roundabout way.

Keywords

Planar Graph Perfect Match Edge Weight Combinatorial Algorithm Simple Cycle 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. AlRe98.
    E. Allender and K. Reinhardt, Isolation, Matching, and Counting, in IEEE Conference on Computational Complexity, pp 92–100, 1998.Google Scholar
  2. Kas67.
    P. W. Kasteleyn, Graph Theory and Crystal Physics, in Graph Theory and Theoretical Physics, ed: F. Harary, Academic Press, pp 43–110, 1967.Google Scholar
  3. Lit74.
    C. H. C. Little, An extension of Kasteleyn's method of enumerating the 1-factors of planar graphs, in Combinatorial Mathematics, Proc. 2nd Australian Conference, ed: D. Holton, Lecture Notes in Mathematics, 403, pp 63–72, 1974.Google Scholar
  4. LovPlu86.
    L. Lovasz and M. Plummer, Matching Theory, Annals of Discrete Mathematics 29, North-Holland, 1986.Google Scholar
  5. Lyn77.
    N. Lynch, Log Space Recognition and Translation of Parenthesis Languages, Journal of the ACM, Vol. 24(4), pp 583–590, 1977.MATHCrossRefMathSciNetGoogle Scholar
  6. MV97.
    M. Mahajan and V. Vinay, Determinants: Combinatorics, algorithms, and complexity, Chicago Journal of Theoretical Computer Science, vol. 5, 1997.Google Scholar
  7. MRST97.
    W. McCuaig, N. Robertson, P. D. Seymour and R. Thomas, Permanents, Pfaffian Orientations, and Even Directed Circuits, Proc. of IEEE Symposium on Theory of Computing, pp 402–405, 1997.Google Scholar
  8. MVV87.
    K. Mulmuley, U. V. Vazirani and V. V. Vazirani, Matching is as easy as Matrix Inversion, Combinatorica, vol. 7, pp 105–113, 1987.MATHCrossRefMathSciNetGoogle Scholar
  9. Reif84.
    J. Reif, Symmetric Complementation, Journal of the ACM, vol. 31(2), pp 401–421, 1984.MATHCrossRefMathSciNetGoogle Scholar
  10. Val79.
    L. G. Valiant, The complexity of computing the permanent, Theoretical Computer Science, vol. 8, pp 189–201, 1979.MATHCrossRefMathSciNetGoogle Scholar
  11. Vaz89.
    V. V. Vazirani, NC algorithms for computing the number of perfect matchings in K 3,3 -free graphs and related problems, Information and Computation, vol. 80(2), pp 152-164, 1989.Google Scholar
  12. VY89.
    V. V. Vazirani and M. Yannakakis, Pfaffian Orientations, 0—1 permanents and even cycles in directed graphs, Discrete Applied Mathematics, vol. 25, pp 179–190, 1989.CrossRefMATHMathSciNetGoogle Scholar
  13. Vin91.
    V. Vinay, Counting auxiliary pushdown automata and semi-unbounded arithmetic circuits, Proc. 6th IEEE Structure in Complexity Theory Conference, pp 270–284, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Meena Mahajan
    • 1
  • P. R. Subramanya
    • 2
  • V. Vinay
    • 2
  1. 1.Institute of Mathematical SciencesChennaiIndia
  2. 2.Dept. of Computer Science & AutomationIndian Institute of ScienceBangaloreIndia

Personalised recommendations