PA163 Constraint programming
Fakulta informatikypodzim 2024
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
- Garance
- doc. Mgr. Hana Rudová, Ph.D.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky - Rozvrh
- Po 16. 9. až Po 9. 12. Po 16:00–17:50 A217
- Rozvrh seminárních/paralelních skupin:
PA163/02: Pá 27. 9. až Pá 6. 12. každý lichý pátek 10:00–11:50 A215, H. Rudová - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 29 mateřských oborů, zobrazit
- Cíle předmětu
- The course provides information about constraint programming, problem modeling using constraints generally and practically in a programming language, general propagating algorithms, and main search algorithms for constraint satisfaction problems.
- Výstupy z učení
- The graduate will understand how to apply a declarative approach for problem solving with the help of constraint programming.
The graduate will understand which algorithms are used for the implementation of the constraint programming approach to be able to propose a proper declarative model and proper search procedures. To achieve that graduates will learn various constraint propagation algorithms and search methods.
The graduate will be able to implement a solution to the problem using constraint programming. The graduate will be able to program using Optimization Programming Language (OPL) from IBM CPLEX CP Optimizer. - Osnova
- Constraint satisfaction problem. Introduction to problem modeling.
- Arc consistency.
- Path consistency.
- Constraint propagation for non-binary constraints.
- Global constraints, Optimization Programming Language OPL.
- Constraint propagation algorithms for scheduling.
- Directional consistency, graph width.
- Look-ahead algorithms, branch & bound.
- Look-back algorithms.
- Incomplete search.
- Local search.
- Seminars: Problem modeling and real-life applications. Programming with programming language OPL in IBM ILOG CP Optimizer.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- Výukové metody
- The course has the form of a lecture with a seminar taking two hours every two weeks at the computer laboratory. Lectures are mainly oriented on presentations of algorithms and their practical application for solving problems in the area of constraint programming. Seminars concern namely practical realization of OPL programs in IBM ILOG CP Optimizer. They include examples of which solutions are available on the course website. Solved problems are often realized using modifications of existing code.
- Metody hodnocení
- There is the following expected evaluation given as a sum of points for homeworks, final exam, and bonus points for activities at lectures: A more than 90, B 89-80, C 79-70, D 69-60, E 59-55.
It is possible to get up to 80 points for the final exam (getting more than 40 points obligatory). The exam consists of the theoretical part (55 points) with the following types of questions: an overview of some parts, comparisons of methods or definitions, algorithms, definitions, and examples, and the programming part on computers (25 points) where a practical problem is solved in OPL.
There are two homeworks during the semester. It is possible to get points up to 10 points per homework. Each student is required to obtain 8 points at least from the total point of 20 points.
Also, each student can get 1 bonus point for activity in each lecture (e.g., student response to several easy questions and/or student questions to clarify some part of the lecture; student response to one harder question), i.e., it is possible to about 12 bonus points for activity base on the number of lectures.
Taking seminars is obligatory. Absence at more than one seminar requires successfully completing additional examples corresponding to the number of absent hours. A high number of missed seminars does not allow completion of the course. - Vyučovací jazyk
- Angličtina
- Informace učitele
- http://is.muni.cz/el/1433/podzim2024/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Constraint programming
Fakulta informatikypodzim 2023
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
Mgr. Václav Sobotka (pomocník) - Garance
- doc. Mgr. Hana Rudová, Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- Po 16:00–17:50 A318
- Rozvrh seminárních/paralelních skupin:
PA163/02: Čt 5. 10. 10:00–11:50 A215, Čt 19. 10. 10:00–11:50 A215, Čt 2. 11. 10:00–11:50 A215, Čt 16. 11. 10:00–11:50 A215, Čt 30. 11. 10:00–11:50 A215, Čt 14. 12. 10:00–11:50 A215, H. Rudová - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 53 mateřských oborů, zobrazit
- Cíle předmětu
- Course provides information about constraint programming, about problem modeling using constraints generally as well as practically in programming language, about general propagating algorithms and about main search algorithms for constraint satisfaction problems.
- Výstupy z učení
- The graduate will understand how to apply a declarative approach for problem solving with the help of constraint programming.
The graduate will understand which algorithms are used for the implementation of the constraint programming approach to be able to propose a proper declarative model and proper search procedures. To achieve that graduates will learn various constraint propagation algorithms and search methods.
The graduate will be able to implement a solution to the problem using constraint programming. The graduate will be able to program using Optimization Programming Language (OPL) from IBM CPLEX CP Optimizer. - Osnova
- Constraint satisfaction problem. Introduction to problem modeling.
- Algorithms and consistency: arc, path. Methods for non-binary constraints: k-consistency, general arc, and bounds consistency, global constraints. Directional versions, the width of the constraint graph, and polynomial problems.
- Tree search: backtracking, look ahead, look back, incomplete algorithms. Local search.
- Optimization and over-constrained problems: frameworks and algorithms.
- Problem modeling and real-life applications. Programming with programming language OPL in IBM ILOG CP Optimizer.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- TSANG, Edward (author), FRUEHWIRTH, Thom (editor). Foundations of constraint satisfaction. Books On Demand, 2014.
- Výukové metody
- The course has a form of a lecture with a seminar taking two hours per two weeks at the computer laboratory. Lecture is mainly oriented on presentations of algorithms and their practical application for solving of problems in the area of constraint programming. Solved problems are often realized using modifications of existing code. Seminaries concern namely practical realization of OPL programs in IBM ILOG CP Optimizer. Seminaries include homeworks which solutions together with solutions of examples solved during seminaries are available at the course web site.
- Metody hodnocení
- There is the following expected evaluation given as a sum of points for homeworks, final written exam, and bonus points for activities at lectures: A more than 90, B 89-80, C 79-70, D 69-60, E 59-55.
It is possible to get up to 80 points for the final written exam. The exam also includes the following types of questions: an overview of some part, comparisons of methods or definitions, algorithms, definitions, and examples (about 25 points corresponds to the evaluation of the constraint model for a given problem(s)).
It is obligatory to get more than 40 out of 80 points. There are two homeworks during the semester. It is possible to get points up to 10 points per homework. Each student is required to obtain 8 points at least from the total point of 20 points.
Also, each student can get 1 bonus point for an activity in each lecture (e.g., student response to several easy questions and/or student questions to clarify some part of the lecture; student response to one harder question), i.e., it is possible to about 12 bonus points for activity base on the number of lectures.
Taking seminaries is obligatory. Absence at more than one seminar requires successful completion of additional examples corresponding to the number of absent hours. A high number of missed seminaries does not allow completion of the course. - Vyučovací jazyk
- Angličtina
- Navazující předměty
- Informace učitele
- http://is.muni.cz/el/1433/podzim2023/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2022
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
- Garance
- doc. Mgr. Hana Rudová, Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- Po 12:00–13:50 A217
- Rozvrh seminárních/paralelních skupin:
PA163/02: Út 20. 9. až Út 29. 11. každé sudé úterý 10:00–11:50 A215, H. Rudová - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 53 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět zpřístupní informace o programování s omezujícími podmínkami, o modelování problémů pomocí omezujících podmínek obecně i prakticky v programovacím jazyce, o propagačních algoritmech a o a prohledávacích algoritmech pro problémy splňování podmínek.
- Výstupy z učení
- Absolvent bude vědět, jakým způsobem používat deklarativní přístup k řešení problémů prostřednictvím programování s omezujícími podmínkami.
Absolvent bude rozumět algoritmům používaným při řešení problémů prostřednictvím omezujících podmínek tak, aby mohl lépe navrhnout vhodný deklarativní model a kombinovat ho s řídícími strategiemi. Absolvent se zároveň naučí různé typy propagačních a prohledávacích algoritmů.
Absolvent bude umět řešit základní problémy pomocí programování s omezujícími podmínkami. Absolvent bude umět programovat s pomocí jazyka Optimization Programming Language (OPL) z IBM CPLEX CP Optimizer. - Osnova
- Problém splňování podmínek. Úvod do modelování problémů.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Modelování a využití v reálných aplikacích. Programování pomocí programovacího jazyka OPL v IBM ILOG CP Optimizer.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- TSANG, Edward (author), FRUEHWIRTH, Thom (editor). Foundations of constraint satisfaction. Books On Demand, 2014.
- Výukové metody
- Výuka probíhá jednak ve formě přednášek a dále ve formě cvičení (2 hodiny každé 2 týdny). Výuka přednášek je zejména orientována na výklad algoritmů a jejich praktické použití pro řešení problémů v oblasti programování s omezujícími podmínkami. Výuka cvičení probíhá u počítačů, kde je kladen hlavní důraz na realizaci OPL programů v IBM ILOG CP Optimizer, a to buď samostatně nebo často modifikací existujícího kódu. Součástí cvičení jsou i domácí úkoly, jejiž řešení včetně řešení všech příkladů realizovaných na cvičení je vystaveno na webu předmětu.
- Metody hodnocení
- Hodnocení předmětu je realizováné na základě závěrečné písemné práce, domácích úkolů a bonusových bodů a za aktivní účast: A více než 90, B 89-80, C 79-70, D 69-60, E 59-55.
Za závěrečnou písemnou práci je možné získat až 80 bodů. V písemné práci jsou uvedeny následující typy otázek: přehledové, srovnávací, algoritmy, pojmy, příklady (cca 25 bodů je možné získat za řešení příkladu v CP Optimizer). Pro úspěšné absolvování předmětu je nezbytné získat více než 40 z 80 bodů.
V průběhu semestru budou zadány dvě domácí úlohy. Za jednu domácí úlohu lze získat až 10 bodů. Každý student je povinen získat za domácí úlohy alespoň 8 bodů z celkového počtu 20 bodů. Kromě těchto bodů může každý student získat 1 bonusový bod za aktivitu na jedné přednášce (např. reakce na více jednoduchých dotazů nebo dotazy studentky/a na vyjasnění látky, reakce na jeden složitější dotaz), tj. lze získat cca 12 dalších bonusových bodů dle počtu přednášek.
Účast na cvičeních je povinná, v případě více než jedné neomluvené absence jsou zadány doplňující příklady v rozsahu odpovídajícím množství zameškaných cvičení, jejichž úspěšné zpracování je nezbytnou podmínkou absolvování předmětu. Při vysokém počtu absencí na cvičení předmět absolvovat nelze. - Navazující předměty
- Informace učitele
- http://is.muni.cz/el/1433/podzim2021/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2021
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
Mgr. Vojtěch Sassmann (cvičící) - Garance
- doc. Mgr. Hana Rudová, Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- Út 14. 9. až Út 14. 12. Út 8:00–9:50 A217
- Rozvrh seminárních/paralelních skupin:
PA163/02: Čt 23. 9. až Čt 16. 12. každý sudý čtvrtek 12:00–13:50 A215, V. Sassmann - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 52 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět zpřístupní informace o programování s omezujícími podmínkami, o modelování problémů pomocí omezujících podmínek obecně i prakticky v programovacím jazyce, o propagačních algoritmech a o a prohledávacích algoritmech pro problémy splňování podmínek.
- Výstupy z učení
- Absolvent bude vědět, jakým způsobem používat deklarativní přístup k řešení problémů prostřednictvím programování s omezujícími podmínkami.
Absolvent bude rozumět algoritmům používaným při řešení problémů prostřednictvím omezujících podmínek tak, aby mohl lépe navrhnout vhodný deklarativní model a kombinovat ho s řídícími strategiemi. Absolvent se zároveň naučí různé typy propagačních a prohledávacích algoritmů.
Absolvent bude umět řešit základní problémy pomocí programování s omezujícími podmínkami. Absolvent bude umět programovat s pomocí jazyka Optimization Programming Language (OPL) z IBM CPLEX CP Optimizer. - Osnova
- Problém splňování podmínek. Úvod do modelování problémů.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Modelování a využití v reálných aplikacích. Programování pomocí programovacího jazyka OPL v IBM ILOG CP Optimizer.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- TSANG, Edward (author), FRUEHWIRTH, Thom (editor). Foundations of constraint satisfaction. Books On Demand, 2014.
- Výukové metody
- Výuka probíhá jednak ve formě přednášek a dále ve formě cvičení (2 hodiny každé 2 týdny). Výuka přednášek je zejména orientována na výklad algoritmů a jejich praktické použití pro řešení problémů v oblasti programování s omezujícími podmínkami. Výuka cvičení probíhá u počítačů, kde je kladen hlavní důraz na realizaci OPL programů v IBM ILOG CP Optimizer, a to buď samostatně nebo často modifikací existujícího kódu. Součástí cvičení jsou i domácí úkoly, jejiž řešení včetně řešení všech příkladů realizovaných na cvičení je vystaveno na webu předmětu.
- Metody hodnocení
- Hodnocení předmětu je realizováné na základě závěrečné písemné práce, domácích úkolů a bonusových bodů a za aktivní účast: A více než 90, B 89-80, C 79-70, D 69-60, E 59-50.
Za závěrečnou písemnou práci je možné získat až 80 bodů. V písemné práci jsou uvedeny následující typy otázek: přehledové, srovnávací, algoritmy, pojmy, příklady (cca 25 bodů je možné získat za řešení příkladu v CP Optimizer). Pro úspěšné absolvování předmětu je nezbytné získat více než 40 z 80 bodů.
V průběhu semestru budou zadány dvě domácí úlohy. Za jednu domácí úlohu lze získat až 10 bodů. Každý student je povinen získat za domácí úlohy alespoň 8 bodů z celkového počtu 20 bodů. Kromě těchto bodů může každý student získat 1 bonusový bod za aktivitu na jedné přednášce (např. reakce na více jednoduchých dotazů nebo dotazy studentky/a na vyjasnění látky, reakce na jeden složitější dotaz), tj. lze získat cca 12 dalších bonusových bodů dle počtu přednášek.
Účast na cvičeních je povinná, v případě více než jedné neomluvené absence jsou zadány doplňující příklady v rozsahu odpovídajícím množství zameškaných cvičení, jejichž úspěšné zpracování je nezbytnou podmínkou absolvování předmětu. Při vysokém počtu absencí na cvičení předmět absolvovat nelze. - Navazující předměty
- Informace učitele
- http://is.muni.cz/el/1433/podzim2021/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2020
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
Mgr. Vojtěch Sassmann (pomocník) - Garance
- doc. Mgr. Hana Rudová, Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- St 10:00–11:50 A218
- Rozvrh seminárních/paralelních skupin:
PA163/02: každý sudý čtvrtek 14:00–15:50 A215, H. Rudová - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 52 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět zpřístupní informace o programování s omezujícími podmínkami, o modelování problémů pomocí omezujících podmínek obecně i prakticky v programovacím jazyce, o propagačních algoritmech a o a prohledávacích algoritmech pro problémy splňování podmínek.
- Výstupy z učení
- Absolvent bude vědět, jakým způsobem používat deklarativní přístup k řešení problémů prostřednictvím programování s omezujícími podmínkami.
Absolvent bude rozumět algoritmům používaným při řešení problémů prostřednictvím omezujících podmínek tak, aby mohl lépe navrhnout vhodný deklarativní model a kombinovat ho s řídícími strategiemi. Absolvent se zároveň naučí různé typy propagačních a prohledávacích algoritmů.
Absolvent bude umět řešit základní problémy pomocí programování s omezujícími podmínkami prostřednictvím jazyka OPL (Optimization Programming Language) z IBM CPLEX CP Optimizer. - Osnova
- Problém splňování podmínek. Úvod do modelování problémů.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Modelování a využití v reálných aplikacích. Programování pomocí programovacího jazyka OPL v IBM ILOG CP Optimizer.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- TSANG, Edward (author), FRUEHWIRTH, Thom (editor). Foundations of constraint satisfaction. Books On Demand, 2014.
- Výukové metody
- Video a průsvitky jsou k dispozici ke každé přednášce, videokonference je v době přednášky s diskuzí k předem zaslaným otázkám i dalším dotazům. Výuka přednášek je zejména orientována na výklad algoritmů a jejich praktické použití pro řešení problémů v oblasti programování s omezujícími podmínkami. Výuka cvičení probíhá online u počítačů, kde je kladen hlavní důraz na implementaci OPL programů v IBM ILOG CP Optimizer, a to buď samostatně nebo často modifikací existujícího kódu. Řešení všech příkladů realizovaných na cvičení podobně jako řešení domácích úkolů ze cvičení je vystaveno na webu předmětu.
- Metody hodnocení
- Hodnocení předmětu je realizováné na základě online zkoušení, domácích úkolů a bonusových bodů a za aktivní účast: A více než 90, B 89-80, C 79-70, D 69-60, E 59-50.
Za online zkoušení je možné získat až 80 bodů, pro úspěšné absolvování předmětu je nezbytné získat více než 40 z 80 bodů. Řádný termín zkoušky bude písemný a povinný pro všechny studenty. Opravné termíny zkoušky budou ve formě ústního online zkoušení.
V průběhu semestru budou zadány dvě domácí úlohy. Za jednu domácí úlohu lze získat až 10 bodů. Každý student je povinen získat za domácí úlohy alespoň 8 bodů z celkového počtu 20 bodů.
Kromě těchto bodů může každý student získat až 2 bonusové body za aktivitu na jedné přednášce (1 bod: reakce na více jednoduchých dotazů nebo dotazy studentky/a na vyjasnění látky, reakce na jeden složitější dotaz; 2 body: větší interakce), tj. lze získat cca 24 dalších bonusových bodů dle počtu přednášek.
Nejpozději den po výuce cvičení jsou studenti povinni odevzdat kódy řešených příkladů do odevzdávárny (byť třeba v některých případech ne úplně funkční). Je tolerováno, pokud jsou jedenkrát kódy odevzdány dodatečně e-mailem. Při dvou pozdních odevzdáních je nutné vypracovat řešení dodatečných příkladů. Více než dvě pozdní odevzdání nejsou pro úspěšné ukončení předmětu možné. - Navazující předměty
- Informace učitele
- http://is.muni.cz/el/1433/podzim2020/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2019
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
Mgr. Stanislav Murín (cvičící) - Garance
- doc. Mgr. Hana Rudová, Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- Po 12:00–13:50 A319
- Rozvrh seminárních/paralelních skupin:
PA163/02: každou lichou středu 8:00–9:50 B311, H. Rudová - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 52 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět zpřístupní informace o programování s omezujícími podmínkami, o modelování problémů pomocí omezujících podmínek obecně i prakticky v programovacím jazyce, o obecných propagačních algoritmech a o a základních prohledávacích algoritmech pro problémy splňování podmínek.
- Výstupy z učení
- Absolvent bude vědět, jakým způsobem používat deklarativní přístup k řešení problémů prostřednictvím programování s omezujícími podmínkami.
Absolvent bude rozumět algoritmům používaným při řešení problémů prostřednictvím omezujících podmínek tak, aby mohl lépe navrhnout vhodný deklarativní model a kombinovat ho s vhodnými řídícími strategiemi. Absolvent se tak naučí různé typy propagačních a prohledávacích algoritmů.
Absolvent bude umět řešit základní problémy pomocí programování s omezujícími podmínkami prostřednictvím jazyka OPL (Optimization Programming Language). - Osnova
- Problém splňování podmínek. Úvod do modelování problémů.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Modelování a využití v reálných aplikacích. Programování pomocí programovacího jazyka OPL v IBM ILOG CP Optimizer.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- TSANG, Edward (author), FRUEHWIRTH, Thom (editor). Foundations of constraint satisfaction. Books On Demand, 2014.
- Výukové metody
- Výuka probíhá jednak ve formě přednášek a dále ve formě cvičení (2 hodiny každé 2 týdny). Výuka přednášek je zejména orientována na výklad algoritmů a jejich praktické použití pro řešení problémů v oblasti programování s omezujícími podmínkami. Výuka cvičení probíhá u počítačů, kde je kladen hlavní důraz na realizaci OPL programů v IBM ILOG CP Optimizer, a to buď samostatně nebo často modifikací existujícího kódu. Součástí cvičení jsou i domácí úkoly, jejiž řešení včetně řešení všech příkladů realizovaných na cvičení je vystaveno na webu předmětu.
- Metody hodnocení
- Hodnocení předmětu je realizováné na základě závěrečné písemné práce, domácích úkolů a bonusových bodů a za aktivní účast: A více než 90, B 89-80, C 79-70, D 69-60, E 59-50.
Za závěrečnou písemnou práci je možné získat až 80 bodů. V písemné práci jsou uvedeny následující typy otázek: přehledové, srovnávací, algoritmy, pojmy, příklady (cca 25 bodů je možné získat za řešení příkladu v CP Optimizer).
V průběhu semestru budou zadány dvě domácí úlohy. Za jednu domácí úlohu lze získat až 10 bodů. Každý student je povinen získat za domácí úlohy alespoň 8 bodů z celkového počtu 20 bodů.
Kromě těchto bodů může každý student získat 1 bonusový bod za aktivitu na jedné přednášce (např. reakce na více jednoduchých dotazů nebo dotazy studentky/a na vyjasnění látky, reakce na jeden složitější dotaz), tj. lze získat cca 12 dalších bonusových bodů dle počtu přednášek.
Účast na cvičeních je povinná, v případě více než jedné neomluvené absence jsou zadány doplňující příklady v rozsahu odpovídajícím množství zameškaných cvičení, jejichž úspěšné zpracování je nezbytnou podmínkou absolvování předmětu. Při vysokém počtu absencí na cvičení předmět absolvovat nelze. - Navazující předměty
- Informace učitele
- http://is.muni.cz/el/1433/podzim2019/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2018
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
- Garance
- doc. RNDr. Eva Hladká, Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- Po 17. 9. až Po 10. 12. Po 12:00–13:50 A217
- Rozvrh seminárních/paralelních skupin:
PA163/02: každou lichou středu 10:00–11:50 B311, H. Rudová - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 23 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět zpřístupní informace o programování s omezujícími podmínkami, o modelování problémů pomocí omezujících podmínek obecně i prakticky v programovacím jazyce, o obecných propagačních algoritmech a o a základních prohledávacích algoritmech pro problémy splňování podmínek.
- Výstupy z učení
- Absolvent bude vědět, jakým způsobem používat deklarativní přístup k řešení problémů prostřednictvím programování s omezujícími podmínkami.
Absolvent bude rozumět algoritmům používaným při řešení problémů prostřednictvím omezujících podmínek tak, aby mohl lépe navrhnout vhodný deklarativní model a kombinovat ho s vhodnými řídícími strategiemi. Absolvent se tak naučí různé typy propagačních a prohledávacích algoritmů.
Absolvent bude umět řešit základní problémy pomocí programování s omezujícími podmínkami prostřednictvím jazyka OPL (Optimization Programming Language). - Osnova
- Problém splňování podmínek. Úvod do modelování problémů.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Modelování a využití v reálných aplikacích. Programování pomocí programovacího jazyka OPL.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- TSANG, Edward (author), FRUEHWIRTH, Thom (editor). Foundations of constraint satisfaction. Books On Demand, 2014.
- Výukové metody
- Výuka probíhá jednak ve formě přednášek a dále ve formě cvičení (2 hodiny každé 2 týdny). Výuka přednášek je zejména orientována na výklad algoritmů a jejich praktické použití pro řešení problémů v oblasti programování s omezujícími podmínkami. Výuka cvičení probíhá u počítačů, kde je kladen hlavní důraz na realizaci OPL programů v ILOG, a to buď samostatně nebo často modifikací existujícího kódu. Součástí cvičení jsou i domácí úkoly, jejiž řešení včetně řešení všech příkladů realizovaných na cvičení je vystaveno na webu předmětu.
- Metody hodnocení
- Celkový počet bodů za domácí úkoly a za závěrečnou písemku určuje hodnocení, které je předpokládáno následující: A 100 a více, B 90-99, C 80-89, D 70-79, E 60-69.
Za závěrečnou písemnou práci je možné získat až 100 bodů. V písemné práci jsou uvedeny následující typy otázek: přehledové, srovnávací, algoritmy, pojmy, příklady (přibližně třetinu bodů je možné získat za napsání modelu omezujících podmínek pro dané problémy).
V průběhu semestru budou zadány dvě domácí úlohy. Za jednu domácí úlohu lze získat až 10 bodů. Každý student je povinen získat za domácí úlohy alespoň 8 bodů z celkového počtu 20 bodů.
Účast na cvičeních je povinná, v případě více než jedné neomluvené absence jsou zadány doplňující příklady v rozsahu odpovídajícím množství zameškaných cvičení, jejichž úspěšné zpracování je nezbytnou podmínkou absolvování předmětu. Při vysokém počtu absencí na cvičení předmět absolvovat nelze. - Navazující předměty
- Informace učitele
- http://is.muni.cz/el/1433/podzim2018/PA163/index.qwarp
- Další komentáře
- Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2017
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
- Garance
- doc. RNDr. Eva Hladká, Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- St 12:00–13:50 A217
- Rozvrh seminárních/paralelních skupin:
PA163/02: každé liché pondělí 10:00–11:50 B117, H. Rudová
PA163/03: každý sudý čtvrtek 10:00–11:50 B117, H. Rudová - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 23 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět zpřístupní informace o programování s omezujícími podmínkami, o modelování problémů pomocí omezujících podmínek obecně i prakticky v programovacím jazyce, o obecných propagačních algoritmech a o a základních prohledávacích algoritmech pro problémy splňování podmínek.
- Výstupy z učení
- Absolvent bude vědět, jakým způsobem používat deklarativní přístup k řešení problémů prostřednictvím programování s omezujícími podmínkami.
Absolvent bude rozumět algoritmům používaným při řešení problémů prostřednictvím omezujících podmínek tak, aby mohl lépe navrhnout vhodný deklarativní model a kombinovat ho s vhodnými řídícími strategiemi. Absolvent se tak naučí různé typy propagačních a prohledávacích algoritmů.
Absolvent bude umět řešit základní problémy pomocí programování s omezujícími podmínkami prostřednictvím jazyka OPL (Optimization Programming Language). - Osnova
- Problém splňování podmínek. Úvod do modelování problémů.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Modelování a využití v reálných aplikacích. Programování pomocí programovacího jazyka OPL.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- TSANG, Edward (author), FRUEHWIRTH, Thom (editor). Foundations of constraint satisfaction. Books On Demand, 2014.
- Výukové metody
- Výuka probíhá jednak ve formě přednášek a dále ve formě cvičení (2 hodiny každé 2 týdny). Výuka přednášek je zejména orientována na výklad algoritmů a jejich praktické použití pro řešení problémů v oblasti programování s omezujícími podmínkami. Výuka cvičení probíhá u počítačů, kde je kladen hlavní důraz na realizaci OPL programů v ILOG, a to buď samostatně nebo často modifikací existujícího kódu. Součástí cvičení jsou i domácí úkoly, jejiž řešení včetně řešení všech příkladů realizovaných na cvičení je vystaveno na webu předmětu.
- Metody hodnocení
- Celkový počet bodů za domácí úkoly a za závěrečnou písemku určuje hodnocení, které je předpokládáno následující: A 100 a více, B 90-99, C 80-89, D 70-79, E 60-69.
Za závěrečnou písemnou práci je možné získat až 100 bodů. V písemné práci jsou uvedeny následující typy otázek: přehledové, srovnávací, algoritmy, pojmy, příklady (přibližně třetinu bodů je možné získat za napsání modelu omezujících podmínek pro dané problémy).
V průběhu semestru budou zadány dvě domácí úlohy. Za jednu domácí úlohu lze získat až 10 bodů. Každý student je povinen získat za domácí úlohy alespoň 8 bodů z celkového počtu 20 bodů.
Účast na cvičeních je povinná, v případě více než jedné neomluvené absence jsou zadány doplňující příklady v rozsahu odpovídajícím množství zameškaných cvičení, jejichž úspěšné zpracování je nezbytnou podmínkou absolvování předmětu. Při vysokém počtu absencí na cvičení předmět absolvovat nelze. - Navazující předměty
- Informace učitele
- http://is.muni.cz/el/1433/podzim2017/PA163/index.qwarp
- Další komentáře
- Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2016
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
- Garance
- doc. RNDr. Eva Hladká, Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- Po 12:00–13:50 A318
- Rozvrh seminárních/paralelních skupin:
PA163/02: každé liché úterý 16:00–17:50 B311, H. Rudová
PA163/03: každý sudý čtvrtek 14:00–15:50 B311, H. Rudová - Předpoklady
- Při zařazení do skupiny cvičení založeném na logickém programování předpokládaná znalost základů výrokové a predikátové logiky, např. z předmětu IB101.
Znalost logického programování není podmínkou pro absolvování předmětu. - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 23 mateřských oborů, zobrazit
- Cíle předmětu
- Absolvent bude vědět, jakým způsobem používat deklarativní přístup k řešení problémů prostřednictvím programování s omezujícími podmínkami.
Absolvent bude rozumět algoritmům používaným při řešení problémů prostřednictvím omezujících podmínek tak, aby mohl lépe navrhnout vhodný deklarativní model a kombinovat ho s vhodnými řídícími strategiemi. Absolvent se tak naučí různé typy propagačních a prohledávacích algoritmů.
Absolvent bude umět řešit základní problémy pomocí programování s omezujícími podmínkami, a to buď prostřednictvím jazyka OPL (optimization programming language) nebo logického programování s omezujícími podmínkami v závislosti na výběru skupiny cvičení. - Osnova
- Problém splňování podmínek. Úvod do modelování problémů.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Modelování a využití v reálných aplikacích. Programování pomocí vybraného programovacího jazyka (OPL nebo CLP).
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- TSANG, Edward (author), FRUEHWIRTH, Thom (editor). Foundations of constraint satisfaction. Books On Demand, 2014.
- Výukové metody
- Výuka probíhá jednak ve formě přednášek a dále ve formě cvičení (2 hodiny každé 2 týdny). Výuka přednášek je zejména orientována na výklad algoritmů a jejich praktické použití pro řešení problémů v oblasti programování s omezujícími podmínkami. Výuka cvičení probíhá u počítačů, kde je kladen hlavní důraz na realizaci OPL/CLP(FD) programů v ILOG/SICStus Prologu, a to buď samostatně nebo často modifikací existujícího kódu. Součástí cvičení jsou i domácí úkoly, jejiž řešení včetně řešení všech příkladů realizovaných na cvičení je vystaveno na webu předmětu.
- Metody hodnocení
- Celkový počet bodů za domácí úkoly a za závěrečnou písemku určuje hodnocení, které je předpokládáno následující: A 100 a více, B 90-99, C 80-89, D 70-79, E 60-69.
Za závěrečnou písemnou práci je možné získat až 100 bodů. V písemné práci jsou uvedeny následující typy otázek: přehledové, srovnávací, algoritmy, pojmy, příklady (přibližně třetinu bodů je možné získat za napsání modelu omezujících podmínek pro dané problémy).
V průběhu semestru budou zadány dvě domácí úlohy. Za jednu domácí úlohu lze získat až 10 bodů. Každý student je povinen získat za domácí úlohy alespoň 8 bodů z celkového počtu 20 bodů.
Znalosti logického programování s omezujícími podmínkami (CLP) jsou předpokládány pouze u seminární skupiny se zaměřením na CLP a podobně znalosti Optimization Programming Language (OPL)jsou předpokládány pouze u seminární skupiny se zaměřením na OPL.
Účast na cvičeních je povinná, v případě více než jedné neomluvené absence jsou zadány doplňující příklady v rozsahu odpovídajícím množství zameškaných cvičení, jejichž úspěšné zpracování je nezbytnou podmínkou absolvování předmětu. Při vysokém počtu absencí na cvičení předmět absolvovat nelze. - Navazující předměty
- Informace učitele
- http://is.muni.cz/el/1433/podzim2016/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2015
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
RNDr. Pavel Troubil, Ph.D. (cvičící) - Garance
- doc. RNDr. Eva Hladká, Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- Po 10:00–11:50 A217
- Rozvrh seminárních/paralelních skupin:
PA163/02: každou sudou středu 12:00–13:50 A215, H. Rudová - Předpoklady
- Při zařazení do skupiny cvičení založeném na logickém programování předpokládaná znalost základů výrokové a predikátové logiky, např. z předmětu IB101.
Znalost logického programování není podmínkou pro absolvování předmětu. - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 23 mateřských oborů, zobrazit
- Cíle předmětu
- Absolvent bude vědět, jakým způsobem používat deklarativní přístup k řešení problémů prostřednictvím programování s omezujícími podmínkami.
Absolvent bude rozumět algoritmům používaným při řešení problémů prostřednictvím omezujících podmínek tak, aby mohl lépe navrhnout vhodný deklarativní model a kombinovat ho s vhodnými řídícími strategiemi. Absolvent se tak naučí různé typy propagačních a prohledávacích algoritmů.
Absolvent bude umět řešit základní problémy pomocí programování s omezujícími podmínkami, a to buď prostřednictvím jazyka OPL (optimization programming language) nebo logického programování s omezujícími podmínkami v závislosti na výběru skupiny cvičení. - Osnova
- Problém splňování podmínek. Úvod do modelování problémů.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Modelování a využití v reálných aplikacích. Programování pomocí vybraného programovacího jazyka (OPL nebo CLP).
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- TSANG, Edward (author), FRUEHWIRTH, Thom (editor). Foundations of constraint satisfaction. Books On Demand, 2014.
- Výukové metody
- Výuka probíhá jednak ve formě přednášek a dále ve formě cvičení (2 hodiny každé 2 týdny). Výuka přednášek je zejména orientována na výklad algoritmů a jejich praktické použití pro řešení problémů v oblasti programování s omezujícími podmínkami. Výuka cvičení probíhá u počítačů, kde je kladen hlavní důraz na realizaci OPL/CLP(FD) programů v ILOG/SICStus Prologu, a to buď samostatně nebo často modifikací existujícího kódu. Součástí cvičení jsou i domácí úkoly, jejiž řešení včetně řešení všech příkladů realizovaných na cvičení je vystaveno na webu předmětu.
- Metody hodnocení
- Celkový počet bodů za domácí úkoly a za závěrečnou písemku určuje hodnocení, které je předpokládáno následující: A 100 a více, B 90-99, C 80-89, D 70-79, E 65-69.
Za závěrečnou písemnou práci je možné získat až 100 bodů. V písemné práci jsou uvedeny následující typy otázek: přehledové, srovnávací, algoritmy, pojmy, příklady (přibližně třetinu bodů je možné získat za napsání modelu omezujících podmínek pro dané problémy).
V průběhu semestru budou zadány dvě domácí úlohy. Za jednu domácí úlohu lze získat až 10 bodů. Každý student je povinen získat za domácí úlohy alespoň 8 bodů z celkového počtu 20 bodů.
Znalosti logického programování s omezujícími podmínkami (CLP) jsou předpokládány pouze u seminární skupiny se zaměřením na CLP a podobně znalosti Optimization Programming Language (OPL)jsou předpokládány pouze u seminární skupiny se zaměřením na OPL.
Účast na cvičeních je povinná, v případě více než jedné neomluvené absence jsou zadány doplňující příklady v rozsahu odpovídajícím množství zameškaných cvičení, jejichž úspěšné zpracování je nezbytnou podmínkou absolvování předmětu. Při vysokém počtu absencí na cvičení předmět absolvovat nelze. - Navazující předměty
- Informace učitele
- http://is.muni.cz/el/1433/podzim2015/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2014
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
RNDr. Pavel Troubil, Ph.D. (cvičící) - Garance
- doc. RNDr. Eva Hladká, Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- Čt 14:00–15:50 A318
- Rozvrh seminárních/paralelních skupin:
PA163/02: každý lichý pátek 8:00–9:50 B117, H. Rudová
PA163/03: každou lichou středu 12:00–13:50 B117, P. Troubil - Předpoklady
- Při zařazení do skupiny cvičení založeném na logickém programování předpokládaná znalost základů výrokové a predikátové logiky, např. z předmětu IB101.
Znalost logického programování není podmínkou pro absolvování předmětu. - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 22 mateřských oborů, zobrazit
- Cíle předmětu
- Absolvent bude vědět, jakým způsobem používat deklarativní přístup k řešení problémů prostřednictvím programování s omezujícími podmínkami.
Absolvent bude rozumět algoritmům používaným při řešení problémů prostřednictvím omezujících podmínek tak, aby mohl lépe navrhnout vhodný deklarativní model a kombinovat ho s vhodnými řídícími strategiemi. Absolvent se tak naučí různé typy propagačních a prohledávacích algoritmů.
Absolvent bude umět popsat řešení problému pomocí programování s omezujícími podmínkami, a to buď prostřednictvím logického programování s omezujícími podmínkami nebo prostřednictvím jazyka OPL (optimization programming language) v závislosti na výběru skupiny cvičení. - Osnova
- Problém splňování podmínek. Úvod do modelování problémů.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Logické programování s omezujícími podmínkami, jazyk OPL (Optimization Progamming Language).
- Modelování a využití v reálných aplikacích.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- Edward, Tsang. Foundations of constraint satisfaction. Academic Press Ltd., 1993.
- Výukové metody
- Výuka probíhá jednak ve formě přednášek a dále ve formě cvičení (2 hodiny každé 2 týdny). Výuka přednášek je zejména orientována na výklad algoritmů a jejich praktické použití pro řešení problémů v oblasti programování s omezujícími podmínkami. Výuka cvičení probíhá u počítačů, kde je kladen hlavní důraz na realizaci CLP(FD)/OPL programů v SICStus Prologu/ILOGu, a to buď samostatně nebo často modifikací existujícího kódu. Součástí cvičení jsou i domácí úkoly, jejiž řešení včetně řešení všech příkladů realizovaných na cvičení je vystaveno na webu předmětu.
- Metody hodnocení
- Závěrečná písemná zkouška (cca 7 příkladů, 100 bodů). Předpokládané hodnocení je následující: A 90 a více, B 80-89, C 70-79, D 60-69, E 55-59. V písemné práci jsou uvedeny následující typy otázek: přehledové, srovnávací, algoritmy, pojmy, příklady (přibližně třetinu bodů je možné získat za napsání modelu omezujících podmínek pro dané problémy).
Na třech náhodných přednáškách budou oznámeny zadání bonusových příkladů, k jejich odevzdání budou oprávněni pouze studenti účastnící se přednášky. Za jedno bonusové zadání lze získat až 6 bodů. Každý student je povinen získat body alespoň 5 bodů z celkového počtu 18 bodů. Bonusové body lze přičíst k celkovému počtu získaných bodů za závěrečnou písemnou práci, získání bonusových bodů tedy usnadní získání lepšího hodnocení.
Znalosti logického programování s omezujícími podmínkami (CLP) jsou předpokládány pouze u seminární skupiny se zaměřením na CLP a podobně znalosti Optimization Programming Language (OPL)jsou předpokládány pouze u seminární skupiny se zaměřením na OPL.
Účast na cvičeních je povinná, v případě více než jedné neomluvené absence jsou zadány doplňující příklady v rozsahu odpovídajícím množství zameškaných cvičení, jejichž úspěšné zpracování je nezbytnou podmínkou absolvování předmětu. Při vysokém počtu absencí na cvičení předmět absolvovat nelze. - Navazující předměty
- Informace učitele
- http://is.muni.cz/el/1433/podzim2014/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2013
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
RNDr. Pavel Troubil, Ph.D. (cvičící) - Garance
- doc. RNDr. Vlastislav Dohnal, Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- St 10:00–11:50 G101
- Rozvrh seminárních/paralelních skupin:
PA163/02: každý lichý čtvrtek 14:00–15:50 B204, P. Troubil - Předpoklady
- Vzhledem k obsahu cvičení: předpokládaná znalost základů výrokové a predikátové logiky, např. z předmětu IB101.
Znalost logického programování není podmínkou pro absolvování předmětu. - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 22 mateřských oborů, zobrazit
- Cíle předmětu
- Absolvent bude vědět, jakým způsobem používat deklarativní přístup k řešení problémů prostřednictvím programování s omezujícími podmínkami.
Absolvent bude rozumět algoritmům používaným při řešení problémů prostřednictvím omezujících podmínek tak, aby mohl lépe navrhnout vhodný deklarativní model a kombinovat ho s vhodnými řídícími strategiemi. Absolvent se tak naučí různé typy propagačních a prohledávacích algoritmů.
Absolvent bude umět popsat řešení problému pomocí programování s omezujícími podmínkami, a to buď prostřednictvím logického programování s omezujícími podmínkami nebo prostřednictvím jazyka OPL (optimization programming language) v závislosti na výběru skupiny cvičení. - Osnova
- Problém splňování podmínek. Úvod do modelování problémů.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Logické programování s omezujícími podmínkami, jazyk OPL (Optimization Progamming Language).
- Modelování a využití v reálných aplikacích.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- Edward, Tsang. Foundations of constraint satisfaction. Academic Press Ltd., 1993.
- Výukové metody
- Výuka probíhá jednak ve formě přednášek a dále ve formě cvičení (2 hodiny každé 2 týdny). Výuka přednášek je zejména orientována na výklad algoritmů a jejich praktické použití pro řešení problémů v oblasti programování s omezujícími podmínkami. Výuka cvičení probíhá u počítačů, kde je kladen hlavní důraz na realizaci CLP(FD)/OPL programů v SICStus Prologu/ILOGu, a to buď samostatně nebo často modifikací existujícího kódu. Součástí cvičení jsou i domácí úkoly, jejiž řešení včetně řešení všech příkladů realizovaných na cvičení je vystaveno na webu předmětu.
- Metody hodnocení
- Předmět je absolvován složením úspěšné písemné práce ziskem alespoň 55 z celkového počtu 100 bodů (A: 100-90, B 89-80, C 79-70, D 69-60, E59-55). V písemné práci jsou uvedeny následující typy otázek: přehledové, srovnávací, algoritmy, pojmy, příklady (přibližně třetinu bodů je možné získat za napsání modelu omezujících podmínek pro dané problémy). Účast na cvičeních je povinná, v případě více než jedné neomluvené absence jsou zadány doplňující příklady v rozsahu odpovídajícím množství zameškaných cvičení, jejichž úspěšné zpracování je nezbytnou podmínkou absolvování předmětu. Při vysokém počtu absencí na cvičení předmět absolvovat nelze.
- Navazující předměty
- Informace učitele
- http://is.muni.cz/el/1433/podzim2013/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2012
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
- Garance
- prof. RNDr. Luděk Matyska, CSc.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- St 12:00–13:50 G124
- Rozvrh seminárních/paralelních skupin:
PA163/02: každý lichý čtvrtek 12:00–13:50 B117, H. Rudová - Předpoklady
- Vzhledem k obsahu cvičení: předpokládaná znalost základů výrokové a predikátové logiky, např. z předmětu IB101.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 22 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět se primárně zabývá problematikou splňování omezujících podmínek, je zde ale prezentována i řada obecně použitelných algoritmů, např. z oblasti umělé inteligence nebo optimalizací. Předmět lze také doporučit zájemcům o deklarativní styl programování a studentům se zájmem o nové možnosti při popisu problémů pomocí omezujících podmínek.
Metody propagace podmínek a prohledávání jsou zastoupeny klasickými i nejnovějšími algoritmy. Je ukázáno modelování jednodušších příkladu i reálných problémů prostřednictvím programování s omezujícími pomínkami.
Cvičení jsou věnována praktickému vyzkoušení příkladů logického programování s omezujícími podmínkami u počítačů. Znalosti z logického programování přitom nejsou podmínkou pro absolvování předmětu. - Osnova
- Problém splňování podmínek. Úvod do modelování problémů.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Logické programování s omezujícími podmínkami.
- Modelování a využití v reálných aplikacích.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- Edward, Tsang. Foundations of constraint satisfaction. Academic Press Ltd., 1993.
- Výukové metody
- Výuka probíhá jednak ve formě přednášek a dále ve formě cvičení (2 hodiny každé 2 týdny). Výuka přednášek je zejména orientována na výklad algoritmů a jejich praktické použití pro řešení problémů v oblasti programování s omezujícími podmínkami. Výuka cvičení probíhá u počítačů, kde je kladen hlavní důraz na realizaci CLP(FD) programů v SICStus Prologu, a to buď samostatně nebo často modifikací existujícího kódu. Součástí cvičení jsou i domácí úkoly, jejiž řešení včetně řešení všech příkladů realizovaných na cvičení je vystaveno na webu předmětu.
- Metody hodnocení
- Předmět je absolvován složením úspěšné písemné práce ziskem alespoň 55 z celkového počtu 100 bodů (A: 100-90, B 89-80, C 79-70, D 69-60, E59-55). V písemné práci jsou uvedeny následující typy otázek: přehledové, srovnávací, algoritmy, pojmy, příklady (přibližně třetinu bodů je možné získat za napsání modelu omezujících podmínek pro dané problémy). Účast na cvičeních je povinná, v případě více než jedné neomluvené absence jsou zadány doplňující příklady v rozsahu odpovídajícím množství zameškaných cvičení, jejichž úspěšné zpracování je nezbytnou podmínkou absolvování předmětu. Při vysokém počtu absencí na cvičení předmět absolvovat nelze.
- Navazující předměty
- Informace učitele
- http://is.muni.cz/el/1433/podzim2012/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2011
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
RNDr. Dalibor Klusáček, Ph.D. (pomocník) - Garance
- prof. RNDr. Luděk Matyska, CSc.
Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- St 12:00–13:50 B410 a každý sudý čtvrtek 12:00–13:50 A104
- Předpoklady
- Vzhledem k obsahu cvičení: doporučená znalost základů výrokové a predikátové logiky, např. z předmětu IB101 Úvod do logiky a logického programování.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 27 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět se primárně zabývá problematikou splňování omezujících podmínek, je zde ale prezentována i řada obecně použitelných algoritmů, např. z oblasti umělé inteligence nebo optimalizací. Předmět lze také doporučit zájemcům o deklarativní styl programování a studentům se zájmem o nové možnosti při popisu problémů pomocí omezujících podmínek.
Metody propagace podmínek a prohledávání jsou zastoupeny klasickými i nejnovějšími algoritmy. Je ukázáno modelování jednodušších příkladu i reálných problémů prostřednictvím programování s omezujícími pomínkami.
Cvičení jsou věnována praktickému vyzkoušení příkladů logického programování s omezujícími podmínkami u počítačů. Znalosti z logického programování přitom nejsou podmínkou pro absolvování předmětu. - Osnova
- Problém splňování podmínek. Úvod do modelování problémů.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Logické programování s omezujícími podmínkami.
- Modelování a využití v reálných aplikacích.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- Edward, Tsang. Foundations of constraint satisfaction. Academic Press Ltd., 1993.
- Výukové metody
- Výuka probíhá jednak ve formě přednášek a dále ve formě cvičení (2 hodiny každé 2 týdny). Výuka přednášek je zejména orientována na výklad algoritmů a jejich praktické použití pro řešení problémů v oblasti programování s omezujícími podmínkami. Výuka cvičení probíhá u počítačů, kde je kladen hlavní důraz na realizaci CLP(FD) programů v SICStus Prologu, a to buď samostatně nebo často modifikací existujícího kódu. Součástí cvičení jsou i domácí úkoly, jejiž řešení včetně řešení všech příkladů realizovaných na cvičení je vystaveno na webu předmětu.
- Metody hodnocení
- Předmět je absolvován složením úspěšné písemné práce ziskem alespoň 55 z celkového počtu 100 bodů (A: 100-90, B 89-80, C 79-70, D 69-60, E59-55). V písemné práci jsou uvedeny následující typy otázek: přehledové, srovnávací, algoritmy, pojmy, příklady (přibližně třetinu bodů je možné získat za napsání modelu omezujících podmínek pro dané problémy). Účast na cvičeních je povinná, v případě více než jedné neomluvené absence jsou zadány doplňující příklady v rozsahu odpovídajícím množství zameškaných cvičení, jejichž úspěšné zpracování je nezbytnou podmínkou absolvování předmětu. Při vysokém počtu absencí na cvičení předmět absolvovat nelze.
- Navazující předměty
- Informace učitele
- https://is.muni.cz/auth/el/1433/podzim2011/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2010
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
RNDr. Dalibor Klusáček, Ph.D. (pomocník) - Garance
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- St 12:00–13:50 B410
- Rozvrh seminárních/paralelních skupin:
PA163/02: každý lichý pátek 10:00–11:50 B116, H. Rudová - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 26 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět se primárně zabývá problematikou splňování omezujících podmínek, je zde ale prezentována i řada obecně použitelných algoritmů, např. z oblasti umělé inteligence nebo optimalizací. Předmět lze také doporučit zájemcům o deklarativní styl programování a studentům se zájmem o nové možnosti při popisu problémů pomocí omezujících podmínek.
Metody propagace podmínek a prohledávání jsou zastoupeny klasickými i nejnovějšími algoritmy. Je ukázáno modelování jednodušších příkladu i reálných problémů prostřednictvím programování s omezujícími pomínkami.
Cvičení jsou věnována praktickému vyzkoušení příkladů logického programování s omezujícími podmínkami u počítačů. Znalosti z logického programování přitom nejsou podmínkou pro absolvování předmětu. - Osnova
- Problém splňování podmínek. Úvod do modelování problémů. Reprezentace podmínek. Složitost.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Řešení dynamických a distribuovaných problémů s podmínkami.
- Logické programování s omezujícími podmínkami.
- Modelování a využití v reálných aplikacích.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- Edward, Tsang. Foundations of constraint satisfaction. Academic Press Ltd., 1993.
- Výukové metody
- Výuka probíhá jednak ve formě přednášek a dále ve formě cvičení (2 hodiny každé 2 týdny). Výuka přednášek je zejména orientována na výklad algoritmů a jejich praktické použití pro řešení problémů v oblasti programování s omezujícími podmínkami. Výuka cvičení probíhá u počítačů, kde je kladen hlavní důraz na realizaci CLP(FD) programů v SICStus Prologu, a to buď samostatně nebo často modifikací existujícího kódu. Součástí cvičení jsou i domácí úkoly, jejiž řešení včetně řešení všech příkladů realizovaných na cvičení je vystaveno na webu předmětu.
- Metody hodnocení
- Předmět je absolvován složením úspěšné písemné práce ziskem alespoň 55 z celkového počtu 100 bodů (A: 100-90, B 89-80, C 79-70, D 69-60, E59-55). V písemné práci jsou uvedeny následující typy otázek: přehledové, srovnávací, algoritmy, pojmy, příklady (přibližně třetinu bodů je možné získat za napsání modelu omezujících podmínek pro dané problémy). Účast na cvičeních je povinná, v případě více než jedné neomluvené absence jsou zadány doplňující příklady v rozsahu odpovídajícím množství zameškaných cvičení, jejichž úspěšné zpracování je nezbytnou podmínkou absolvování předmětu.
- Navazující předměty
- Informace učitele
- https://is.muni.cz/el/1433/podzim2010/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2009
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
RNDr. Dalibor Klusáček, Ph.D. (pomocník) - Garance
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- Po 12:00–13:50 B410
- Rozvrh seminárních/paralelních skupin:
PA163/02: každý sudý čtvrtek 10:00–11:50 B116, H. Rudová - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 26 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět se primárně zabývá problematikou splňování omezujících podmínek, je zde ale prezentována i řada obecně použitelných algoritmů, např. z oblasti umělé inteligence nebo optimalizací. Předmět lze také doporučit zájemcům o deklarativní styl programování a studentům se zájmem o nové možnosti při popisu problémů pomocí omezujících podmínek.
Metody propagace podmínek a prohledávání jsou zastoupeny klasickými i nejnovějšími algoritmy. Je ukázáno modelování jednodušších příkladu i reálných problémů prostřednictvím programování s omezujícími pomínkami.
Cvičení jsou věnována praktickému vyzkoušení příkladů logického programování s omezujícími podmínkami u počítačů. Znalosti z logického programování přitom nejsou podmínkou pro absolvování předmětu. - Osnova
- Problém splňování podmínek. Úvod do modelování problémů. Reprezentace podmínek. Složitost.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Řešení dynamických a distribuovaných problémů s podmínkami.
- Logické programování s omezujícími podmínkami.
- Modelování a využití v reálných aplikacích.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- Edward, Tsang. Foundations of constraint satisfaction. Academic Press Ltd., 1993.
- Výukové metody
- Výuka probíhá jednak ve formě přednášek a dále ve formě cvičení (2 hodiny každé 2 týdny). Výuka přednášek je zejména orientována na výklad algoritmů a jejich praktické použití pro řešení problémů v oblasti programování s omezujícími podmínkami. Výuka cvičení probíhá u počítačů, kde je kladen hlavní důraz na realizaci CLP(FD) programů v SICStus Prologu, a to buď samostatně nebo často modifikací existujícího kódu. Součástí cvičení jsou i domácí úkoly, jejiž řešení včetně řešení všech příkladů realizovaných na cvičení je vystaveno na webu předmětu.
- Metody hodnocení
- Předmět je absolvován složením úspěšné písemné práce ziskem alespoň 55 z celkového počtu 100 bodů (A: 100-90, B 89-80, C 79-70, D 69-60, E59-55). Přibližně třetinu bodů je možné získat za napsání modelu omezujících podmínek pro dané problémy. V písemné práci jsou uvedeny následující typy otázek: přehledové, srovnávací, algoritmy, pojmy, příklady. Účast na cvičeních je povinná, v případě více než jedné neomluvené absence jsou zadány doplňující příklady v rozsahu odpovídajícím množství zameškaných cvičení, jejichž úspěšné zpracování je nezbytnou podmínkou absolvování předmětu.
- Navazující předměty
- Informace učitele
- https://is.muni.cz/el/1433/podzim2009/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2008
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
- Garance
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- Po 12:00–13:50 B410
- Rozvrh seminárních/paralelních skupin:
PA163/02: každý lichý čtvrtek 12:00–13:50 B116, H. Rudová - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 19 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět se primárně zabývá problematikou splňování omezujících podmínek, je zde ale prezentována i řada obecně použitelných algoritmů, např. z oblasti umělé inteligence nebo optimalizací. Předmět lze také doporučit zájemcům o deklarativní styl programování a studentům se zájmem o nové možnosti při popisu problémů pomocí omezení.
Metody propagace podmínek a prohledávání jsou zastoupeny klasickými i nejnovějšími algoritmy. Je ukázáno modelování jednodušších příkladu i reálných problémů prostřednictvím programování s omezujícími pomínkami.
Cvičení jsou věnována praktickému vyzkoušení příkladů logického programování s omezujícími podmínkami u počítačů. Znalosti z logického programování přitom nejsou podmínkou pro absolvování předmětu. - Osnova
- Problém splňování podmínek. Úvod do modelování problémů. Reprezentace podmínek. Složitost.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Řešení dynamických a distribuovaných problémů s podmínkami.
- Logické programování s omezujícími podmínkami.
- Modelování a využití v reálných aplikacích.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- Edward, Tsang. Foundations of constraint satisfaction. Academic Press Ltd., 1993.
- Metody hodnocení
- Písemná práce pro každý řádný termín, představuje společnou přípravu pro všechny studenty, cca 5 otázek: přehledové, srovnávací, algoritmy, pojmy, příklady. Ústní zkouška ve stejný den jako písemná práce, příprava na individuální otázky, během zkoušky diskuse nad písemnou prací. Opravný termín pouze jako ústní zkouška.
- Navazující předměty
- Informace učitele
- http://is.muni.cz/elearning/warp.pl?fakulta=1433;obdobi=4384;kod=PA163;qurl=/el/1433/podzim2008/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2007
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
- Garance
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- Čt 8:00–9:50 B204 a každé liché úterý 10:00–11:50 X Datový projektor, každé liché úterý 10:00–11:50 B116
- Rozvrh seminárních/paralelních skupin:
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 19 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět se primárně zabývá problematikou splňování omezujících podmínek, je zde ale prezentována i řada obecně použitelných algoritmů, např. z oblasti umělé inteligence nebo optimalizací. Předmět lze také doporučit zájemcům o deklarativní styl programování a studentům se zájmem o nové možnosti při popisu problémů pomocí omezení.
Metody propagace podmínek a prohledávání jsou zastoupeny klasickými i nejnovějšími algoritmy. Je ukázáno modelování jednodušších příkladu i reálných problémů prostřednictvím programování s omezujícími pomínkami.
Cvičení jsou věnována praktickému vyzkoušení příkladů logického programování s omezujícími podmínkami u počítačů. Znalosti z logického programování přitom nejsou podmínkou pro absolvování předmětu. - Osnova
- Problém splňování podmínek. Úvod do modelování problémů. Reprezentace podmínek. Složitost.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Řešení dynamických a distribuovaných problémů s podmínkami.
- Logické programování s omezujícími podmínkami.
- Modelování a využití v reálných aplikacích.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- Edward, Tsang. Foundations of constraint satisfaction. Academic Press Ltd., 1993.
- Metody hodnocení
- Písemná práce pro každý řádný termín, představuje společnou přípravu pro všechny studenty, cca 5 otázek: přehledové, srovnávací, algoritmy, pojmy, příklady.
Ústní zkouška ve stejný den jako písemná práce, příprava na individuální otázky, během zkoušky diskuse nad písemnou prací.
Opravný termín pouze jako ústní zkouška. - Navazující předměty
- Informace učitele
- http://is.muni.cz/elearning/warp.pl?fakulta=1433;obdobi=3724;kod=PA163;qurl=/el/1433/podzim2007/PA163/index.qwarp
Doplňující literatura viz: Barták, Roman. On-line guide to constraint programming. http://kti.ms.mff.cuni.cz/~bartak/constraints/index.html - Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2006
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
- Garance
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- St 10:00–11:50 B204 a každý sudý pátek 9:00–10:50 X Datový projektor, každý sudý pátek 9:00–10:50 B116
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 7 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět se zabývá problematikou splňování omezujících podmínek. Metody propagace podmínek a prohledávání jsou zastoupeny klasickými i nejnovějšími algoritmy. Je ukázáno modelování jednodušších příkladu i reálných problémů prostřednictvím programování s omezujícími pomínkami. Cvičení jsou věnována praktickému vyzkoušení příkladů logického programování s omezujícími podmínkami u počítačů.
- Osnova
- Problém splňování podmínek. Úvod do modelování problémů. Reprezentace podmínek. Složitost.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Řešení dynamických a distribuovaných problémů s podmínkami.
- Logické programování s omezujícími podmínkami.
- Modelování a využití v reálných aplikacích.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- Edward, Tsang. Foundations of constraint satisfaction. Academic Press Ltd., 1993.
- Metody hodnocení
- Písemná práce pro každý řádný termín, představuje společnou přípravu pro všechny studenty, cca 5 otázek: přehledové, srovnávací, algoritmy, pojmy, příklady.
Ústní zkouška ve stejný den jako písemná práce, příprava na individuální otázky, během zkoušky diskuse nad písemnou prací.
Opravný termín pouze jako ústní zkouška. - Informace učitele
- http://www.fi.muni.cz/~hanka/cp
Doplňující literatura viz: Barták, Roman. On-line guide to constraint programming. http://kti.ms.mff.cuni.cz/~bartak/constraints/index.html - Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2005
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
- Garance
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- Pá 8:00–9:50 X Datový projektor, Pá 8:00–9:50 B204 a každý lichý pátek 10:00–11:50 B116, každý lichý pátek 10:00–11:50 X Datový projektor
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 7 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět se zabývá problematikou splňování omezujících podmínek. Metody propagace podmínek a prohledávání jsou zastoupeny klasickými i nejnovějšími algoritmy. Je ukázáno modelování jednodušších příkladu i reálných problémů prostřednictvím programování s omezujícími pomínkami. Cvičení jsou věnována praktickému vyzkoušení příkladů logického programování s omezujícími podmínkami u počítačů.
- Osnova
- Problém splňování podmínek. Úvod do modelování problémů. Reprezentace podmínek. Složitost.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální a hybridní prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Logické programování s omezujícími podmínkami.
- Modelování a využití v reálných aplikacích.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- Edward, Tsang. Foundations of constraint satisfaction. Academic Press Ltd., 1993.
- Barták, Roman. On-line guide to constraint programming. http://kti.ms.mff.cuni.cz/~bartak/constraints/index.html
- Metody hodnocení
- Písemná práce pro každý řádný termín, představuje společnou přípravu pro všechny studenty, cca 5 otázek: přehledové, srovnávací, algoritmy, pojmy, příklady.
Ústní zkouška ve stejný den jako písemná práce, příprava na individuální otázky, během zkoušky diskuse nad písemnou prací.
Opravný termín pouze jako ústní zkouška.
The written exam for each regular date. It is a preparation for all students, it includes about 5 questions: outline of certain part, comparison of some approaches, algorithms, terminology and its explanation, examples.
The oral exam in the same day as the written exam, preparation on individual questions, discussion about written exam.
Irregular dates as oral exam only. - Informace učitele
- http://www.fi.muni.cz/~hanka/cp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2004
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
- Garance
- prof. RNDr. Luděk Matyska, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky - Rozvrh
- Pá 10:00–11:50 A107, Pá 12:00–12:50 B311
- Omezení zápisu do předmětu
- Předmět je určen pouze studentům mateřských oborů.
- Mateřské obory/plány
- předmět má 7 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět se zabývá problematikou splňování omezujících podmínek. Metody propagace podmínek a prohledávání jsou zastoupeny klasickými i nejnovějšími algoritmy. Základní techniky pro modelování problému jsou doplněny ukázkami použití podmínek v oblastech jako je logické nebo objektově orientované programování. Součástí předmětu je řešení jednodušších příkladů i modelování reálných problémů. Cvičení jsou věnována praktickému vyzkoušení příkladů s omezujícími podmínkami u počítačů.
- Osnova
- Problém splňování podmínek. Úvod do modelování problémů. Reprezentace podmínek. Složitost.
- Algoritmy a konzistence: hranová, po cestě, k-konzistence. Směrové varianty, šířka grafu podmínek a polynomiální problémy. Globální podmínky a konzistenční algoritmy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální a hybridní prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Logické a objektově orientované programování s omezujícími podmínkami.
- Modelování a využití v reálných aplikacích.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- APT, Krzysztof R. Principles of constraint programming. Cambridge: Cambridge University Press, 2003, xii, 407. ISBN 0521825830. info
- MARRIOTT, Kim a P. J. STUCKEY. Programming with constraints : an introduction. Cambridge: MIT Press, 1998, xiv, 467. ISBN 0262133415. info
- VAN HENTENRYCK, Pascal. Constraint Satisfaction in Logic Programming. Cambridge: Massachusetts Institute of Technology, 1989, 224 s. ISBN 0262081814. info
- BARTÁK, Roman. On-line guide to constraint programming. 1998. http://kti.mff.cuni.cz/~bartak/constraints info
- Metody hodnocení
- Písemná práce pro každý řádný termín, představuje společnou přípravu pro všechny studenty, cca 5 otázek: přehledové, srovnávací, algoritmy, pojmy, příklady.
Ústní zkouška ve stejný den jako písemná práce, příprava na individuální otázky, během zkoušky diskuse nad písemnou prací.
Opravný termín pouze jako ústní zkouška.
The written exam for each regular date. It is a preparation for all students, it includes about 5 questions: outline of certain part, comparison of some approaches, algorithms, terminology and its explanation, examples.
The oral exam in the same day as the written exam, preparation on individual questions, discussion about written exam.
Irregular dates as oral exam only. - Informace učitele
- http://www.fi.muni.cz/~hanka/cp
- Další komentáře
- Předmět je vyučován každoročně.
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2003
- Rozsah
- 2/0. 2 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
- Garance
- prof. RNDr. Luděk Matyska, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky - Rozvrh
- Čt 9:00–10:50 X Datový projektor, Čt 9:00–10:50 B007
- Omezení zápisu do předmětu
- Předmět je určen pouze studentům mateřských oborů.
- Mateřské obory/plány
- Aplikovaná informatika (program FI, N-AP)
- Informatika (program FI, M-IN)
- Informatika (program FI, N-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, N-SS)
- Cíle předmětu
- Předmět se zabývá problematikou splňování omezujících podmínek. Metody prohledávání a propagace podmínek jsou zastoupeny klasickými i nejnovějšími algoritmy. Základní techniky pro modelování problému jsou doplněny ukázkami použití podmínek v oblastech jako je logické nebo souběžné programování. Součástí předmětu je řešení jednodušších příkladů i modelování reálných problémů.
- Osnova
- Problém splňování podmínek. Binární a nebinární podmínky. Reprezentace podmínek. Složitost.
- Algoritmy a konzistence: vrcholová, hranová, po cestě, k-konzistence.
- Stromové prohledávací algoritmy: backtracking, limitovaný počet diskrepancí, neúplné prohledávání, inteligentní backtracking.
- Prohledávací algoritmy a propagace podmínek.
- Algoritmy lokálního prohledávání.
- Hybridní prohledávací algoritmy.
- Globální podmínky: modelování problému, metody řešení.
- Optimalizační problémy a algoritmy.
- Příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Logické programování s omezujícími podmínkami. Souběžné programování s omezujícími podmínkami. Distribuované splňování podmínek. Agentní technologie a podmínky.
- Přehled a praktické použití systémů pro programování s omezujícími podmínkami.
- Modelování a využití v reálných aplikacích.
- Literatura
- Dechter, Rina. Constraint Processing. Morgan Kaufmann Publishers, 2003.
- Apt, Kryzstof R. Principles of Constraint Programming. Cambridge University Press, 2003.
- MARRIOTT, Kim a P. J. STUCKEY. Programming with constraints : an introduction. Cambridge: MIT Press, 1998, xiv, 467. ISBN 0262133415. info
- VAN HENTENRYCK, Pascal. Constraint Satisfaction in Logic Programming. Cambridge: Massachusetts Institute of Technology, 1989, 224 s. ISBN 0262081814. info
- BARTÁK, Roman. On-line Guide to Constraint Programming. 2002. URL info
- Metody hodnocení
- Kratší písemná práce pro každý řádný termín, představuje společnou přípravu pro všechny studenty, cca 5 otázek: přehledové, algoritmy, pojmy, příklady. Ústní zkouška ve stejný den jako písemná práce, příprava na individuální otázky, během zkoušky diskuse nad písemnou prací.
Opravný termín pouze jako ústní zkouška. - Informace učitele
- http://www.fi.muni.cz/~hanka/cp
Informace včetně průsvitek jsou dostupné přes www stránku předmětu. - Další komentáře
- Předmět je vyučován každoročně.
- Statistika zápisu (nejnovější)