An algorithm that takes a problem instance and candidate solution as input, and returns True when the candidate is acceptable and False when the candidate is unacceptable is known as $\_\_\_\_\_\_\_\_$

An algorithm that takes a problem instance and candidate solution as input, and returns True when the candidate is acceptable and False when the candidate is unacceptable is known as $\_\_\_\_\_\_\_\_$

an implementation algorithm

a verifier algorithm

a two$-$argument algorithm

None of the above