Ну, например, одна из известных задач из обсуждаемого класса - это т.н. задача коммивояжёра. Сможете усмотреть кратчайший путь из точки O в точку D, который посещал бы все промежуточные точки ровно по одному разу?
Кратчайший не смогу, но набросать несколько возможных путей (во всяком случае, не самых длинных) - очевидно, не проблема.
Но у меня вопрос - если кто-то заявит, что он нашёл "кратчайший путь" и нарисует его на данной схеме, то каким образом (путём "подстановки результата") можно убедиться в том, что этот путь - на самом деле кратчайший из всех возможных?