2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




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

 
 
 
 Re: Задачка методом резолюций Робинсона
Сообщение10.01.2017, 08:47 
Аватара пользователя
Шифр какой-то: 1, -2, 3... Трианон, Трианон, Трианон, Трианон.

 
 
 
 Re: Задачка методом резолюций Робинсона
Сообщение10.01.2017, 09:37 
popolznev в сообщении #1183226 писал(а):
Шифр какой-то: 1, -2, 3... Трианон, Трианон, Трианон, Трианон.

Подозреваю, что это запись задачи выполнимости в несколько искажённом формате DIMACS.
mikola89 в сообщении #1183180 писал(а):
Я проштудировал всю теорию

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

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

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

 
 
 
 Re: Задачка методом резолюций Робинсона
Сообщение10.01.2017, 10:47 
Ну вот и опишите своими словами, что такое метод резолюций Робинсона и где у Вас возникают проблемы с применением его к этой задаче.

 
 
 
 Re: Задачка методом резолюций Робинсона
Сообщение10.01.2017, 12:30 
Ясно, что ничего не ясно, спасибо за ответ, буду дальше соображать)

 
 
 
 Re: Задачка методом резолюций Робинсона
Сообщение10.01.2017, 12:53 
Неясно, что такое метод резолюций? Но это же гуглится на раз-два. Вот, например.

 
 
 
 Re: Задачка методом резолюций Робинсона
Сообщение10.01.2017, 15:56 
В том то и дело что метод резолюций понятен, непонятно как с его помощью можно сделать эту задачку.

 
 
 
 Re: Задачка методом резолюций Робинсона
Сообщение10.01.2017, 16:16 
Ну у задачи обычно есть должен быть какой-то внятный вполне видимый невооружённым глазом вопрос, записанный словами, даже если и не сразу понятный. Если ваша состоит только в
mikola89 в сообщении #1183180 писал(а):
1, -2, 3
2, 3
4, 5
3, -5
-3, -4
5,
-4, -5 .
то ничем тут помочь нельзя — разве что предложить вам переспросить у того, кто её дал, что это такое, и не осталось ли чего-то за кадром.

 
 
 
 Re: Задачка методом резолюций Робинсона
Сообщение10.01.2017, 17:57 
Я понял, спасибо за помощь :-)

 
 
 [ Сообщений: 10 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group