Randomized Complexity Classes

Size: px
Start display at page:

Download "Randomized Complexity Classes"

Transcription

1 Randomized Complexity Classes

2 We allow TM to toss coins/thow dice etc. We wite M(x,R) fo output of M on input x, coin tosses R Def: L R <=> poly-time andomized M : x L => R [M(x,R)=1] 1/ x L => R [M(x,R)=1] = 0 Def: L B <=> poly-time andomized M : x L => R [M(x,R)=1] /3 x L => R [M(x,R)=1] 1/3 Execise: Fo R, can eplace 1/ with 1/n c, o 1-1/ m fo m = n c, fo any c Fo B, can eplace (/3,1/3) = (1/ + 1/n c, 1/-1/n c ) o (1-1/ m, 1/ m ).

3 Execise: The following ae equivalent: 1) L R co-r ) Thee is a andomized poly-time machine M fo L : x, R, M(x,R) {L(x),?}, x, R [M(x,R) =? ] 1/ 3) Thee is a andomized machine M fo L : x, R, M(x,R) = L(x) the expected unning time of M on x is poly(n) This class is known as Z.

4 Claim: Z R B oof: By definition. Claim: R oof:? N

5 Claim: Z R B oof: By definition. Claim: R N oof: The witness is the andom sting Big open question, is = Z = R = B? Supisingly, this is believed to be the case

6 Claim: B /poly oof: Let L B. Let M(x,R) be a andomized poly-time TM deciding L. Make the eo < -n. Note that fo evey x, R [ L(x) M(x,R) ] < -n So by the pobabilistic method,?????????????????????????????????????????????????????????

7 Claim: B /poly oof: Let L B. Let M(x,R) be a andomized poly-time TM deciding L. Make the eo < -n. Note that fo evey x, R [ L(x) M(x,R) ] < -n So by the pobabilistic method, thee exists some sting R* : L(x) = M(x,R*) x. The cicuit coesponding to M(x,R*) is the desied cicuit. Upshot: Randomness is only useful fo TM, not fo cicuits.

8 Claim: B

9 Claim: B oof: Let M(x,R) toss R = coins, and have eo < 1/ Fix x and ask: Can we cove {0,1} with shifts of A := { R {0,1} : M(x,R) = 1 }? Fo s {0,1}, the s-shift is s+a := { s XOR a : a A } {0,1} We'll show the answe to this question is equivalent to x L We then show this question can be asked in

10 Claim: B oof: Let M(x,R) toss R = coins, and have eo < 1/ Fix x and ask: Can we cove {0,1} with shifts of A := { R {0,1} : M(x,R) = 1 }? Fo s {0,1}, the s-shift is s+a := { s XOR a : a A } {0,1} x L, we show we cannot cove. Note A <=?

11 Claim: B oof: Let M(x,R) toss R = coins, and have eo < 1/ Fix x and ask: Can we cove {0,1} with shifts of A := { R {0,1} : M(x,R) = 1 }? Fo s {0,1}, the s-shift is s+a := { s XOR a : a A } {0,1} x L, we show we cannot cove. Note A <= /. s 1,, s : s 1 +A U s +A U U s +A?

12 Claim: B oof: Let M(x,R) toss R = coins, and have eo < 1/ Fix x and ask: Can we cove {0,1} with shifts of A := { R {0,1} : M(x,R) = 1 }? Fo s {0,1}, the s-shift is s+a := { s XOR a : a A } {0,1} x L, we show we cannot cove. Note A <= /. s 1,, s : s 1 +A U s +A U U s +A A?

13 Claim: B oof: Let M(x,R) toss R = coins, and have eo < 1/ Fix x and ask: Can we cove {0,1} with shifts of A := { R {0,1} : M(x,R) = 1 }? Fo s {0,1}, the s-shift is s+a := { s XOR a : a A } {0,1} x L, we show we cannot cove. Note A <= /. s 1,, s : s 1 +A U s +A U U s +A A / < x L, we show we can cove. Idea pick the shifts at andom and show [do not cove] <?

14 Claim: B oof: Let M(x,R) toss R = coins, and have eo < 1/ Fix x and ask: Can we cove {0,1} with shifts of A := { R {0,1} : M(x,R) = 1 }? Fo s {0,1}, the s-shift is s+a := { s XOR a : a A } {0,1} x L, we show we cannot cove. Note A <= /. s 1,, s : s 1 +A U s +A U U s +A A / < x L, we show we can cove. Idea pick the shifts at andom and show [do not cove] < 1: s1,, s [ y {0,1} : y U s + A]?

15 Claim: B oof: Let M(x,R) toss R = coins, and have eo < 1/ Fix x and ask: Can we cove {0,1} with shifts of A := { R {0,1} : M(x,R) = 1 }? Fo s {0,1}, the s-shift is s+a := { s XOR a : a A } {0,1} x L, we show we cannot cove. Note A <= /. s 1,, s : s 1 +A U s +A U U s +A A / < x L, we show we can cove. Idea pick the shifts at andom and show [do not cove] < 1: s1,, s [ y {0,1} : y U s + A] y s1,,s [y U s + A] =?

16 Claim: B oof: Let M(x,R) toss R = coins, and have eo < 1/ Fix x and ask: Can we cove {0,1} with shifts of A := { R {0,1} : M(x,R) = 1 }? Fo s {0,1}, the s-shift is s+a := { s XOR a : a A } {0,1} x L, we show we cannot cove. Note A <= /. s 1,, s : s 1 +A U s +A U U s +A A / < x L, we show we can cove. Idea pick the shifts at andom and show [do not cove] < 1: s1,, s [ y {0,1} : y U s + A] y s1,,s [y U s + A] = y ( s [ y s + A])?

