Randomize (polinom zamanı, boolean sonuç) algoritmaları, deterministik olmayan (polinomial zaman, boolean sonuç) algoritmalarının yer aldığı bir NP alt grubu ve deterministik (polinomial zaman, boolean sonuç) olan P'nin bir üstkümesi olan RP'nin bir alt kümesi olan RP hesaplamalı karmaşıklık sınıfındadır. algoritmalar bulunur.
Alt küme karmaşıklığı , bir kümedeki sorunları diğer kümelere indirgemekle ilgilidir . Bu nedenle RP ⊆ NP, aynı zamanda determinist olmayan randomize algoritmaların olasılığını da dışlar çünkü tanımlayıcı olarak bir süperset, alt kümeyi içerir. Alt küme, her RP algoritmasının (veya herhangi bir RP-komple algoritmanın) bazı NP algoritmasına (veya herhangi bir NP-komple algoritmaya) indirgenebileceği anlamına gelir. P, RP'nin bir alt kümesidir, çünkü P'deki her problem, kontrolsüz entropi miktarının 0 olduğu RP'deki bir probleme indirgenebilir.
Teğetsel olarak, bu, NC'deki (paralel hesaplama) her sorunun P'deki bir soruna indirgenebilmesine paraleldir, paralel hesaplamayı P'deki bir seri soruna indirgemeyle simüle ederek, ancak konunun doğru olduğu henüz kanıtlanmamıştır. P'deki her problemin NC'deki bir soruna indirgenebilir ya da doğru olmadığı kanıtlanmıştır, yani P-tamamlanmış bir sorunun NC'deki bir soruna indirgenemez olduğunun anlaşılmaz kanıtı. Doğası gereği seri olan ve paralel olarak hesaplanamayan sorunların olması mümkün olabilir, ancak P ≠ NC'nin kanıtlanamaz gibi göründüğünü kanıtlamak (bu cevabı tartışmak için çok telaşlı nedenlerden ötürü) kanıtlamak mümkün olabilir.
Daha genel olarak (yani, boolean sonuç türleriyle sınırlı değildir), randomize algoritmalar , entropinin bir kısmının harici kaynaklı olması nedeniyle deterministik algoritmalardan ayrılır . Rastgeleleştirilmiş algoritmalar deterministik olmayan algoritmalardan ayrılır, çünkü entropi sınırlıdır ve böylece randomize (ve deterministik olmayan) algoritmaların her zaman sonlandırıldığı kanıtlanabilir.
Nondeterministic algoritmalar öngörülemezliği kaynaklanmaktadır yetersizlik numaralandırmak giriş entropi tüm olası permütasyon (fesih değişkenliğine neden olur). Randomize bir algoritmanın tahmin edilemezliği kontrol edilememesinden kaynaklanmaktadır.Tüm girdi entropisi (öngörülemeyen bir sonucun tahmin edilemezliği ile sonuçlanmasına rağmen, öngörülemeyenlerin oranı tahmin edilebilir). Bunların hiçbiri soruna doğru cevabın tahmin edilemezliği ile ilgili ifadeler değil, tahmin edilemezlik sırasıyla sonlandırma ve belirsiz sonuçların yan kanalında ortaya çıkar. Birçok okuyucunun bir alandaki öngörülemezliği, doğru sonucun tahmin edilemezliği ile birleştiği anlaşılıyor, bu da asla yazmadığım bir konfederasyondur (düzenleme geçmişini gözden geçirin).
Determinizmin her zaman (herhangi bir bilimde veya terimin kullanımında) evrensel (yani sınırlandırılmamış) entropinin numaralandırılamaması olduğunu anlamak önemlidir. Oysa, randomizasyon, sınırlandırılmayabilen veya bağlanamayan başka bir entropi kaynağına (giriş değişkenlerinin kontrolü altında olan ve dolayısıyla entropi olmayan programlarda) erişmeyi ifade eder.
Benzer bir soru soran diğer konuya şu anda en popüler olan cevaba aşağıdaki yorumu ekledim .
Bütün bilimler, sınırsız entropi kavramı üzerinde birleşmiş olan nondeterminizm tanımını kullanır. Tüm bilimlerde öngörülemeyen sonuçlar, bir algoritmanın (veya sistemin) tüm olası çıktılarını önceden tanımlayamamasından kaynaklanmaktadır, çünkü sınırsız durumları, yani NP karmaşıklık sınıfını kabul etmektedir. Durup durmadığını tespit etmek ve sonucun önemsiz olduğunu belirtmek için belirli bir girdiyi belirtmek, diğer bilimlerde aynı durum değişikliğini tekrar ederken, evrenin entropisinin geri kalanını sabit tutmakla eşdeğerdir. Bilgisayar bilimi bu entropi izolasyonuna izin verirken, doğa bilimleri bunu yapmaz.
Randomize ve klasik olmayan arasındaki tek belirgin ayrım hakkındaki noktama açıklık getirmek için en iyi yorumlardan bazılarını eklemek.
Ayrımı görmek gerçekten oldukça zarif ve kolaydır, bir kez hepiniz göze çarpan entropi bakış açısıyla değil, operasyonel bir bakış açısıyla açıklamaya çalışarak karışmayı bıraktınız.
@ reinierpost herkes, randomize ve klasik olmayan arasındaki farkı kapatıyor . Bu, yorumunuzun karışmasına neden olur. Algoritma, girdi (değişken) entropinin ve kaynak kodunun (değişmeyen) iç entropinin etkileşimine tepki verir. Nondeterminizm sınırsız entropidir. Değişken entropi, π basamağını genişletmek gibi dahili olarak sınırsız da olabilir . Randomize, entropinin bir kısmı tanımlandığı gibi girişe bağlı değildir (yani bir sistem çağrısından gelebilir /dev/random
veya örneğin NFA veya bir PRNG gibi simgelenen rastgelelik olabilir).
.
Deterministik olmayan sonlu otomanın (NFA) köklü resmi tanımı sonlu girdi entropisidir (veri: 5-tuple). Böylece her NFA deterministik bir Turing makinesinde çalışabilir, yani belirsiz bir Turing-komple makineye ihtiyaç duymaz. Dolayısıyla NFA'lar tanımlayıcı olmayan problemler sınıfında değildir. NFA’daki “nondeterminizm” kavramı, determinizminin (her NFA bir DFA’ya dönüştürülebildiğinden açıkça görünse de) açıkça genişletilmemesi - hesaplamanın dinamizmi ile aynı değildir.
.
@Raphael , NFA’larda iddia edilen “determinizm” denilen şeyin gerçekten rastlantısallık olduğunu, rastlantısallık ve dinametizmizm arasındaki ayrımın tanımını anlamıştır. Benim tanımım, rastgelelik, program veya işleve girişin kontrolü altında olmayan, bilginin (veya bir NFA durumunda istenen açık olmayan genleşmenin) altında olmadığı entropinin bir kısmı. Oysa gerçek nondeterminism, her durumda entropiyi tanıyamamaktır, çünkü sınırsızdır. Tam da bu, klasikleşme karşıtlığından rastgele ayrılan şeydir. Öyleyse NFA, iddia ettiğiniz gibi değil, öncekilerin bir örneği olmalıdır.
.
Daha önce de açıkladığım gibi, “NFA” daki determinizm kavramı, sonlu entropi ile determinist olmayanları birleştiriyor. Dolayısıyla, determinizm, determinizmi bir sıkıştırma veya kolaylık biçimi olarak genişletmemekle ilgili yerel bir kavramdır, bu nedenle NFA'ların deterministik olmadığını, aksine deterministik genişlemeyi hesaplamak istemeyen bir kâhin rastgelelik görünümüne sahip olduklarını söylemiyoruz. Fakat hepsi bir serap, çünkü belirleyici olarak genişletilebilir, çünkü entropi sınırsız değil, yani sonlu.
Sözlükler araçlardır. Onları kullanmayı öğrenin.
rastgele sıfat
İstatistikler. bir kümenin her bir öğesinin eşit olma olasılığına sahip olduğu bir seçim işleminin tanımlanması veya karakterize edilmesi.
Bir sete veya bir sete ait olan veya her biri kendi elemanları ile aynı olma ihtimaline sahip olan bir sete ait olan
Bu nedenle, randomizasyon, sadece bazı girdi entropisinin, eşleştirilebilir olmasını gerektirir, bu nedenle benim tanımımla, bazı girdi entropisinin, fonksiyonun arayanı tarafından kontrol edilememesiyle uyumludur. Rastgelelemenin, giriş entropisinin sonlandırmaya göre kararsız olmasını gerektirmediğine dikkat edin.
Bilgisayar bilimlerinde, deterministik bir algoritma, belirli bir girdi verildiğinde, her zaman aynı çıktıyı üretecek bir algoritmadır, temeldeki makine her zaman aynı durum dizisinden geçer.
Resmen, deterministik bir algoritma matematiksel bir işlevi hesaplar; bir fonksiyon, kendi alanındaki herhangi bir giriş için benzersiz bir değere sahiptir ve algoritma, bu özel değeri çıktı olarak üreten bir işlemdir.
Deterministik algoritmalar bir durum makinesi olarak tanımlanabilir: bir durum, bir makinenin belirli bir anda ne yaptığını açıklar. Durum makineleri bir durumdan diğerine ayrık bir şekilde geçer. Girdiye girdikten hemen sonra, makine başlangıç durumunda veya başlangıç durumundadır. Makine deterministik ise, bu, bu noktadan itibaren mevcut durumunun bir sonraki durumunun ne olacağını belirleyeceği anlamına gelir; devletler dizisindeki rotası önceden belirlenmiştir. Bir makinenin belirleyici olabileceğini ve hala hiçbir zaman durmayacağını ya da bitiremeyeceğini ve bu nedenle bir sonuç veremeyeceğini unutmayın.
Bu bize bize deterministik algoritmaların fonksiyonun girdi durumuna göre tam olarak belirlenmesi gerektiğini, yani fonksiyonun sonlanacağını (veya sonlanmayacağını) kanıtlayamayacağımızı ispatlamamız gerektiğini söylüyor. Vikipedi’nin belirsizleştirici betimleme girişimi olmasına rağmen, yukarıda Vikipedi tarafından tanımlandığı gibi deterministik olan tek antitez, giriş durumu (entropi) yanlış tanımlanmış algoritmalardır. Ve giriş durumunun kötü tanımlanmasının tek yolu sınırsız olduğu zamandır (bu yüzden deterministik olarak önceden algılanamaz). İşte bu kesin olmayan bir Turing makinesini (ve C, Java, Javascript, ML vb. Gibi ortak dilleri tam olarak yazılmış birçok gerçek dünya programını) deterministik T'lerden ve HTML, elektronik tablo formülleri gibi programlama dillerinden ayıran şeydir. Coq, Epigram,
Hesaplamalı karmaşıklık teorisinde, klasik olmayan algoritmalar, mümkün olan her adımda, birden fazla devamlılığa izin verebilecek olanlardır (bir ormandaki bir yolda yürüyen bir adam düşünün ve her adım attığında, istediği yolda hangi çatalıyı seçmesi gerektiğini düşünün). almak). Bu algoritmalar her hesaplama yolu için bir çözüme ulaşmamaktadır; bununla birlikte, bazı yollar için doğru bir çözüme ulaşma garantilidir (yani, ormanın içinden geçen adam, yalnızca "doğru" yolların bir kombinasyonunu seçerse kabinini bulabilir). Seçenekler, bir arama sürecinde tahminler olarak yorumlanabilir.
Vikipedi ve diğerleri, rastlantısallaşmayı sıradancılıkçulukla birleştirmeye çalışıyorlar, fakat eğer onları dikkatlice ayırt etmeyecekseniz, iki kavramın olması ne anlama geliyor?
Açıkçası determinizm belirleme yeteneği ile ilgilidir. Açıkça rastgele randomizasyon, entropinin bir kısmını donatılabilir hale getirmekle ilgilidir.
Bir algoritma durumuna rastgele entropinin dahil edilmesi, onu tespit edilemez kılmak zorunda değildir. Örneğin, bir PRNG gerekli eşitlenebilir istatistik dağılımına sahip olabilir, ancak aynı zamanda tamamen belirleyici olabilir.
Ortogonal kavramları birleştirmek, düşük IQ insanıdır. Bu topluluktan daha iyisini bekliyorum!