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ı .
çö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 .
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ü).
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.