{{indexmenu_n>12}}
<timer 2000-01-01 00:00:01=2017-04-27 00:00:01>
Obsah této stránky bude přístupný od 27. 4. 2017.
</timer>

<timer 2017-04-27 00:00:01=->
====== Zadání plánovací úlohy ======

//Autor textu: Radek Mařík// \\ //Úprava: Tibor Strašrybka//

Odevzdávají se dva soubory v jednom zip archivu:

  - Soubor ''domain.pddl'' s popisem domény plánovací úlohy.
  - Soubor ''problem.pddl'' s popisem zadání plánovací úlohy.

Všechny úlohy vychází z následujícího textového zadání domény plánovací úlohy:

  - Jedná se o úlohy přesunu nákladů/lidí mezi různými místy a městy pomocí automobilů a letadel.
  - Nákladní automobil lze naložit pouze jedním balíkem/člověkem a na jiném místě opět vyložit.
  - Letadlo lze naložit rovněž pouze jedním balíkem/člověkem a vyložit na jiném letišti.
  - Letadlo se smí létat pouze z letiště na letiště.
  - Automobil přejíždí mezi letišti a městy.
  - Letiště jsou pouze v Bostonu, New Yorku, Las Vegas, Paříži a v Praze.
  - Letecké spoje jsou pouze mezi Bostonem a New Yorkem, New Yorkem a Las Vegas, New Yorkem a Paříží, New Yorkem a Prahou, Pařízí a Prahou.
  - Silnice vede mezi Prahou a Plzni, Prahou a Libercem, Libercem a Kladnem, New York a Stamford, New York a Trenton, Lakewood a Trenton, Bostonem a Newton, Boston a Weymouth, Newton a Weymouth, Las Vegas a Flagstaff, Las Vegas a Henderson, Flagstaff a Prescott, Paříží a Vernon, Vernon a Dreux, Paříží a Etampes, Etampes a Fontainebleau.
  - Silnice mezi městy si vhodně pokryjte nákladními a osobními auty či autobusy tak, aby žádné z vozidel nebylo na počátku ve městě s letištěm a v okolí každého letiště pojížděly maximálně 2 vozidla.

===== Varianty zadání plánovací úlohy =====

==== 1. varianta ====

  * Na počátku je letadlo OK312 na letišti v Praze, letadlo DL456 na letišti v Bostonu.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Weymouth,
    * Michele z Paříže do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Trubky z Dreux do Stamford.

==== 2. varianta ====

  * Na počátku je letadlo OK312 na letišti v Praze, letadlo DL456 na letišti v New York.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Flagstaff,
    * Betty z Paříže do New Yorku,
    * Josef z Paříže do Las Vegas,
    * Franta z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Disky z Liberce do Prescott.

==== 3. varianta ====

  * Na počátku je letadlo OK312 na letišti v New York, letadlo DL456 na letišti v Bostonu.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Weymouth,
    * Michele z Paříže do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Monitory z Stamford do Vernon.

==== 4. varianta ====

  * Na počátku je letadlo OK312 na letišti v Praze, letadlo DL456 na letišti v Las Vegas.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Weymouth,
    * Josef z Paříže Flagstaff,
    * Betty z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Kufry z Trenton do Prescott.

==== 5. varianta ====

  * Na počátku je letadlo OK312 na letišti v Paříži, letadlo DL456 na letišti v New York.
  * Lidé potřebují cestovat takto:
    * Franta z Plzně do Weymouth,
    * Michele z Paříže do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Batohy z Etampes do Kladna.

==== 6. varianta ====

  * Na počátku je letadlo OK312 na letišti v Praze, letadlo DL456 na letišti v Paříži.
  * Lidé potřebují cestovat takto:
    * Betty z Plzně do Weymouth,
    * Franta z Paříže do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Josef z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Sekačky z Liberce do Lakewood.

==== 7. varianta ====

  * Na počátku je letadlo OK312 na letišti v New York, letadlo DL456 na letišti v Bostonu.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Weymouth,
    * Betty z Paříže do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Lopaty z Plzně do Fontainebleau.

==== 8. varianta ====

  * Na počátku je letadlo OK312 na letišti v Praze, letadlo DL456 na letišti v Las Vegas.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Weymouth,
    * Michele z Paříže do New Yorku,
    * Franta z Paříže do Las Vegas,
    * Jason z Flagstaff do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Televize z Flagstaff do Paříže.

==== 9. varianta ====

  * Na počátku je letadlo OK312 na letišti v Paříži, letadlo DL456 na letišti v New York.
  * Lidé potřebují cestovat takto:
    * Josef z Plzně do Weymouth,
    * Michele z Paříže do New Yorku,
    * Betty z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Lopaty z Plzně do Fontainebleau.

==== 10. varianta ====

  * Na počátku je letadlo OK312 na letišti v Paříži, letadlo DL456 na letišti v Bostonu.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Weymouth,
    * Michele z Flagstaff do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Franta z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood
    * Televize z Flagstaff do Paříže.

