Algorithms and Complexity Seminar

Aviad Rubinstein: Inapproximability of Nash Equilibrium
Tuesday, November 25, 2014 - 4:00pm to 5:00pm

We prove that finding an epsilon-approximate Nash equilibrium is PPAD-complete for constant epsilon and a particularly simple class of games: polymatrix, degree 3 graphical games, in which each player has only two actions.

Michael Forbes "Hitting Sets for Multilinear Read-Once Algebraic Branching Programs, in Any Order" and Ali Vakilian "Improved Approximation Algorithms for Degree-bounded Network Design Problems with Node Connectivity Requirements"
Thursday, May 29, 2014 - 4:00pm to 5:00pm

For Hitting Sets for Multilinear Read-Once Algebraic Branching Programs, in Any Order:

Michael Brautbar: The Power of Local Information in Network Algorithms
Friday, May 9, 2014 - 1:00pm to 2:00pm
Sepideh Mahabadi: Composable Core-sets for Diversity and Coverage Maximization, and Its Application in Diverse Near Neighbor Problem
Wednesday, May 7, 2014 - 4:00pm to 5:00pm
This talk consists of two parts.

In the first part, we consider efficient construction of ``composable
core-sets" for basic diversity and coverage maximization problems. A
core-set for a point-set in a metric space is a subset of the point-set
Hardness of (2+eps)-SAT and Balanced Hypergraph Coloring
Wednesday, April 30, 2014 - 4:00pm

Given a k-SAT instance with the promise that there is an assignment satisfying at least t out of k literals in each clause, can one efficiently find a satisfying assignment (setting at least one literal to true in every clause)?

Rati Gelashvili: Leader Election and Renaming with Optimal Message Complexity
Wednesday, April 23, 2014 - 5:00pm to 6:00pm

Abstract:  Asynchronous message-passing system is a standard distributed model, where $n$ processors communicate over unreliable channels, controlled by a strong adaptive adversary.

Kyle Fox: Optimal Cuts in Surface Imbedded Graphs
Wednesday, April 2, 2014 - 4:30pm to 5:30pm

In this talk, I will describe some recent algorithmic results related to computing optimal flows and cuts in surface embedded graphs. These results are motivated by a desire to bring our understanding of efficient planar flow and cut algorithms to more general classes of graphs.

Matt Coudron: Infinite Randomness Expansion with a Constant Number of Devices
Thursday, January 23, 2014 - 4:00pm to 5:00pm

