(computing) A randomized algorithm that always gives a correct result rather than merely giving a probably correct result.

An algorithm used to find the unknown parameters of a hidden Markov model.

(logic) An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.

(computer science) An algorithm for matrix multiplication.

An inference algorithm for hidden Markov models which computes the posterior marginals of all hidden state variables given a sequence of observations/emissions. It uses dynamic programming to compute the values in two passes, the first going forward in time and the second backward.

(numerical analysis) An algorithm that significantly reduces the numerical error in the total obtained by adding a sequence of finite-precision floating-point numbers, compared to the obvious approach, by tracking the accumulated small errors in a separate variable.

An algorithm for finding a solution to the stable marriage problem in polynomial time.

Synonym of computational number theory.

Synonym of Ramer-Douglas-Peucker algorithm

A method for minimization of Boolean functions, functionally identical to Karnaugh mapping, but having a tabular form that is more efficient in computer algorithms. It is based on finding prime implicants.