Skip to main content

Questions tagged [perfect-matchings]

A perfect matching is a matching of all the vertices of a graph. In other words, a perfect matching is a set of edges such that each vertex of the graph is incident to exactly one edge in the set.

Filter by
Sorted by
Tagged with
4 votes
0 answers
154 views

Mixing time for dimers on the square-octagon graph

Consider the "fortress graph" of order $n$ (see Figure 9 of http://faculty.uml.edu/jpropp/tiling/www/mdblum/arctic.html). It's been known empirically for twenty years that if one turns the set of ...
James Propp's user avatar
  • 19.7k
3 votes
2 answers
397 views

An "incomplete" tiling?

Given an $m\times n$ chess board, we place $p$ $2\times 1$ dominoes on the board so that they don't overlap. How many ways can we place them? When each square of the board is covered by a domino this ...
JJJZZZZZ's user avatar
  • 380
3 votes
1 answer
3k views

Number of perfect matchings in bipartite graph with given minimum degree

Let $G$ be a spanning subgraph of $K_{n,n}$ with minimum degree $\delta(G) \geq n/2$. It's easy to show using Hall's theorem that $G$ has a perfect matching, and the example of two disjoint copies of ...
Ben Barber's user avatar
  • 4,589
3 votes
1 answer
131 views

A graph $G$ with two $K_6$ subgraphs, in which any one-factor of $G$ induces a one-factor in exactly one of the $K_6$ subgraphs?

I'm seeking a simple graph $G$ of the following type: It contains two disjoint copies of $K_6$ (the complete graph on 6 nodes), $H$ and $H'$ say. Any one-factor of $G$ must contain either (a) a one ...
Douglas S. Stones's user avatar
3 votes
1 answer
54 views

$1$-factorizability for "complete" finite hypergraphs

Let $H=(V,E)$ be a hypergraph such that $V\neq \varnothing$ and $\varnothing \notin E$. A matching is a subset $M\subseteq E$ such that $m_1\neq m_2 \in M$ implies $m_1\cap m_2 = \varnothing$, and $M$ ...
Dominic van der Zypen's user avatar
3 votes
1 answer
304 views

Perfect matchings in infinite regular bipartite graphs

This question was motivated by a discussion here and is related to a previous question here. Let $\kappa$ and $\lambda$ be cardinals such that $0<\lambda\leq \kappa$. Let $G=(A\cup B, E)$ be a ...
Louis D's user avatar
  • 1,701
3 votes
1 answer
141 views

Mod $2$ information on perfect matchings in general graphs

Determinant modulo $2$ of biadjacency matrix of bipartite graphs provide mod $2$ information on number of perfect matchings on bipartite graphs providing polynomial complexity in bipartite situations. ...
Turbo's user avatar
  • 13.9k
3 votes
1 answer
377 views

Minimum planar bipartite graph to cover all perfect matching count

Given set $\mathcal T_n=\{0,1,\dots,2^n-1\}$ what is the minimum number of vertices $2m$ needed in a planar bipartite balanced graph such that at every $i\in\mathcal T_n$ there is a graph $G\in\...
Turbo's user avatar
  • 13.9k
3 votes
1 answer
145 views

"Hypo" and "Hyper" for Perfect Matching

There is a fairly rich classification on graphs with respect to the existence of Hamiltonian cycles either in unmodified graphs or after certain small modifications. Do there also exist such ...
Manfred Weis's user avatar
  • 13.2k
3 votes
2 answers
726 views

The perfect matching problem of planar graph

We know that connectivity is closely related to the Hamiltonian of planar graphs. The most famous result is the Tutte theorem. Theorem (Tutte, 1956). A 4-connected planar graph has a Hamiltonian ...
Licheng Zhang's user avatar
3 votes
1 answer
197 views

Is it possible to improve the weight of perfect bipartite matchings faster than with Bellman-Ford?

If $G\left(A\cup B,\ E=\lbrace\lbrace a, b\rbrace\,|\, a\in A,\, b\in B\rbrace\right)$ is a weighted bipartite graph and $M_0$ an initial perfect matching, then the optimality of $M_0$ can be verified ...
Manfred Weis's user avatar
  • 13.2k
3 votes
1 answer
141 views

Generalizations of a theorem of Edmonds/Tutte on existence of a perfect matching in a graphs

It is well known that for a bipartite graph $G$ with bi-adjacency matrix $A$, then $\det A \neq 0$ (as a polynomial) iff $G$ has a perfect matching (there is a similar result for general graphs with ...
Agile_Eagle's user avatar
3 votes
1 answer
576 views

Minimum number of perfect matchings in a regular bipartite graph

Is there a lower bound on the number of perfect matchings in a $k$-regular bipartite graph? One can use Hall's marriage theorem and induction on $k$ to derive the lower bound of $k$. I can't come up ...
Untitled's user avatar
  • 217
3 votes
1 answer
376 views

Generalization of Marshall Hall's Theorem to non-simple bipartite graphs

Lemma 8.6.5 of the book "Matching Theory" by Lovász and Plummer states the following lemma: Lemma: Let $G$ be a simple bipartite graph with bipartition $(A,B)$, and assume that each point ...
Sanket Biswas's user avatar
3 votes
1 answer
80 views

Determining a specific perfect matching $M$ by repeatedly asking for $|M \cap M_i|$ for other perfect matchings $M_i$

Let $G=(V,E)$ be a complete bipartite graph with $2n$ vertices and $M \subset E$ some unknown perfect matching of $G$. The goal is to determine $M$ by repeatedly choosing some perfect matching $M_i \...
Dario's user avatar
  • 149
3 votes
0 answers
232 views

Counting matchings and perfect matchings

A matching in a graph is a subset of the edges such that no two edges share a vertex. A perfect matching is a matching where every vertex is part of exactly one edge in the matching. Counting the ...
Per Alexandersson's user avatar
3 votes
0 answers
88 views

Infection on a complete graph

Suppose we have a complete graph on $2n$ vertices with one "infected" vertex. At each time step, we form a matching of the vertices. Then the vertices paired with infected vertices will also ...
PoissonSummation's user avatar
3 votes
0 answers
75 views

Fraction of graphs with bound on number of perfect matchings

Asymptotically what is the fraction of balanced bipartite graph on $2n$ vertices with at most $cn^{\beta}$ edges having at most $n^\alpha$ perfect matchings for any fixed $c,\alpha>0$ and fixed $\...
Turbo's user avatar
  • 13.9k
3 votes
0 answers
88 views

Perfect Matching for Edge-transitive Hypergraphs

I'm new to this subject, but I've noticed that a lot of work has been done on perfect matching in k-uniform hypergraphs. I'm curious to know if there are any results on perfect matching in the more ...
Mairtin's user avatar
  • 31
2 votes
2 answers
354 views

Matching with probabilistic edges

Let $p<1$ be a constant. Consider two sets $A,B$, each with $n$ vertices. For each pair $(a,b)\in A\times B$, the edge between $a$ and $b$ appears with probability $p$, independently of the ...
Alexi's user avatar
  • 239
2 votes
2 answers
123 views

Existence of certain regular graphs

Question: what can be said about the existence of $2k$ regular graphs, $1\lt k$ that have a $1$-factor and a $2$-factor? Provided their existence, what is/are the smallest for $k$? The graphs must be ...
Manfred Weis's user avatar
  • 13.2k
2 votes
1 answer
401 views

Perfect matchings in infinite graphs

Let $G=(V,E)$ be an infinite graph such that $|V| = \kappa$ for some infinite cardinal $\kappa$, and every $v\in V$ has degree $\kappa$. Does $G$ have a perfect matching?
Dominic van der Zypen's user avatar
2 votes
1 answer
81 views

Are countable graphs with infinite minimal degree $1$-factorizable? [duplicate]

We say that a simple, undirected graph $G=(V,E)$ is $1$-factorizable if there is a partition of $E$ such that every member of the partition is a perfect matching of $G$. It is easy to see that any $1$-...
Dominic van der Zypen's user avatar
2 votes
1 answer
54 views

Triangle Center from Weighted Perfect Matchings

let $\Delta$ be the triangle whose corners $A$, $B$, $C$ points in general position in Euclidean plane and, let $D$ be a fourth point inside $\Delta$. Question: what is known about the ...
Manfred Weis's user avatar
  • 13.2k
2 votes
1 answer
430 views

At most one perfect matching of a bipartite graph

I. Given biadjacency matrix $A$ of a bipartite graph on $2n$ vertices having $n$ vertices of either color on the constraints the graph either has $0$ perfect matchings $1$ perfect matchings is it ...
User2021's user avatar
2 votes
1 answer
338 views

Number of distinct perfect matchings/near perfect matchings in an induced subgraph

Consider a Class 1 graph with degree $\Delta\ge3$ and the induced subgraph formed by deleting a set of independent vertices of cardinality $\left\lfloor\frac{n}{\Delta}\right\rfloor$. Then, what is ...
vidyarthi's user avatar
  • 2,089
2 votes
1 answer
321 views

Extending perfect matchings into Hamiltonian cycles

Let $G$ be a simple cubic graph which has a Hamiltonian circuit $C$. In general, it is not possible to find a second Hamiltonian circuit which contains all the chords of $C$. For example, the Wagner ...
EGME's user avatar
  • 1,018
2 votes
1 answer
152 views

Graph immersed into the plane with segments as edges and we search for matching with no edges intersecting

There are some points in the plane and some of them are connected with segments between them. We look at this structure as a graph immersed into the plane where the points are the vertices and the ...
David Herskovics's user avatar
2 votes
0 answers
130 views

Does Ising partition function determine the number of $k$-matchings mod $4$ for cubic graphs?

Let $G$ be a cubic graph. It's known that the Tutte polynomial $T_G$ of $G$ on the hyperbola $(x-1)(y-1)=2$ determines the Ising partition function of $G$ and vice versa. A $k$-matching in a graph $G$ ...
LeechLattice's user avatar
  • 9,501
2 votes
0 answers
124 views

Symmetric matching in special graphs

Let $G$ be a bipartite graph, $L$ ($R$) be the set of vertices in the left (right) part. Consider a graph $T$ with the set of vertices $R \times L$ ( $L \times R$ ) in the left (right) part. For any $...
Fedor Ushakov's user avatar
2 votes
0 answers
337 views

Who contributed [GT13] to "Computers and Intractability"?

This is a followup to my question How does the complexity of calculating the Permanent imply the NP completeness of directed 3-cycle cover? Question: who contributed problem [GT13] PARTITION INTO ...
Manfred Weis's user avatar
  • 13.2k
2 votes
0 answers
163 views

Generalizing Hall's marriage theorem to non-perfect matchings

Let $G = (X, Y, E)$ be bipartite graph such that $|X|=|Y|=n$. A matching $M \subseteq E$ is a subset of disjoint edges (i.e., there does not exist a pair of edges $(x, y) \in M$ and $(x', y') \in M$ ...
errorist's user avatar
  • 121
2 votes
0 answers
75 views

Optimal perfect matchings in magic squares

Question: what is known about minimum/maximum weight perfect matchings in magic squares with or without special properties like e.g. being pandiagonal? I am especially interested minimal/maximal ...
Manfred Weis's user avatar
  • 13.2k
2 votes
0 answers
108 views

Counting number of perfect matchings

Counting perfect matchings in bipartite graphs is $\# P$ complete. Let $G(V,E)$ be a graph known to have $d$ number of perfect matchings. Bipartite it the obvious way by adding $E$ vertices with one ...
Turbo's user avatar
  • 13.9k
2 votes
0 answers
60 views

Sum of number of perfect matchings and a constant constuction

Suppose we have two bipartite graphs $G_1$ and $G_2$ with perfect matching count $P_1$ and $P_2$ respectively then their disjoint union gives a bipartite graph with perfect matching $P_1P_2$. Is ...
Turbo's user avatar
  • 13.9k
2 votes
0 answers
69 views

Why is Schröder numbers equivalent to the number of perfect matchings for triangular grid of n squares and how the graph look like? [duplicate]

In the OEIS entry for the Schröder numbers is A006318. There is a comment which related the sequence to perfect matchings: The number of perfect matchings in a triangular grid of n squares (n = 1, 4, ...
Xuemei's user avatar
  • 141
2 votes
0 answers
106 views

Computing bipartite matching of size $k$?

Given a bipartite graph with $n$ vertices on each side and an integer $k$, how can we compute all bipartite matchings of size $k$? The problem of computing all perfect matchings is #P-complete. But I ...
NeoN's user avatar
  • 241
2 votes
0 answers
56 views

How to prove polynomial inequality encoded from 1-factors in $K_{2n}$

Let $G=(V,E)$ be a complete graph $K_{2n}$ and it has $m$ 1-factors $f_{i,(i=1,\dots,m)}$, where $m=\frac{(2n)!}{n!2^n}$. Some definition: $F=\{f_{1},f_{2},...,f_{2n-1}\}$ is one 1-factorization in $...
Xuemei's user avatar
  • 141
2 votes
0 answers
85 views

Statistics of perfect matching and incremental perfect matchings in bipartite planar graphs?

Planar graph permanent can be reduced to determinants and so statistics should be amenable. Pick a uniformly random bipartite planar graph $G$ with $n$ vertices of each color and choose new additional ...
Turbo's user avatar
  • 13.9k
2 votes
0 answers
39 views

Can Orientability of Manifolds be Generalized to TSP Instances?

It is well known, that there are two basic kinds of manifolds, orientable and non-orientable ones; the most simple examples being obtained by identifying a pair of opposite sides of a rectangular ...
Manfred Weis's user avatar
  • 13.2k
2 votes
0 answers
64 views

Minimum size of genus $g$ bipartite graphs with $2^n$ perfect matchings

Given $n\in\Bbb Z_{\geq0}$ let $2T_{n,g}$ be size of smallest number of vertices of genus $g$ bipartite graph with $T_{n,g}$ vertices of each color such that number of perfect matchings is $2^n$. Eg: ...
Turbo's user avatar
  • 13.9k
2 votes
0 answers
365 views

On symmetric difference of $k$-partite perfect matchings

Given a bipartite graph we know that symmetric difference of any two perfect matchings is union of even cycles. Conversely when is it true that every union of even cycles comes from symmetric ...
Turbo's user avatar
  • 13.9k
1 vote
1 answer
190 views

Converse of Petersen's 2-Factorization Theorem

Definition: A $k$-factor of a graph is a spanning $k$-regular subgraph. Definition: A $k$-factorization of a graph is a partition of the edge set into $k$-factors. Petersen's celebrated ...
Felix Goldberg's user avatar
1 vote
2 answers
146 views

What's the name of the graph operation of connecting two copies of a graph with a perfect matching?

Let $G=(V_1,E_1)$ be a simple graph with vertex set $\{v_1,v_2,\ldots,v_n\}$ and let $G'=(V_2,E_2)$ be another copy of $G$ with vertex set $\{u_1,u_2,\ldots,u_n\}$. Assume $V_1\cap V_2= \emptyset$. ...
W. Paul Liu's user avatar
1 vote
1 answer
110 views

Succinct polynomial sized representation of balanced bipartite graphs whose perfect matching count is a primorial

Is there a $P$ time definable sequence of succinct polynomial sized representation of balanced bipartite graphs whose number of perfect matchings is a primorial? For factorial a complete bipartite ...
Turbo's user avatar
  • 13.9k
1 vote
2 answers
149 views

Reference Request: "Resolutions" of $K_n$ for $n$ odd

A resolution (in the combinatorial design sense) of $K_{n}$ is a collection of sets of edges of $K_{n}$ so that within each set of edges, each vertex appears once, and over the entire collection, each ...
coolpapa's user avatar
  • 525
1 vote
1 answer
62 views

Test Instances for Perfect Matchings in Graphs

Are there any graphs with a known set of perfect matchings and other predefined properties, such as vertex connectivity, which can be used for testing the implementation of matching algorithms? ...
Manfred Weis's user avatar
  • 13.2k
1 vote
1 answer
178 views

Planar eucliean bipartite matching with squared distances

This is probably a really stupid question, but suppose I have two sets of points in the plane $X$ and $Y$ each with cardinality $|X| = |Y| = n$. For any bipartite matching $M$ between $X$ and $Y$, ...
Mads Simonsen's user avatar
1 vote
1 answer
104 views

Symmetry of optimal solutions to symmetric assignment problems

Is there a sound proof of or a counter example to the following conjecture: if $\boldsymbol{A}^T=\boldsymbol{A}$ is the cost-matrix of a bipartite assignment problem with unique optimal assignment, ...
Manfred Weis's user avatar
  • 13.2k
1 vote
2 answers
206 views

The cost function in the Weighted Bipartite Matching Problem (a.k.a the Assignment Problem)

In the definition of this problem, the weight/cost function generally takes value in $\mathbb{Z}$ (or sometimes $\mathbb{Q}$). This is what I observed from some books (e.g. "Combinatorial ...
f10w's user avatar
  • 163