Keywords

#certifying_algorithm

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 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 most a constant factor than the best known non-certifying algorithm for the same problem.

Mon 22nd

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Certifying algorithm Extended Euclidean algorithm Sanity check Advanced Encryption Standard Public-key cryptography NSA product types Approximation algorithm Hungarian algorithm Root-finding algorithm Integer factorization
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.