Хочу предупредить сразу. Я забросил эту программу во время большой переделки. Поэтому всю фигню, описаную в отчёте, исходном виде вы не найдёте. У меня к сожалению сейчас другие проблемы и перепахиванием исходников мне заниматься некогда. Хотя даже если отбросить проблемы, то у меня самого есть более высокие задачи и уделять время моему графу некогда.

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

Весь (c) на применяемые эвристики принадлежит их автору (т.е. мне). А по секрету в отчёте рассказанно не про все эверистики (просто не хочется в случае чего доказывать преподу по дискретке, что они не вносят в результат ошибок).

Большой размер архива с исполняемым фалом объясняется тем, что в нём лежат драйвера для силиконовой графики, без которых он не работает.

Остатки исходника

Сам исполняемый файл

Исходник отчёта в TeX

Откомпилированный отчёт (DVI)