files / problems / union-closed / compute
| .. | |
| q1/ | |
| q2/ | |
| q3/ | |
| best_on_ray.json | 11 KB |
| best_on_ray.py | 4.8 KB |
| certificate.json | 667 B |
| CONSTANTS.md | 1.6 KB |
| entropy.py | 3.2 KB |
| enum_small.json | 5.6 KB |
| enum_small.py | 3.2 KB |
| ex4_push.json | 10 KB |
| ex4_push.py | 8.3 KB |
| first_crossing.json | 124 KB |
| first_crossing.py | 3.7 KB |
| hunt_mixtures.json | 1.1 KB |
| hunt_mixtures.py | 6.0 KB |
| lemma8_quant.json | 6.1 KB |
| lemma8_quant.py | 5.8 KB |
| plot_crossing.py | 1.5 KB |
| published_constants.json | 2.7 KB |
| ray_crossing.py | 3.4 KB |
| README.md | 1016 B |
| refine_rays.json | 14 KB |
| refine_rays.py | 8.1 KB |
| run_all.sh | 468 B |
| search_constant.json | 60 KB |
| search_constant.py | 11 KB |
| solve_published.py | 7.1 KB |
| verify.json | 1.3 KB |
| verify.py | 6.1 KB |