alt text

Помогите, пожалуйста.

задан 2 Май 22:16

@Intersection: интересно, почему смысл понятия coNP сочли нужным напомнить, это же сделали с понятием TAUT, но про SAT ничего не напомнили и не дали ссылку, не говоря о символике. Что значит "умножение" SAT на 3, а также значок <= с индексами снизу и сверху? Последнее то уж всяко надо пояснять?

(3 Май 0:56) falcao

@Falcao, https://docplayer.ru/61152849-Zadanie-4-slozhnost-vychisleniy-klassy-p-np-i-co-np.html про сводимость на странице 7, значение записи 3SAT на странице 8.

(4 Май 8:54) Intersection

@falcao, извините, пожалуйста, нужно еще информации предоставить на Ваш взгляд?

(9 Май 7:48) Intersection

@falcao, https://en.wikipedia.org/wiki/Boolean_satisfiability_problem#Not-all-equal_3-satisfiability, хороший англоязычный сайт про 3sat в том числе.

(11 Май 17:22) Intersection

@Intersection: да, по этой тематике много подходящей литературы имеется. Там все важные приёмы сведения подробно объяснены и расписаны.

(11 Май 19:01) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×55

задан
2 Май 22:16

показан
116 раз

обновлен
11 Май 19:01

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru