Класс NP и NP-полные задачи
NP-полнота задачи о выполнимости булевой формулы. Решение задачи за полиномиальное время на недетерминированной машине Тьюринга. Определение набора значений переменных. Трансформация задачи о клике в задачу о вершинном покрытии и о гамильтоновом цикле.
Подобные документы
Исследование применимости различных многоядерных аппаратных ускорителей для решения задачи выполнимости булевых формул. Разработка решателей, учитывающих особенности исследуемых аппаратных платформ. Рассмотрение применения графических ускорителей.
статья, добавлен 11.07.2018Олимпиадные задачи по программированию, для решения которых используются рекурсивные алгоритмы. Примеры описания алгоритма в виде циклов на неориентированном гамильтоновом графе. Решение задачи без графического представления предметной области.
статья, добавлен 30.01.2019Определение набора возможных независимых переменных. Исключение переменных, не имеющих существенного отношения к решению поставленной задачи. Выбор окончательного вида уравнения с "наилучшими" независимыми переменными для решения поставленной задачи.
лабораторная работа, добавлен 07.05.2012Теоретическая оценка предела трудоемкости алгоритма решения задачи. Сложностные классы задач: с полиномиальной сложностью (класс P) и полиномиально проверяемые (NP); основная проблема теории сложности. Класс NPC (NP – полные задачи) и его примеры.
реферат, добавлен 12.07.2010Общее понятие про транспортную задачу. Описание и анализ математической модели. Алгоритм метода потенциалов. Пример решения транспортной задачи методом Фогеля. Обоснование выбора инструментальных средств. Решение транспортной задачи в MS Excel и Delphi.
задача, добавлен 10.03.2012Общая постановка задачи, описание переменных, накладываемых на них ограничений, целевой функции. Составление плана перевозок. Рассмотрение способов доставки груза. Определение себестоимости перевозки. Решение задачи с применением программы MS Excel.
курсовая работа, добавлен 23.08.2014Методика определения интерполяционной формулы для функции двух переменных в окружности. Алгоритм вычисления собственных чисел оператора Лапласа на языке программирования Фортран. Сведение задачи Дирихле к алгебраической проблеме собственных значений.
учебное пособие, добавлен 09.01.2017Математическая модель задачи. Решение задачи принятия решений в условиях частичной неопределенности методом теории матричных игр. Применение симплекс-метода для решения транспортной задачи. Реализация в программной среде Matlab двойственной задачи.
контрольная работа, добавлен 06.11.2014Определение минимальной стоимости транспортировки стали на торговые склады, решение задачи c помощью MS Excel. Создание экранной формы и ввод исходных данных задачи. Ввод ограничений и граничных условий. Запуск задачи и установка параметров ее решения.
контрольная работа, добавлен 05.10.2011Построение области допустимых значений задачи линейного программирования. Приведение задачи к канонической форме. Решение задачи максимизации с ограничениями в виде неравенств симплекс-методом. Поиск оптимального решения задачи средствами пакета MATLAB.
контрольная работа, добавлен 26.01.2017Графическое решение задач линейного программирования. Нахождение максимального значения целевой функции. Построение области допустимых решений. Определение стоимости перевозок. Решение транспортной задачи. Достаточное условие разрешимости задачи.
контрольная работа, добавлен 04.02.2016Основные задачи линейного программирования, построение математической модели. Модель одноиндексной и двухиндексной задачи. Задача составления штатного расписания. Построение модели транспортной задачи и задачи с булевыми переменными (о назначениях).
методичка, добавлен 19.04.2015Машина Тьюринга как вычислительная модель. Примеры вычислений на детерминированной одноленточной машине Тьюринга. Проблемы, решаемые за полиномиальное время, сложность арифметических проблем. Применение теории сложности в программировании и криптографии.
методичка, добавлен 25.01.2015Определение минимизации транспортных расходов при перевозке палок для скандинавской ходьбы. Построение математической формулировки модели. Решение задачи с помощью пакета WinQSB. Использование команды "Solve the problem" для решения даной задачи.
курсовая работа, добавлен 18.10.2017Описание математической модели задачи на основе физической или экономической модели. Особенность составления блок-схемы программы для решения задачи на электронно-вычислительной машине. Решение нелинейного уравнения методом Ньютона и простых итераций.
курсовая работа, добавлен 18.02.2019Решение задачи коммивояжёра методом динамического программирования. Первый шаг оптимизации и определение расстояния через любые две вершины в начальную. Решение задачи методом ветвей и границ с помощью алгоритма Литтла, особенности решения жадным методом.
контрольная работа, добавлен 20.05.2015Анализ текста олимпиадной задачи "удивительные числа" по программированию. Разработка кода программы-решения задачи на языке Pascal, а также пояснения и рекомендации автора относительно того, как решать данную задачу. Тестирование программы на Pascal ABC.
статья, добавлен 06.03.2018Анализ исходных данных и решение задач с помощью Excel. Выполнение программных команд. Определение потенциала поставщиков и потребителей. Проверка оптимальности опорного плана. Создание экранной формы задачи. Нахождение индикаторных переменных задачи.
контрольная работа, добавлен 24.02.2014Понятие и методы решения задач линейного программирования, этапы постановки его задач. Решение задачи на нахождение значения переменных, обеспечивающее минимизацию целевой функции, одноиндексной задачи и транспортной задачи с помощью средств MS Excel.
контрольная работа, добавлен 09.11.2014Приближенные методы решения взвешенной задачи о минимальном покрытии множества. Реализация жадного алгоритма и алгоритма Бар-Иегуды-Эвена, сравнение их временной сложности. Применение результатов, полученных с их помощью в других подходах решения задачи.
дипломная работа, добавлен 17.07.2020Машина Тьюринга как абстрактный исполнитель, вычислительная машина. Ее устройство и принципы управления, взаимосвязь элементов и назначение. Исследование отдельных палиндромических словосочетаний и фраз. Реализация проверки палиндрома на машине Тьюринга.
контрольная работа, добавлен 15.12.2014Изучение вопроса о количестве шагов, необходимых для достижения локального экстремума. Модификация алгоритма случайного повторного локального поиска для решения задачи о покрытии с применением "бесполезных" ходов. Оценка эффективности алгоритма.
статья, добавлен 19.02.2016Выбор наиболее эффективного метода и решение задачи. Разработка алгоритма и программы для решения задачи в общем виде. Применение программа "TabSimMethod". Решение задачи табличным симплекс-методом. Создание, ввод формул и форматирование таблиц.
курсовая работа, добавлен 26.12.2014- 24. Теория графов
История и основные термины теории графов. Представление их в электронно-вычислительной машине. Задача коммивояжера. Метод ветвей и границ. Решение задачи аналитическим методом. Постановка задачи, создание приложения для ее решения. Тестирование программы.
курсовая работа, добавлен 04.09.2013 Общая постановка задачи линейного программирования. Задача об использовании ресурсов (задача планирования производства). Решение поставленной задачи с помощью программного пакета Excel. Анализ результатов расчетов и выработка управленческого решения.
курсовая работа, добавлен 01.02.2014