Olasılık Dağılımları ve Hesaplama Karmaşıklığı


9

Bu soru olasılık teorisinin ve hesaplama karmaşıklığının kesişimi ile ilgilidir. Önemli bir gözlem, bazı dağılımların üretilmesinin diğerlerinden daha kolay olduğudur. Örneğin, sorun

Bir sayısı verildiğinde , ile eşit olarak dağıtılmış bir sayı .ni0i<n

çözmek kolaydır. Öte yandan, aşağıdaki sorun çok daha zor veya öyle görünüyor.

Bir sayısı verildiğinde , sayısını (Gödel sayısı) Peano aritmetiğinde geçerli bir uzunluk n'si olarak gösterecek şekilde bir sayısı döndürün. Bu tür deliller sayısıdır Ayrıca, eğer ise, olasılık uzunluğunun belirli bir kanıt elde etmek için olmalıdır .niipr(n)n1pr(n)

Bu bana olasılık dağılımlarının hesaplama karmaşıklığı kavramıyla geldiğini gösteriyor. Dahası, bu karmaşıklık muhtemelen altta yatan karar problemleriyle yakından ilişkilidir (özyinelemeli, örneğin , , özyinelemeli, özyinelemeli olarak numaralandırılabilir veya daha kötüsü).PEXP

Benim sorum şu: Kişi, özellikle temel karar sorununun karar verilemediği durumlarda, olasılık dağılımlarının hesaplama karmaşıklığını nasıl tanımlar? Bunun zaten araştırıldığından eminim, ama nereye bakacağımdan emin değilim.


1
Bir başka ilginç örnek (ancak karar verilebilir) kuantum fourier dönüşümüdür. Verilen dönüş sayısı olasılığının bu şekilde olan orantılı, . f(k)=akmodbl[0,N]l|F(l)|F(l)=k=0Nf(k)e2πikl/N
Gezici Mantık

1
Her iki örnekte de muntazam dağılımlar gösterilebilir. Farklı karmaşıklıkları saymak ne kadar zor olacağını düşünürdümburada destek. |χ|χ
Nicholas Mancuso

1
@NicholasMancuso Sayım + biçimsiz seçimin her zaman kullanılabileceğini kabul ediyorum. Yani bir anlamda bir üst sınır veriyor. Söylenebilecek bu kadar mı? Bu literatürde nerelerde incelenmiştir?
Martin Berger

1
@NicholasMancuso Verdiğim örnekler tekdüze dağılımlardır. Ancak aynı soru aynı olmayan dağılımlar hakkında da sorulabilir. üzerindeki dağılımlar da merak edilebilir . Saygılarımızla ayrık dağılımlar gibi: ilk bakışta, sayma yeterince genel olmak görünmüyor, ayrıca oluşturmak gerekiyor seni düzgün seçtikten sonra, -th eleman . Bununla birlikte, saymanın sorunun özü olduğu söylenebilir. Rii
Martin Berger

1
@NikosM. Teşekkürler, ancak bu bağlantı da temeldeki dağıtımın karmaşıklığı hakkında bir şey söylemez. Referans tekdüze dağılımda bir dönüşüm bahsediyor . Ancak bu dönüşüm, hesaplama açısından zor / veya kolay olabilir. ϕ
Martin Berger

Yanıtlar:


2

Olasılık dağılımlarının karmaşıklığı, özellikle Levin'in ortalama vaka karmaşıklığı teorisindeki DistNP gibi dağıtım problemlerinin araştırılmasında ortaya çıkar .

Bir dağılım, kümülatif yoğunluk fonksiyonu polinom zamanında değerlendirilebiliyorsa P ile hesaplanabilir .

Polinom zamanında onlardan numune alabiliyorsak , bir dağılım P-örneklenebilir .

Bir dağıtım P-hesaplanabilir ise P-örneklenebilir. Belirli tek yönlü işlevler mevcutsa bunun tersi geçerli değildir.

Tanımları diğer karmaşıklık sınıflarına genişletebilirsiniz.

Oded Goldreich , kontrol etmek isteyebileceğiniz konuyla ilgili güzel bir tanıtım notuna sahiptir .


Teşekkürler, sanırım örneklenebilir dağılım teorisi aradığım şey gibi. Ama dikkat kısıtlamak için hiçbir neden yoktur , tanımlayabilirsiniz herhangi karmaşıklığı sınıfı için -samplable dağılımları . Olasılıklı programlama dillerinin son zamanlarda yükselişi ile bu hayati önem kazanıyor. PPCC
Martin Berger

@Martin, evet. Orada Olasılık Programlama üzerine bir öğretici ( slaytlar Bunu çok ilginç buldum katıldı insanları duyduğumuz NIPS 2015 de video sıra yayınlanmıştır olacak). ML / Stats ve PL kesişiminde çalışan insanları görmek güzel. :)
Kaveh

Evet ve asıl sorun, bu tür dillerin (= genel, programlanabilir örnekleyiciler) yavaş olmasıdır. Onları nasıl hızlandırabiliriz?
Martin Berger
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.