Teaching reductions: Formal foundations

Designing computational reductions is a challenging task for students. Inthis paper we explore formal foundations for offering support for thislearning task by teaching support systems. Our approach is to (a)identify typical building blocks of reductions, (b) develop a simpledescriptional language for specifying reductions that allows forcombining building blocks in a simple, modular manner, (c) study theexpressive power of such a language to ensure that it is reasonablybroad, and to (d) design suitable algorithms for employing this languagein teaching support systems, including the design of feedback mechanisms. This is joint work with Julien Grange, Nils Vortmeier and Thomas Zeume. Contributed talk given by Fabian Vehlken

Authors

• Fabian Vehlken

Keywords

No keywords are indexed for this paper.