• Obtížné problémy vzhledem k parametru různorodost sousedství 

      Defence status: DEFENDED
      Koutecký, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)
      Date of defense: 29. 5. 2013
      Parameterized complexity is a part of computer science dealing with the computational complexity of problems measured not only by the length of their input but also some parameter of the input. Nei- ghborhood diversity is ...
    • Optimalizace na grafech s omezenou stromovou šířkou přes vlastnosti vyjádřitelné v MSOL 

      Defence status: DEFENDED
      Koutecký, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
      Date of defense: 20. 6. 2011
      Courcellova věta mluví o výpočetní složitosti rozhodovacích problémů defino- vaných formulemi monadické logiky druhého řádu nad relačními strukturami s omezenou stromovou šířkou. Pro pevnou stromovou šířku a vstupní formuli ...
    • Treewidth, Extended Formulations of CSP and MSO Polytopes, and their Algorithmic Applications 

      Defence status: DEFENDED
      Koutecký, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)
      Date of defense: 12. 9. 2017
      Tato práce podává důkaz existence kompaktních rozšířených formulací pro širokou škálu polytopů souvisejících s problémem omezujících podmínek (CSP), grafovou monadickou logikou druhého řádu (MSO) a rozšířeními MSO, mají-li ...

      © 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 560/5, 116 36 Praha 1; email: admin-repozitar [at] cuni.cz

      Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

      Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

      DSpace software copyright © 2002-2015  DuraSpace
      Theme by 
      @mire NV