Die Kraft-Ungleichung, auch als Kraft-McMillan-Ungleichung bezeichnet, ist in der Kodierungstheorie eine notwendige und hinreichende Bedingung für die Existenz eines eindeutig dekodierbaren Codes für einen gegebenen Satz an Schlüssellängen. Seine Implikationen auf Präfixcodes und Binärbäume finden häufig in der Informatik und Informationstheorie Anwendung.
Die Kraft-Ungleichung wurde 1949 ...
