Obsah

Predslov

Úvod

I Problémy s ohraničeniami

1 Čo sú problémy s ohraničeniami?

2 Dva príklady

II Metódy riešenia problémov s ohraničeniami

3 Riešiace kroky a riešiace stratégie

4 Úlohy s konečnými doménami

4.1 Redukčné algoritmy

4.1.1 Konzistenčné algoritmy

4.1.1.1 Stupeň konzistencie

4.1.1.2 Smerová konzistencia

4.1.2 Substitučné algoritmy

4.2 Prehľadávacie algoritmy

4.2.1 Návrat k príčine neúspechu

4.2.2 Algoritmy s pamäťou

4.2.3 Usporiadanie premenných a ich domén

4.2.3.1 Usporiadanie premenných

4.2.3.2 Usporiadanie domén

4.3 Kombinované algoritmy

4.3.1 Kontrola budúcich premenných voči aktuálnej

4.3.2 Vzájomná kontrola budúcich premenných

4.4 Reštrukturalizačné algoritmy

III Logické programovanie ohraničení

5 Základné princípy

5.1 Ohraničujúce domény CLP jazykov

5.2 Syntax a sémantika

5.3 Základné technológie implementácie CLP

6 Jazyk ECLIPSE

6.1 Konečné domény

6.1.1 Schéma riešenia úloh s konečnými doménami

6.1.2 Optimalizácia

6.2 Nekonečné domény

6.2.1 Schéma riešenia úloh s nekonečnými doménami

IV Riešené úlohy s ohraničeniami

7 Úlohy nad konečnými doménami

7.1 Niekoľko jednoduchých úloh na úvod

7.2 Investičná úloha

7.3 Rozvrhovanie

7.4 Distribučná úloha

8 Úlohy nad nekonečnými doménami

8.1 Zmiešavací problém

8.2 Finančné plánovanie

Prílohy

Matematické symboly

Slovensko-anglický slovník

Zoznam algoritmov

Zabudované ohraničenia v ECLIPSE

Literatúra

Register