Skip to search formSkip to main contentSkip to account menu

Certifying algorithm

In theoretical computer science, a certifying algorithm is an algorithm that outputs, together with a solution to the problem it solves, a proof that… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
Clique (graph theory)Directed acyclic graphExtended Euclidean algorithmFormal verification

Broader (2)

Error detection and correctionSoftware testing

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Empirical analysis of algorithms for the shortest negative cost cycle problem
2017
2017
A certifying algorithm for lattice point feasibility in a system of UTVPI constraints
This paper is concerned with the design and analysis of a certifying algorithm for checking the lattice point feasibility of a… 
2016
2016
On the Power of Graph Searching for Cocomparability Graphs
In this paper we study how graph searching on a cocomparability graph $G$ can be used to produce cocomp orderings (i.e… 
2015
2015
Certification of Distributed Algorithms Solving Problems with Optimal Substructure
We report work-in-progress on applying the concept of a certifying algorithm to distributed algorithms. A certifying algorithm… 
2015
2015
Characterising parameterized graph classes : certifying algorithms for fixed-parameter tractable problems
In this thesis we consider the problem of characterising parameterized graph classes. The parameterized graph classes we consider… 
2014
2014
A Simpl Shortest Path Checker Verification
Verification of complex algorithms with current verification tools in reasonable time is challenging. Certifying algorithms… 
2013
2013
An FPT Certifying Algorithm for the Vertex-Deletion Problem
We provide a fixed-parameter certifying algorithm for the Vertex-deletion problem. An upper bound for the size of the forbidden… 
2010
2010
Certifying Algorithms for the Path Cover and Related Problems on Interval Graphs
A certifying algorithm for a problem is an algorithm that provides a certificate with each answer that it produces. The… 
2008
2008
A certifying algorithm for the path cover problem on interval graphs
A certifying algorithm for a problem is an algorithm that provides a certificate with each answer that it produces. The… 
2005
2005
Deductive Runtime Certification
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)