Problema baten ebazpenera hurbiltzen laguntzen duen zentzuzko arau edo arau-multzoa, teorian lor litekeen ebazpen onenetik gertuen dagoen ebazpena ematen duena. Eskuarki, esperimentazioan eta saiakuntza-errore metodoetan oinarrituta egoten dira.