CSE860 Final Due: Saturday 12 noon, May 1. PART I. Solve problem 1 and 2. 1. For each of the following assertions, state whether they are True, False, or Open according to our current state of knowled
CSE860 Exam
Due: 5 pm March 19.
PART I. Solve the following three problems.
1. Suppose that
(i)
A and B are problems in P,
(ii)
C and D are in NP,
(iii) E is NP-complete.
(iv)
F is co-NP.
For each of
CSE860 HW 4. Due: April 23, 5pm
1. Solve 7.28 2. Solve 8.5 3. Solve 8.12 4. Solve 8.20 5. Solve 9.9 6. Solve 9.18 7. Show that if NP is a subset of BPP, then RP = NP.
RELATIVIZATION
CSE860 Vaishali Athale
Overview
Introduction Idea behind "Relativization" Concept of "Oracle" Review of Diagonalization Proof Limits of Diagonalization method
Proof idea Proof
Computer Science 860 Foundations of Computing
Spring, 2004
Instructor: Moon Jung Chung [email protected] Office Hours: Tu, Th 1-2pm&by appointment Text: Introduction to the Theory of Computation by M
Week 4
Reduction via the history of Computation:
Linear Bounded Turing Machine (Automata)
Definition:
A linear bounded automaton is a restricted type of Turing machine where in the
tape head isn’t per
PRIMES is in P
Manindra Agrawal Neeraj Kayal Nitin Saxena Department of Computer Science & Engineering Indian Institute of Technology Kanpur Kanpur-208016, INDIA Email: {manindra,kayaln,nitinsa}@iitk
Probabilistic Algorithms Michael Sipser Presented by: Brian Lawnichak
Introduction
Probabilistic Algorithm
uses the result of a random process "flips a coin" to decide next execution
Purpose
sa
Week 1:
Lecture 1
1.
Languages, Machines, Functions
2.
Languages
Regular Languages,
Context Free Language
Context Sensitive Languages
Recursively Enumerable Languages
How to define?
Grammars: Regular
CSE860 HW 2. Due Feb. 17 1. Construct "and-or" graph for the following CFG G and Using this graph, decide (i) if L(G) is empty or not, and (ii) if L(G) is finite or not. G: S -> AB| CA B -> BC | AB A
Week 2: Lecture 3 TM: tape: two way, can write. Formally, Turing machine M is a 7-tuple, (Q, , , , q0, qaccept, qreject,), where 1. 2. 3. 4. 5. 6. 7. Q is the set of states is the input alphabet not c
Week 3:
Some undecidable
1.
2.
ATM = {<M,w> | M is a TM and M accepts w} is undecidable.
ATM is Turing recognizable (recursively enumerable).
Diagonalization Method
Countable, uncountable
Z is countab