TU Delft Algorithmics
SAT @ Delft
Delft University of Technology Visualize your own certificate ALG Group
EWI ALG SAT @ DelftVisualize your own certificate
Visualization of certificates
The techniques we developed to improve the upper bounds of Van der Waerden numbers were inspired by patterns observed in the extreme and largest known certificates of Van der Waerden numbers. Because there patterns are hard to discover in the partitions, we developed a visualization to make the patterns easier to spot. Place the partition in the box below. Elements should be seperated by commas and / or spaces -- see for instance the example partition of a certificate for W(5,3). Elements wihtin a subset should be placed in increasing order. Each non-empty new line starts a new subset. Alternatively, a new subset starts if a next element is smaller than the prior one (on the same line). The current script supports partitions till approximately 5000 elements. Apart from the visualization the largest arithmetic progression in the partition is computed.
Partition :