2012-2013 Seminars

Dec
10
2012

Computer Science/Discrete Mathematics Seminar I

Matching: A New Proof for an Ancient Algorithm
Vijay Vazirani
11:15am|S-101

For all practical purposes, the Micali-Vazirani algorithm, discovered in 1980, is still the most efficient known maximum matching algorithm (for very dense graphs, slight asymptotic improvement can be obtained using fast matrix multiplication)...

Dec
03
2012

Computer Science/Discrete Mathematics Seminar I

Information Complexity and Exact Communication Bounds
11:15am|S-101

In this talk we will discuss information complexity -- a measure of the amount of information Alice and Bob need to exchange to solve a problem over distributed inputs. We will present an information-theoretically optimal protocol for computing the...

Nov
27
2012

Computer Science/Discrete Mathematics Seminar II

Computational Complexity in Mechanism Design
10:30am|S-101

Some important mechanisms considered in game theory require solving optimization problems that are computationally hard. Solving these problems approximately may not help, as it may change the players’ rational behavior in the original mechanisms...

Nov
26
2012

Computer Science/Discrete Mathematics Seminar I

Polynomial Identity Testing of Read-Once Oblivious Algebraic Branching Progress
11:15am|S-101

Polynomial Identity Testing (PIT) is the problem of identifying whether a given algebraic circuit computes the identically zero polynomial. It is well-known that this problem can be solved with small error probability by testing whether the circuit...

Nov
20
2012

Computer Science/Discrete Mathematics Seminar II

On the Complexity of Matrix Multiplication and Other Tensors
Joseph Landsberg
10:30am|S-101

Many problems from complexity theory can be phrased in terms of tensors. I will begin by reviewing basic properties of tensors and discussing several measures of the complexity of a tensor. I'll then focus on the complexity of matrix multiplication...

Nov
19
2012

Computer Science/Discrete Mathematics Seminar I

A Complete Dichotomy Rises from the Capture of Vanishing Signatures
Jin-Yi Cai
11:15am|S-101

Holant Problems are a broad framework to describe counting problems. The framework generalizes counting Constraint Satisfaction Problems and partition functions of Graph Homomorphisms. We prove a complexity dichotomy theorem for Holant problems over...

Nov
06
2012

Computer Science/Discrete Mathematics Seminar II

Games, Solution Concepts, and Mechanism Design: A Very Short Introduction
10:30am|S-101

I present some of the very fundamental notions in game theory, with emphasis on their role in the theory of mechanism design and implementation. Examples include (1) normal-form games: Nash equilibrium and full implementation, dominant strategy...