|
|
1 | (6) |
|
|
1 | (3) |
|
1.2 Concept and Organization |
|
|
4 | (2) |
|
|
6 | (1) |
|
2 Communication Protocol Models |
|
|
7 | (144) |
|
|
7 | (16) |
|
|
7 | (1) |
|
2.1.2 Alphabets, Words, and Languages |
|
|
7 | (4) |
|
2.1.3 Boolean Functions and Boolean Matrices |
|
|
11 | (5) |
|
2.1.4 Representation of Computing Problems |
|
|
16 | (4) |
|
|
20 | (3) |
|
2.2 Communication Complexity According to a Fixed Partition |
|
|
23 | (37) |
|
|
23 | (7) |
|
2.2.2 Methods for Proving Lower Bounds |
|
|
30 | (23) |
|
2.2.3 Theoretical Properties of Communication Complexity According to a Fixed Partition |
|
|
53 | (4) |
|
|
57 | (2) |
|
|
59 | (1) |
|
2.3 Communication Complexity |
|
|
60 | (23) |
|
|
60 | (1) |
|
|
61 | (1) |
|
2.3.3 Lower Bound Methods |
|
|
62 | (8) |
|
2.3.4 Theoretical Properties of Communication Complexity |
|
|
70 | (7) |
|
2.3.5 Communication Complexity and Chomsky Hierarchy |
|
|
77 | (5) |
|
|
82 | (1) |
|
|
83 | (1) |
|
2.4 One-Way Communication Complexity |
|
|
83 | (14) |
|
|
83 | (1) |
|
|
84 | (2) |
|
2.4.3 Methods for Proving Lower Bounds |
|
|
86 | (6) |
|
2.4.4 Communication Complexity Versus One-way Communication Complexity |
|
|
92 | (3) |
|
|
95 | (1) |
|
|
96 | (1) |
|
2.5 Nondeterministic Communication Complexity and Randomized Protocols |
|
|
97 | (34) |
|
|
97 | (1) |
|
2.5.2 Nondeterministic Protocols |
|
|
98 | (7) |
|
2.5.3 Lower Bounds on Nondeterministic Communication Complexity |
|
|
105 | (4) |
|
2.5.4 Deterministic Protocols Versus Nondeterministic Protocols |
|
|
109 | (6) |
|
2.5.5 Randomized Protocols |
|
|
115 | (8) |
|
2.5.6 Randomness Versus Nondeterminism and Determinism |
|
|
123 | (4) |
|
|
127 | (3) |
|
|
130 | (1) |
|
2.6 An Improved Model of Communication Protocols |
|
|
131 | (13) |
|
|
131 | (1) |
|
|
132 | (3) |
|
2.6.3 Lower Bound Methods |
|
|
135 | (4) |
|
2.6.4 Communication Complexity Versus S-communication Complexity |
|
|
139 | (1) |
|
2.6.5 Some Properties of s-communication Complexity |
|
|
140 | (3) |
|
|
143 | (1) |
|
|
144 | (1) |
|
2.7 Bibliographical Remarks |
|
|
144 | (7) |
|
|
151 | (90) |
|
|
151 | (1) |
|
3.2 Definitions and Fundamental Properties |
|
|
152 | (12) |
|
|
152 | (1) |
|
3.2.2 Boolean Circuit Models |
|
|
152 | (7) |
|
3.2.3 Fundamental Observations |
|
|
159 | (4) |
|
|
163 | (1) |
|
3.3 Lower Bounds on the Area of Boolean Circuits |
|
|
164 | (21) |
|
|
164 | (1) |
|
|
164 | (3) |
|
3.3.3 Lower Bounds on the Area Complexity Measures |
|
|
167 | (6) |
|
3.3.4 A Comparision of two Area Complexity Measures |
|
|
173 | (6) |
|
3.3.5 Three-Dimensional Layout |
|
|
179 | (3) |
|
|
182 | (2) |
|
|
184 | (1) |
|
3.4 Topology of Circuits and Lower Bounds |
|
|
185 | (32) |
|
|
185 | (1) |
|
|
185 | (7) |
|
3.4.3 Lower Bounds on Boolean Circuits with a Sublinear Separator |
|
|
192 | (4) |
|
3.4.4 Circuit Structures for Which Communication Complexity Does Not Help |
|
|
196 | (4) |
|
3.4.5 Planar Boolean Circuits |
|
|
200 | (15) |
|
|
215 | (2) |
|
|
217 | (1) |
|
3.5 Lower Bounds on the Size of Unbounded Fan-in Circuits |
|
|
217 | (8) |
|
|
217 | (1) |
|
3.5.2 Method of Communication Complexity of Infinite Bases |
|
|
218 | (4) |
|
3.5.3 Unbounded Fan-in Circuits with Sublinear Vertex-Separators |
|
|
222 | (2) |
|
|
224 | (1) |
|
|
225 | (1) |
|
3.6 Lower Bounds on the Depth of Boolean Circuits |
|
|
225 | (12) |
|
|
225 | (1) |
|
3.6.2 Monotone Boolean Circuits |
|
|
226 | (3) |
|
3.6.3 Communication Complexity of Relations |
|
|
229 | (2) |
|
3.6.4 Characterizations of Circuit Depth by the Communication Complexity of Relations |
|
|
231 | (5) |
|
|
236 | (1) |
|
|
237 | (1) |
|
3.7 Bibliographical Remarks |
|
|
237 | (4) |
|
4 VLSI Circuits and Interconnection Networks |
|
|
241 | (42) |
|
|
241 | (1) |
|
|
242 | (10) |
|
|
242 | (1) |
|
4.2.2 A VLSI circuit Model |
|
|
242 | (5) |
|
4.2.3 Complexity Measures |
|
|
247 | (3) |
|
4.2.4 Probabilistic Models |
|
|
250 | (1) |
|
|
251 | (1) |
|
4.3 Lower Bounds on VLSI Complexity Measures |
|
|
252 | (12) |
|
|
252 | (1) |
|
4.3.2 Lower Bounds on Area Complexity |
|
|
252 | (2) |
|
4.3.3 Lower Bounds on Tradeoffs of Area and Time |
|
|
254 | (4) |
|
4.3.4 VLSI circuits with Special Communication Structures |
|
|
258 | (5) |
|
|
263 | (1) |
|
|
264 | (1) |
|
4.4 Interconnection Networks |
|
|
264 | (6) |
|
|
264 | (1) |
|
4.4.2 A Model of Interconnection Networks |
|
|
265 | (1) |
|
4.4.3 Separators and Lower Bounds |
|
|
266 | (4) |
|
|
270 | (1) |
|
|
270 | (1) |
|
4.5 Multilective VLSI circuits |
|
|
270 | (10) |
|
4.5.1 Introduction and Definitions |
|
|
270 | (1) |
|
4.5.2 Multilectivity Versus Semilectivity |
|
|
271 | (1) |
|
4.5.3 Lower Bounds on Multilective VLSI Programs |
|
|
272 | (7) |
|
|
279 | (1) |
|
|
280 | (1) |
|
4.6 Bibiliographical Remarks |
|
|
280 | (3) |
|
5 Sequential Computations |
|
|
283 | (34) |
|
|
283 | (1) |
|
|
284 | (11) |
|
|
284 | (1) |
|
|
285 | (2) |
|
5.2.3 One-Way Communication Complexity and Lower Bounds on the Size of Finite Automata |
|
|
287 | (1) |
|
|
288 | (6) |
|
|
294 | (1) |
|
|
295 | (1) |
|
|
295 | (7) |
|
|
295 | (1) |
|
5.3.2 Time Complexity of Classical Turing Machines |
|
|
296 | (3) |
|
5.3.3 Sequential Space and Time-Space Complexity |
|
|
299 | (2) |
|
|
301 | (1) |
|
|
302 | (1) |
|
5.4 Decision Trees and Branching Programs |
|
|
302 | (9) |
|
|
302 | (1) |
|
|
303 | (3) |
|
5.4.3 Capacity of Branching Programs |
|
|
306 | (3) |
|
5.4.4 Lower Bounds on the Depth of Decision Trees |
|
|
309 | (1) |
|
|
310 | (1) |
|
|
311 | (1) |
|
5.5 Bibliographical Remarks |
|
|
311 | (6) |
References |
|
317 | (14) |
Index |
|
331 | |