17 Claim: B oof: Let M(x,R) toss R = coins, and have eo < 1/ Fix x and ask: Can we cove {0,1} with shifts of A := { R {0,1} : M(x,R) = 1 }? Fo s {0,1}, the s-shift is s+a := { s XOR a : a A } {0,1} x L, we show we cannot cove. Note A <= /. s 1,, s : s 1 +A U s +A U U s +A A / < x L, we show we can cove. Idea pick the shifts at andom and show [do not cove] < 1: s1,, s [ y {0,1} : y U s + A] y s1,,s [y U s + A] = y ( s [ y s + A]) y (1/ ) <1 So M(x,R) = 1 <=>?

18 Claim: B oof: Let M(x,R) toss R = coins, and have eo < 1/ Fix x and ask: Can we cove {0,1} with shifts of A := { R {0,1} : M(x,R) = 1 }? Fo s {0,1}, the s-shift is s+a := { s XOR a : a A } {0,1} x L, we show we cannot cove. Note A <= /. s 1,, s : s 1 +A U s +A U U s +A A / < x L, we show we can cove. Idea pick the shifts at andom and show [do not cove] < 1: s1,, s [ y {0,1} : y U s + A] y s1,,s [y U s + A] = y ( s [ y s + A]) y (1/ ) <1 So M(x,R) = 1 <=> s 1,, s : y {0,1}, y U s + A <=> s 1,, s : y {0,1}, V i=1 M(x, y + s i )=1

19 Coollay: = N => = B. oof:?

20 Coollay: = N => = B. oof: = N => = H, and so B H =

Randomized Computation

Randomized Computation Randomized Computation Slides based on S.Aurora, B.Barak. Complexity Theory: A Modern Approach. Ahto Buldas Ahto.Buldas@ut.ee We do not assume anything about the distribution of the instances of the problem

More information

Lecture 18: Graph Isomorphisms

Lecture 18: Graph Isomorphisms INFR11102: Computational Complexity 22/11/2018 Lectue: Heng Guo Lectue 18: Gaph Isomophisms 1 An Athu-Melin potocol fo GNI Last time we gave a simple inteactive potocol fo GNI with pivate coins. We will

More information

Random Variables and Probability Distribution Random Variable

Random Variables and Probability Distribution Random Variable Random Vaiables and Pobability Distibution Random Vaiable Random vaiable: If S is the sample space P(S) is the powe set of the sample space, P is the pobability of the function then (S, P(S), P) is called

More information

Probablistically Checkable Proofs

Probablistically Checkable Proofs Lectue 12 Pobablistically Checkable Poofs May 13, 2004 Lectue: Paul Beame Notes: Chis Re 12.1 Pobablisitically Checkable Poofs Oveview We know that IP = PSPACE. This means thee is an inteactive potocol

More information

10/04/18. P [P(x)] 1 negl(n).

10/04/18. P [P(x)] 1 negl(n). Mastemath, Sping 208 Into to Lattice lgs & Cypto Lectue 0 0/04/8 Lectues: D. Dadush, L. Ducas Scibe: K. de Boe Intoduction In this lectue, we will teat two main pats. Duing the fist pat we continue the

More information

Advice Coins for Classical and Quantum Computation

Advice Coins for Classical and Quantum Computation Advice Coins for Classical and Quantum Computation Andrew Drucker Joint work with Scott Aaronson July 4, 2011 Andrew Drucker Joint work with Scott Aaronson, Advice Coins for Classical and Quantum Computation

More information

1. Review of Probability.

1. Review of Probability. 1. Review of Pobability. What is pobability? Pefom an expeiment. The esult is not pedictable. One of finitely many possibilities R 1, R 2,, R k can occu. Some ae pehaps moe likely than othes. We assign

More information

Math 151. Rumbos Spring Solutions to Assignment #7

Math 151. Rumbos Spring Solutions to Assignment #7 Math. Rumbos Sping 202 Solutions to Assignment #7. Fo each of the following, find the value of the constant c fo which the given function, p(x, is the pobability mass function (pmf of some discete andom

More information

Handout 5. α a1 a n. }, where. xi if a i = 1 1 if a i = 0.

Handout 5. α a1 a n. }, where. xi if a i = 1 1 if a i = 0. Notes on Complexity Theory Last updated: October, 2005 Jonathan Katz Handout 5 1 An Improved Upper-Bound on Circuit Size Here we show the result promised in the previous lecture regarding an upper-bound

More information

Circuits. Lecture 11 Uniform Circuit Complexity

Circuits. Lecture 11 Uniform Circuit Complexity Circuits Lecture 11 Uniform Circuit Complexity 1 Recall 2 Recall Non-uniform complexity 2 Recall Non-uniform complexity P/1 Decidable 2 Recall Non-uniform complexity P/1 Decidable NP P/log NP = P 2 Recall

More information

Math 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs

Math 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs Math 30: The Edős-Stone-Simonovitz Theoem and Extemal Numbes fo Bipatite Gaphs May Radcliffe The Edős-Stone-Simonovitz Theoem Recall, in class we poved Tuán s Gaph Theoem, namely Theoem Tuán s Theoem Let

More information

CS151 Complexity Theory. Lecture 13 May 15, 2017

