Planovani a rozvrhovani

Info z predterminu 13.5.09' :

Byli jsme jen tri, asi i diky tomu se me neprv zeptal, jestli chci otazku na planovani nebo rozvrhovani. Vybral jsem rozvrhovani. Dostal jsem "velkou otazku" heuristicky alg. pro obecny job shop (+i alg. pro reseni podproblemu, tj 1|r_i|L_max !). Jako "doplnujici" otazka byl princip algoritmu STRIPS.
Asi za 40 minut hotove, s doc. Bartakam jsme to prosli, obcas se na neco zeptal (treba kdyz jsem u strips nesmyslne napsal, ze je to v prostoru planu, a obcas se mi proste nechtelo vsechno na papir psat :)). Celkem pohoda, pokud clovek chodil na prednasky, tak se to da za den, dva stihnout na jedna. ;)

Obavam se, ze jsme byli jen dva - kdybys prisel vcas, tak bys to vedel :-)

Tez se mne zeptal, co chci, tak jsem byl jednoznacne pro planovani.
Dostal jsem uplny zaklad - planovani v prostoru stavu, zpetne a dopredne planovani, liftovani, STRIPS, heuristiky.
Jako doplnujici otazku Grahamovu hierarchii a nejaky priklad.

Mel jsem tam obcas nejake chyby a nepresnosti, ale doc. Bartak mne vhodne zvolenymi otazkami navedl k zamysleni a nasledne oprave.

Pokud clovek na prednasky nechodi a je trochu psychicky labilni, da se do na jednicku zvladnout za cca 8 hodin uceni.

stinny wrote:...

:))))))

btw, trochu psychicky labilni?

stinny wrote: Jako doplnujici otazku Grahamovu hierarchii a nejaky priklad.

Na kterych slajdech je pls ta hierarchie? Ja jsem asi slepy... na prednasky jsem taky nechodil.

Reformulace plánovacího problému. Jak lze problém kódovat v SAT? Jak kódovat v CSP? Co je to problém rámce? Co je to plánovací graf a jak jej kódovat v CSP? Jak se řeší plánovací problémy v SAT a CSP?

Navrhněte reprezentaci následujícího problému v klasickém plánování: máme místa, na některých jsou jeřáby a kontejnery v několika sloupcích, roboti schopní přejezdu mezi místy uvezou 1 kontejner (prostě jde o úlohu z obrázků na slajdech). Ukažte na této úloze dopředné plánování.

rozdaval papiere so zadanymi otazkami, takze ziadna volba medzi planovanim a rozvrhovanim
dostal som otazky, ktore sa tu uz objavili: job-shop + heuristicky alg + riesenie podproblemov(1|rj|Lmax) a druha otazka Strips

• s dalsim kolegom sa bavil o mutexoch, takze daco okolo toho

Dostal som otazku na papieri:

1. Planovani s planovacim grafem.
   Co je planovaci graf a vrstveny plan?
   Co je mutex, ako sa pocita?
   Ako sa hlada vysledny plan v planovacom grafe?

2. Co je to rozvrhovaci problem?
   Aky je rozdiel medzi rozvrhovacim problemom a planovacim problemom?

V ramci doplnujucej otazky sa ma spytal, ako sa vyvijaju mnoziny mutexov
(uA_i a uP_i). Mal som teda dokazat/ukazat, ze:
$$(p,q) otin \mu P_i \implies (p,q) otin \mu P_{i+1}$$
$$(a,b) otin \mu A_i \implies (a,b) otin \mu A_{i+1}$$

Samotna skuska prebiehala v prijemnej atmosfere - typicky "Bartakovska" ;-).

ang wrote:

stinny wrote: Jako doplnujici otazku Grahamovu hierarchii a nejaky priklad.

Na kterych slajdech je pls ta hierarchie? Ja jsem asi slepy... na prednasky jsem taky nechodil.

Pre buducnost.
Grahamova(Ronald) notacia je v slajdoch o Rozvrhovani. 10.slajd (Graham's notation)
Grahamova(Paul) hierarchia je asi nieco ine. (Graham's Hierarchy of Disagreement)

1. Plánovaní v prostoru plánů: kaz, otevřený cíl, hrozba, PSP, PoP, heuristiky co se používají.

2. F2 || C_max - co to je, napsat jak se to řeší a dokázat větu co se k tomu používá

Na začátku oznámil, že zkouška bude víc písemná než ústní (asi spěchal), četl to poctivě (ptal se pokud jsem tam měl něco špatně nebo podivně), ale zase spoustu věcí přešel (třeba velice vágní popis PoP nebo heuristik, kde jsem měl jen napsané že se používá FAF). U F2 || C_max jsem trochu zazmatkoval a vzal si dvojku.

1, Plánovací graf - co to je plánovací graf, vrstevnatý plán, mutexy (včetně té monotonie), jak z grafu získám plán
2, Rozvrhovací problém (jen obecně), odlišnosti od plánovacího problému

Ptal jsem se ho, jestli dává otázky z 7. a 8. kapitoly - 7. prý jo, kroniky jen obecně, že něco takového existuje, STL

1. modely casu - kvalitativni (algebra bodu, algebra intervalu), kvantitativni (STN, TCSP)

2. Pm|prec|Cmax, 1|rj|Lmax

nekdo jiny mel otazku

1. planovani s kronikama, kroniky + zdroje, MCS

2. optimalizacni kriteria pro rozvrhovani