Exact_algorithm