Sb99055

Содержание

Введение...................................................................................................................

3

Загрузка и установка...............................................................................................

3

1. Язык программирования ASP ............................................................................

4

1.1. Термы ............................................................................................................

4

1.2. Построение простой программы................................................................

4

1.3. Использование дизъюнкции и задание альтернатив................................

7

1.4. Логические константы и арифметика........................................................

8

1.5. Условия и условные литералы....................................................................

8

1.6. Агрегаторы..................................................................................................

10

1.7. Оптимизация...............................................................................................

13

1.8. Дополнительные возможности ASP.........................................................

15

1.9. Упражнения................................................................................................

15

2. Подходы к решению задач...............................................................................

17

2.1. Задача о расстановке ферзей.....................................................................

17

2.2. Задача коммивояжера................................................................................

18

2.3. Задача о раскрашивании графа.................................................................

20

2.4. Задача о максимальной клике...................................................................

21

2.5. Судоку.........................................................................................................

22

2.6. Упражнения................................................................................................

23

3. Программирование с использованием ограничений.....................................

24

3.1. Использование ограничений в ASP .........................................................

24

3.2. Задача SEND+MORE=MONEY ................................................................

27

3.3. Упражнения................................................................................................

28

4. Механизмы вывода и доказательства, используемые в ASP........................

28

4.1. Общее описание.........................................................................................

28

4.2. Принципы построения SAT-решателей...................................................

28

4.3. Схема CDCL-алгоритма............................................................................

29

Список литературы ...............................................................................................

30