Karar ağacı modeli - Decision tree model - Wikipedia

İçinde hesaplama karmaşıklığı karar ağacı modeli ... hesaplama modeli bir algoritmanın temelde bir karar ağacı yani bir dizi sorguları veya testler uyarlamalı olarak yapılır, böylece önceki testlerin sonucu testi etkileyebilir, bundan sonra gerçekleştirilir.

Tipik olarak, bu testlerin az sayıda sonucu vardır (evet-hayır sorusu gibi) ve hızlı bir şekilde gerçekleştirilebilir (örneğin, birim hesaplama maliyetiyle), bu nedenle, karar ağacı modelindeki bir algoritmanın en kötü durum zaman karmaşıklığı şuna karşılık gelir: ilgili karar ağacının derinliği. Karar ağacı modelindeki bir problemin veya bir algoritmanın bu hesaplama karmaşıklığı kavramı, karar ağacı karmaşıklığı veya sorgu karmaşıklığı.

Karar ağaçları modelleri, alt sınırlar için karmaşıklık teorisi belirli hesaplama problemleri ve algoritmalar sınıfları için. Karar ağacı modellerinin çeşitli varyantları, hesaplama modeli ve sorgu algoritmalarının türlerinin gerçekleştirilmesine izin verilir.

Örneğin, bir karar ağacı argümanı, karşılaştırma sıralaması nın-nin öğeler almalı karşılaştırmalar. Karşılaştırma sıraları için sorgu, iki öğenin karşılaştırmasıdır iki sonuçla (hiçbir maddenin eşit olmadığı varsayılarak): ya veya . Karşılaştırma sıraları, bu modelde bir karar ağacı olarak ifade edilebilir, çünkü bu tür sıralama algoritmaları yalnızca bu tür sorguları gerçekleştirir.

Karşılaştırma ağaçları ve sıralama için alt sınırlar

Karar ağaçları genellikle sıralama ve diğer benzer sorunlara yönelik algoritmaları anlamak için kullanılır; bu ilk olarak Ford ve Johnson tarafından yapıldı.[1]

Örneğin, birçok sıralama algoritması karşılaştırma türleri bu, yalnızca bir giriş dizisi hakkında bilgi aldıkları anlamına gelir yerel karşılaştırmalar aracılığıyla: , veya . Sıralanacak öğelerin tümünün farklı ve karşılaştırılabilir olduğunu varsayarsak, bu bir evet-hayır sorusu olarak yeniden ifade edilebilir: ?

Bu algoritmalar, sorguların karşılaştırmalar olduğu ikili karar ağaçları olarak modellenebilir: dahili bir düğüm bir sorguya karşılık gelir ve düğümün çocukları, sorunun cevabı evet veya hayır olduğunda sonraki sorguya karşılık gelir. Yaprak düğümler için, çıktı bir permütasyon tam sıralı öğeler listesinden giriş sırasının nasıl karıştırıldığını açıklar. (Bu permütasyonun tersi, , giriş sırasını yeniden sıralar.)

Karşılaştırma türlerinin kullanılması gerektiği gösterilebilir basit bir argüman yoluyla karşılaştırmalar: bir algoritmanın doğru olması için, olası her permütasyonunu çıktılayabilmelidir. elementler; aksi takdirde, algoritma girdi olarak o belirli permütasyon için başarısız olur. Dolayısıyla, buna karşılık gelen karar ağacının en az permütasyonlar kadar çok yaprağı olmalıdır: yapraklar. En azından herhangi bir ikili ağaç yaprakların en az derinliği var , dolayısıyla bu, karşılaştırmalı sıralama algoritmasının çalışma süresinin alt sınırıdır. Bu durumda, bu zaman karmaşıklığına sahip çok sayıda karşılaştırmalı sıralama algoritmasının varlığı, örneğin birleşme ve yığın, sınırın sıkı olduğunu gösterir.[2]:91

Bu argüman, sorgu türü hakkında hiçbir şey kullanmaz, bu nedenle aslında ikili karar ağacı olarak modellenebilecek herhangi bir sıralama algoritması için daha düşük bir sınır sağlar. Özünde, bu, bilgi-teorik argüman doğru bir sıralama algoritmasının en azından öğrenmesi gerektiğini giriş sırası hakkında bilgi bitleri. Sonuç olarak, bu rastgele karar ağaçları için de işe yarar.

