At the root of the tree, the algorithm applies one of two strategies, called prove-best and disprove-rest.
U korenu stabla, algoritam primenjuje jednu od dve strategije, pod nazivom najbolje-dokazuje i kako-primeniti.