8.4. Результаты
На сегодняшний день более сотни задач из самых различных областей были решены с помощью системы ALICE. Эти задачи связаны с такими разделами дискретной математики, как оптимальная связь, диофантовы уравнения, пути Эйлера и Гамильтона, а также с практическими приложениями, такими, как распределение тока высокого напряжения по сетям французской государственной компании “Электриситэ де Франс” (EDF), планирование, организация снабжения, составление расписаний, помощь в архитектурных разработках с элементами оптимизации, оптимальное обнаружение аварий, использование накопителей на магнитных дисках в операционных системах, коммерческая деятельность, организация обслуживания. Решение последней задачи весьма трудоемко, требует больших вычислительных ресурсов, и на этом примере можно оценить эффективность системы ALICE.
Кроме того, с помощью этой системы было решено около пятидесяти головоломок и логических задач (магические квадраты и кубы, задача с 8 ферзями, головоломки Льюиса Кэрролла, Сэма Лойда и Мартина Гарднера), что свидетельствует о большой гибкости программы и мощности языка. Список решенных задач с комментариями и решениями можно найти в разд. 8.7.
Отметим небольшое число выборов и малое время вычислений. После испытаний и экспериментов на этой системе в
реальных условиях в течение нескольких лет я смог убедиться в ее устойчивости и высоких эксплуатационных качествах. Основное ее преимущество состоит, несомненно, в ее практической пользе. Время, которое она тратит от получения формулировки задачи до выдачи решения, составляет от нескольких секунд до нескольких минут. Класс задач, для которых применим такой подход, огромен;
Другое преимущество системы лежит в области теории. Оно состоит в совершенно новом и открытом направлении программирования. Показана возможность создания систем, для которых достаточно дать только формулировку задачи, а ход решения полностью определяется самой программой, которая выбирает наиболее эффективный и подходящий путь.
