Pith. sign in

REVIEW 2 cited by

Counting perfect matchings in graphs that exclude a single-crossing minor

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1406.4056 v1 pith:25MT7X52 submitted 2014-06-16 cs.DS cs.CC

classification cs.DScs.CC
keywords graphscountingmatchingsperfectalgorithmgraphminorsingle-crossing
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

A graph $H$ is single-crossing if it can be drawn in the plane with at most one crossing. For any single-crossing graph $H$, we give an $O(n^4)$ time algorithm for counting perfect matchings in graphs excluding $H$ as a minor. The runtime can be lowered to $O(n^{1.5})$ when $G$ excludes $K_5$ or $K_{3,3}$ as a minor. This is the first generalization of an algorithm for counting perfect matchings in $K_{3,3}$-free graphs (Little 1974, Vazirani 1989). Our algorithm uses black-boxes for counting perfect matchings in planar graphs and for computing certain graph decompositions. Together with an independent recent result (Straub et al. 2014) for graphs excluding $K_5$, it is one of the first nontrivial algorithms to not inherently rely on Pfaffian orientations.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. 2D Quon Language: Unifying Framework for Cliffords, Matchgates, and Beyond

    quant-ph 2025-05 conditional novelty 6.0 of 10

    Clifford and matchgate circuits are two special cases of one 2D diagrammatic calculus, which also yields new tractable tensor-network families and diagrammatic proofs of Ising dualities.

  2. Quon Classical Simulation: Unifying Cliffords, Matchgates and Entanglement

    quant-ph 2025-05 conditional novelty 5.0 of 10

    A topological framework based on the Quon TQFT expresses Clifford and Matchgate circuit evaluation through a common mechanism, with complexity controlled by the number of 'Magic holes'.

Pith tools