MHB Proving K-Extendability of a Bipartite Graph

  • Thread starter Thread starter Aryth1
  • Start date Start date
Click For Summary
The discussion centers on proving the k-extendability of a bipartite graph, specifically under the condition that for any subset S of set A, the neighborhood N(S) satisfies |N(S)| ≥ |S| + k. The original poster struggles to find relevant results on extendability and seeks assistance after unsuccessful attempts at proving the statement. A participant questions the logic, noting that if there is a perfect matching, it implies |A| = |B| and that the condition leads to a trivial conclusion where k must be less than or equal to zero. The conversation highlights the complexities in understanding the implications of perfect matchings in bipartite graphs and the conditions for k-extendability.
Aryth1
Messages
38
Reaction score
0
I was asked to see if I could prove this was true, but I have been totally unable to. I can't find many results about extendability and so I have had a lot of trouble. After days of thinking about it without anything to show, I figured that I'd ask for some help here. Here's the problem:

A graph is k-extendable if $|V(G)|\geq 2k + 2$ and for any k disjoint edges, there is a perfect matching containing them. Let $G[A,B]$ be a bipartite graph with a perfect matching. If for any $S\subset A$, $|N(S)|\geq |S| + k$, show that $G$ is k-extendable.

Any help is greatly appreciated!
 
Physics news on Phys.org
Hi Aryth,

I think I'm missing something, if there is a perfect matching in a bipartite graph then $$|A|=|B|$$ and $$N(A)=B$$.

And from $$|N(S)| \geq |S| + k$$ with $$S=A$$ we get $$k\leq 0$$ so the statement is trivial.

What's wrong? :/
 
Hello, I'm joining this forum to ask two questions which have nagged me for some time. They both are presumed obvious, yet don't make sense to me. Nobody will explain their positions, which is...uh...aka science. I also have a thread for the other question. But this one involves probability, known as the Monty Hall Problem. Please see any number of YouTube videos on this for an explanation, I'll leave it to them to explain it. I question the predicate of all those who answer this...