Interactive Proofs at mga Arthur-Merlin Games

Ang computational complexity ay hindi limitado sa mga deterministikong algorithm; ang pagpapakilala ng randomness at interaksyon ay nagbubukas ng mga bagong paraan upang i-verify ang computational truth. Ang pag-unawa kung paano gumagana ang interactive proofs at Arthur-Merlin games ay mahalaga sa pag-unawa sa modernong theoretical computer science at mga pundasyon ng kriptograpiya. Ang kursong ito na text-only ay gumagabay sa iyo mula sa mga pangunahing konsepto ng complexity hanggang sa mga advanced na interactive proof systems, na tumutulong sa iyong bumuo ng malakas na teoretikal na intuwisyon para sa mga randomized protocol, complexity classes tulad ng AM at MA, at ang malalim na implikasyon ng mga ito sa mga problema tulad ng Graph Isomorphism. Ang iyong mga matututunan: Unawain ang mga pangunahing kahulugan ng interactive proof systems at ang papel ng randomized verification; Suriin ang mga klase ng pagiging kumplikado ng Arthur-Merlin at ang kritikal na pagkakaiba sa pagitan ng public at private coins; Mag-apply ng pairwise independent hash functions upang tantiyahin ang mga laki ng set at magtatag ng mga lower bound; Tuklasin ang problemang Graph Non-Isomorphism at ang pagkakasama nito sa loob ng klase ng AM; Suriin ang Goldwasser-Sipser theorem at ang papel nito sa pagpapantay sa public at private coin protocols; Siyasatin ang mga teoretikal na kahihinatnan ng pagiging NP-complete ng Graph Isomorphism, kabilang ang pagbagsak ng polynomial hierarchy. Ang kurso ay nagsisimula sa isang malinaw na panimula sa mga pangunahing kahulugan ng complexity at mga randomized algorithm, sumusulong sa mekanika ng mga interactive protocol, mga teknik sa hashing, at mga pangunahing teorama, na nagtatapos sa mga nakasulat na ehersisyo upang mapatibay ang iyong teoretikal na pag-unawa. Ang kursong ito ay idinisenyo para sa mga mag-aaral, programmer, at mahilig sa matematika na bago sa complexity theory, na nagsisimula sa mga pangunahing termino at bumabangon nang hakbang-hakbang nang walang kinakailangang advanced prerequisites. Simulan ang pagbabasa ngayon upang i-unlock ang kapangyarihan ng interactive proofs at randomized computation.