Таблица | Карточка | RUSMARC | |
Разрешенные действия: –
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Группа: Анонимные пользователи Сеть: Интернет |
Аннотация
Объектом исследования является задача выполнимости булевых формул (SAT). Цель работы - исследование эффективности и улучшение эвристических методов решения задачи выполнимости булевых формул. В работе выполнен теоретический обзор методов решения задачи SAT. Проводилась экспериментальная проверка эвристических методов решения задачи выполнимости. В ходе исследования были предложены две модификации алгоритма вероятностного локального поиска. Степень внедрения – разработано программное приложение на основе вероятностного локального поиска. Эффективность предложенных модификаций подтверждается ускорением поиска решения на некоторых булевых формулах.
Права на использование объекта хранения
Место доступа | Группа пользователей | Действие | ||||
---|---|---|---|---|---|---|
Локальная сеть ИБК СПбПУ | Все | |||||
Интернет | Авторизованные пользователи СПбПУ | |||||
Интернет | Анонимные пользователи |
Статистика использования
Количество обращений: 106
За последние 30 дней: 0 Подробная статистика |