On the Min-Entropy Asymptotics of Binary Context Graphs

Return to the paper

Work in progress. Not all claims have been verified by a human.

Run these commands from the code directory:

python3 -m pip install -r requirements.txt
python3 experiments/verify_floor_consistency.py
python3 experiments/verify_two_lag_master.py
python3 experiments/verify_reduced_cost_certificates.py
python3 experiments/verify_potential_synthesis.py

• experiments/verify_floor_consistency.py
• experiments/verify_potential_synthesis.py
• experiments/verify_reduced_cost_certificates.py
• experiments/verify_two_lag_master.py
• repo/gbar.py
• repo/generate_figures.py
• repo/requirements.txt
• repo/two_run_certificate.c
• repo/verify.py
• requirements.txt