


default search action
54th FOCS 2013: Berkeley, CA, USA
- 54th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2013, Berkeley, CA, USA, October, 26-29, 2013. IEEE Computer Society 2013, ISBN 978-0-7695-5135-7

- Noa Avigdor-Elgrabli, Yuval Rabani

:
An optimal randomized online algorithm for reordering buffer management. 1-10 - Ashish Chiplunkar, Sundar Vishwanathan:

On Randomized Memoryless Algorithms for the Weighted K-Server Problem. 11-19 - Thomas Rothvoß:

Approximating Bin Packing within O(log OPT * Log Log OPT) Bins. 20-29 - Joseph Cheriyan, László A. Végh

:
Approximating Minimum-Cost k-Node Connected Subgraphs via Independence-Free Graphs. 30-39 - Sanjam Garg

, Craig Gentry, Shai Halevi, Mariana Raykova, Amit Sahai, Brent Waters:
Candidate Indistinguishability Obfuscation and Functional Encryption for all Circuits. 40-49 - Kai-Min Chung

, Huijia Lin, Rafael Pass
:
Constant-Round Concurrent Zero Knowledge from P-Certificates. 50-59 - Kai-Min Chung

, Rafail Ostrovsky
, Rafael Pass
, Ivan Visconti:
Simultaneous Resettability from One-Way Functions. 60-69 - Ran Canetti, Huijia Lin, Rafael Pass

:
From Unprovability to Environmentally Friendly Protocols. 70-79 - Rasmus Pagh, Gil Segev, Udi Wieder:

How to Approximate a Set without Knowing Its Size in Advance. 80-89 - Mikkel Thorup

:
Simple Tabulation, Fast Expanders, Double Tabulation, and High Independence. 90-99 - Xin Li:

Extractors for a Constant Number of Independent Sources with Polylogarithmic Min-Entropy. 100-109 - Ankur Moitra, Michael E. Saks:

A Polynomial Time Algorithm for Lossy Population Recovery. 110-116 - Jelani Nelson, Huy L. Nguyen:

OSNAP: Faster Numerical Linear Algebra Algorithms via Sparser Subspace Embeddings. 117-126 - Mu Li, Gary L. Miller, Richard Peng:

Iterative Row Sampling. 127-136 - Harold N. Gabow, Piotr Sankowski:

Algebraic Algorithms for B-Matching, Shortest Undirected Paths, and F-Factors. 137-146 - Yin Tat Lee, Aaron Sidford

:
Efficient Accelerated Coordinate Descent Methods and Faster Algorithms for Solving Linear Systems. 147-156 - László Babai

, Xi Chen, Xiaorui Sun, Shang-Hua Teng, John Wilmes
:
Faster Canonical Forms for Strongly Regular Graphs. 157-166 - Chandra Chekuri, Anastasios Sidiropoulos:

Approximation Algorithms for Euler Genus and Related Problems. 167-176 - Anastasios Sidiropoulos:

Non-positive Curvature and the Planar Embedding Conjecture. 177-186 - Ken-ichi Kawarabayashi, Yusuke Kobayashi:

All-or-Nothing Multicommodity Flow Problem with Bounded Fractionality in Planar Graphs. 187-196 - Marek Cygan

, Dániel Marx, Marcin Pilipczuk
, Michal Pilipczuk:
The Planar Directed K-Vertex-Disjoint Paths Problem Is Fixed-Parameter Tractable. 197-206 - Ashwinkumar Badanidiyuru, Robert Kleinberg, Aleksandrs Slivkins:

Bandits with Knapsacks. 207-216 - Constantinos Daskalakis, Ilias Diakonikolas, Ryan O'Donnell, Rocco A. Servedio

, Li-Yang Tan:
Learning Sums of Independent Integer Random Variables. 217-226 - Vitaly Feldman, Jan Vondrák:

Optimal Bounds on Approximation of Submodular and XOS Functions by Juntas. 227-236 - Hamed Hatami, Shachar Lovett

:
Estimating the Distance from Testable Affine-Invariant Properties. 237-242 - Michael A. Forbes, Amir Shpilka

