2008-2009 Seminars

Nov
17
2008

Computer Science/Discrete Mathematics Seminar I

Scalably Scheduling Processes with Arbitrary Speedup Curves
Jeff Edmonds
11:15am|S-101

We give a (1+eps)-speed Theta(1/eps^2)-competitive nonclairvoyant algorithm for scheduling jobs with sublinear nondecreasing speed-up curves on multiple processors with the objective of total response time.

Nov
11
2008

Computer Science/Discrete Mathematics Seminar II

Dichotomy Conjecture for Constraint Satisfaction Problems
10:30am|S-101

The dichotomy conjecture asks if every Constraint Satisfaction Problem is either in P or NP-complete. We will study the basic algorithms and reductions for such problems. We will see many (equivalent) stronger versions of this conjecture actually...

Nov
10
2008

Computer Science/Discrete Mathematics Seminar I

Almost-Natural Proofs
Timothy Chow
11:15am|S-101

Razborov and Rudich have shown that so-called natural proofs are not useful for separating P from NP unless hard pseudorandom number generators do not exist. This famous result is widely regarded as a serious barrier to proving strong lower bounds...

Nov
04
2008

Computer Science/Discrete Mathematics Seminar II

Dichotomy Conjecture for Constraint Satisfaction Problems
10:30am|S-101

The dichotomy conjecture asks if every Constraint Satisfaction Problem is either in P or NP-complete. We will study the basic algorithms and reductions for such problems. We will see many (equivalent) stronger versions of this conjecture actually...

Nov
03
2008

Computer Science/Discrete Mathematics Seminar I

Rounded Parallel Repetitions of Unique Games
11:15am|S-101

We show a connection between the semidefinite relaxation of unique games and their behavior under parallel repetition. Denoting by val(G) the value of a two-prover unique game G, and by sdp(G) the value of a natural semidefinite program to...

Oct
21
2008

Computer Science/Discrete Mathematics Seminar II

Group Representation Patterns in Digital Processing
Shamgar Gurevich and Ronny Hadani
10:30am|S-101

In the lecture we will explain how various fundamental structures from group representation theory appear naturally in the context of discrete harmonic analysis and can be applied to solve concrete problems from digital signal processing. We will...

Oct
20
2008

Special Computer Science/Discrete Mathematics Seminar

k-Wise Independent Random Graphs
Asaf Nussboim
4:00pm|S-101

We study the limits of efficient computation in the context of constructing random-looking graph distributions that can be used to emulate huge random graphs over N=2^n vertices. In particular we study k-wise independent graphs where (as in the...

Oct
20
2008

Computer Science/Discrete Mathematics Seminar I

Affine Dispersers from Subspace Polynomials
11:15am|S-101

This talk describes new explicit constructions of dispersers for affine sources of dimension below the notorious n/2 threshold. The main novelty in our construction lies in the method of proof which relies (solely) on elementary properties of...