lect04

lect04 - 6.841 Advanced Complexity Theory Feb 17, 2009...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 6.841 Advanced Complexity Theory Feb 17, 2009 Lecture 4 Lecturer: Madhu Sudan Scribe: Adam Spanbauer 1 Introduction Todays lecture will focus on the proof of Barringtons Theorem: Barringtons Theorem: All polynomial-size formulas have an O(1) width braching program. Barrington proved, in particular, that all polynomial-size formulae have a width 5 branching program. His proof used a lot of advanced algebra, so the proof presented here will show that all polynomial-size formulae have a width 8 branching program. The proof was discovered by Ben-Or and Cleve. 2 Summary of concepts covered in previous lectures 2.1 Non-uniform complexity For each input length, we are allowed to do something different the mechanism for doing this is assigning an advice string to each integer, one for each input length, and giving it to the TM along with the input. The languages that can be decided by a polynomial time TM with polynomial length advice is called P/POLY and is equivalent to polynomial sized circuits. An interesting unresolved question in complexity theory is whether NP * P/POLY . 2.2 Circuits Given by a Directed Acyclic Graph (DAG). Has source nodes for inputs, a collection of gates, connections, and an output. Circuit gates can have arbitrary fan-out, which means that the output from a gate can be used arbitrarily many times as an input elsewhere. 2.3 Branching programs Branching programs are a weaker model of computation than circuits. BPs roughly correspond to space complexity, that is, they can be thought of as trying to measure non- uniformly what the space-complexity is....
View Full Document

This note was uploaded on 04/02/2010 for the course CS 6.841 taught by Professor Madhusudan during the Spring '09 term at MIT.

Page1 / 3

lect04 - 6.841 Advanced Complexity Theory Feb 17, 2009...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online