:
Quasipolynomial-Time Identity Testing of Non-commutative and Read-Once Oblivious Algebraic Branching Programs. 243-252 - Aleksander Madry:

Navigating Central Path with Electrical Flows: From Flows to Matchings, and Back. 253-262 - Jonah Sherman:

Nearly Maximum Flows in Nearly Linear Time. 263-269 - Sanjeev Arora, Rong Ge, Ali Kemal Sinop:

Towards a Better Approximation for Sparsest Cut? 270-279 - Vida Dujmovic, Pat Morin

, David R. Wood
:
Layered Separators for Queue Layouts, 3D Graph Drawing and Nonrepetitive Coloring. 280-289 - Paul Beame

, Raphaël Clifford, Widad Machmouchi:
Element Distinctness, Frequency Moments, and Sliding Windows. 290-299 - Alistair Sinclair, Piyush Srivastava, Yitong Yin:

Spatial Mixing and Approximation Algorithms for Graphs with Bounded Connective Constant. 300-309 - Venkatesan Guruswami, Patrick Xia:

Polar Codes: Speed of Polarization and Polynomial Gap to Capacity. 310-319 - Eli Ben-Sasson, Yohay Kaplan, Swastik Kopparty, Or Meir, Henning Stichtenoth:

Constant Rate PCPs for Circuit-SAT with Sublinear Query Complexity. 320-329 - Michael Viderman:

Strong LTCs with Inverse Poly-Log Rate and Constant Soundness. 330-339 - Irit Dinur

, Venkatesan Guruswami:
PCPs via Low-Degree Long Code and Hardness for Constrained Hypergraph Coloring. 340-349 - Siu On Chan, James R. Lee, Prasad Raghavendra, David Steurer

:
Approximate Constraint Satisfaction Requires Large LP Relaxations. 350-359 - Anand Louis, Prasad Raghavendra, Santosh S. Vempala:

The Complexity of Approximating Vertex Expansion. 360-369 - Parinya Chalermsook, Bundit Laekhanukit

, Danupon Nanongkai:
Independent Set, Induced Matching, and Pricing: Connections and Tight (Subexponential Time) Approximation Hardnesses. 370-379 - Amin Coja-Oghlan, Dan Vilenchik:

Chasing the K-Colorability Threshold. 380-389 - Danny Z. Chen, Ziyun Huang

, Yangwei Liu, Jinhui Xu:
On Clustering Induced Voronoi Diagrams. 390-399 - Anna Adamaszek

, Andreas Wiese:
Approximation Schemes for Maximum Weight Independent Set of Rectangles. 400-409 - Timothy M. Chan:

Klee's Measure Problem Made Easy. 410-419 - Dan Garber, Elad Hazan

:
Playing Non-linear Games with Linear Oracles. 420-428 - John C. Duchi, Michael I. Jordan

, Martin J. Wainwright
:
Local Privacy and Statistical Minimax Rates. 429-438 - Raef Bassily, Adam Groce, Jonathan Katz, Adam D. Smith:

Coupled-Worlds Privacy: Exploiting Adversarial Uncertainty in Statistical Data Privacy. 439-448 - Kai-Min Chung

, Rafael Pass
, Sidharth Telang:
Knowledge-Preserving Interactive Coding. 449-458 - Lior Seeman, Yaron Singer:

Adaptive Seeding in Social Networks. 459-468 - David G. Harris, Aravind Srinivasan:

The Moser-Tardos Framework with Partial Resampling. 469-478 - Russell Impagliazzo

, Ramamohan Paturi, Stefan Schneider:
A Satisfiability Algorithm for Sparse Depth Two Threshold Circuits. 479-488 - Serge Gaspers, Stefan Szeider

:
Strong Backdoors to Bounded Treewidth SAT. 489-498 - Hans L. Bodlaender

, Pål Grønås Drange
, Markus S. Dregi, Fedor V. Fomin
, Daniel Lokshtanov, Michal Pilipczuk
:
An O(c^k n) 5-Approximation Algorithm for Treewidth. 499-508 - Marek Cygan

