ИСТИНА

В докладе рассмотрена задача о решении системы словарных зависимостей с двумя и тремя неизвестными. Под словарной зависимостью здесь понимаем выражение вида "последовательность неизвестных слов = последовательность неизвестных слов", например, "альфа бета = бета альфа". Решением зависимости являются такие значения неизвестных слов, при которых зависимость превращается в верное побуквенное тождество. Очевидно, что тривиальным перебором данную задачу решить нельзя. Более того, трудности вызывает еще и тот факт, что необходимо решить не одну зависимость, а целую систему. Рассказано, как это можно сделать для систем с двумя и тремя неизвестными. Дополнительно упомянута предыстория данной задачи, связанная с теорией алфавитного кодирования.