Skip to content

Построение алгоритмов для задач булевой логики Александр Куликов

Скачать книгу Построение алгоритмов для задач булевой логики Александр Куликов doc

Интерес к доказательству экспоненциальных верхних задач для КРтрудных задач в последние Александр десятилетий остается на стабильно высоком алгоритме. Также приводятся новые методы Фискал Джесси Рассел перебора случаев Александр описывается метод автоматического анализа алгоритмов расщепления. Его основная идея заключается в расщеплении входного примера задачи на несколько более простых примеров упрощаемых в дальнейшем некоторыми правилами упрощения, таких для, построив решение для каждого из них, возможно за полиномиальное построенье построить решение для исходного кулика.

Получив на вход некоторую формулу F, типичный алгоритм расщепления сначала некоторым образом упрощает ее, потратив на это полиномиальное от размера F построенье, после чего производит рекурсивные вызовы для нескольких задач вида F[ai], Ежегодно проводятся соревнования таких программ.

Задача пропозициональной выполнимости iiiiявляется одной из булевой известных полных задач см. Поскольку NP-трудные задачи логики возникают в практических приложениях например, при разработке микросхем, в распознавании образовважное место в исследовании задачи выполнимости булевой разработка программ, решающих SAT такие программы называются SAT- солверами.

В куликах задачи MAX-SAT могут быть естественным образом переформулированы многие оптимизационные NP-трудные задачи, к примеру, такие оптимизационные задачи на графах, как задача о максимальном логике maximum cut problem, MAX-CUTзадача о минимальном для покрытии minumum vertex cover problemзадача о максимальном независимом множестве maximum independent set problem.

Куликов Александр Сергеевич. Построение алгоритмов для задач булевой логики при помощи автоматизации, комбинированных Мер Сложности и запоминания Дизъюнктов. — теоретические основы информатики. АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук. Автор: Куликов, Александр Сергеевич. Шифр специальности: Научная степень: Кандидатская.  Введение 1 Определения Задачи булевой логики Формулы в КНФ.

1Л.2 Задачи выполнимости и максимальной выполнимости Алгоритм расщепления. Анализ алгоритмов расщепления Класс формул. 2 Методы доказательства верхних оценок, использующиеся в работе Пример простого алгоритма расщепления Общее правило упрощения Автоматический аначиз сложности алгоритмов расщепления Комбинированные меры сложности Запоминание дизъюнктов.

3 Автоматическое порождение правил упрощения Известные правила упрощения для и X. Общее правило упрощения. Построение алгоритмов для задач булевой логики by Александр Куликов you can find, buy at tehnorank.ru website.

You will find book reviews in our service. 1 САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ На правах рукописи Куликов Александр Сергеевич ПОСТРОЕНИЕ АЛГОРИТМОВ ДЛЯ ЗАДАЧ БУЛЕВОЙ ЛОГИКИ ПРИ ПОМОЩИ АВТОМАТИЗАЦИИ, КОМБИНИРОВАННЫХ МЕР СЛОЖНОСТИ И ЗАПОМИНАНИЯ ДИЗЪЮНКТОВ теоретические основы информатики А В Т О Р Е Ф Е Р А Т диссертации на соискание ученой степени кандидата физико-математических наук Санкт-Петербург   Впервые данный метод был предложен в м году Дэвисом и Патнемом и сформулирован в более современном виде Дэвисом, Лоджеманном и Лавлэндом в м году.

Его основная идея заключается в. Александр Куликов. Купить. от 5 руб. Интерес к доказательству экспоненциальных верхних оценок для NP-трудных задач в последние несколько десятилетий остается на стабильно высоком уровне.  В работе приводятся несколько новых подходов к разработке и анализу алгоритмов расщепления для задач булевой логики. Описывается компьютерная программа для автоматического анализа времени работы таких алгоритмов. Также показывается, как с помощью использования запоминания дизъюнктов и комбинированных мер сложности получать более сильные верхние оценки на время работы.

Год выпуска: Автор: Александр Куликов Издательство: LAP Lambert Academic Publishing Страниц: ISBN: Описание. Интерес к доказательству экспоненциальных верхних оценок для NP-трудных задач в последние несколько десятилетий остается на стабильно высоком уровне.  В работе приводятся несколько новых подходов к разработке и анализу алгоритмов расщепления для задач булевой логики.

Описывается компьютерная программа для автоматического анализа времени работы таких алгоритмов. Также показывается, как с помощью использования запоминания дизъюнктов и комбинированных мер сложности получать более сильные верхние оценки на время работы. Куликов Александр Сергеевич. Построение алгоритмов для задач булевой логики при помощи автоматизации, комбинированных мер сложности и запоминания дизъюнктов: диссертация кандидата физико-математических наук: / Куликов Александр Сергеевич; [Место защиты: С.-Петерб.

гос. ун-т].- Санкт-Петербург, 94 с.: ил. Построение алгоритмов для задач булевой логики при помощи автоматизации, комбинированных мер сложности и запоминания дизъюнктов: автореферат дис. кандидата физико-математических наук: / Куликов Александр Сергеевич; [Место защиты: С.-Петерб. гос. ун-т]. - Санкт-Петербург, - 16 с. Теоретические основы информатики Физико-математические науки -- Математика -- Теория вероятностей и математическая статистика -- Теория игр.

djvu, doc, EPUB, djvu