files / problems / covering / share / 2026-08-24 / compute

..
build_certificate.py3.5 KB
covering_certificate_r10_n50.json31 KB
covering_seed_io.py5.1 KB
H_r10_n50.txt1.1 KB
plot_density.py1.9 KB
propagate_qm_m4.py1.2 KB
propagate_qm_m5.py1.1 KB
reconstruct_KR_r10_n51.py1.5 KB
search_n49_lifted.c24 KB
search_n49.c27 KB
search_partition_p10.py5.3 KB
search_radius2.py8.1 KB
search_results.json987 B
verify_certificate.py5.4 KB
verify_H_r10_n50_independent.py1.5 KB
verify_partition_p10.py1.6 KB
witness_r10_n50.json1.8 KB

This folder on GitHub