Libor Barto

HOME

COCOSYM

RESEARCH

FOR STUDENTS

ARCHIV 21/22 zimni semestr

[Zpet]

NMAG111: Lineární algebra 1, zimní semestr 2021-2022

See the course website

INTRODUCTION TO COMPLEXITY OF CSP (NMAG563)

Mon 15:40 K8

Problems

• Problem Set 1
• Problem Set 2
• Problem Set 3
• Problem Set 4
• Problem Set 5

References (contain a lot of spoilers):

• survey (Barto, Krokhin, Willard): here
• shorter survey (Barto): here (see the complexity column)
• Krokhin's tutorial: available here
• Another Krokhin's tutorial, a bit different topics: available here
• My tutorial: PDF
• Paper Bulatov, Jeavons, Krokhin: Classifying the Complexity of Constraints Using Finite Algebras PDF

ARCHIV

[Archiv 2020/21 letni semestr]
[Archiv 2020/21 zimni semestr]
[Archiv 2019/20 zimni semestr]
[Archiv 2018/19 letni semestr]
[Archiv 2018/19 zimni semestr]
[Archiv 2017/18 letni semestr]
[Archiv 2017/18 zimni semestr]
[Archiv 2016/17 letni semestr]
[Archiv 2016/17 zimni semestr]
[Archiv 2015/16 letni semestr]
[Archiv 2015/16 zimni semestr]
[Archiv 2014/15 letni semestr]
[Archiv 2014/15 zimni semestr]
[Archiv 2013/14 letni semestr]
[Archiv 2013/14 zimni semestr]
[Archiv 2012/13 letni semestr]
[Archiv 2012/13 zimni semestr]
[Archiv McMaster]
[Archiv 2009/10 letni semestr]
[Archiv 2009/10 zimni semestr]
[Archiv 2008/09 letni semestr]
[Archiv 2008/09 zimni semestr]
[Archiv 2007/08 letni semestr]
[Archiv 2007/08 zimni semestr]
[Archiv 2006/07 letni semestr]
[Archiv 2006/07 zimni semestr]
[Archiv 2005/06 letni semestr]