{"version":"1.0","type":"link","title":"Certifying algorithm - Newikis","description":"In theoretical computer science, a certifying algorithm is an algorithm that outputs, together with a solution to the problem it solves, a proof that the solution is correct. A certifying algorithm is said to be efficient if the combined runtime of the algorithm and a proof checker is slower by at…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}