Охотничьи рассказы (любительски-программистское)
Это не очень практическая задача, но я нашел контрпример для своей книжки про квадратичные алгебры, написав несколько десятков строчек кода в системе Турбопаскаль и исполнив их на своем домашнем компьютере 486 DLC в Москве. Дело было в первой половине 90-х годов. Контрпример, найденный путем перебора, представляет собой граф с семью вершинами, довольно симметричный, похожий на шестиконечную звезду. Книжка опубликована, этот пример в нее вошел (хотя и не в виде картинки, к сожалению -- руки не дошли нарисовать).

[Вся целиком коллекция охотничьих рассказов собирается под замком, поэтому ссылку не даю.]