42nd IEEE Symposium on Foundations of Computer Science: Proceedings, October 14-17, 2001, Las Vegas, Nevada, USA

by
Format: Paperback
Pub. Date: 2001-12-01
Publisher(s): IEEE
  • Free Shipping Icon

    This Item Qualifies for Free Shipping!*

    *Excludes marketplace orders.

List Price: $195.30

Rent Textbook

Select for Price
There was a problem. Please try again later.

New Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

eTextbook

We're Sorry
Not Available

How Marketplace Works:

  • This item is offered by an independent seller and not shipped from our warehouse
  • Item details like edition and cover design may differ from our description; see seller's comments before ordering.
  • Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
  • Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
  • Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.

Table of Contents

Foreword
Program Committee
Reviewers
Game Theory and Mathematical Economics: A Theoretical Computer Scientists's Introductionp. 4
Algorithmic Applications of Low-Distortion Geometric Embeddingsp. 10
Coding Theory: Tutorial and Surveyp. 36
Almost Tight Upper Bounds for Vertical Decompositions in Four Dimensionsp. 56
Approximate Shape Fitting via Linearizationp. 66
On the Complexity of Many Faces in Arrangements of Circlesp. 74
Clustering Motionp. 84
A Replacement for Voronoi Diagrams of Near Linear Sizep. 94
How to Go Beyond the Black-Box Simulation Barrierp. 106
Resettably-Sound Zero-Knowledge and its Applicationsp. 116
On the Impossibility of Basing Trapdoor Functions on Trapdoor Predicatesp. 126
Universally Composable Security: A New Paradigm for Cryptographic Protocolsp. 136
Traveling with a Pez Dispenser (Or, Routing Issues in MPLS)p. 148
Simple Routing Strategies for A dversarial Systemsp. 158
Source Routing and Scheduling in Packet Networksp. 168
The Natural Work-Stealing Algorithm is Stablep. 178
Lower Bounds for Polynomial Calculus: Non-Binomial Casep. 190
Counting Axioms Do Not Polynomially Simulate Counting Gatesp. 200
Resolution in Not Automatizable Unless W[P] is Tractablep. 210
"Planar" Tautologies Hard for Resolutionp. 220
Planar Graphs, Negative Weight Edges, Shortest Paths, and Near Linear Timep. 232
Compact Oracles for Reachability and Approximate Distances in Planar Digraphsp. 242
Vickrey Prices and Shortest Paths: What is an Edge Worth?p. 252
Fully Dynamic All Pairs Shortest Paths with Real Edge Weightsp. 260
Informational Complexity and the Direct Sum Problem for Simultaneous Message Complexityp. 270
How Powerful is Adiabatic Quantum Computation?p. 279
Lower Bounds for Quantum Communication Complexityp. 288
The Confluence of Ground Term Rewrite Systems is Decidable in Polynomial Timep. 298
On the Average-Case Hardness of CVPp. 308
Approximating Directed Multicutsp. 320
Facility Location with Nonuniform Hard Capacitiesp. 329
An Iterative Rounding 2-Approximation Algorithm for the Element Connectivity Problemp. 339
Approximation Algorithms for the Job Interval Selection Problem and Related Scheduling Problemsp. 348
Lower Bounds for Matrix Productp. 358
Deterministic Computation of the Frobenius Formp. 368
The Complexity of Factors of Multivariate Polynomialsp. 378
Linear-time Recognition of Circular-arc Graphsp. 386
A Ramsey-type Theorem for Metric Spaces and its Applications for Metrical Task Systems and Related Problemsp. 396
Designing Networks Incrementallyp. 406
Sorting and Selection with Structured Costsp. 416
Online Facility Locationp. 426
Testing Subgraphs in Large Graphsp. 434
Testing Random Variables for Independence and Identityp. 442
Fast Monte-Carlo Algorithms for Approximate Matrix Multiplicationp. 452
Three Theorems Regarding Testing Graph Propertiesp. 460
Designing Networks for Selfish Users is Hardp. 472
Truthful Mechanisms for One-Parameter Agentsp. 482
Building Low-Diameter P2P Networksp. 492
Web Search via Hub Synthesisp. 500
Random Evolution in Massive Graphsp. 510
Tight Approximation Results for General Covering Integer Programsp. 522
Spectral Partitioning of Random Graphsp. 529
Sequential and Parallel Algorithms for Mixed Packing and Coveringp. 538
Unique Sink Orientations of Cubesp. 547
Arc-Disjoint Paths in Expander Digraphsp. 558
Glauber Dynamics on Trees and Hyperbolic Graphsp. 568
Randomly Colouring Graphs with Lower Bounds on Girth and Maximum Degreep. 579
Distributions on Level-Sets with Applications to Approximation Algorithmsp. 588
Improved Inapproximability Results for MaxClique, Chromatic Number and Approximate Graph Coloringp. 600
Query Efficient PCPs with Perfect Completenessp. 610
S[superscript P[subscript 2]][actual symbol not reproducible]ZPP[superscript NP]p. 620
Semi-Direct Product in Groups and Zig-Zag Product in Graphs: Connections and Applicationsp. 630
Extractors from Reed-Muller Codesp. 638
Simple Extractors for All Min-Entropies and a New Pseudo-Random Generatorp. 648
Expander-Based Constructions of Efficiently Decodable Codesp. 658
Author Indexp. 669
Table of Contents provided by Blackwell. All Rights Reserved.

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.