Позиционная Алгебра Логики — ПАЛ
Palogic.ru ознакомит с результатами исследования Позиционной Алгебры Логики, основателем которой является российский математик Тельпиз Мирон Иванович.
В результате теоретических работ получен ответ на один из основных открытых вопросов современной математики и теоретической кибернетики: о совпадении классов задач NP и P. Показана роль принципа позиционности в этом достижении и в алгоритмах преобразования задач. Введено понятие о суперприведении и показана возможность суперприведения NP-полных задач за полиномиальное время. Указана опасность применения современной криптографии с открытым ключом. Кратко обрисованы открывающиеся перспективы новой технологии для развития современной информатики или TCS (Theoretical Computer Science).
Описанный подход, полностью оформившийся к концу второго тысячелетия, до сих пор не имеет аналога в мировой теории и практике. Для такого вывода имеются все основания: до сих пор различные исследователи, занимающиеся задачей ВЫП, публикуют свои примеры так называемых критериев (benchmarks), в которых имеются тысячи переменных и десятки тысяч дизъюнкций или даже десятки тысяч переменных и сотни тысяч дизъюнкций, для желающих попробовать свои силы в распознавании выполнимости. И здесь подходы за последние двадцать лет существенно не изменились по сравнению с тем, что имелось на старте японского проекта ЭВМ пятого поколения.
Можно ли питать надежды, что в третьем тысячелетии проблематика существенно изменится?
(сайт и его материалы находятся в стадии разработки и оформления)
<< Можно ли питать надежды, что в третьем тысячелетии проблематика существенно изменится?
Питать надежды надо!!!