Automated NP-completeness proof for 2D problems

Методы автоматизации доказательства NP- полноты двумерных локально зависимых задач Дворкин М. Э. Научный руководитель: Корнеев Г. А., к. т. н., доцент КТ СПбГУ ИТМО [email_address]

Двумерные локально зависимые задачи ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Автоматизация доказательства NP-полноты двумерных задач Дворкин М. Э.

Применение устройств ,[object Object],[object Object],[object Object],Автоматизация доказательства NP-полноты двумерных задач Дворкин М. Э.

Постановка задачи ,[object Object],[object Object],[object Object],[object Object],[object Object],Автоматизация доказательства NP-полноты двумерных задач Дворкин М. Э.

Сведение 1- in-3 SAT к L ,[object Object],[object Object],[object Object],[object Object],Автоматизация доказательства NP-полноты двумерных задач Дворкин М. Э.

Одинарные и двойные провода ,[object Object],[object Object],[object Object],[object Object],[object Object],Автоматизация доказательства NP-полноты двумерных задач Дворкин М. Э.

Набор устройств для двойных проводов ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Автоматизация доказательства NP-полноты двумерных задач Дворкин М. Э.

Динамическое программирование по профилю ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Автоматизация доказательства NP-полноты двумерных задач Дворкин М. Э.

Подход «перебор всех полей» ,[object Object],[object Object],[object Object],[object Object],[object Object],Автоматизация доказательства NP-полноты двумерных задач Дворкин М. Э.

Метадинамическое программирование ,[object Object],[object Object],[object Object],Автоматизация доказательства NP-полноты двумерных задач Дворкин М. Э.

Метадинамическое программирование ,[object Object],[object Object],[object Object],[object Object],Автоматизация доказательства NP-полноты двумерных задач Дворкин М. Э.

Задача (2,3)-замощения Автоматизация доказательства NP-полноты двумерных задач Дворкин М. Э.

Задача 4- CROSS SUM ( открытый вопрос) Автоматизация доказательства NP-полноты двумерных задач Дворкин М. Э.

Спасибо за внимание ,[object Object],Автоматизация доказательства NP-полноты двумерных задач Дворкин М. Э.

Automated NP-completeness proof for 2D problems

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (10)

Automated NP-completeness proof for 2D problems