I would simply like to know how to get 2^k.

Click For Summary

Discussion Overview

The discussion revolves around understanding the expression of the complete graph K_n as the union of bipartite graphs, specifically focusing on the condition n ≤ 2^k, where k represents the number of bipartite graphs. Participants are exploring the reasoning behind this relationship and the application of induction in proving it.

Discussion Character

  • Exploratory
  • Technical explanation
  • Mathematical reasoning

Main Points Raised

  • Some participants inquire about the reasoning behind the expression n ≤ 2^k and whether it pertains to understanding the induction process needed for proof.
  • One participant recalls a previous discussion where intuition was gained through coloring, suggesting that this may aid in understanding the theorem.
  • There is a suggestion to apply induction starting from k = 1 and to consider the inductive step for k = m, with a hint to divide the vertices of K_n into two disjoint sets for n ≤ 2^{m+1}.
  • A participant expresses intent to engage with the proof later, indicating they are currently occupied with other tasks.

Areas of Agreement / Disagreement

The discussion does not reach a consensus, as participants are still exploring the reasoning and proof structure without definitive conclusions.

Contextual Notes

Participants reference previous discussions for intuition, indicating that understanding may depend on earlier exchanges. The application of induction and the specific steps involved remain unresolved.

Terrell
Messages
316
Reaction score
26
The complete graph K_n can be expressed as the union of k bipartite graphs iff n≤2^k

I would simply like to know how to get 2^k.
 
Mathematics news on Phys.org
Terrell said:
I would simply like to know how to get 2^k

Do you mean why is it like this or how to pick them as a step in the induction needed?
 
  • Like
Likes   Reactions: Terrell
QuantumQuest said:
Do you mean why is it like this or how to pick them as a step in the induction needed?
i mean why it is like this.
 
Terrell said:
i mean why it is like this

As I remember from another thread you asked for the intuition of

Terrell said:
The largest n such that K_n can be expressed as the union of bipartite graph is 2^k where k is the number of bipartite graphs

and you got some intuition using coloring. So now for the theorem you have to apply induction on ##k## (##n \geq 2##) in order to prove it.

Start from ##k = 1##.Can you see the truth of the statement?
Proceed to ##k = m## for the inductive step. Hint: For ##n \leq 2^{m+1}## try to divide the vertices of ##K_n## in a helpful manner into two disjoint sets. Can you proceed further?
 
  • Like
Likes   Reactions: Terrell
QuantumQuest said:
As I remember from another thread you asked for the intuition of
and you got some intuition using coloring. So now for the theorem you have to apply induction on ##k## (##n \geq 2##) in order to prove it.

Start from ##k = 1##.Can you see the truth of the statement?
Proceed to ##k = m## for the inductive step. Hint: For ##n \leq 2^{m+1}## try to divide the vertices of ##K_n## in a helpful manner into two disjoint sets. Can you proceed further?
will take it from there. thanks! how do you know it was me? lol... will try proving it later on as i am working on something else. will make sure to get back to this thread.
 
  • Like
Likes   Reactions: QuantumQuest

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K