We present a device-independent randomness expansion protocol, involving only a constant number of non signaling quantum devices, that achieves infinite expansion: starting with m bits of uniform private randomness, the protocol can produce an unbounded amount of certified randomness that is exp(−Ω

Michael Kapralov: Approximating Matching Size from Random Streams
Wednesday, December 18, 2013 - 4:00pm to 5:00pm

We present a streaming algorithm that makes one pass over the edges of an unweighted graph presented in random order, and produces a polylogarithmic approximation to the size of the maximum matching in the graph, while using only polylogarithmic space.

Arnab Bhattacharyya: Algorithmic regularity for polynomials and applications
Friday, December 13, 2013 - 1:30pm to 2:30pm

In analogy with the regularity lemma of Szemerédi, regularity lemmas for polynomials given by Green and Tao and Kaufman and Lovett give a way of modifying a collection of polynomials F={P1,...,Pm} to a new collection F′, so that the polynomials in F′ are “pseudorandom”.

Ankit Sharma: Multiway Cut
Monday, November 25, 2013 - 4:00pm to 5:00pm

Multiway cut is a generalization of the min-cut problem to one with more than two terminals.

Mohammad Bavarian: Beyond XOR Games: Information causality, Szemerédi-Trotter and Algebraic Variants of CHSH
Wednesday, December 11, 2013 - 4:00pm to 5:00pm

CHSH_q is the following simple two-player game: two parties are given x,y in F_q uniformly at random, and each must produce an output a,b in F_q$ without communicating to the other. The players objective is to maximize the probability that their outputs satisfy a+b=xy in F_q.

Daniel Kane: Pseudorandom Generators for Polynomial Threshold Functions
Monday, November 18, 2013 - 4:00pm to 5:00pm

We study several developments in the construction of explicit pseudorandom generators for polynomial threshold functions, with particular emphasis on a recent result producing a seed length subpolynomial in the error parameter.

Thomas Steinke: Pseudorandomness for Regular Branching Programs via Fourier Analysis
Wednesday, December 4, 2013 - 4:00pm to 5:00pm

We present an explicit pseudorandom generator for oblivious, read-once, permutation branching programs of constant width that can read their input bits in any order. The seed length is O(log2n), where n is the length of the branching program.

Michael Forbes : Pseudorandomness for Multilinear Read-Once Algebraic Branching Programs, in any Order
Thursday, October 31, 2013 - 4:00pm to 5:00pm

It is an important open question whether we can derandomize small space computation, that is, whether RL equals L. One version of this question is to construct pseudorandom generators for read-once oblivious branching programs.

Ilya Razenshteyn: Beyond Locality-Sensitive Hashing
Wednesday, November 20, 2013 - 4:00pm to 5:00pm

We present a new data structure for the c-approximate near neighbor problem (ANN) in the Euclidean space. For n points in Rd, our algorithm achieves Oc(dnρ) query time and Oc(n1+ρ+nd) space, where ρ≤7/(8c2)+O(1/c3)+oc(1).

Ludwig Schmidt: Approximation-Tolerant Model-Based Compressive Sensing
Wednesday, November 13, 2013 - 4:00pm to 5:00pm

The goal of sparse recovery is to recover a k-sparse signal x from (possibly noisy) linear measurements of the form y=Ax, where A describes the measurement process.

Siu On Chan: Approximate Constraint Satisfaction Requires Large LP Relaxations
Wednesday, October 16, 2013 - 4:00pm to 5:00pm

We prove super-polynomial lower bounds on the size of linear programming relaxations for approximation versions of constraint satisfaction problems.

Huy L. Nguyen: Cutting corners cheaply, or how to remove Steiner points
Wednesday, October 9, 2013 - 4:00pm to 5:00pm

Our main result is that the Steiner Point Removal (SPR) problem can always be solved with polylogarithmic distortion, which resolves in the affirmative a question posed by Chan, Xia, Konjevod, and Richa (2006).

Private Analysis of Graphs
Wednesday, October 2, 2013 - 4:00pm to 5:00pm

We discuss algorithms for the private analysis of network data. Such algorithms work on data sets that contain sensitive relationship information (for example, romantic ties).

Ruta Mehta: (Essentially) Resolving the Complexity of Constant Rank Bimatrix Games
Wednesday, November 6, 2013 - 4:00pm to 5:00pm

The rank of a bimatrix game (A, B) is defined as the rank of (A+B). For zero-sum games, i.e., rank-0, von Neumann (1928) showed that Nash equilibrium are min-max strategies, which is equivalent to the linear programming duality.

Property Testing and Communication Complexity
Wednesday, September 11, 2013 - 4:00pm to 5:00pm

Property testing, pioneered by Blum, Goldreich, Goldwasser, Luby, Ron, Rubinfeld and Sudan, is the study of extremely fast randomized algorithms for approximate decision making.

One algorithm to rule them all: One join query at a time
Friday, July 12, 2013 - 4:00pm to 5:00pm

We present a recent algorithm (PODS 2012) that is the first provably optimal (worst-case) algorithm to compute database joins.

The Acquaintance Time of a Graph
Thursday, June 20, 2013 - 11:00am to 12:00pm

We define the following parameter of connected graphs.
For a given graph $G = (V,E)$ we place one agent in each vertex $v \in V$.
Every pair of agents sharing a common edge are said to be acquainted.

Testing Probability Distributions Using Conditional Samples
Wednesday, June 12, 2013 - 1:30pm to 2:30pm

One of the most fundamental problem paradigms in statistics is that of inferring some information about an unknown probability distribution D, given access to independent samples drawn from it. More than a decade ago, Batu et al.

Approximating Large Frequency Moments with Pick-and-Drop Sampling
Wednesday, May 22, 2013 - 4:00pm to 5:00pm

Given data stream $D = \{p_1,p_2,...,p_m\}$ of size $m$ of numbers from
$\{1,..., n\}$, the frequency of $i$ is defined as $f_i = |\{j: p_j =
i\}|$. The $k$-th \emph{frequency moment} of $D$ is defined as $F_k =

IP = PSPACE using error correcting codes
Wednesday, May 15, 2013 - 4:00pm to 5:00pm

The IP theorem, which asserts that IP = PSPACE (Lund et. al., and Shamir, in J. ACM 39(4)), is one of the major achievements of complexity theory. The known proofs of the theorem are based on the arithmetization technique, which transforms a quantified Boolean formula into a related polynomial.

A Simple, Combinatorial and Nearly-Linear-Time Algorithm for Solving Ax=b When A is Symmetric Diagonally Dominant
Wednesday, May 8, 2013 - 4:00pm to 5:00pm

Fast algorithms for solving linear systems Ax=b when A is symmetric diagonally dominant (SDD) or graph Laplacian have found broad applications across both the theory and practice of computer science, playing a foundational role in scientific computing, machine learning, random processes, image pr

Explicit Noether Normalization for Simultaneous Conjugation via Polynomial Identity Testing
Wednesday, April 24, 2013 - 3:00pm to 4:00pm

Polynomial identity testing asks whether a given algebraic circuit C computes
the identically zero polynomial. Randomized algorithms are known for this
problem, via the Schwartz-Zippel lemma, and in recent years there has been

Every locally characterized affine-invariant property is testable
Wednesday, April 17, 2013 - 4:00pm to 5:00pm

Let F = F_p for any fixed prime p >= 2. An affine-invariant property is a
property of functions on F^n that is closed under taking affine
transformations of the domain. We prove that all affine-invariant property

Pages

Subscribe to Algorithms and Complexity Seminar