Вот программист садится решать задачу. Хорошо, когда в его распоряжении есть мощный компьютер с терабайтами оперативной памяти. Хорошо, когда каждая операция на этом компьютере не занимает и наносекунды. Вообще замечательно, если при этом есть строгий математический аппарат, который позволяет решить задачу наилучшим образом при любых входных данных. А если нет?..