Задачка методом резолюций Робинсона

[mikola89]

Привет. Я проштудировал всю теорию, так ничего и не понял, но прочитал) Перерыл весь интернет, но так и ничего не нашел. Как метод резолюций робинсона применить к задаче выполнимость. При чем это нужно сделать по шагам с разъяснением. Задача такая:
1, -2, 3
2, 3
4, 5
3, -5
-3, -4
5,
-4, -5 .
Помогите пожалуйста!

[popolznev]

Шифр какой-то: 1, -2, 3... Трианон, Трианон, Трианон, Трианон.

[Sender]

popolznev в сообщении #1183226 писал(а):

Шифр какой-то: 1, -2, 3... Трианон, Трианон, Трианон, Трианон.

Подозреваю, что это запись задачи выполнимости в несколько искажённом формате DIMACS.

mikola89 в сообщении #1183180 писал(а):

Я проштудировал всю теорию

Какую именно теорию вы проштудировали, можете привести список литературы, если не затруднит?

[mikola89]

1. Пападимитриу Х., Стайглиц К. Комбинаторная оптимизация.
2. Герман О.В. Введение в теорию экспертных систем и обработку знаний.
3. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи.
4. Герман О.В., Гончарова Е.Н. Об одной концепции вычислительной сложности.

Эта литература употребляется в методическом комплексе по дисциплине «Построение и анализ алгоритмов». А мне эти алгоритмы и нужны.

[Karan]

Ну вот и опишите своими словами, что такое метод резолюций Робинсона и где у Вас возникают проблемы с применением его к этой задаче.

[mikola89]

Ясно, что ничего не ясно, спасибо за ответ, буду дальше соображать)

[Sender]

Неясно, что такое метод резолюций? Но это же гуглится на раз-два. Вот, например.

[mikola89]

В том то и дело что метод резолюций понятен, непонятно как с его помощью можно сделать эту задачку.

[arseniiv]

Ну у задачи обычно есть должен быть какой-то внятный вполне видимый невооружённым глазом вопрос, записанный словами, даже если и не сразу понятный. Если ваша состоит только в

mikola89 в сообщении #1183180 писал(а):

1, -2, 3
2, 3
4, 5
3, -5
-3, -4
5,
-4, -5 .

то ничем тут помочь нельзя — разве что предложить вам переспросить у того, кто её дал, что это такое, и не осталось ли чего-то за кадром.

[mikola89]

Я понял, спасибо за помощь