==== 11. varianta ====

  * Na počátku je letadlo OK312 na letišti v Las Vegas, letadlo DL456 na letišti v New York.
  * Lidé potřebují cestovat takto:
    * Betty z Plzně do Weymouth,
    * Michele z Paříže do New Yorku,
    * Josef z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood
    * Lopaty z Plzně do Fontainebleau.

==== 12. varianta ====

  * Na počátku je letadlo OK312 na letišti v Las Vegas, letadlo DL456 na letišti v Bostonu.
  * Lidé potřebují cestovat takto:
    * Franta z Plzně do Weymouth,
    * Michele z Flagstaff do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood
    * Televize z Flagstaff do Paříže.

==== 13. varianta ====

  * Na počátku je letadlo OK312 na letišti v New York, letadlo DL456 na letišti v Bostonu.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Weymouth,
    * Michele z Paříže do New Yorku,
    * Betty z Paříže do Las Vegas,
    * Josef z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood
    * Lopaty z Plzně do Fontainebleau.

==== 14. varianta ====

  * Na počátku je letadlo OK312 na letišti v Paříži, letadlo DL456 na letišti v Bostonu.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Weymouth,
    * Michele z Paříže do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood
    * Televize z Flagstaff do Paříže.

==== 15. varianta ====

  * Na počátku je letadlo OK312 na letišti v Praze, letadlo DL456 na letišti v Las Vegas.
  * Lidé potřebují cestovat takto:
    * Josef z Plzně do Weymouth,
    * Franta z Paříže do Flagstaff,
    * Alex z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood
    * Lampy z Fontainebleau do Liberce.

==== 16. varianta ====

  * Na počátku je letadlo OK312 na letišti v Paříži, letadlo DL456 na letišti v New York.
  * Lidé potřebují cestovat takto:
    * Franta z Plzně do Weymouth,
    * Michele z Paříže do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood
    * Televize z Flagstaff do Paříže.

==== 17. varianta ====

  * Na počátku je letadlo OK312 na letišti v Las Vegas, letadlo DL456 na letišti v Bostonu.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Weymouth,
    * Josef z Paříže do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Jason z Las Vegas do Flagstaff.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Lopaty z Plzně do Fontainebleau.

==== 18. varianta ====

  * Na počátku je letadlo OK312 na letišti v New York, letadlo DL456 na letišti v Paříži.
  * Lidé potřebují cestovat takto:
    * Betty z Plzně do Weymouth,
    * Michele z Paříže do New Yorku,
    * Franta z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood
    * Lampy z Fontainebleau do Liberce.

==== 19. varianta ====

  * Na počátku je letadlo OK312 na letišti v Praze, letadlo DL456 na letišti v Las Vegas.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Flagstaff,
    * Michele z Paříže do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Josef z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Čerpadla z Plzně do Henderson.

==== 20. varianta ====

  * Na počátku je letadlo OK312 na letišti v Praze, letadlo DL456 na letišti v New York.
  * Lidé potřebují cestovat takto:
    * Franta z Plzně do Weymouth,
    * Michele z Paříže do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood
    * Televize z Flagstaff do Paříže.

==== 21. varianta ====

  * Na počátku je letadlo OK312 na letišti v Las Vegas, letadlo DL456 na letišti v Paříži.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Weymouth,
    * Michele z Flagstaff do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood ,
    * Čerpadla z Plzně do Henderson.

==== 22. varianta ====

  * Na počátku je letadlo OK312 na letišti v New York, letadlo DL456 na letišti v Bostonu.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Weymouth,
    * Josef z Paříže do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Franta z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Lampy z Fontainebleau do Liberce.

==== 23. varianta ====

  * Na počátku je letadlo OK312 na letišti v Las Vegas, letadlo DL456 na letišti v Las Vegas.
  * Lidé potřebují cestovat takto:
    * Franta z Plzně do Weymouth,
    * Michele z Paříže do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Lampy z Fontainebleau do Liberce.

==== 24. varianta ====

  * Na počátku je letadlo OK312 na letišti v New York, letadlo DL456 na letišti v Bostonu.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Weymouth,
    * Franta z Flagstaff do New Yorku,
    * Josef z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Čerpadla z Plzně do Henderson.

==== 25. varianta ====

  * Na počátku je letadlo OK312 na letišti v Praze, letadlo DL456 na letišti v Paříži.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Weymouth,
    * Michele z Paříže do New Yorku,
    * Alex z Flagstaff do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Knihy z Stamford do Etampes.

==== 26. varianta ====

  * Na počátku je letadlo OK312 na letišti v Las Vegas, letadlo DL456 na letišti v Bostonu.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Weymouth,
    * Michele z Paříže do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Jason z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Notebooky z Flagstaff do Lakewood

==== 27. varianta ====

  * Na počátku je letadlo OK312 na letišti v Paříži, letadlo DL456 na letišti v New York.
  * Lidé potřebují cestovat takto:
    * Avrim z Plzně do Weymouth,
    * Michele z Paříže do New Yorku,
    * Alex z Paříže do Las Vegas,
    * Franta z Las Vegas do Fontainebleau.
  * Náklady je potřeba přepravit takto:
    * Tužky z Prescott do Liberce,
    * Papír z Kladna do Lakewood,
    * Kalendáře z Vernon do Prahy.
</timer>