Scribd
Upload
17 views

TC U5 Notes

Theory of Computation Notes.

Uploaded by

vetek16041
Copyright
© © All Rights Reserved
Available Formats
Download as PDF or read online on Scribd
17 views

TC U5 Notes

Theory of Computation Notes.

Uploaded by

vetek16041
Copyright
© © All Rights Reserved
Available Formats
Download as PDF or read online on Scribd
You are on page 1/ 8
| (Chit 5) NP-Theowey, & To : DS Tete ONE Tove Gorploxctiy @g . ee ‘classes &Ce-NP. PE Plebreres hed. can &2 eelsed & ’ rerniad time by deterministic? “Tasuing machine. fakgssuth ia problens aoe saben Jin OC2- ) > (Class P problems aoe tractable): {sso ChE) NP: : Qrotlerns thot con, be eabvecl ir podyrorntal me by pan ees l “Tasening, rrachting Sn phs, pet as weufiable eo recnial time ° <> (aes NP problems osc Tnbrac fe.) Kreusre problans NP - thridtonion C ogee Ginger @ “Groen & ophGi; glee G contain HarncLtenvae cycie 7 = (Homittsnion. cyte Ba qole passing MOY vedex eocacthy once) no Botereniistic. ellgertith Guess o mutation a eeocttcee \- eter this per ore GLI OW Check whee ol ee | ae yee) he | What is soured cycle | Greutt SAT 2 A de Lowk ushete there ike « Boekeor- civeurt, woth & sirghe oe pede pes 6 an. assignee’ of alee % coats input 59 that, oust pub 4? 0 Ly | tee Ste cas, stot ve | [eo NoT a o 4 fy | > OR. 2 SS ae” Bx | >. we | ligye A graph Giz Ye )& a dreahoed *(Prellem : W coaide f ther Ga. seb nacles C=EUt, - -URIEY | « St forony UF EC : uy we E |r put Ge We), Ke : 1 |. Guess C afu,-- Wi EV I 9 Nen-daterministically select o- subset |. OF C Of Ik-Node. * (Roo ong, we EC Veoh (upyeE i | > Test Coheteoe Gr condauns all edge® Grrecting. recles tn & l ae a 7 + Reject of one.of te teste foik, thor Uxse accept c chai 3) length of contificate + Of) (n= wD) 4 (tre Complexity, : awn?) ) a Troweling, Sallesrrore — |Gubsel Sur [Gubsel. Gurr Sarees eset Of numbers denoted $ & a-tangat number we « estonces A mutle + Problem + 78 decide of thee exiats a-substt Ye $8 Sy eg Y= b. on inp 7% | Fes » apnedetorenininticadly select a. subset Y of ro ne That wsietor Y (5 collection of rg hod cums tot ae | | eeés |" pie? de chess NP Diporerce | Chess P_ a tose P @ | otass ef fenguage sptvable se ete are te —-Sebsable. in NDTM oe poufta ble Ou | dided i polyromial ded) | oe patyreental TO wifes pavsexfiul. than NP- : Weufiicl hr pobynentat tire). “Te uma ase tractable). here powsertule ‘phar ) bx, Betting , Seochingy M or PATH (Problems asc rtra cable ) eh piel py MST) FOOT & Gubset “Sur Cheyay SAT, TO" | Popp REL-PRIME.. Harnibbgr tore Pea | — Farwrad Define.» / « Apsbrack Preblers> ‘ys absbroct provlene a te be bey pefctior 87 a Get Tf probiera tretonces La gel & of proche qpiutiors) ie r3S)) An insione fox Sheoctesst pathy aby fo corsisting- ofa graph os A soluction isc. Sequence oF soodizes eregpeaph, Os & pobyremcal tine Computable. L ue “aay tate function. f iE thea exis& o pobyromiok time algertthrn | we fOtgy procluce? as output fl). = Radacibbiy : A peblers 6 & geactucecl that ose. any opt d 6 Madi te anethet weber. OY EF ary “eas ased ae iatorXe of @, solution te oahi ta wrBtonce Of SL ma uni & Problem abot Liraen OY ontb=0 te fronsfeseration te anethexe Voxtpaxtbh=O cohese soeliere prosides a solution 18 actb=0. ced to ovothes: problen 0” then 6 HO LBL, a «| -Retusining te 9" ol Language fromevseole fore deca t6r problem. we say Pasir target's 2 podyrrarninl time, Seauctbte eo | torpuclge La, 5 espe ln pl2s f ree exists 0 PAL yrorial Ge eee furctior fi ot Lott svch rat feral X € £0,22*) | els, £ berly £ faelo. ; patorce ef & con be he posdes sollte Wk OL funetit th ion fF, Seduction. function. ¢ Ni hens f caller me atge%ithre |Sceprenerte furction £ rraps the (nedonce of ‘x! of Pressrtecl by Sorguage Lx to an instance of ft raminct time algeruth F in the, dectstOn bb, 2 of te. probleen. a cdc by Lo Ve eo set Aa be petyrorniad tine algeruth thes Jae shall (consdrct > poly yh pI ——_——— 7 2 fF eele ni Bey CO) € lo MW f x 4 there ee Se ge ie Bechler Explains cn hthet Li gpa Hen ne? 2 eP E fale, € 01)" ove Beegquages Sue Le. 2 con thot decides In ifet F be te Feodction, agorthm. ted computes ooduction function f) thin. th Ay treet clecialers ‘t} nomial, tine ortedd Line afgoree cele 5 *| Fee gisen. input Eloy} algeruthm At Lees F to fronsfie a ants fG) Ether & uses Ar te test ushetere feo ele Algona Astakes extpete from. allgesuthrr An & produces {he ons ks @utput - a5 Gust x Cudput of Aa tre value prewiclel os )Setpedpat fort At g ye ‘ 4] pdgesuither. 26nd Ce polyrarnial iene Since both F & Az Xune We chrom time —| AP — Here 7 ; (Problem Le coor F oth protlems in NP seduces te Ltr the | “palyngeriol U7? NP— Coreploteness ees eel) Cee Bee). “Kp Corplete (2). Hareiy L & NP complete ¥ wth pelergs 46 NP) ghee NPE hosecl [| KP-corplete me y aversion &£ 1S] Ntooe Ondow Union LeU le EP we Ly bly ome beth Py outs ds ia Secclen Ly ble vepttsey) Te (Desig 9° & rnochine/alge MB (wo) : 0) Ronit usith (yput wl. TF ME accepts 49, a 2 Ctosusce unde toncatenation Le.la€P. () Run tha”inith input, os , if M2 accepts u2, then accep TH ts CPecer thect, H2 occepls us Ff Benky F Mz Meal accepts us & Ma / (H49,/u5) : Fou C£O)4)2,3,- Gt ts clea -thocs oa tire) as | Stunna in po pene eee a Clesusia. undel G emer: Li eP ls Ula = bs Me a ciipens My £2 ushith, ith takes Us a& put O% Sah 7 e then Accep eee otros Gunes trv polynomial tio) cy —>|reaeT Mey | +t et 2 — neers freath tS ty Ma. ushich. bre Li hls ane bsth in fi there. exists obggeathr cbcrcles, Ly & br seoapectnsely . \ ustiths each. ‘Design machine. M3 wahich Cokes ups 02 A2)--- 4) at 22 fas oput a te fokevorg : Run My ustth. input ust = ae, O2,- + OC E seu Ma wetthe pee Use = Aiit,- - an” é. — OF both. reachine,, Ms bia. accepts ue Hor derep t) F none of iLeseeesr in stage 2 accepts, ther. Refec’ ie & Cleasethod, M2 0 us ZB only F tea use, usa uhoe iy accepls ust E Ma ws) Alege Math pobynemiak. time ) lef ads reuse, uncle Thterwection Le Nl, eP fees Me Mg Keirce La Bly oxo. both in P, thee exists machina. Me EM ushith deacles Te hte seospectooely ) Pesign a machine Ms, ushith. tales us 08 input as the Slbusig : reghir2 Malus) : - Ruthie asith sexteiy input us of Mt accepts ussthen, guar My en! Hf M, af26 accepts caylee A Foon gt Rejects Lonby gM Ete accepts uw Ms (Goce ty, thow:xmachine (al oe, Me thet deciles Lt ) a reochine My eshith. tax «9 a2 dpa asthe follouxig : (Mio: fie iyputinlt axe oe § Conky Me mares? gens ir. pelynarniaL | cease ot. ee ak srajecks us LMe ud tn polynomial time — >be) coty rez] 2 (o-nP Reblers ) Reve thot Pe @-NP GNP= pa[s*-AeNPs (ces P andere com ) Ler, LEP 5 Jt lLEeP, LeP | 25 | oe :. Penh NP [L co? ] KEP peed ie Aus) + eps Le? G2), sp Lew?? repyLeP ple? 7 Lene. QLHS _pas 2 INP anh] Resse poy ec poe wo polypori tire eptacbla shen P2NP [isp lad fp NP > LenP (2) NP=P) ie LHS) 3 LeENP-c s etre) : , Zz, vets Ligp le o bo be ay Tpdy >) Lél & NP LA@_ oti ee oe Q.wrat & clique Iwo fie See connactane ray oF of a graphy pat ed epee ete Senta) ay chi ihe page maces = oe Sree x, ! Ligne coctefi et Oa x Co SiG me thy 2 is | DL se = ae 3 proberr. iG pei « pails Monn, is NP ages use Powe gpous that & polargytie NP cigs me ne€ shen. cb ohowtel hose ley wroeers sedfablity iat is given © covctificate, ) vee weefy padyromtaL tine wis a. solute: preblern Py(Cercuificote > Let coctificate te © o. ser. 8 consisting of neces nee ji LSS a Subgiaph of CF wp is 85 os SI LT pec. atels 0 lt que of Size Wee . Hence ip vo. of nedos i S equals ky ts coke oe veuiging tpheteon, each \erlex hos, on Gut clegrae of Oi 1) takes ote) ; Cause, problery hak palyrsmtat tree youftabley, erie P \honce. helengs te NP class - ) gr GAD a sat 6AT & NP- prowl. _ Duh & SAT Mh GX C S bar atte prove of detgwninty if these. exists a inverpentio™ Botisfiee & gv beedeor ee wrote occnblee | porno! be ee ot * Fo oe £ Lox once grails is A abtect sinsriable). oe & funcisr See expr costo by formula 9 folse then & i unscctisft AGE Ep isn NPs Se aston '6 ane te is 9 si (nglane ome (| four th) us : Bikers" in pert eT te. dene by Cekwg, , eT eagrreert LE aos fables sgosiafies booean. cencliteon) tel um a Yo Yo= Xt OP we eS =: Yo = Ya OR? pp ys= xa UY | ss L 7 ys tegen gery] tue “2

You might also like