CS151 Complexity Theory. Lecture 13 May 15, 2017 CS151 Complexity Theory Lecture 13 May 15, 2017 Relationship to other classes To compare to classes of decision problems, usually consider P #P which is a decision class easy: NP, conp P #P easy: P #P

More information

EXTRA HOTS PROBLEMS. (5 marks) Given : t 3. = a + (n 1)d = 3p 2q + (n 1) (q p) t 10. = 3p 2q + (10 1) (q p) = 3p 2q + 9 (q p) = 3p 2q + 9q 9p = 7q 6p

EXTRA HOTS PROBLEMS. (5 marks) Given : t 3. = a + (n 1)d = 3p 2q + (n 1) (q p) t 10. = 3p 2q + (10 1) (q p) = 3p 2q + 9 (q p) = 3p 2q + 9q 9p = 7q 6p MT EDUCARE LTD. EXTRA HOTS PROBLEMS HOTS SUMS CHAPTER : - ARITHMETIC PROGRESSION AND GEOMETRIC PROGRESSION. If 3 d tem of an A.P. is p and the 4 th tem is q. Find its n th tem and hence find its 0 th tem.

More information

AP Centripetal Acceleration Lab

AP Centripetal Acceleration Lab AP PHYSICS NAME: PERIOD: DATE: GRADE: DEVIL PHYSICS BADDEST CLASS ON CAMPUS AP Centipetal Acceleation Lab Note: Data collection will be done by table goups. Data analysis is to be done individually. Copying

More information

İstanbul Kültür University Faculty of Engineering. MCB1007 Introduction to Probability and Statistics. First Midterm. Fall

İstanbul Kültür University Faculty of Engineering. MCB1007 Introduction to Probability and Statistics. First Midterm. Fall İstanbul Kültü Univesity Faculty of Engineeing MCB007 Intoduction to Pobability and Statistics Fist Midtem Fall 03-04 Solutions Diections You have 90 minutes to complete the exam. Please do not leave the

More information

For use only in [the name of your school] 2014 S4 Note. S4 Notes (Edexcel)

For use only in [the name of your school] 2014 S4 Note. S4 Notes (Edexcel) s (Edexcel) Copyright www.pgmaths.co.uk - For AS, A2 notes and IGCSE / GCSE worksheets 1 Copyright www.pgmaths.co.uk - For AS, A2 notes and IGCSE / GCSE worksheets 2 Copyright www.pgmaths.co.uk - For AS,

More information

THE NUMBER OF TWO CONSECUTIVE SUCCESSES IN A HOPPE-PÓLYA URN

THE NUMBER OF TWO CONSECUTIVE SUCCESSES IN A HOPPE-PÓLYA URN TH NUMBR OF TWO CONSCUTIV SUCCSSS IN A HOPP-PÓLYA URN LARS HOLST Depatment of Mathematics, Royal Institute of Technology S 100 44 Stocholm, Sweden -mail: lholst@math.th.se Novembe 27, 2007 Abstact In a

More information

Lecture 16 Root Systems and Root Lattices

Lecture 16 Root Systems and Root Lattices 1.745 Intoduction to Lie Algebas Novembe 1, 010 Lectue 16 Root Systems and Root Lattices Pof. Victo Kac Scibe: Michael Cossley Recall that a oot system is a pai (V, ), whee V is a finite dimensional Euclidean

More information

Auchmuty High School Mathematics Department Advanced Higher Notes Teacher Version

Auchmuty High School Mathematics Department Advanced Higher Notes Teacher Version The Binomial Theoem Factoials Auchmuty High School Mathematics Depatment The calculations,, 6 etc. often appea in mathematics. They ae called factoials and have been given the notation n!. e.g. 6! 6!!!!!

More information

Lecture 26: Arthur-Merlin Games

Lecture 26: Arthur-Merlin Games CS 710: Complexity Theory 12/09/2011 Lecture 26: Arthur-Merlin Games Instructor: Dieter van Melkebeek Scribe: Chetan Rao and Aaron Gorenstein Last time we compared counting versus alternation and showed

More information

Lecture 24: Randomized Complexity, Course Summary

Lecture 24: Randomized Complexity, Course Summary 6.045 Lecture 24: Randomized Complexity, Course Summary 1 1/4 1/16 1/4 1/4 1/32 1/16 1/32 Probabilistic TMs 1/16 A probabilistic TM M is a nondeterministic TM where: Each nondeterministic step is called

More information

1) (A B) = A B ( ) 2) A B = A. i) A A = φ i j. ii) Additional Important Properties of Sets. De Morgan s Theorems :

1) (A B) = A B ( ) 2) A B = A. i) A A = φ i j. ii) Additional Important Properties of Sets. De Morgan s Theorems : Additional Impotant Popeties of Sets De Mogan s Theoems : A A S S Φ, Φ S _ ( A ) A ) (A B) A B ( ) 2) A B A B Cadinality of A, A, is defined as the numbe of elements in the set A. {a,b,c} 3, { }, while

More information

: On the P vs. BPP problem. 30/12/2016 Lecture 11

: On the P vs. BPP problem. 30/12/2016 Lecture 11 03684155: On the P vs. BPP problem. 30/12/2016 Lecture 11 Promise problems Amnon Ta-Shma and Dean Doron 1 Definitions and examples In a promise problem, we are interested in solving a problem only on a

More information

Surveillance Points in High Dimensional Spaces

Surveillance Points in High Dimensional Spaces Société de Calcul Mathématique SA Tools fo decision help since 995 Suveillance Points in High Dimensional Spaces by Benad Beauzamy Januay 06 Abstact Let us conside any compute softwae, elying upon a lage

