Time-optimal short-circuit evaluation of Boolean expressions
Das Verfahren der Berechnung Boolscher Ausdrücke duch ``short- circuiting wird durch Einbeziehung der Möglichkeit, durch Umordnung unter Verwendung der kommutativen und assoziativen Gesetze für ``und und ``oder zeitoptimale Berechnung zu erzielen, weiterentwickelt. Dabei wird die mittlere Zeit und die wahr-/falsch-\(Wahrscheinlichkeit\) abgeschätzt und unter Benutzung des Verfahrens der dynamischen Optimierung die mittlere Zeit minimiert. Im Mittelpunkt steht dabei das Minimierungstheorem, das im Anhang bewiesen wird. Anwendungen finden sich sowohl in den Programmiersprachen und ihren Compilern als auch in den Datenbanksprachen. Ein ausführlich behandeltes Beispiel zeigt den Minimierungseffekt.
- Mean computing time of Boolean operators by programs with restricted memory
- scientific article; zbMATH DE number 1037955
- scientific article; zbMATH DE number 2084329
- Average time of computing Boolean operators
- On the complexity of the evaluation of transient extensions of Boolean functions
- On the complexity of the evaluation of transient extensions of Boolean functions
- Complexity of sequential implementation of partial Boolean functions
- scientific article; zbMATH DE number 3957104
- scientific article; zbMATH DE number 1903342
This page was built for publication: Time-optimal short-circuit evaluation of Boolean expressions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1115174)
