files / problems / one-third-two-thirds / compute
| .. | |
| certs/ | |
| q1/ | |
| q2/ | |
| box_allpairs.py | 4.3 KB |
| box_delta.json | 4.1 KB |
| box_dp.py | 5.8 KB |
| census.c | 9.1 KB |
| census10.txt | 529 B |
| CONSTANTS.md | 1.7 KB |
| known.json | 13 KB |
| plot_thickening.py | 1.7 KB |
| plot_W10.py | 1.1 KB |
| posetlib.py | 15 KB |
| README.md | 1.6 KB |
| records.json | 1.2 KB |
| thickening.json | 1.6 KB |
| three_chains.json | 8.6 KB |
| three_chains.py | 3.0 KB |
| verify_known.py | 8.7 KB |
| verify_records.py | 5.0 KB |
| verify_W10.py | 1.5 KB |
| W10_verify.json | 152 B |
| width3_census.json | 1.9 KB |
| width3_census.py | 6.8 KB |