TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ - Karmaşıklık - Yılmaz Kılıçaslan.

... konulu sunumlar: "TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ - Karmaşıklık - Yılmaz Kılıçaslan."— Sunum transkripti:

1 TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ - Karmaşıklık - Yılmaz Kılıçaslan

2 Sunum Planı  Karmaşıklık –Verimli Hesaplama –Chomsky Hiyerarşisi 2

3 Karmaşıklık  Verimli Hesaplama (Efficient Computation)  NP Problemleri  Üstel Patlama 3

4 Verimli ve Verimsiz Algoritmalar  Verimli algoritmaların zaman karmaşılığı: –O(n) –O(nlogn) –O(n 10 ) –vs.  Verimsiz algoritmaların zaman karmaşılığı: –O(n log n ) –O(2 n ) –O(n!) –vs. 4 Çok terimli (Polynomial) Bir c sabiti için O(n c ) Çok terimli değil

5 "İyi Algoritmalar"  An explanation is due on the use of the words "efficient algorithm"…I am not prepared to set up the machinery necessary to give it formal meaning, nor is the present context appropriate for doing this…For practical purposes the difference between algebraic and exponential order is more crucial than the difference between [computable and not computable]… (Paths, Trees and Flowers, Jack Edmonds, 1965) 5

6 P versus NP  NP contains lots of problems we don’t know to be in P –Classroom Scheduling –Packing objects into bins –Scheduling jobs on machines –Finding cheap tours visiting a subset of cities –Allocating variables to registers –Finding good packet routings in networks –Decryption –… 6 Hence proving P = NP would break cryptosystems

7 Kaynak 7 Computers and Intractablity: A guide to the Theory of NP-completeness by Mike Garey and David Johnson

8 Chomsky Hiyerarşisi Otomatlar Turing Machine ATN RTN Diller FSA Düzenli Diller Bağlamdan-bağımsız Bağlama-duyarlı R.E.

9 Bir Kognitif Hiyerarşi Denemesi Bilişsel Yetiler Akıl Anlam Bellek Bilişsel Araçlar Mantık Semantik Sentaks Özyineleme Morfoloji

10 En Kısa Özet  Bilgisayar Bilimi –Bilgisayım ve –Enformasyon kuramlarını içerir.  Bilgisayım Kuramı –Hesaplanabilirlik ve –Karmaşıklık alt kuramlarını barındırır. 10