, ?
>3 и ?
>5. Площадка ?
>1 исключается из активного фронта, так как использованы все связи этой площадки с другими площадками лабиринта. На следующем шаге достигаются площадки ?
>4 и ?
>6. Наличие среди доказанных выражений целевого ?
>6 позволяет завершить процесс доказательства. После этого можно произвести «чистку», в результате которой останется лишь тот путь, который кратчайшим образом приводит от начального утверждения ?
>1 к целевому ?
>6.
На примере мы описали процедуру, которая, как легко видеть, носит универсальный характер и пригодна для поиска пути вывода в лабиринтах произвольного типа. Эта процедура известна среди специалистов под названием метода прямой волны. Волна поиска путей к целевой площадке распространяется от всех площадок, играющих роль начальных.
Возможен и другой способ поиска доказательства. Он носит название метода обратной волны. В этом методе волна начинает свое движение от целевых площадок и движется в направлении начальных площадок лабиринта. Для нашего случая на первом шаге была бы порождена площадка, соответствующая ?>5, вслед за этим ?>3 и ?>1. На этом движение волны прекратилось бы, так как ее фронт достиг всех (в данном случае единственной ?>1) начальных площадок.
Различие между прямой и обратной волной состоит в том, что они порождают в процессе своего движения различные промежуточные «фронты» площадок, что приводит к различному числу шагов при поиске. Часто используется смешанный метод вывода, при котором одновременно движутся прямая и обратная волны. При встрече этих волн формируется путь вывода от начальных аксиом к целевым выражениям.
Несколько иной разновидностью схем вывода являются так называемые альтернативные деревья или альтернативные сети. В этих схемах выбор дальнейшего пути движения зависит от того, достигнут или не достигнут вывод некоторого выражения. Другими словами, попытки продвижения по лабиринту, которые мы демонстрировали на методе прямой волны при удачах и неудачах, могут влиять на стратегию дальнейшего движения. Такие схемы вывода мы более подробно рассмотрим в пятой главе. Здесь же лишь проиллюстрируем рассуждение такого типа на примере.
В знаменитом рассказе «Убийство на улице Морг» Эдгара По сыщик-любитель Огюст Дюпен помещает в газете объявление о находке орангутанга, который, по слухам, принадлежит матросу мальтийского корабля. На вопрос о причинах такого объявления Огюст Дюпен отвечает следующим образом:
«Но вот обрывок ленты, посмотрите, как она засалена, да и с виду напоминает те, какими матросы завязывают волосы. К тому же таким узлом мог завязать ее только моряк, скорее всего мальтиец. Я нашел эту ленту под громоотводом. Вряд ли она принадлежала одной из убитых женщин. Но даже если я ошибаюсь и хозяин ленты не мальтийский моряк, то нет большой беды в том, что я сослался на это в моём объявлении. Если я ошибся, матрос подумает, что кто-то ввел меня в заблуждение, и особенно задумываться тут не станет. Если же я прав, – это козырь в моих руках. Как очевидец, хоть и не соучастник убийства, француз, конечно, не раз подумает, прежде чем пойти по объявлению. Но вот он станет рассуждать: „Я не виновен, к тому же я человек бедный; орангутанг и вообще-то в большой цене, а для меня это целое состояние, зачем же терять его из-за пустой мнительности. Вот он, рядом, только руку протянуть. Его нашли в Булонском лесу, далеко от места, где произошло убийство. Никому в голову не придет, что такие страсти мог натворить дикий зверь. Полиции ввек не догадаться, как это случилось. Но хотя бы обезьяну и выследили – попробуй докажи, что я что-то знаю; а хоть бы и знал, я не виноват. Главное, кому-то я уже известен. В объявлении меня так и называют владельцем этой твари. Кто знает, что этому человеку еще про меня порассказали. Если я не приду за моей собственностью, а ведь она больших денег стоит, да известно, что хозяин – я, на обезьяну падет подозрение. А мне ни к чему навлекать подозрение, что на себя, что на эту бестию. Лучше уж явлюсь по объявлению, заберу орангутанга и спрячу, пока все не порастет травой“».
