Matching is as easy as matrix inversion
Combinatorica
NC algorithms for computing the number of perfect matchings in K3,3-free graph and related problems
Information and Computation
Random pseudo-polynomial algorithms for exact matroid problems
Journal of Algorithms
Why is Boolean complexity theory difficult?
Poceedings of the London Mathematical Society symposium on Boolean function complexity
On the computation of Pfaffians
Discrete Applied Mathematics
Proceedings of the 30th IEEE symposium on Foundations of computer science
Flow in Planar Graphs with Multiple Sources and Sinks
SIAM Journal on Computing
A combinatorial algorithm for the determinant
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
Isolation, matching and counting uniform and nonuniform upper bounds
Journal of Computer and System Sciences
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Computational Discrete Mathematics
Matching Theory (North-Holland mathematics studies)
Matching Theory (North-Holland mathematics studies)
Planarity, Determinants, Permanents, and (Unique) Matchings
ACM Transactions on Computation Theory (TOCT)
On the expressive power of planar perfect matching and permanents of bounded treewidth matrices
ISAAC'07 Proceedings of the 18th international conference on Algorithms and computation
Determinants and perfect matchings
Journal of Combinatorial Theory Series A
Planarity, determinants, permanents, and (unique) matchings
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Randomized and approximation algorithms for blue-red matching
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
Hi-index | 0.04 |
The Pfaffian of an oriented 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 NC algorithm for computing the Pfaffian. (Previous determinant-based methods computed it in NC only up to the correct sign, while previous polynomial-time algorithms did not lend themselves to parallelization.) Our algorithm is completely combinatorial in nature. Furthermore, it is division-free and works over arbitrary commutative rings. Over integers, we show that it can be implemented in the complexity class GapL. This upper bound was not known before, and establishes that computing the Pfaffian for integer skew-symmetric matrices is complete for GapL. Our proof techniques generalize the recent combinatorial characterization of determinant Proceedings of the Eighth Annual ACM-SIAM Symposium o Discrete Algorithms, SODA, 1997, 730. As a corollary, we show that under reasonable encodings of a planar graph, Kasteleyn's algorithm [Graph Theory and Theoretical Physics, Academic Press, New York, 1967, 43] for counting the number of perfect matchings in a planar graph is also in GapL.