Chapter 16 Model of \(R(3,3)\)
Project by: Binyamin Jasim and Arun Sandhu.
\(\textbf{Summary:}\) The main goal of our project is to model a special case of Ramsey's theorem that a 2–colouring of a complete graph of size 6 will always have a monochromatic \(K_3\text{.}\)
To demonstrate Ramsey theorem in the real world, we have incorporated different aspects of engineering in our project.
The basis of our idea is to have 6 RGB LEDs that are formed in a complete graph of size 6. These LEDs will be connected to an Arduino and through a program that will be developed using the Arduino IDE we will be able to light up the LEDs either red or blue in a random order.
From there we will be able to check at each LED, which of the other LEDs have the same colour. We will put these results in a 2D array that describes the relations between each led. For example, We start at LED 1 and we check if LED 2 is the same colour, if it is we put a 1 in the 2nd position of the 1st row, if it is not we will put a 0. We will do this for each LED which will look something like this:
1
1
0
0
1
0
1
1
0
1
0
0
0
0
1
1
0
1
0
1
1
1
0
0
1
0
0
0
1
0
0
0
1
0
0
1
From here we will be able to determine which 3 LEDs are monochromatic by looking at which 3 LEDs share a 1, as well as which 3 LEDs share a 0. From this we will also be able to see if there are any monochromatic-4's, monochromic-5's and so on in the colouring of the graph. Once the monochromatic sets of the connecting LEDs are determined we will light the connecting LEDs a single colour showing what the monochromatic set is. The main goal will be to show all the different monochromatic sets that are part of that specific graph colouring. We will also be 3D printing a shroud to hold the LEDs in a hexagonal shape as well as to hide the Arduino unit and the wiring.
\(\textbf{Note:}\) We have created a code in C++ which can be easily ported over to the Arduino IDE. The code can solve the matrix for the monochromatic-3's and 4's and is able to show the vertices in a list.