4.1 Introduction 4.2 Boolean Function Evalutation Figure 4.2.1: a Depth 2k And-or Circuit
نویسندگان
چکیده
In this lecture, we will first consider the problem of boolean function evaluation and prove that randomized algorithms (in the expected case) perform better than deterministic algorithms. The boolean circuits that we consider, can be naturally extended to obtain a game tree. We will then state Von Neumann’s minimax theorem and its extension Yao’s principle. Finally, we show how Yao’s principle can be used to obtain lower bounds on the expected running time of randomized algorithms.
منابع مشابه
Implementation of linear maps with circulant matrices via modulo 2 rectifier circuits of bounded depth
In the present note we show that for any constant k ∈ N an arbitrary Boolean circulant matrix can be implemented via modulo 2 rectifier circuit of depth 2k − 1 and complexity O ( n1+1/k ) , and also via circuit of depth 2k and complexity O (
متن کاملModelling chromosome missegregation in tumour evolution
................................................................................................................................... 7 Contents .................................................................................................................................. 9 List of Figures ..........................................................................................
متن کاملIntroduction to Small-Angle Neutron Scattering and Neutron Reflectometry
4 Analysis of Small Angle Scattering Data 10 4.1 Model Independent Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 4.1.1 The Scattering Invariant . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 4.1.2 Porod Scattering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 4.1.3 Guinier Analysis . . . . . . . . . . . . . . . . . . . . . ....
متن کاملSand Simulation - COMP768 project report
4 Proposed Method and Progress 4 4.1 Proposed method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 4.2 Progress Made . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 4.2.1 Coding effort . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 4.2.2 Results . . . . . . . . . . . . . . . ...
متن کاملCourse on Artificial Intelligence and Intelligent Systems A short introduction to CHR and its application for rule-based expert systems A course note
4 Forward chaining expert system in CHR 7 4.1 Propagation rules are forward chaining . . . . . . . . . . . . . . . . . . . . . . . . . . 7 4.2 Conflict resolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 4.2.1 Preference to some facts over others . . . . . . . . . . . . . . . . . . . . . . . 9 4.2.2 Ad-hoc weights in CHR knowledge bases . . . . . . . . . . . ....
متن کامل