Учебные материалы (Практические занятия, контрольные задания, конспект лекций) / Контроль знаний / Контрольное задание 2
.docКОНТРОЛЬНОЕ ЗАДАНИЕ 2
Решить задачу ВЫПОЛНИМОСТЬ по варианту.
ВАРИАНТЫ.
А.
1. Методом резолюций Робинсона.
2. Методом отсечения литер.
3. Методом групповых резолюций.
Б. Выберите Ваш вариант следующим образом. Номер Вашей зачетки делите на 3 и берете целочисленный остаток, к которому добавляете 1. Пример. Пусть номер зачетки 542402-16. Берете число 54240216 и делите на 3. Получаете в остатке 6. Номер Варианта = 6+1=7.
Ваш вариант определяется так. Номер Вашей зачетки делите на 9 и берете целочисленный остаток, к которому добавляете 1. Пример. Пусть номер зачетки 542402-16. Берете число 54240216 и делите на 9. Получаете в остатке 0. Номер Варианта= 0+1=1.
С. Варианты задачи ВЫПОЛНИМОСТЬ.
Прежде всего, договоримся, как кодируются
дизъюнкты. Они кодируются последовательностью
чисел, например, 1,-2,4,-6. Эта последовательность
задает следующий дизъюнкт:
.
В Вашем варианте будет представлено
несколько дизъюнктов. Из п.А Вы выбираете
метод и применяете его к Вашей задаче
ВЫПОЛНИМОСТЬ. Вы должны показать работу
метода по шагам с разъяснением.
Вариант 1. 1,-2,4,-6
2,-4
4,6
3, -6
-3, -4
5,-6
-5
Вариант 2. 1,-2,3
2,3
4,5
3, -5
-3, -4
5,
-4,-5
Вариант 3. 1,-2,-4
2,-3
4,-5
-3, -5
-3, -4
-5,
-4,-5
4
Вариант 4. -1,-2,-3
-2,3
3,5
3, -5
-3, -4
5,
4
Вариант 5. 1,-2,3
-2,-3
-1
-3, -5
5,
-2,-5
Вариант 6. 1,-2
2,-3
4,5
3, -5
-3, -4
5,
-4,-5
Вариант 7. 1,-2,3
-2,-3
-3, 4
3, -5
-3, -4
5,
-4,-5
Ваш вариант определяется так. Номер Вашей зачетки делите на 7 и берете целочисленный остаток, к которому добавляете 1. Пример. Пусть номер зачетки 542402-16. Берете число 54240216 и делите на 9. Получаете в остатке 0. Номер Варианта= 0+1=1.