More information

ORIE 4741: Learning with Big Messy Data. Train, Test, Validate

ORIE 4741: Learning with Big Messy Data. Train, Test, Validate ORIE 4741: Learning with Big Messy Data Train, Test, Validate Professor Udell Operations Research and Information Engineering Cornell December 4, 2017 1 / 14 Exercise You run a hospital. A vendor wants

More information

1 Notes on Order Statistics

1 Notes on Order Statistics 1 Notes on Ode Statistics Fo X a andom vecto in R n with distibution F, and π S n, define X π by and F π by X π (X π(1),..., X π(n) ) F π (x 1,..., x n ) F (x π 1 (1),..., x π 1 (n)); then the distibution

More information

LINEAR MOMENTUM Physical quantities that we have been using to characterize the motion of a particle

LINEAR MOMENTUM Physical quantities that we have been using to characterize the motion of a particle LINEAR MOMENTUM Physical quantities that we have been using to chaacteize the otion of a paticle v Mass Velocity v Kinetic enegy v F Mechanical enegy + U Linea oentu of a paticle (1) is a vecto! Siple

More information

30 The Electric Field Due to a Continuous Distribution of Charge on a Line

30 The Electric Field Due to a Continuous Distribution of Charge on a Line hapte 0 The Electic Field Due to a ontinuous Distibution of hage on a Line 0 The Electic Field Due to a ontinuous Distibution of hage on a Line Evey integal ust include a diffeential (such as d, dt, dq,

More information

Chapter 3: Theory of Modular Arithmetic 38

Chapter 3: Theory of Modular Arithmetic 38 Chapte 3: Theoy of Modula Aithmetic 38 Section D Chinese Remainde Theoem By the end of this section you will be able to pove the Chinese Remainde Theoem apply this theoem to solve simultaneous linea conguences

More information

8.7 Circumference and Area

8.7 Circumference and Area Page 1 of 8 8.7 Cicumfeence and Aea of Cicles Goal Find the cicumfeence and aea of cicles. Key Wods cicle cente adius diamete cicumfeence cental angle secto A cicle is the set of all points in a plane

More information

Math 451: Euclidean and Non-Euclidean Geometry MWF 3pm, Gasson 204 Homework 9 Solutions

Math 451: Euclidean and Non-Euclidean Geometry MWF 3pm, Gasson 204 Homework 9 Solutions Math 451: Euclidean and Non-Euclidean Geomety MWF 3pm, Gasson 04 Homewok 9 Solutions Execises fom Chapte 3: 3.3, 3.8, 3.15, 3.19, 3.0, 5.11, 5.1, 5.13 Execise 3.3. Suppose that C and C ae two cicles with

More information

Online-routing on the butterfly network: probabilistic analysis

Online-routing on the butterfly network: probabilistic analysis Online-outing on the buttefly netwok: obabilistic analysis Andey Gubichev 19.09.008 Contents 1 Intoduction: definitions 1 Aveage case behavio of the geedy algoithm 3.1 Bounds on congestion................................

More information

Section 8.2 Polar Coordinates

Section 8.2 Polar Coordinates Section 8. Pola Coodinates 467 Section 8. Pola Coodinates The coodinate system we ae most familia with is called the Catesian coodinate system, a ectangula plane divided into fou quadants by the hoizontal

More information

Physics 2A Chapter 10 - Moment of Inertia Fall 2018

Physics 2A Chapter 10 - Moment of Inertia Fall 2018 Physics Chapte 0 - oment of netia Fall 08 The moment of inetia of a otating object is a measue of its otational inetia in the same way that the mass of an object is a measue of its inetia fo linea motion.

More information

(received April 9, 1967) Let p denote a prime number and let k P

(received April 9, 1967) Let p denote a prime number and let k P ON EXTREMAL OLYNOMIALS Kenneth S. Williams (eceived Apil 9, 1967) Let p denote a pime numbe and let k denote the finite field of p elements. Let f(x) E k [x] be of fixed degee d 2 2. We suppose that p

More information

Lecture Examples of problems which have randomized algorithms

Lecture Examples of problems which have randomized algorithms 6.841 Advanced Complexity Theory March 9, 2009 Lecture 10 Lecturer: Madhu Sudan Scribe: Asilata Bapat Meeting to talk about final projects on Wednesday, 11 March 2009, from 5pm to 7pm. Location: TBA. Includes

More information

6.895 Randomness and Computation March 19, Lecture Last Lecture: Boosting Weak Learners Into Strong Learners

6.895 Randomness and Computation March 19, Lecture Last Lecture: Boosting Weak Learners Into Strong Learners 6.895 Randomness and Computation March 9, 2008 Lecture 3 Lecturer: Ronitt Rubinfeld Scribe: Edwin Chen Overview. Last Lecture: Boosting Weak Learners Into Strong Learners In the last two lectures, we showed

More information

MAP4C1 Exam Review. 4. Juno makes and sells CDs for her band. The cost, C dollars, to produce n CDs is given by. Determine the cost of making 150 CDs.

MAP4C1 Exam Review. 4. Juno makes and sells CDs for her band. The cost, C dollars, to produce n CDs is given by. Determine the cost of making 150 CDs. MAP4C1 Exam Review Exam Date: Time: Room: Mak Beakdown: Answe these questions on a sepaate page: 1. Which equations model quadatic elations? i) ii) iii) 2. Expess as a adical and then evaluate: a) b) 3.

