«computation-models» etiketlenmiş sorular

Hesaplama için kullanılan izin verilen işlem kümesinin tanımı ve maliyetleri. Bazı model örnekleri Turing makineleri, özyinelemeli fonksiyonlar, lambda hesabı ve üretim sistemlerini içerir.

2
Transdikotomoz modelde O (n) 'de tamsayı sıralama mümkün müdür?
Bildiğim kadarıyla aşağıdaki sorunu çözen bir en kötü durum algoritması yoktur:O ( n )Ö(n)O(n) Sonlu tamsayılardan oluşan bir uzunluk dizisi göz önüne alındığında , her elemanın halefinden küçük veya ona eşit olduğu permütasyonu bulun.nnn Ancak, sınıraşan hesaplama modelinde var olmadığına dair bir kanıt var mı? Tamsayıların aralığını sınırlamadığımı unutmayın. Çözümleri …

2
Turing tamamlanmamış hesaplama modelleri için açık bir “hesaplanabilir” tanımı var mı?
Bu, burada başka bir sorunun takibi ve umarım çok felsefi değildir. Raphael'in önceki sorumla ilgili bir yorumda işaret ettiği gibi, gerçekten "hesaplanabilir" tanımını alamıyorum, ancak okuduğum bazı makalelere göre, tanım, turingden daha zayıf hesaplama modelleri söz konusu olduğunda da net değil. giriş ve çıkış kodlaması nedeniyle makineler. Hesaplanabilir turingin tipik …

2
Analog bilgisayarlar ve Church-Turing tezi
Nielsen & Chuang, Quantum Computation ve Quantum Information, 10. yıldönümü baskısı, sayfa 5'ten (vurgu mayını) alıntı yapmak istiyorum: Güçlü Church-Turing tezine yönelik bir sınıf zorluk analog hesaplama alanından geliyor. Turing'den bu yana, birçok farklı araştırmacı ekibi, belirli analog bilgisayar türlerinin bir Turing makinesinde verimli bir çözümü olmadığı düşünülen sorunları etkili …

6
Turing makineleri bir noktada sonsuz bir şey varsayar mı?
Önceki bir soruda Algoritma tam olarak nedir? , Ben önceden hesaplanmış değerleri bir dizi dayalı bir işlevin değerini döndüren bir "algoritma" sahip bir algoritma olup olmadığını sordu. Dikkatimi çeken cevaplardan biri şuydu: Faktöriyel örnek, düzgün olmayan hesaplama adı verilen farklı bir hesaplama modeline girer. Turing Makinesi, tek tip bir hesaplama …
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.