Ramsey Numbers involve coloring the edges of a (hyper) graph while avoiding monochromatic subgraphs. These numbers grow very quickly, especially when considering the symmetries involved in the problem statement.
It would be interesting to see how Z3 can handle these symmetries, and how simply we can reproduce well-known Ramsey bounds. Possibly, we could extend known knowledge by hitting small cases of strange graphs.
One enormous challenge will be how we can organize the results. There are so many ways to discuss Ramsey numbers and the input space is so huge (once you generalize to arbitrary graphs) and there are many variations (size Ramsey, ordered Ramsey, etc.).
One approach would be to start replicating results from the Small Ramsey Numbers Dynamic Survey in small pieces. We will likely want to break the problem down into smaller pieces.
Proposal
Create a folder named r containing a README.md that describes Ramey numbers in general. That README.md describes the different variations and how they relate, and where they are located in subdirectories of r.
Examples: classical for standard Ramsey numbers, size for size Ramsey numbers, ordered for ordered Ramsey numbers, hyper for hypergraph Ramsey numbers, etc.
Ramsey Numbers involve coloring the edges of a (hyper) graph while avoiding monochromatic subgraphs. These numbers grow very quickly, especially when considering the symmetries involved in the problem statement.
It would be interesting to see how Z3 can handle these symmetries, and how simply we can reproduce well-known Ramsey bounds. Possibly, we could extend known knowledge by hitting small cases of strange graphs.
One enormous challenge will be how we can organize the results. There are so many ways to discuss Ramsey numbers and the input space is so huge (once you generalize to arbitrary graphs) and there are many variations (size Ramsey, ordered Ramsey, etc.).
One approach would be to start replicating results from the Small Ramsey Numbers Dynamic Survey in small pieces. We will likely want to break the problem down into smaller pieces.
Proposal
Create a folder named
rcontaining aREADME.mdthat describes Ramey numbers in general. ThatREADME.mddescribes the different variations and how they relate, and where they are located in subdirectories ofr.Examples:
classicalfor standard Ramsey numbers,sizefor size Ramsey numbers,orderedfor ordered Ramsey numbers,hyperfor hypergraph Ramsey numbers, etc.