Methods and results can be found in TeX or PDF format.
- Proved there exists an elementary configuration bounding PW(4, {x^2}) < 1+290085289^2
- Proved there exists an elementary configuration bounding PW(4, {x^2+x}) < 1+113261*113262
- Proved there exist elementary configurations bounding PW(4, {ax^2+bx}) for all a=1, b <= 2000, and some with a > 1 see here
- Proved that there exist elementary configurations bounding PW(3, {ax^2+bx})
- Found a "Pythagorean K4" for {x^2+x}
First, adjust output path OUT_PATH in PolyRunner and ThreeColorRunner.
To run, compile from the src/java directory with javac polyvdw/*.java.
Then run the 4-color version with java polyvdw/PolyRunner or the 3-color version with java polyvdw/ThreeColorRunner.