Searching...
Advanced Search
F
FOCS
2001
42nd IEEE symposium on Foundations of Computer Science (FOCS?01)
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
42nd IEEE symposium on Foundations of Computer Science (FOCS?01)
Las Vegas, Nevada
October 14-October 17
ISBN: 0-7695-1390-5
Table of Contents
Introduction
Forward
(PDF)
pp. xi
ABSTRACT
PDF
Program Committee
(PDF)
pp. xii
ABSTRACT
PDF
Reviewers
(PDF)
pp. xiii
ABSTRACT
PDF
Tutorial 1 - Chair: Jon Kleinberg
Game Theory and Mathematical Economics: A Theoratical Computer Scientist's Introduction
(Abstract)
C. Papadimitriou
pp. 4
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Tutorial 2 - Chair: David Eppstein
Algorithmic Applications of Low-Distortion Geometric Embeddings
(Abstract)
P. Indyk
pp. 10
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Tutorial 3 - Chair: Daniele Micciancio
Coding Theory: Tutorial and Survey
(Abstract)
M. Sudan
pp. 36
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 1 - Chair: Bernard Chazelle
Almost Tight Upper Bounds for Vertical Decompositions in Four Dimensions
(Abstract)
V. Kotun
pp. 56
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Approximate Shape Fitting via Linearization
(Abstract)
S. Har-Peled
K. Varadarajan
pp. 66
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Complexity of Many Faces in Arrangements of Circles
(Abstract)
P. Agarwal
B. Aronov
M. Sharir
pp. 74
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Clustering Motion
(Abstract)
S. Har-Peled
pp. 84
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Replacement for Voronoi Diagrams of Near Linear Size
(Abstract)
S. Har-Peled
pp. 94
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 2 - Chair: Cynthia Dwork
How to Go Beyond the Black-Box Simulation Barrier
(Abstract)
B. Barak
pp. 106
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Resettably-Sound Zero-Knowledge and its Applications
(Abstract)
B. Barak
O. Goldreich
S. Goldwasser
Y. Lindell
pp. 116
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Impossibility of Basing Trapdoor Functions on Trapdoor Predicates
(Abstract)
Y. Gertner
T. Malkin
O. Reingold
pp. 126
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Universally Composable Security: A New Paradigm for Cryptographic Protocols
(Abstract)
R. Canetti
pp. 136
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 3 - Chair: Jon Kleinberg
Traveling with a Pez Dispenser (Or, Routing Issues in MPLS)
(Abstract)
A. Gupta
A. Kumar
R. Rastogi
pp. 148
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Simple Routing Strategies for Adversarial Systems
(Abstract)
B. Awerbuch
P. Berenbrink
A. Brinkmann
C. Scheideler
pp. 158
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Source Routing and Scheduling in Packet Networks
(Abstract)
M. Andrew
A. Goel
L. Zhang
A. Fernández
pp. 168
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Natural Work-Stealing Algorithm is Stable
(Abstract)
P. Berenbrink
T. Friedetzky
L. Goldberg
pp. 178
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 4 - Chair: Ran Raz
Lower Bounds for Polynomial Calculus: Non-Binomial Case
(Abstract)
M. Alekhnovich
A. Razborov
pp. 190
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Counting Axioms Do Not Polynomially Simulate Counting Gates
(Abstract)
R. Impagliazzo
N. Segerlind
pp. 200
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Resolution is Not Automatizable Unless W[P] is Tractable
(Abstract)
M. Alekhnovich
A. Razborov
pp. 210
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
"Planar" Tautologies Hard for Resolution
(Abstract)
Stefan Dantchev
, University of Aarhus and University of London
S? Riis
, University of London
pp. 220
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 5 - Chair: David Eppstein
Planar Graphs, Negative Weight Edges, Shortest Paths, and Near Linear Time
(Abstract)
J. Fakcharoenphol
S. Rao
pp. 232
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Compact Oracles for Reachability and Approximate Distances in Planar Digraphs
(Abstract)
M. Thorup
pp. 242
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Vickrey Prices and Shortest Paths: What is an Edge Worth?
(Abstract)
J. Hershberger
S. Suri
pp. 252
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Fully Dynamic All Pairs Shortest Paths with Real Edge Weights
(Abstract)
C. Demetrescu
G. Italiano
pp. 260
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 6 - Chair: D. Sivakumar
Informational Complexity and the Direct Sum Problem for Simultaneous Message Complexity
(Abstract)
A. Chakrabarti
Y. Shi
A. Wirth
A. Yao
pp. 270
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
How Powerful is Adiabatic Quantum Computation?
(Abstract)
W. Van Dam
M. Mosca
U. Vazirani
pp. 279
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Lower Bounds for Quantum Communication Complexity
(Abstract)
H. Klauck
pp. 288
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Confluence of Ground Term Rewrite Systems is Decidable in Polynomial Time
(Abstract)
H. Comon
G. Godoy
R. Nieuwenhuis
pp. 298
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Average-Case Hardness of CVP
(Abstract)
J. Cai
pp. 308
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 7 - Chair: Susanne Albers
Approximating Directed Multicuts
(Abstract)
J. Cheriyan
H. Karloff
Y. Rabani
pp. 320
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Facility Location with Nonuniform Hard Capacities
(Abstract)
M. Pál
É. Tardos
T. Wexler
pp. 329
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Iterative Rounding 2-Approximation Algorithm for the Element Connectivity Problem
(Abstract)
L. Fleischer
K. Jain
D. Williamson
pp. 339
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Approximation Algorithms for the Job Interval Selection Problem and Related Scheduling Problems
(Abstract)
J. Chuzhoy
R. Ostrovsky
Y. Rabani
pp. 348
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 8 - Chair: Peter Bro Miltersen
Lower Bounds for Matrix Product
(Abstract)
A. Shpilka
pp. 358
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Deterministic Computation of the Frobenius Form
(Abstract)
A. Storjohann
pp. 368
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Complexity of Factors of Multivariate Polynomials
(Abstract)
P. Bürgisser
pp. 378
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Linear-Time Recognition of Circular-Arc Graphs
(Abstract)
R. McConnell
pp. 386
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 9 - Chair: Moses Charikar
A Ramsey-Type Theorem for Metric Spaces and its Applications for Metrical Task Systems and Related Problems
(Abstract)
Y. Barta
B. Bollobás
M. Mendel
pp. 396
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Designing Networks Incrementally
(Abstract)
A. Meyerson
K. Munagala
S. Plotkin
pp. 406
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Sorting and Selection with Structured Costs
(Abstract)
A. Gupta
A. Kumar
pp. 416
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Online Facility Location
(Abstract)
A. Meyerson
pp. 426
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 10 - Chair: Moni Naor
Testing Subgraphs in Large Graphs
(Abstract)
N. Alon
pp. 434
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Testing Random Variables for Independence and Identity
(Abstract)
T. Batu
L. Fortnow
E. Fischer
R. Kumar
R. Rubinfeld
P. White
pp. 442
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Fast Monte-Carlo Algorithms for Approximate Matrix Multiplication
(Abstract)
P. Drineas
R. Kannan
pp. 452
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Three Theorems Regarding Testing Graph Properties
(Abstract)
O. Goldreich
L. Trevisan
pp. 460
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 11 - Chair: James Aspnes
Designing Networks for Selfish Users is Hard
(Abstract)
T. Roughgarden
pp. 472
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Truthful Mechanisms for One-Parameter Agents
(Abstract)
A. Archer
É. Tardos
pp. 482
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Building Low-Diameter P2P Networks
(Abstract)
G. Pandurangan
P. Raghavan
E. Upfal
pp. 492
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Web Search via Hub Synthesis
(Abstract)
D. Achlioptas
A. Fiat
A. Karlin
F. McSherry
pp. 500
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Random Evolution in Massive Graphs
(Abstract)
W. Aiello
F. Chung
L. Lu
pp. 510
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 12 - Chair: Daniele Micciancio
Tight Approximation Results for General Covering Integer Programs
(Abstract)
S. Kolliopoulos
N. Young
pp. 522
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Spectral Partitioning of Random Graphs
(Abstract)
F. McSherry
pp. 529
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Sequential and Parallel Algorithms for Mixed Packing and Covering
(Abstract)
N. Young
pp. 538
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Unique Sink Orientations of Cubes
(Abstract)
T. Szabó
E. Welzl
pp. 547
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 13 - Chair: Alistair Sinclair
Arc-Disjoint Paths in Expander Digraphs
(Abstract)
T. Bohman
A. Frieze
pp. 558
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Glauber Dynamics onTrees and Hyperbolic Graphs
(Abstract)
C. Kenyon
E. Mossel
Y. Peres
pp. 568
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Randomly Colouring Graphs with Lower Bounds on Girth and Maximum Degree
(Abstract)
M. Dyer
A. Frieze
pp. 579
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Distributions on Level-Sets with Applications to Approximation Algorithms
(Abstract)
A. Srinivasan
pp. 588
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 14 - Chair: Madhu Sudan
Improved Inapproximability Results for MaxClique, Chromatic Number and Approximate Graph Coloring
(Abstract)
S. Khot
pp. 600
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Query Efficient PCPs with Perfect Completeness
(Abstract)
J. Håstad
S. Khot
pp. 610
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
S^p _2 \subseteq ZPP^{NP}
(Abstract)
J. Cai
pp. 620
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 15 - Chair: Salil Vadhan
Semi-Direct Product in Groups and Zig-Zag Product in Graphs: Connections and Applications
(Abstract)
N. Alon
A. Lubotzky
A. Wigderson
pp. 630
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Extractors from Reed-Muller Codes
(Abstract)
A. Ta-Shma
D. Zuckerman
S. Safra
pp. 638
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Simple Extractors for All Min-Entropies and a New Pseudo-Random Generator
(Abstract)
R. Shaltiel
C. Umans
pp. 648
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Expander-Based Constructions of Efficiently Decodable Codes
(Abstract)
V. Guruswami
P. Indyk
pp. 658
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Author Index
(PDF)
pp. 0669
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download