More information

16.4 Volume of Spheres

16.4 Volume of Spheres Name Class Date 16.4 Volume of Sphees Essential Question: How can you use the fomula fo the volume of a sphee to calculate the volumes of composite figues? Exploe G.11.D Apply the fomulas fo the volume

More information

Handout 7. and Pr [M(x) = χ L (x) M(x) =? ] = 1.

Handout 7. and Pr [M(x) = χ L (x) M(x) =? ] = 1. Notes on Coplexity Theory Last updated: October, 2005 Jonathan Katz Handout 7 1 More on Randoized Coplexity Classes Reinder: so far we have seen RP,coRP, and BPP. We introduce two ore tie-bounded randoized

More information

Lecture 18: PCP Theorem and Hardness of Approximation I

Lecture 18: PCP Theorem and Hardness of Approximation I Lecture 18: and Hardness of Approximation I Arijit Bishnu 26.04.2010 Outline 1 Introduction to Approximation Algorithm 2 Outline 1 Introduction to Approximation Algorithm 2 Approximation Algorithm Approximation

More information

A Bijective Approach to the Permutational Power of a Priority Queue

A Bijective Approach to the Permutational Power of a Priority Queue A Bijective Appoach to the Pemutational Powe of a Pioity Queue Ia M. Gessel Kuang-Yeh Wang Depatment of Mathematics Bandeis Univesity Waltham, MA 02254-9110 Abstact A pioity queue tansfoms an input pemutation

More information

Gaia s Place in Space

Gaia s Place in Space Gaia s Place in Space The impotance of obital positions fo satellites Obits and Lagange Points Satellites can be launched into a numbe of diffeent obits depending on thei objectives and what they ae obseving.

More information

K.S.E.E.B., Malleshwaram, Bangalore SSLC Model Question Paper-1 (2015) Mathematics

K.S.E.E.B., Malleshwaram, Bangalore SSLC Model Question Paper-1 (2015) Mathematics K.S.E.E.B., Malleshwaam, Bangaloe SSLC Model Question Pape-1 (015) Mathematics Max Maks: 80 No. of Questions: 40 Time: Hous 45 minutes Code No. : 81E Fou altenatives ae given fo the each question. Choose

More information

Stanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012

Stanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012 Stanfod Univesity CS59Q: Quantum Computing Handout 8 Luca Tevisan Octobe 8, 0 Lectue 8 In which we use the quantum Fouie tansfom to solve the peiod-finding poblem. The Peiod Finding Poblem Let f : {0,...,

More information

Lab #0. Tutorial Exercises on Work and Fields

Lab #0. Tutorial Exercises on Work and Fields Lab #0 Tutoial Execises on Wok and Fields This is not a typical lab, and no pe-lab o lab epot is equied. The following execises will emind you about the concept of wok (fom 1130 o anothe intoductoy mechanics

More information

1 Randomized Computation

1 Randomized Computation CS 6743 Lecture 17 1 Fall 2007 1 Randomized Computation Why is randomness useful? Imagine you have a stack of bank notes, with very few counterfeit ones. You want to choose a genuine bank note to pay at

More information

and the correct answer is D.

and the correct answer is D. @. Assume the pobability of a boy being bon is the same as a gil. The pobability that in a family of 5 childen thee o moe childen will be gils is given by A) B) C) D) Solution: The pobability of a gil

More information

Identifying an Honest EXP NP Oracle Among Many

Identifying an Honest EXP NP Oracle Among Many Identifying an Honest EXP NP Oracle Among Many Shuichi Hirahara The University of Tokyo CCC 18/6/2015 Overview Dishonest oracle Honest oracle Queries Which is honest? Our Contributions Selector 1. We formulate

More information

The Substring Search Problem

The Substring Search Problem The Substing Seach Poblem One algoithm which is used in a vaiety of applications is the family of substing seach algoithms. These algoithms allow a use to detemine if, given two chaacte stings, one is

More information

15.1 Proof of the Cook-Levin Theorem: SAT is NP-complete

15.1 Proof of the Cook-Levin Theorem: SAT is NP-complete CS125 Lecture 15 Fall 2016 15.1 Proof of the Cook-Levin Theorem: SAT is NP-complete Already know SAT NP, so only need to show SAT is NP-hard. Let L be any language in NP. Let M be a NTM that decides L

More information

Physics 313 Practice Test Page 1. University Physics III Practice Test II

Physics 313 Practice Test Page 1. University Physics III Practice Test II Physics 313 Pactice Test Page 1 Univesity Physics III Pactice Test II This pactice test should give you a ough idea of the fomat and oveall level of the Physics 313 exams. The actual exams will have diffeent

More information

Probability Rules. MATH 130, Elements of Statistics I. J. Robert Buchanan. Fall Department of Mathematics

Probability Rules. MATH 130, Elements of Statistics I. J. Robert Buchanan. Fall Department of Mathematics Probability Rules MATH 130, Elements of Statistics I J. Robert Buchanan Department of Mathematics Fall 2018 Introduction Probability is a measure of the likelihood of the occurrence of a certain behavior

More information

VTU Edusat Programme 16

VTU Edusat Programme 16 VTU Edusat Programme 16 Subject : Engineering Mathematics Sub Code: 10MAT41 UNIT 8: Sampling Theory Dr. K.S.Basavarajappa Professor & Head Department of Mathematics Bapuji Institute of Engineering and

More information

2 Cut the circle along the fold lines to divide the circle into 16 equal wedges. radius. Think About It

