Subhash Khot Theory Group

Slides:



Advertisements
Similar presentations
Parallel Repetition of Two Prover Games Ran Raz Weizmann Institute and IAS.
Advertisements

Hardness of Approximating Multicut S. Chawla, R. Krauthgamer, R. Kumar, Y. Rabani, D. Sivakumar (2005) Presented by Adin Rosenberg.
Approximate List- Decoding and Hardness Amplification Valentine Kabanets (SFU) joint work with Russell Impagliazzo and Ragesh Jaiswal (UCSD)
Inapproximability of MAX-CUT Khot,Kindler,Mossel and O ’ Donnell Moshe Ben Nehemia June 05.
Approximation Algorithms
Max Cut Problem Daniel Natapov.
Theory of Computing Lecture 18 MAS 714 Hartmut Klauck.
Mathematics Combinatorics Graph Theory Topological Graph Theory David Craft.
1 NP-Complete Problems. 2 We discuss some hard problems:  how hard? (computational complexity)  what makes them hard?  any solutions? Definitions 
Theory of Computing Lecture 16 MAS 714 Hartmut Klauck.
Probabilistically Checkable Proofs (and inapproximability) Irit Dinur, Weizmann open day, May 1 st 2009.
1 Constructing Convex 3-Polytopes From Two Triangulations of a Polygon Benjamin Marlin Dept. of Mathematics & Statistics McGill University Godfried Toussaint.
PCPs and Inapproximability Introduction. My T. Thai 2 Why Approximation Algorithms  Problems that we cannot find an optimal solution.
Dictator tests and Hardness of approximating Max-Cut-Gain Ryan O’Donnell Carnegie Mellon (includes joint work with Subhash Khot of Georgia Tech)
Complexity 16-1 Complexity Andrei Bulatov Non-Approximability.
1 Network Coding: Theory and Practice Apirath Limmanee Jacobs University.
02/01/05Tucker, Sec Applied Combinatorics, 4th Ed. Alan Tucker Section 1.3 Edge Counting Prepared by Joshua Schoenly and Kathleen McNamara.
Computability and Complexity 24-1 Computability and Complexity Andrei Bulatov Approximation.
A 2-Approximation algorithm for finding an optimum 3-Vertex-Connected Spanning Subgraph.
1 CSE 417: Algorithms and Computational Complexity Winter 2001 Lecture 22 Instructor: Paul Beame.
Lecture 20: April 12 Introduction to Randomized Algorithms and the Probabilistic Method.
A Brief Introduction To The Theory of Computer Science and The PCP Theorem By Dana Moshkovitz Faculty of Mathematics and Computer Science The Weizmann.
Hardness Results for Problems
1 Joint work with Shmuel Safra. 2 Motivation 3 Motivation.
Course 2: Inequalities Objectives:
Of 28 Probabilistically Checkable Proofs Madhu Sudan Microsoft Research June 11, 2015TIFR: Probabilistically Checkable Proofs1.
Correlation testing for affine invariant properties on Shachar Lovett Institute for Advanced Study Joint with Hamed Hatami (McGill)
EECS 203: It’s the end of the class and I feel fine. Graphs.
Applications of types of SATs Arash Ahadi What is SAT?
1 Network Coding and its Applications in Communication Networks Alex Sprintson Computer Engineering Group Department of Electrical and Computer Engineering.
CSCI 3160 Design and Analysis of Algorithms Tutorial 10 Chengyu Lin.
12.6 Surface Area and Volume of a Sphere
1/19 Minimizing weighted completion time with precedence constraints Nikhil Bansal (IBM) Subhash Khot (NYU)
Non-Approximability Results. Summary -Gap technique -Examples: MINIMUM GRAPH COLORING, MINIMUM TSP, MINIMUM BIN PACKING -The PCP theorem -Application:
Umans Complexity Theory Lectures Lecture 7b: Randomization in Communication Complexity.
Random Geometric Graph Model Model for ad hoc/sensor networks n nodes placed in d-dim space Connectivity threshold r Two nodes u,v connected iff ||u-v||
1 CPSC 320: Intermediate Algorithm Design and Analysis July 30, 2014.
Computational Complexity Shirley Moore CS4390/5390 Fall 2013 August 27, 2013.
NP ⊆ PCP(n 3, 1) Theory of Computation. NP ⊆ PCP(n 3,1) What is that? NP ⊆ PCP(n 3,1) What is that?
Computability Examples. Reducibility. NP completeness. Homework: Find other examples of NP complete problems.
Graph Theory and Algorithms 1 DM Notes1CMrsLenox.
The Theory of NP-Completeness
Complexity Classes.
P & NP.
Chapter 10 NP-Complete Problems.
EECS 203 Lecture 19 Graphs.
Introduction to Randomized Algorithms and the Probabilistic Method
Approximate Algorithms (chap. 35)
Lecture 22 Complexity and Reductions
EECS 203 Lecture 20 More Graphs.
CS4234 Optimiz(s)ation Algorithms
Approximation Algorithms
Dana Moshkovitz The Institute For Advanced Study
Computability and Complexity
Chapter 10: Mathematical proofs
Subhash Khot Dept of Computer Science NYU-Courant & Georgia Tech
Intro to NP Completeness
What is an equation? An equation is a mathematical statement that two expressions are equal. For example, = 7 is an equation. Note: An equation.
Introduction to PCP and Hardness of Approximation
1. for (i=0; i < n; i+=2) if (A[i] > A[i+1]) swap(A[i], A[i+1])
CLASSES P AND NP.
A Fundamental Bi-partition Algorithm of Kernighan-Lin
No Guarantee Unless P equals NP
15th Scandinavian Workshop on Algorithm Theory
Course 2: Inequalities Objectives:
The Complexity of Approximation
Instructor: Aaron Roth
Lecture 2-6 Complexity for Computing Influence Spread
Lecture 22 Complexity and Reductions
Lecture 23 NP-Hard Problems
Presentation transcript:

Subhash Khot Theory Group Connections between Algorithms, Computational Complexity and Geometry Algorithms: Can you efficiently compute approximate solutions to NP-hard problems? How good an approximation can you achieve? Example: Balanced Partitioning Problem Given a graph, partition its vertex set into two roughly equal parts so as to minimize the number of crossing edges. S Sc

Computational Complexity: Can a proof of a mathematical statement be checked by reading only a few bits from the proof? YES!!! Reading only a constant number of bits is enough with a probabilistic checking procedure (PCP Theorem). Geometry: What is the least surface area of an n-dimensional body of a given volume? A sphere, of course. What about the same question under Gaussian measure? Answer: a halfspace! The three questions above are related! Tools used: Fourier analysis, Semi-definite Programming, Combinatorics, Coding Therory, ………