Bemerkungen:
- gegebene Implementierung ist korrekt, 
  übersichtlich, aber nicht effizient,
- (Ü) es gibt Unif.-Probl. mit exponentiell großer Lösung,
- eine komprimierte Darstellung davon 
  kann man aber in Polynomialzeit ausrechnen.
Johannes Waldmann
2013-01-31