[EffKombAlg] EXACT - VC Algo

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

[EffKombAlg] EXACT - VC Algo
Im Algorithmus EXACT (Seite 35 im inoffiziellen Skript) steht zur Berechnung von Lambda auf der Rechten Seite die Summe ueber die Binomialkoeffizienten.

Meine Frage ist, warum da die Summe steht, muesste es nicht eher wechseln, sobald der exponentielle Teil groesser wird, als der entsprechende Binomialkoeffizient?
Also 2^(lambdan) <= (n choose (lambdan)). (Ohne die Summe lambda*n bis n)
Meiner Meinung nach laeuft der DivideAndConquer Algorithmus auf diese Weise moeglicherweise laenger als er sollte und es wird zu spaet auf den BruteForce-Algo gewechselt.