Търсене на целево състояние (Търсене на път в граф)
Графът (graph) се състои от множество N от възли / върхове / състояния (nodes) и множество A от наредени двойки от върхове, наречени дъги (arcs) .
Върхът n2 е съсед (neighbor) на n1, ако съществува дъга между n1 и n2, т.е. <n1,n2> є A.
Път (path) е последователност от върхове n0, n1, ... nk ? такава че <ni-1,ni> є A, i=1..k .