2 Cut the circle along the fold lines to divide the circle into 16 equal wedges. radius. Think About It Activity 8.7 Finding Aea of Cicles Question How do you find the aea of a cicle using the adius? Mateials compass staightedge scissos Exploe 1 Use a compass to daw a cicle on a piece of pape. Cut the cicle

More information

Algorithms and Theory of Computation. Lecture 19: Class P and NP, Reduction

Algorithms and Theory of Computation. Lecture 19: Class P and NP, Reduction Algorithms and Theory of Computation Lecture 19: Class P and NP, Reduction Xiaohui Bei MAS 714 October 29, 2018 Nanyang Technological University MAS 714 October 29, 2018 1 / 26 Decision Problems Revisited

More information

CSE 105 THEORY OF COMPUTATION

CSE 105 THEORY OF COMPUTATION CSE 105 THEORY OF COMPUTATION Spring 2016 http://cseweb.ucsd.edu/classes/sp16/cse105-ab/ Today's learning goals Sipser Ch 4.1, 5.1 Define reductions from one problem to another. Use reductions to prove

More information

Solution to HW 3, Ma 1a Fall 2016

Solution to HW 3, Ma 1a Fall 2016 Solution to HW 3, Ma a Fall 206 Section 2. Execise 2: Let C be a subset of the eal numbes consisting of those eal numbes x having the popety that evey digit in the decimal expansion of x is, 3, 5, o 7.

More information

Solutions to Problem Set 8

Solutions to Problem Set 8 Massachusetts Institute of Technology 6.042J/18.062J, Fall 05: Mathematics fo Compute Science Novembe 21 Pof. Albet R. Meye and Pof. Ronitt Rubinfeld evised Novembe 27, 2005, 858 minutes Solutions to Poblem

More information

Lecture 10: Boolean Circuits (cont.)

Lecture 10: Boolean Circuits (cont.) CSE 200 Computability and Complexity Wednesday, May, 203 Lecture 0: Boolean Circuits (cont.) Instructor: Professor Shachar Lovett Scribe: Dongcai Shen Recap Definition (Boolean circuit) A Boolean circuit

More information

Circular motion. Objectives. Physics terms. Assessment. Equations 5/22/14. Describe the accelerated motion of objects moving in circles.

Circular motion. Objectives. Physics terms. Assessment. Equations 5/22/14. Describe the accelerated motion of objects moving in circles. Cicula motion Objectives Descibe the acceleated motion of objects moving in cicles. Use equations to analyze the acceleated motion of objects moving in cicles.. Descibe in you own wods what this equation

More information

A An Overview of Complexity Theory for the Algorithm Designer

A An Overview of Complexity Theory for the Algorithm Designer A An Overview of Complexity Theory for the Algorithm Designer A.1 Certificates and the class NP A decision problem is one whose answer is either yes or no. Two examples are: SAT: Given a Boolean formula

More information

4.3 Area of a Sector. Area of a Sector Section

4.3 Area of a Sector. Area of a Sector Section ea of a Secto Section 4. 9 4. ea of a Secto In geomety you leaned that the aea of a cicle of adius is π 2. We will now lean how to find the aea of a secto of a cicle. secto is the egion bounded by a cental

More information

Notes for Lecture 3... x 4

Notes for Lecture 3... x 4 Stanford University CS254: Computational Complexity Notes 3 Luca Trevisan January 14, 2014 Notes for Lecture 3 In this lecture we introduce the computational model of boolean circuits and prove that polynomial

More information

Umans Complexity Theory Lectures

Umans Complexity Theory Lectures Umans Complexity Theory Lectures Lecture 12: The Polynomial-Time Hierarchy Oracle Turing Machines Oracle Turing Machine (OTM): Deterministic multitape TM M with special query tape special states q?, q

More information

CS 151 Complexity Theory Spring Solution Set 5

CS 151 Complexity Theory Spring Solution Set 5 CS 151 Complexity Theory Spring 2017 Solution Set 5 Posted: May 17 Chris Umans 1. We are given a Boolean circuit C on n variables x 1, x 2,..., x n with m, and gates. Our 3-CNF formula will have m auxiliary

More information

arxiv: v1 [math.nt] 12 May 2017

arxiv: v1 [math.nt] 12 May 2017 SEQUENCES OF CONSECUTIVE HAPPY NUMBERS IN NEGATIVE BASES HELEN G. GRUNDMAN AND PAMELA E. HARRIS axiv:1705.04648v1 [math.nt] 12 May 2017 ABSTRACT. Fo b 2 and e 2, let S e,b : Z Z 0 be the function taking

More information

A Tutorial on Multiple Integrals (for Natural Sciences / Computer Sciences Tripos Part IA Maths)

