Help with Ramsey's Theorem Homework

  • Thread starter RyozKidz
  • Start date
  • Tags
    Theorem
In summary: For example, if pile A has at least 1/2log2n nodes, then all of those nodes are connected to each other, so they form a clique. If pile B has at least 1/2log2n nodes, then none of those nodes are connected to each other, so they form an anti-clique.In summary, we can prove that every graph with n nodes contains either a clique or an anti-clique with at least 1/2log2n nodes by using a divide and conquer strategy and showing that at least half of the nodes will still be left after each step, resulting in at least 1/2log2n nodes in one of the piles.
  • #1
RyozKidz
26
0

Homework Statement



Ramsey's theorem. Let G be a graph . A clique in G is a subgraph in which every two nodes are connected by an edge . An anti-clique , also called an independent set , is a subgraph in which every two nodes are not connected by an edge . Show that every graph with n nodes contains either a clique or an anti-clique with at least 1/2log2n nodes.

Homework Equations





3. The Attempt at a Solution [/b

Make space for two piles of nodes , A and B . Then , starting with the entire graph , repeatedly add each remaining node x to A if its degree is greater than one half the number of remaining nodes and to B otherwise , and discard all nodes to which x isn't(is) connected if it was added to A(B) . Continue until no nodes are left. At most half of the nodes are discarded at each of these steps , so at least log2 n steps will occur before the process terminates . Each step adds a node to one of the piles , so one of the piles ends up with at least 1/2log2 n nodes. The pile contains the nodes of a clique and the B pile contains the nodes of an anti-clique.

I can't interpret this solution ..~ can anyone help me out..~ pls...
 
Physics news on Phys.org
  • #2
~

Sure, let me try to explain the solution in simpler terms.

The problem is asking us to show that in any graph with n nodes, there will always be either a clique (a subgraph where all nodes are connected) or an anti-clique (a subgraph where no nodes are connected) with at least 1/2log2n nodes. In other words, there will always be a group of at least 1/2log2n nodes that are either all connected or all not connected.

To prove this, we can use a strategy called "divide and conquer." Imagine we have two piles of nodes, A and B. We will start with the entire graph and go through each node one by one. For each node, we will add it to pile A if its degree (the number of edges it has) is greater than half of the number of remaining nodes. Otherwise, we will add it to pile B.

For example, let's say we have a graph with 10 nodes. We start with all 10 nodes in one pile. We look at the first node and see that it has 6 edges. Since 6 is greater than half of the remaining 9 nodes (which is 4.5, but we round up to 5), we add it to pile A. Then we look at the next node and see that it only has 2 edges. Since 2 is less than 5, we add it to pile B. We continue this process until we have gone through all 10 nodes.

Now, at each step, we are either adding a node to pile A or pile B, and we are discarding all nodes that are not connected to the node we are currently looking at. This means that at most half of the nodes will be discarded at each step. So at least half of the nodes will still be left after each step.

Since we are adding a node to either pile A or pile B at each step, and at least half of the nodes will still be left after each step, it will take at least log2n steps before we run out of nodes. This is because log2n is the number of times you can divide n in half before you get to a number less than 1.

By the end of this process, one of the piles (either A or B) will have at least 1/2log2n nodes. This pile will represent either a clique or an
 
  • #3


I would suggest breaking down the solution step by step and providing clear explanations for each step. This will help the reader understand the solution better. Also, providing diagrams or examples can make it easier to visualize the process. Additionally, you can provide alternative ways to approach the problem and explain the logic behind each method. It may also be helpful to provide further resources or references for better understanding of Ramsey's theorem.
 

What is Ramsey's Theorem?

Ramsey's Theorem is a mathematical principle that states that in any graph or set of mathematical objects, there exists a substructure that exhibits a certain level of order or regularity.

How is Ramsey's Theorem used in homework problems?

Ramsey's Theorem is often used in homework problems to demonstrate the existence of certain structures or patterns within a given set of mathematical objects. It is also commonly used to prove the existence of certain mathematical results.

What are some common applications of Ramsey's Theorem?

Ramsey's Theorem has a wide range of applications in various fields, including combinatorics, graph theory, and computer science. It has been used to solve problems in areas such as circuit design, scheduling, and network routing.

What are some common challenges when working on Ramsey's Theorem homework?

Some common challenges when working on Ramsey's Theorem homework include understanding the underlying concepts and principles, identifying the appropriate application of the theorem, and constructing a rigorous proof for a given problem.

Are there any resources available for further help with Ramsey's Theorem homework?

Yes, there are several resources available for further help with Ramsey's Theorem homework, including textbooks, online tutorials, and study groups. Additionally, many universities and academic institutions offer tutoring or office hours for students seeking assistance with their homework.

Similar threads

  • Set Theory, Logic, Probability, Statistics
Replies
6
Views
2K
  • Engineering and Comp Sci Homework Help
Replies
22
Views
3K
  • Programming and Computer Science
Replies
1
Views
3K
  • Programming and Computer Science
Replies
15
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
4
Views
2K
  • Calculus and Beyond Homework Help
Replies
3
Views
2K
  • Atomic and Condensed Matter
Replies
2
Views
4K
  • Engineering and Comp Sci Homework Help
Replies
5
Views
1K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
1
Views
5K
  • Programming and Computer Science
Replies
1
Views
2K
Back
Top