INSTITUTFÜRINFORMATIK - Lehrstuhl für Effiziente Algorithmen ...
INSTITUTFÜRINFORMATIK - Lehrstuhl für Effiziente Algorithmen ...
INSTITUTFÜRINFORMATIK - Lehrstuhl für Effiziente Algorithmen ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
2.3. Monitore 39alle möglichen 2 N Fensterinhalte unterscheiden müssen, um stets die richtige Antwortgeben zu können. Zum Nachweis der Behauptung nehmen wir an, es gibt einen exaktenAlgorithmus A für das elementare Zählproblem, der aber zwei verschiedene Fensterinhaltev = v 1 ...v N und w = w 1 ...w N nicht unterscheiden kann. Dabei erfolge die Nummerierungdes Fensterinhaltes von links nach rechts. Es sei j die letzte Position, an der sich vund w unterscheiden, d.h. v j ≠ w j und v i = w i für alle j