A Tutorial on Multiple Integrals (for Natural Sciences / Computer Sciences Tripos Part IA Maths) A Tutoial on Multiple Integals (fo Natual Sciences / Compute Sciences Tipos Pat IA Maths) Coections to D Ian Rud (http://people.ds.cam.ac.uk/ia/contact.html) please. This tutoial gives some bief eamples

More information

6.045: Automata, Computability, and Complexity (GITCS) Class 17 Nancy Lynch

6.045: Automata, Computability, and Complexity (GITCS) Class 17 Nancy Lynch 6.045: Automata, Computability, and Complexity (GITCS) Class 17 Nancy Lynch Today Probabilistic Turing Machines and Probabilistic Time Complexity Classes Now add a new capability to standard TMs: random

More information

Lecture 1: 01/22/2014

Lecture 1: 01/22/2014 COMS 6998-3: Sub-Linear Algorithms in Learning and Testing Lecturer: Rocco Servedio Lecture 1: 01/22/2014 Spring 2014 Scribes: Clément Canonne and Richard Stark 1 Today High-level overview Administrative

More information

Introduction Common Divisors. Discrete Mathematics Andrei Bulatov

Introduction Common Divisors. Discrete Mathematics Andrei Bulatov Intoduction Common Divisos Discete Mathematics Andei Bulatov Discete Mathematics Common Divisos 3- Pevious Lectue Integes Division, popeties of divisibility The division algoithm Repesentation of numbes

More information

Prerna Tower, Road No 2, Contractors Area, Bistupur, Jamshedpur , Tel (0657) ,

Prerna Tower, Road No 2, Contractors Area, Bistupur, Jamshedpur , Tel (0657) , R Pena Towe, Road No, Contactos Aea, Bistupu, Jamshedpu 8, Tel (657)89, www.penaclasses.com IIT JEE Mathematics Pape II PART III MATHEMATICS SECTION I Single Coect Answe Type This section contains 8 multiple

More information

2 Natural Proofs: a barrier for proving circuit lower bounds

2 Natural Proofs: a barrier for proving circuit lower bounds Topics in Theoretical Computer Science April 4, 2016 Lecturer: Ola Svensson Lecture 6 (Notes) Scribes: Ola Svensson Disclaimer: These notes were written for the lecturer only and may contain inconsistent

More information

Homework 7 Solutions

Homework 7 Solutions Homewok 7 olutions Phys 4 Octobe 3, 208. Let s talk about a space monkey. As the space monkey is oiginally obiting in a cicula obit and is massive, its tajectoy satisfies m mon 2 G m mon + L 2 2m mon 2

More information

CHAPTER 3. Section 1. Modeling Population Growth

CHAPTER 3. Section 1. Modeling Population Growth CHAPTER 3 Section 1. Modeling Population Gowth 1.1. The equation of the Malthusian model is Pt) = Ce t. Apply the initial condition P) = 1. Then 1 = Ce,oC = 1. Next apply the condition P1) = 3. Then 3

More information

Notes on Complexity Theory Last updated: November, Lecture 10

Notes on Complexity Theory Last updated: November, Lecture 10 Notes on Complexity Theory Last updated: November, 2015 Lecture 10 Notes by Jonathan Katz, lightly edited by Dov Gordon. 1 Randomized Time Complexity 1.1 How Large is BPP? We know that P ZPP = RP corp

More information

total 58

total 58 CS687 Exam, J. Košecká Name: HONOR SYSTEM: This examination is strictly individual. You are not allowed to talk, discuss, exchange solutions, etc., with other fellow students. Furthermore, you are only

More information

MATH 417 Homework 3 Instructor: D. Cabrera Due June 30. sin θ v x = v r cos θ v θ r. (b) Then use the Cauchy-Riemann equations in polar coordinates

MATH 417 Homework 3 Instructor: D. Cabrera Due June 30. sin θ v x = v r cos θ v θ r. (b) Then use the Cauchy-Riemann equations in polar coordinates MATH 417 Homewok 3 Instucto: D. Cabea Due June 30 1. Let a function f(z) = u + iv be diffeentiable at z 0. (a) Use the Chain Rule and the fomulas x = cosθ and y = to show that u x = u cosθ u θ, v x = v

More information

Computability Crib Sheet

Computability Crib Sheet Computer Science and Engineering, UCSD Winter 10 CSE 200: Computability and Complexity Instructor: Mihir Bellare Computability Crib Sheet January 3, 2010 Computability Crib Sheet This is a quick reference

More information

Exercises for Cascode Amplifiers. ECE 102, Fall 2012, F. Najmabadi

Exercises for Cascode Amplifiers. ECE 102, Fall 2012, F. Najmabadi Execises f Cascde plifies ECE 0, Fall 0, F. Najabadi F. Najabadi, ECE0, Fall 0 /6 Execise : Cpute assue and Eey Cascde stae inceases by uble Cascde Execise : Cpute all indicated s, s, and i s. ssue tansists

More information

Kernel-Size Lower Bounds. The Evidence from Complexity Theory

Kernel-Size Lower Bounds. The Evidence from Complexity Theory : The Evidence from Complexity Theory IAS Worker 2013, Warsaw Part 2/3 Note These slides are a slightly revised version of a 3-part tutorial given at the 2013 Workshop on Kernelization ( Worker ) at the

More information

Umans Complexity Theory Lectures

Umans Complexity Theory Lectures Umans Complexity Theory Lectures Lecture 8: Introduction to Randomized Complexity: - Randomized complexity classes, - Error reduction, - in P/poly - Reingold s Undirected Graph Reachability in RL Randomized

More information

Lecture 20: conp and Friends, Oracles in Complexity Theory

Lecture 20: conp and Friends, Oracles in Complexity Theory 6.045 Lecture 20: conp and Friends, Oracles in Complexity Theory 1 Definition: conp = { L L NP } What does a conp computation look like? In NP algorithms, we can use a guess instruction in pseudocode:

More information

QIP Course 10: Quantum Factorization Algorithm (Part 3)