Diğer karar ağacı alt sınırları, sorgunun bir karşılaştırma olduğunu kullanır. Örneğin, yalnızca karşılaştırmaları kullanarak en küçük sayıyı bulma görevini düşünün. sayılar. En küçük sayının belirlenebilmesi için, en küçük sayı dışındaki her sayı, en az bir karşılaştırmada "kaybetmelidir" (daha büyük ile karşılaştırın). Yani, en azından sürer minimum bulmak için karşılaştırmalar. (Buradaki bilgi-kuramsal argüman sadece daha düşük bir sınır verir Benzer bir argüman, hesaplama için genel alt sınırlar için işe yarar. sipariş istatistikleri.[2]:214

Doğrusal ve cebirsel karar ağaçları

Doğrusal karar ağaçları, yukarıdaki karşılaştırma karar ağaçlarını gerçek alan hesaplama işlevlerine genelleştirir. vektörler girdi olarak. Doğrusal karar ağaçlarındaki testler doğrusal fonksiyonlardır: belirli bir gerçek sayı seçimi için , işaretini ver . (Bu modeldeki algoritmalar yalnızca çıktının işaretine bağlı olabilir.) Karşılaştırma ağaçları doğrusal karar ağaçlarıdır, çünkü ve doğrusal fonksiyona karşılık gelir . Doğrusal karar ağaçları tanımına göre yalnızca işlevleri belirtebilir kimin lifler yarım boşlukların birleşimleri ve kesişimleri alınarak inşa edilebilir.

Cebirsel karar ağaçları test fonksiyonlarının derece polinomları olmasına izin veren doğrusal karar ağaçlarının bir genellemesidir . Uzay geometrik olarak yarı cebirsel kümelere bölünmüştür (hiper düzlemin bir genellemesi).

Rabin tarafından tanımlanan bu karar ağacı modelleri[3] ve Reingold,[4] genellikle alt sınırları kanıtlamak için kullanılır hesaplamalı geometri.[5] Örneğin, Ben-Or, öğenin benzersizliğini gösterdi (hesaplama görevi , nerede 0, ancak ve ancak farklı koordinatlar varsa öyle ki ) cebirsel bir karar derinlik ağacı gerektirir .[6] Bu ilk olarak Dobkin ve Lipton tarafından doğrusal karar modelleri için gösterildi.[7] Ayrıca bir Steele ve Yao tarafından cebirsel karar ağaçlarına genelleştirilen sırt çantası problemindeki doğrusal karar ağaçları için alt sınır.[8]

Boolean karar ağacı karmaşıklıkları

Boolean karar ağaçları için görev, bir n bitinin değerini hesaplamaktır. Boole işlevi bir girdi için . Sorgular, girdinin bir kısmını okumaya karşılık gelir, ve çıktı . Her sorgu, önceki sorgulara bağlı olabilir. Karar ağaçlarını kullanan, dikkate alınabilecek, birden çok karmaşıklık kavramını kabul eden birçok hesaplama modeli vardır. karmaşıklık ölçüleri.

Deterministik karar ağacı

Bir karar ağacının çıktısı , hepsi için karar ağacının "hesapla" olduğu söylenir . Bir ağacın derinliği, bir yaprağa ulaşılmadan ve bir sonuç elde edilmeden önce olabilecek maksimum sorgu sayısıdır. , deterministik karar ağacı karmaşıklığı hesaplayan tüm deterministik karar ağaçları arasındaki en küçük derinliktir .

Rastgele karar ağacı

Tanımlamanın bir yolu rastgele karar ağacı ağaca, her biri bir olasılıkla kontrol edilen ek düğümler eklemektir . Diğer bir eşdeğer tanım, onu deterministik karar ağaçları üzerinden bir dağılım olarak tanımlamaktır. Bu ikinci tanıma dayanarak, rastgele ağacın karmaşıklığı, alttaki dağılımı destekleyen tüm ağaçlar arasındaki en büyük derinlik olarak tanımlanır. sonucu şu olan en düşük derinlikte rastgele karar ağacının karmaşıklığı olarak tanımlanır en azından olasılıkla hepsi için (yani sınırlı 2 taraflı hata ile).

olarak bilinir Monte Carlo rastgele karar ağacı karmaşıklığı, çünkü sonucun sınırlı iki taraflı hata ile yanlış olmasına izin verilir. Las Vegas karar ağacı karmaşıklığı ölçer beklenen doğru olması gereken (yani sıfır hata içeren) bir karar ağacının derinliği. Ayrıca, tek taraflı sınırlı hata versiyonu da vardır. .

Belirsiz karar ağacı

Bir fonksiyonun kesin olmayan karar ağacı karmaşıklığı daha yaygın olarak şu şekilde bilinir: sertifika karmaşıklığı bu işlevin. Girdi bitlerinin sayısını ölçer. belirleyici olmayan algoritma fonksiyonu kesin olarak değerlendirmek için bakılması gerekir.

Resmi olarak, sertifika karmaşıklığı -de endekslerin en küçük alt kümesinin boyutudur öyle ki herkes için , Eğer hepsi için , sonra . Sertifika karmaşıklığı en yüksek sertifika karmaşıklığı Doğrulayıcının yalnızca 2/3 olasılıkla doğru olmasını gerektiren benzer bir kavram belirtilir. .

Kuantum karar ağacı

Kuantum karar ağacı karmaşıklığı sonucu veren en düşük derinlikli kuantum karar ağacının derinliğidir en azından olasılıkla hepsi için . Başka bir miktar, , sonucu veren en düşük derinlikli kuantum karar ağacının derinliği olarak tanımlanır. her durumda 1 olasılıkla (yani hesaplar kesinlikle). ve daha yaygın olarak bilinir kuantum sorgu karmaşıklıklarıçünkü bir kuantum karar ağacının doğrudan tanımı, klasik durumda olduğundan daha karmaşıktır. Randomize duruma benzer şekilde, ve .

Bu kavramlar tipik olarak derece ve yaklaşık derece kavramlarıyla sınırlıdır. derece nın-nin , belirtilen , herhangi bir polinomun en küçük derecesidir doyurucu hepsi için . yaklaşık derece nın-nin , belirtilen , herhangi bir polinomun en küçük derecesidir doyurucu her ne zaman ve her ne zaman .

Beals vd. bunu kurdu ve .[9]

Boole işlevi karmaşıklık ölçüleri arasındaki ilişkiler

Hemen herkes için tanımlardan izler -bit Boolean fonksiyonları ,, ve . Ters yönde en iyi üst sınırları bulmak, sorgu karmaşıklığı alanında önemli bir hedeftir.

Bu tür sorgu karmaşıklığının tümü polinomik olarak ilişkilidir. Blum ve Impagliazzo,[10] Hartmanis ve Hemachandra,[11] ve Tardos[12] bağımsız olarak keşfetti . Noam Nisan Monte Carlo randomize karar ağacı karmaşıklığının da polinomik olarak deterministik karar ağacı karmaşıklığı ile ilişkili olduğunu buldu: .[13] (Nisan ayrıca şunu da gösterdi Monte Carlo ve Las Vegas modelleri arasında daha sıkı bir ilişki olduğu bilinmektedir: .[14] Bu ilişki, polilogaritmik faktörlere kadar optimaldir.[15] Kuantum karar ağacı karmaşıklıklarına gelince, ve bu sınır sıkı.[16][15] Midrijanis gösterdi ki ,[17][18] Beals ve ark.[9]

Bu polinom ilişkilerinin yalnızca aşağıdakiler için geçerli olduğuna dikkat etmek önemlidir. Toplam Boole fonksiyonları. İçin kısmi Boole fonksiyonları, alan adı alt kümesi olan arasında üstel bir ayrım ve mümkün; böyle bir sorunun ilk örneği Deutsch ve Jozsa.

Duyarlılık varsayımı

Bir Boole işlevi , duyarlılık nın-nin maksimum duyarlılık olarak tanımlanır her şeyden önce hassasiyeti nerede -de tek bitlik değişikliklerin sayısıdır değerini değiştiren . Duyarlılık, kaynakların toplam etkisinin Boole fonksiyonlarının analizi eşittir ortalama her şeyden önce hassasiyet .

duyarlılık varsayımı duyarlılığın polinomik olarak sorgu karmaşıklığı ile ilişkili olduğu varsayımıdır; yani üs var öyle ki herkes için , ve . Basit bir argümanla gösterilebilir ki Bu nedenle varsayım, özellikle duyarlılık için daha düşük bir sınır bulmakla ilgilenir. Daha önce tartışılan karmaşıklık ölçütlerinin tümü polinomik olarak ilişkili olduğundan, karmaşıklık ölçüsünün kesin türü ilgili değildir. Bununla birlikte, bu tipik olarak duyarlılığı blok duyarlılığı ile ilişkilendirme sorunu olarak ifade edilir.

blok hassasiyeti nın-nin , belirtilen , maksimum blok hassasiyeti olarak tanımlanır her şeyden önce . Blok hassasiyeti -de maksimum sayıdır ayrık alt kümelerin öyle ki, herhangi bir alt grup için , parçalarını çevirmek karşılık gelen değerini değiştirir .[13]

Blok duyarlılığı, daha fazla alt küme seçeneği üzerinde maksimum değer aldığından, . Dahası, blok duyarlılığı polinomik olarak daha önce tartışılan karmaşıklık ölçüleriyle ilişkilidir; örneğin, Nisan'ın blok duyarlılığını tanıtan makalesi şunu göstermiştir: .[13] Bu nedenle, duyarlılık varsayımı, bazıları için bunu gösteriyor olarak yeniden ifade edilebilir. , . 1992'de Nisan ve Szegedy, yeterli.[19] 1995'te Rubinstein, duyarlılık ve blok duyarlılığı arasında ikinci dereceden bir ayrım gösterdiğinden, bu sıkı olacaktır.[20]

Temmuz 2019'da, varsayımın ilk ortaya atılmasından 27 yıl sonra, Hao Huang Emory Üniversitesi duyarlılık varsayımını kanıtlayarak .[21] Bu kanıt, duyarlılık varsayımına yönelik önceki ilerleme sınırlı olduğunda, bu ifadeyi iki sayfada kanıtlayarak oldukça kısa ve özdür.[22][23]

Bilinen sonuçların özeti

Ekim 2020 itibarıyla karmaşıklık önlemleri için en iyi bilinen ayrımlar[16]
22, 322, 32, 33, 62, 32, 344
1222, 32, 33, 62, 32, 33, 44
1122, 32, 33, 61.5, 32, 33, 44
111, 2222.22, 51.15, 31.63, 32, 42, 4
11111.5, 22, 41.15, 21.63, 222
111112, 41.15, 21.63, 222
1111111.15, 21.63, 222
11.33, 21.33, 322, 32, 33, 62, 32, 44
11.33, 21.33, 22222122
11122, 32, 33, 612, 34
1112222111

Bu tablo, Boole fonksiyonu karmaşıklık ölçüleri arasındaki ayrımların sonuçlarını özetlemektedir. Karmaşıklık ölçüleri sırasıyla deterministik, sıfır hata rasgele, iki taraflı rasgele hata, sertifika, rasgele sertifika, blok duyarlılığı, duyarlılık, kesin kuantum, derece, kuantum ve yaklaşık derece karmaşıklıklarıdır.

İçindeki sayı -nci sıra ve -inci sütun üs üzerindeki sınırları gösterir , hangisi en az olanı doyurucu tüm boole fonksiyonları için . Örneğin, D-inci satır ve s-inci sütundaki giriş "3, 6" olduğundan hepsi için ve bir işlev var öyle ki .

Ayrıca bakınız

Referanslar

  1. ^ Jr, Lester R. Ford; Johnson, Selmer M. (1959-05-01). "Turnuva Sorunu". American Mathematical Monthly. 66 (5): 387–389. doi:10.1080/00029890.1959.11989306. ISSN  0002-9890.
  2. ^ a b Algoritmalara giriş. Cormen, Thomas H. (Üçüncü baskı). Cambridge, Mass .: MIT Press. 2009. ISBN  978-0-262-27083-0. OCLC  676697295.CS1 Maint: diğerleri (bağlantı)
  3. ^ Rabin, Michael O. (1972-12-01). "Doğrusal formların eşzamanlı pozitifliğini kanıtlamak". Bilgisayar ve Sistem Bilimleri Dergisi. 6 (6): 639–650. doi:10.1016 / S0022-0000 (72) 80034-5. ISSN  0022-0000.
  4. ^ Reingold, Edward M. (1972-10-01). "Bazı Ayarlanmış Algoritmaların Optimalliği Üzerine". ACM Dergisi. 19 (4): 649–659. doi:10.1145/321724.321730. ISSN  0004-5411. S2CID  18605212.
  5. ^ Preparata, Franco P. (1985). Hesaplamalı geometri: bir giriş. Shamos, Michael Ian. New York: Springer-Verlag. ISBN  0-387-96131-3. OCLC  11970840.
  6. ^ Ben-Or, Michael (1983-12-01). "Cebirsel hesaplama ağaçları için alt sınırlar". Bilgisayar Teorisi Üzerine On Beşinci Yıllık ACM Sempozyumu Bildirileri. STOC '83. New York, NY, ABD: Bilgisayar Makinaları Derneği: 80–86. doi:10.1145/800061.808735. ISBN  978-0-89791-099-6. S2CID  1499957.
  7. ^ Dobkin, David; Lipton, Richard J. (1976-06-01). "Çok Boyutlu Arama Sorunları". Bilgi İşlem Üzerine SIAM Dergisi. 5 (2): 181–186. doi:10.1137/0205015. ISSN  0097-5397.
  8. ^ Michael Steele, J; Yao, Andrew C (1982-03-01). "Cebirsel karar ağaçları için alt sınırlar". Algoritmalar Dergisi. 3 (1): 1–8. doi:10.1016/0196-6774(82)90002-5. ISSN  0196-6774.
  9. ^ a b Beals, R .; Buhrman, H .; Cleve, R .; Mosca, M .; de Wolf, R. (2001). "Polinomlarla kuantum alt sınırları". ACM Dergisi. 48 (4): 778–797. arXiv:quant-ph / 9802049. doi:10.1145/502090.502097. S2CID  1078168.
  10. ^ Blum, M .; Impagliazzo, R. (1987). "Genel oracle'lar ve oracle sınıfları". 18. IEEE FOCS Tutanakları. sayfa 118–126.
  11. ^ Hartmanis, J .; Hemachandra, L. (1987), "Tek yönlü işlevler, sağlamlık ve NP-tam kümelerin izomorfizmi", Teknik Rapor DCS TR86-796, Cornell Üniversitesi
  12. ^ Tardos, G. (1989). "Sorgu karmaşıklığı veya neden ayırmak zordur? NPBir ∩ coNPBir itibaren PBir rastgele oracles tarafından Bir?". Kombinatorik. 9 (4): 385–392. doi:10.1007 / BF02125350. S2CID  45372592.
  13. ^ a b c Nisan, N. (1989). "CREW PRAM'lar ve karar ağaçları". 21. ACM STOC Bildirileri. s. 327–335.
  14. ^ Kulkarni, R. ve Tal, A. Kesirli Blok Hassasiyeti Üzerine. Hesaplamalı Karmaşıklık Üzerine Elektronik Kolokyum (ECCC). Cilt 20. 2013.
  15. ^ a b Ambainis, Andris; Balodis, Kaspars; Belovs, Aleksandrs; Lee, Troy; Santha, Miklos; Smotrovs, Juris (2017/09/04). "İşaretçi İşlevlerine Dayalı Sorgu Karmaşıklığındaki Ayrımlar". ACM Dergisi. 64 (5): 32:1–32:24. arXiv:1506.04719. doi:10.1145/3106234. ISSN  0004-5411. S2CID  10214557.
  16. ^ a b Aaronson, Scott; Ben-David, Şalev; Kothari, Robin; Rao, Shravas; Tal, Avishay (2020-10-23). "Derece, Yaklaşık Derece ve Huang'ın Duyarlılık Teoreminin Kuantum Etkileri". arXiv:2010.12629 [kuant-ph ].
  17. ^ Midrijanis, Gatis (2004), "Toplam Boole fonksiyonları için tam kuantum sorgu karmaşıklığı", arXiv:kuant-ph / 0403168
  18. ^ Midrijanis, Gatis (2005), "Randomize ve Kuantum Sorgu Karmaşıklıkları Üzerine", arXiv:quant-ph / 0501142
  19. ^ Nisan, Noam; Szegedy, Mario (1992-07-01). "Gerçek polinomlar olarak Boole fonksiyonlarının derecesi hakkında". Hesaplama Teorisi üzerine Yirmi Dördüncü Yıllık ACM Sempozyumu Bildirileri. STOC '92. Victoria, British Columbia, Kanada: Bilgisayar Makineleri Birliği: 462–467. doi:10.1145/129712.129757. ISBN  978-0-89791-511-3. S2CID  6919144.
  20. ^ Rubinstein, David (1995-06-01). "Boole işlevlerinin duyarlılığına karşı blok duyarlılığı". Kombinatorik. 15 (2): 297–299. doi:10.1007 / BF01200762. ISSN  1439-6912. S2CID  41010711.
  21. ^ Huang, Hao (2019). "Hiperküplerin indüklenmiş alt grafikleri ve Hassasiyet Varsayımının bir kanıtı". Matematik Yıllıkları. 190 (3): 949–955. arXiv:1907.00847. doi:10.4007 / yıllıklar.2019.190.3.6. ISSN  0003-486X. JSTOR  10.4007 / yıllıklar.2019.190.3.6. S2CID  195767594.
  22. ^ Klarreich Erica. "Onlarca Yıllık Bilgisayar Bilimi Varsayımı İki Sayfada Çözüldü". Quanta Dergisi. Alındı 2019-07-26.
  23. ^ Hatami, Pooya; Kulkarni, Raghav; Pankratov, Denis (2011-06-22). "Duyarlılık Varsayımı Üzerine Çeşitlemeler". Hesaplama Teorisi. 1: 1–27. doi:10.4086 / toc.gs.2011.004. ISSN  1557-2862. S2CID  6918061.

Anketler