Panimula sa Computational Complexity: Space, Circuits, at Completeness

Naitanong mo na ba kung bakit ang ilang mga problemang pangkomputasyon ay mas mahirap lutasin kaysa sa iba? Ang teorya ng computational complexity ay nagbibigay ng balangkas na matematikal upang i-uri ang mga problema batay sa mga mapagkukunang (resources) kinakailangan ng mga ito. Ang kursong nakabatay sa teksto na ito ay gagabay sa iyo sa mga pangunahing konsepto ng structural complexity theory. Lilipat ka mula sa mga pangunahing klase ng complexity patungo sa pag-unawa sa advanced space complexity, mga modelo ng sirkito ng komputasyon, at ang mga ugnayan sa pagitan ng iba't ibang hangganan ng mapagkukunan. Ang iyong matututuhan: • Unawain ang mga pangunahing klase ng complexity kabilang ang P, NP, L, NL, at PSPACE • Suriin ang space-bounded computation at ang kahalagahan ng logarithmic space • Galugarin ang mga Boolean circuit at ang konsepto ng mga pamilya ng sirkito na may sukat na polynomial • Pag-aralan ang teorama ng Karp-Lipton at ang mga implikasyon nito sa pagbagsak ng polynomial hierarchy • Unawain ang konsepto ng P-completeness at ang kaugnayan nito sa parallel computation • Ilapat ang mga pamamaraan ng pagbabawas (reductions) upang maiuri ang mga problemang pangkomputasyon sa loob ng mga klase ng space at circuit. Mula sa mga mahahalagang kahulugan ng Turing machines at mga hangganan ng mapagkukunan, aabante ka sa pamamagitan ng space complexity, logarithmic space, circuit complexity, at mga klasikong teorama na humuhubog sa modernong teoretikal na computer science. Ang kursong ito ay idinisenyo para sa mga nagsisimula sa teoretikal na computer science, mga programmer na mausisa tungkol sa mga hangganan ng komputasyon, at mga mag-aaral ng matematika. Walang kinakailangang advanced na paunang kahingian, bagaman ang pangunahing pamilyar sa mga algorithm ay nakatutulong. Simulan ang iyong paglalakbay sa malalim na teoretikal na pundasyon ng computer science ngayon.