Вы здесь

Задача выполнимости: теория и практика. Лекция 1

Лекция
Код для блога:

Мы познакомимся с задачей выполнимости — одной из самых важных трудно решаемых задач. Разберём основные методы решения задачи выполнимости (как в теории, так и на практике): метод расщепления, локальный поиск, случайные блуждания. Узнаем, как эта задача связана с другими известными вычислительными задачами: например, ускорить классический квадратичный по времени алгоритм для расстояния редактирования не проще, чем ускорить полный перебор для задачи выполнимости. Наконец, увидим, насколько эффективны SAT-солверы (задачи для решения задачи выполнимости) на практике: вместе решим несколько сложных комбинаторных задач при помощи таких программ.

Другие лекции курса

15

Комментарии

Аватар пользователя sarahroxon

Fans of today's most popular slope game will like the suggested online game's quick gameplay and captivating gameplay. By signing up for the game, you may compete against other players from across the world who are presently ruling the leaderboard.

Аватар пользователя Emiliestreich

It can be said that this is a favorite article for those who love math. people will get many useful things from these sharing posts. wordle hint