Об одном подходе к расшифровке монотонной логической функции

Рассматривается задача расшифровки двузначной монотонной функции $f$, определенной на $k$-значном $n$-мерном кубе. Традиционным подходом к решению данной задачи является построение оптимального по Шеннону алгоритма. Оптимальный по Шеннону алгоритм расшифровки имеет минимальную сложность в «худшем случае» (эффективен для наиболее трудного варианта задачи). Авторами предложен и исследован подход к задаче расшифровки, основанный на применении асимптотически оптимального алгоритма дуализации над произведением $k$-значных цепей. Асимптотически оптимальная расшифровка функции $f$ нацелена на «типичный случай» (на типичный вариант задачи). Экспериментально выявлены условия применимости традиционного и нового подходов.