Помогите сконструировать 3-CNF формулу для которой метод резолюций порождает экспоненциально много частей(конъюктивной нормальной формы)

задан 11 Сен 13:13

А если просто взять различные буквы? Типа $%(x_1\land y_1\land z_1)\lor...\lor(x_n\land y_n\land z_n)$%? При раскрытии скобок получится $%3^n$% членов. Этого не будет достаточно? Если нет, то нужно точнее описать условие.

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

Ваш ответ

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

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

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

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

отмечен:

×780
×389
×148

задан
11 Сен 13:13

показан
28 раз

обновлен
11 Сен 17:24

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

по почте:

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

по RSS:

Ответы

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

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