This repository provides some programs to analyze pairing-based approximation algorithms for Max Bisection introduced in the paper Better Balance by Being Biased: a 0.8776-Approximation for Max Bisection.
Two sets of programs are provided:
-
proof/ contains a program that is used to formally prove the approximation ratio for a given choice of rounding algorithm.
-
heuristics/ contains programs used to heuristically compute approximation ratios (using local optimization), which is much faster than the prover and can be used to experiment with different rounding algorithms.
For more details, see the paper.