Кроме того, основываясь на достаточной репрезентативности результатов обысков и алгебраической записи графов, можно проследить существующие корреляции между наиболее распространенными местами обнаружения тайников и типами помещений — это, по нашему мнению, можно рассматривать как вариант психодиагностики места производства обыска, позволяющий алгоритмизировать данное следственной действие.
Еще одна сфера применения теории графов в криминалистической прогностике — построение так называемого "дерева целей".
"Дерево целей" используется в том случае, когда анализируемая система или процесс можно представить в виде уровней причинных взаимосвязей, уровней сложности или иерархических уровней. Система строится путем последовательного выделения все более мелких компонентов на постепенно понижающихся уровнях".1
Если в приведенном выше примере использован связанный, ориентированный граф, то при построении "дерева целей" должны использоваться изоморфные графы, то есть которые несут одинаковые сведения, но отличаются внешним видом. "Два графа являются изоморфными, если они имеют одинаковое число вершин и линий и между вершинами можно установить следующее соответствие: как только пара вершин первого графа соединяется линией, так соответствующая ей пара вершин второго графа оказывается соединенной линией, и наоборот. В ориентированном графе должны совпадать также и направления линий".1
Построение изоморфных ориентированных графов особенно наглядно иллюстрирует процесс доказывания по уголовному делу с несколькими обвиняемыми.
Пусть Х>0 — цель доказывания по уголовному делу (установление объективной истины), которая распадается соответственно на три цели: Х>1, Х>2 , Х>3- виновность Ивачева, Ефремова и Петрова в совершении убийства Зоркова; А>п - прямые доказательства их вины, В>п — косвенные доказательства. Тогда "дерево целей" по данному уголовному делу может быть представлено сложным ориентированным графом из трех ветвей, берущих начало в точке Xo.
Как известно, доказывание с помощью косвенных доказательств идет через промежуточный тезис. Прямое доказательство, напротив, непосредственно связано с предметом доказывания. С помощью данного графа можно наглядно увидеть, как складывается ситуация с доказыванием вины по каждому обвиняемому.
Например, если два свидетеля прямо указали на Ефремова, как на лицо, совершившее убийство, то алгебраически это может быть записано следующим образом:
Х>1
