Chapter 17 How Big are Ramsey Numbers?
Project by: Wenben Cai, Xuan Liao, Heifeng Zhao, and Yupeng Zhao.
\(\textbf{Summary:}\) Our group chose to write a software program that is related to Ramsey's theorem. The main goal of this program is to serve as an educational tool for students who are interested in Ramsey's theorem and Ramsey numbers but do not possess a coherent understanding of the concept.
The program can be divided into several parts. It consists of an introduction, a part that finds an upper bound of a Ramsey number \(R(s,t)\) with user-provided \(s\) and \(t\) values, a part that finds a lower bound of \(R(s,t)\text{,}\) a part that estimates the time required to find an exact value for \(R(s,t)\text{,}\) and a conclusion.
Formulas that are derived using induction and the probability principle are applied in places calculating the tentative bounds of \(R(s,t)\) and the program will construct an environment where users can use these formulas to find the bounds on their own and later check against the program for correctness.
\(\textbf{Link:}\) To access the app please go to this GitHub repository.
Please start with the README.md file.