:
Improved Approximation for 3-Dimensional Matching via Bounded Pathwidth Local Search. 509-518 - Natan Rubin

:
On Kinetic Delaunay Triangulations: A Near Quadratic Bound for Unit Speed Motions. 519-528 - Adam Marcus, Daniel A. Spielman

, Nikhil Srivastava:
Interlacing Families I: Bipartite Ramanujan Graphs of All Degrees. 529-537 - Monika Henzinger

, Sebastian Krinninger
, Danupon Nanongkai:
Dynamic Approximate All-Pairs Shortest Paths: Breaking the O(mn) Barrier and Derandomization. 538-547 - Manoj Gupta, Richard Peng:

Fully Dynamic (1+ e)-Approximate Matchings. 548-557 - Mohammad Taghi Hajiaghayi, Vahid Liaghat, Debmalya Panigrahi:

Online Node-Weighted Steiner Forest and Extensions via Disk Paintings. 558-567 - Jochen Könemann, Sina Sadeghian Sadeghabad, Laura Sanità:

An LMP O(log n)-Approximation Algorithm for Node Weighted Prize Collecting Steiner Tree. 568-577 - Ankit Gupta, Pritish Kamath, Neeraj Kayal, Ramprasad Saptharishi

:
Arithmetic Circuits: A Chasm at Depth Three. 578-587 - Ilan Komargodski, Ran Raz

, Avishay Tal:
Improved Average-Case Lower Bounds for DeMorgan Formula Size. 588-597 - Yuval Filmus, Toniann Pitassi, Robert Robere, Stephen A. Cook:

Average Case Lower Bounds for Monotone Switching Networks. 598-607 - Venkatesan Guruswami, Swastik Kopparty:

Explicit Subspace Designs. 608-617 - Yang Cai

, Constantinos Daskalakis, S. Matthew Weinberg
:
Understanding Incentives: Mechanism Design Becomes Algorithm Design. 618-627 - Saeed Alaei

, Hu Fu, Nima Haghpanah, Jason D. Hartline:
The Simple Economics of Approximately Optimal Auctions. 628-637 - Vittorio Bilò

, Michele Flammini
, Luca Moscardelli:
The Price of Stability for Undirected Broadcast Network Design with Fair Cost Allocation Is Constant. 638-647 - Juan A. Garay, Jonathan Katz, Ueli Maurer, Björn Tackmann, Vassilis Zikas:

Rational Protocol Design: Cryptography against Incentive-Driven Adversaries. 648-657 - Hing Yin Tsang, Chung Hoi Wong, Ning Xie

, Shengyu Zhang:
Fourier Sparsity, Spectral Norm, and the Log-Rank Conjecture. 658-667 - Mark Braverman, Faith Ellen, Rotem Oshman, Toniann Pitassi, Vinod Vaikuntanathan:

A Tight Bound for Set Disjointness in the Message-Passing Model. 668-677 - Mert Saglam, Gábor Tardos

:
On the Communication Complexity of Sparse Set Disjointness and Exists-Equal Problems. 678-687 - Gábor Braun, Sebastian Pokutta:

Common Information and Unique Disjointness. 688-697 - Yair Bartal, Lee-Ad Gottlieb

:
A Linear Time Approximation Scheme for Euclidean TSP. 698-706 - David B. Wilson, Uri Zwick

:
A Forward-Backward Single-Source Shortest Paths Algorithm. 707-716 - Sariel Har-Peled

, Nirman Kumar:
Approximating Minimization Diagrams and Generalized Proximity Search. 717-726 - Andreas Björklund, Thore Husfeldt:

The Parity of Directed Hamiltonian Cycles. 727-735 - Andrew Drucker:

Nondeterministic Direct Product Reductions and the Success Probability of SAT Solvers. 736-745 - Mark Braverman, Anup Rao, Omri Weinstein, Amir Yehudayoff:

Direct Products in Communication Complexity. 746-755 - David Gosset, Daniel Nagaj

:
Quantum 3-SAT Is QMA1-Complete. 756-765 - (Withdrawn) Three-Player Entangled XOR Games Are NP-Hard to Approximate. 766-775


manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