QIP Course 10: Quantum Factorization Algorithm (Part 3) QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Ryutaoh Matsumoto Nagoya Univesity, Japan Send you comments to yutaoh.matsumoto@nagoya-u.jp Septembe 2018 @ Tokyo Tech. Matsumoto (Nagoya U. QIP Couse

More information

ECE 302: Chapter 02 Probability Model

ECE 302: Chapter 02 Probability Model ECE 302: Chapter 02 Probability Model Fall 2018 Prof Stanley Chan School of Electrical and Computer Engineering Purdue University 1 / 35 1. Probability Model 2 / 35 What is Probability? It is a number.

More information

Exponential time vs probabilistic polynomial time

Exponential time vs probabilistic polynomial time Exponential time vs probabilistic polynomial time Sylvain Perifel (LIAFA, Paris) Dagstuhl January 10, 2012 Introduction Probabilistic algorithms: can toss a coin polynomial time (worst case) probability

More information

Topic 4a Introduction to Root Finding & Bracketing Methods

Topic 4a Introduction to Root Finding & Bracketing Methods /8/18 Couse Instucto D. Raymond C. Rumpf Office: A 337 Phone: (915) 747 6958 E Mail: cumpf@utep.edu Topic 4a Intoduction to Root Finding & Backeting Methods EE 4386/531 Computational Methods in EE Outline

More information

f h = u, h g = v, we have u + v = f g. So, we wish

f h = u, h g = v, we have u + v = f g. So, we wish Answes to Homewok 4, Math 4111 (1) Pove that the following examples fom class ae indeed metic spaces. You only need to veify the tiangle inequality. (a) Let C be the set of continuous functions fom [0,

More information

Probability Distribution (Probability Model) Chapter 2 Discrete Distributions. Discrete Random Variable. Random Variable. Why Random Variable?

Probability Distribution (Probability Model) Chapter 2 Discrete Distributions. Discrete Random Variable. Random Variable. Why Random Variable? Discete Distibutions - Chapte Discete Distibutions Pobability Distibution (Pobability Model) If a balanced coin is tossed, Head and Tail ae equally likely to occu, P(Head) = = / and P(Tail) = = /. Rando

More information

Chem 453/544 Fall /08/03. Exam #1 Solutions

Chem 453/544 Fall /08/03. Exam #1 Solutions Chem 453/544 Fall 3 /8/3 Exam # Solutions. ( points) Use the genealized compessibility diagam povided on the last page to estimate ove what ange of pessues A at oom tempeatue confoms to the ideal gas law

More information

Notes for Lecture 3... x 4

Notes for Lecture 3... x 4 Stanford University CS254: Computational Complexity Notes 3 Luca Trevisan January 18, 2012 Notes for Lecture 3 In this lecture we introduce the computational model of boolean circuits and prove that polynomial

More information

Lecture 23: More PSPACE-Complete, Randomized Complexity

Lecture 23: More PSPACE-Complete, Randomized Complexity 6.045 Lecture 23: More PSPACE-Complete, Randomized Complexity 1 Final Exam Information Who: You On What: Everything through PSPACE (today) With What: One sheet (double-sided) of notes are allowed When:

More information

15-855: Intensive Intro to Complexity Theory Spring Lecture 16: Nisan s PRG for small space

15-855: Intensive Intro to Complexity Theory Spring Lecture 16: Nisan s PRG for small space 15-855: Intensive Intro to Complexity Theory Spring 2009 Lecture 16: Nisan s PRG for small space For the next few lectures we will study derandomization. In algorithms classes one often sees clever randomized

More information

Example. If 4 tickets are drawn with replacement from ,

Example. If 4 tickets are drawn with replacement from , Example. If 4 tickets are drawn with replacement from 1 2 2 4 6, what are the chances that we observe exactly two 2 s? Exactly two 2 s in a sequence of four draws can occur in many ways. For example, (

More information

Lecture 9 - One Way Permutations

Lecture 9 - One Way Permutations Lecture 9 - One Way Permutations Boaz Barak October 17, 2007 From time immemorial, humanity has gotten frequent, often cruel, reminders that many things are easier to do than to reverse. Leonid Levin Quick

More information

MULTILAYER PERCEPTRONS

MULTILAYER PERCEPTRONS Last updated: Nov 26, 2012 MULTILAYER PERCEPTRONS Outline 2 Combining Linea Classifies Leaning Paametes Outline 3 Combining Linea Classifies Leaning Paametes Implementing Logical Relations 4 AND and OR

More information

FOR MORE PAPERS LOGON TO

FOR MORE PAPERS LOGON TO IT430 - E-Commerce Quesion No: 1 ( Marks: 1 )- Please choose one MAC sand for M d a A ss Conro a M d a A ss Consor M r of As an Co n on of s Quesion No: 2 ( Marks: 1 )- Please choose one C oos orr HTML

More information

Lecture 22: PSPACE

Lecture 22: PSPACE 6.045 Lecture 22: PSPACE 1 VOTE VOTE VOTE For your favorite course on automata and complexity Please complete the online subject evaluation for 6.045 2 Final Exam Information Who: You On What: Everything

More information

Linear Models for Regression CS534

Linear Models for Regression CS534 Linear Models for Regression CS534 Example Regression Problems Predict housing price based on House size, lot size, Location, # of rooms Predict stock price based on Price history of the past month Predict

More information

TTIC An Introduction to the Theory of Machine Learning. Learning from noisy data, intro to SQ model

TTIC An Introduction to the Theory of Machine Learning. Learning from noisy data, intro to SQ model TTIC 325 An Introduction to the Theory of Machine Learning Learning from noisy data, intro to SQ model Avrim Blum 4/25/8 Learning when there is no perfect predictor Hoeffding/Chernoff bounds: minimizing

More information