The Community for Technology Leaders
20th Annual IEEE Conference on Computational Complexity (CCC'05) (2005)
San Jose, CA
June 11, 2005 to June 15, 2005
ISSN: 1093-0159
ISBN: 0-7695-2364-1
TABLE OF CONTENTS
Introduction

Preface (PDF)

pp. viii

Committees (PDF)

pp. ix

Awards (PDF)

pp. x
Session 1

On the Ring Isomorphism and Automorphism Problems (Abstract)

Neeraj Kayal , National University of Singapore and Indian Institute of Technology at Kanpur
Nitin Saxena , National University of Singapore and Indian Institute of Technology at Kanpur
pp. 2-12

Bounded Color Multiplicity Graph Isomorphism is in the #L Hierarchy (Abstract)

V. Arvind , Institute of Mathematical Sciences
Piyush P Kurur , Institute of Mathematical Sciences
T. C. Vijayaraghavan , Institute of Mathematical Sciences
pp. 13-27
Session 2 (Best Student Paper Award)
Session 3

A Direct Sum Theorem for Corruption and the Multiparty NOF Communication Complexity of Set Disjointness (Abstract)

Paul Beame , University of Washington
Toniann Pitassi , University of Toronto
Nathan Segerlind , University of Washington
Avi Wigderson , Institute for Advanced Study
pp. 52-66

Monotone Circuits for Weighted Threshold Functions (Abstract)

Amos Beimel , Ben-Gurion University
Enav Weinreb , Ben-Gurion University
pp. 67-75

The Quantum Adversary Method and Classical Formula Size Lower Bounds (Abstract)

Sophie Laplante , Université Paris-Sud
Troy Lee , CWI and University of Amsterdam
Mario Szegedy , Rutgers University
pp. 76-90
Session 4

More on Noncommutative Polynomial Identity Testing (Abstract)

Andrej Bogdanov , University of California at Berkeley
Hoeteck Wee , University of California at Berkeley
pp. 92-99

New Results on the Complexity of the Middle Bit of Multiplication (Abstract)

Ingo Wegener , University Dortmund
Philipp Woelfel , University Dortmund
pp. 100-110
Session 5

On the Fourier Spectrum of Symmetric Boolean Functions with Applications to Learning Symmetric Juntas (Abstract)

Richard J. Lipton , Georgia Institute of Technology
Evangelos Markakis , Georgia Institute of Technology
Aranyak Mehta , Georgia Institute of Technology
Nisheeth K. Vishnoi , IBM India Research Lab
pp. 112-119

Short PCPs Verifiable in Polylogarithmic Time (Abstract)

Eli Ben-Sasson , Technion and Toyota Technological Institute at Chicago
Oded Goldreich , Weizmann Institute of Science
Prahladh Harsha , Microsoft Research
Madhu Sudan , Massachusetts Institute of Technology
Salil Vadhan , Harvard University
pp. 120-134

Tolerant Versus Intolerant Testing for Boolean Properties (Abstract)

Eldar Fischer , Technion — Israel Institute of Technology
Lance Fortnow , University of Chicago
pp. 135-140
Session 6 (Invited Lecture)
Session 7

On the Hardness of Approximating Multicut and Sparsest-Cut (Abstract)

Shuchi Chawla , Carnegie Mellon University
Robert Krauthgamer , IBM Almaden Research Center
Ravi Kumar , IBM Almaden Research Center
Yuval Rabani , Technion-Israel Institute of Technology, Cornell University, IBM Almaden Research Center and University of California at Los Angeles
D. Sivakumar , IBM Almaden Research Center
pp. 144-153

Hardness of Max 3SAT with No Mixed Clauses (Abstract)

Venkatesan Guruswami , University of Washington
Subhash Khot , Georgia Institute of Technology
pp. 154-162

Upper bounds for quantum interactive proofs with competing provers (Abstract)

G. Gutoski , Dept. of Comput. Sci., Calgary Univ., Alta., Canada
pp. 334-343
Session 8
Session 9 (Best Paper Award)

Pseudorandomness for Approximate Counting and Sampling (Abstract)

Ronen Shaltiel , University of Haifa
Christopher Umans , California Institute of Technology
pp. 212-226
Session 10

NP with Small Advice (Abstract)

Lance Fortnow , University of Chicago
Adam R. Klivans , University of Texas at Austin
pp. 228-234

Average-Case Computations — Comparing AvgP, HP, and Nearly-P (Abstract)

Arfst Nickelsen , Technische Universität Berlin
Birgit Schelm , Universität Hannover
pp. 235-242

If NP Languages are Hard on the Worst-Case Then It is Easy to Find Their Hard Instances (Abstract)

Dan Gutfreund , Hebrew University of Jerusalem
Ronen Shaltiel , University of Haifa
Amnon Ta-Shma , Tel-Aviv University
pp. 243-257
Session 11

A Geometric Approach to Information-Theoretic Private Information Retrieval (Abstract)

David Woodruff , Massachusetts Institute of Technology
Sergey Yekhanin , Massachusetts Institute of Technology
pp. 275-284

Prior Entanglement, Message Compression and Privacy in Quantum Communication (Abstract)

Rahul Jain , University of California at Berkeley
Jaikumar Radhakrishnan , Tata Institute of Fundamental Research and Toyota Technological Institute
Pranab Sen , University of Waterloo
pp. 285-296
Session 12

Topology Inside NC¹ (Abstract)

Eric Allender , Rutgers University
Samir Datta , Chennai Mathematical Institute
Sambuddha Roy , Rutgers University
pp. 298-307

Toward a Model for Backtracking and Dynamic Programming (Abstract)

Michael Alekhnovich , Institute for Advanced Study in Princeton
Allan Borodin , University of Toronto
Joshua Buresh-Oppenheim , University of California at San Diego
Russell Impagliazzo , University of California at San Diego and Institute for Advanced Study in Princeton
Avner Magen , University of Toronto
Toniann Pitassi , University of Toronto and Institute for Advanced Study in Princeton
pp. 308-322

On the Complexity of Succinct Zero-Sum Games (Abstract)

Lance Fortnow , University of Chicago
Russell Impagliazzo , University of California at San Diego
Valentine Kabanets , Simon Fraser University
Christopher Umans , California Institute of Technology
pp. 323-332
Session 13

On the Hardness of Distinguishing Mixed-State Quantum Computations (Abstract)

Bill Rosgen , University of Alberta
John Watrous , University of Calgary
pp. 344-354
Author Index

Author Index (PDF)

pp. 355
80 ms
(Ver 3.3 (11022016))