Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
... The following lectures covered reductions (1 h), in-troduction to complexity (1 h), Turing machines and unde-cidability (2 h), Cook-Levin theorem (1 h), NP ... In both courses we used the AlViE system [1] to present the visualizations... more
... The following lectures covered reductions (1 h), in-troduction to complexity (1 h), Turing machines and unde-cidability (2 h), Cook-Levin theorem (1 h), NP ... In both courses we used the AlViE system [1] to present the visualizations of two reductions in the following way. ...
KTH har sedan 2005 arbetat med det automatiserade och webbaserade rättningssystemet Kattis som stöd vid undervisning på programmeringskurser. Detta verktyg möjliggör en ny metodik kring laborationer: testdriven utbildning. Vi har sett... more
KTH har sedan 2005 arbetat med det automatiserade och webbaserade rättningssystemet Kattis som stöd vid undervisning på programmeringskurser. Detta verktyg möjliggör en ny metodik kring laborationer: testdriven utbildning. Vi har sett stora pedagogiska fördelar med ...
Four fundamental graph problems, Minimum vertex cover, Maximum independent set, Minimum dominating set and Maximum cut, are shown to be APX-complete even for cubic graphs. Therefore, unless P=NP, these problems do not admit any polynomial... more
Four fundamental graph problems, Minimum vertex cover, Maximum independent set, Minimum dominating set and Maximum cut, are shown to be APX-complete even for cubic graphs. Therefore, unless P=NP, these problems do not admit any polynomial time approximation scheme on input graphs of degree bounded by three.

And 38 more

25 oktober 2017, prodekanus seminarieserie, KTH
Research Interests: