«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.

3
Kuantum bilgisayarları özellikle kullanışlı yapan nedir?
Kuantum bilgisayarların tüm olası durumların üst üste binmesini mantıktan tek bir geçişle işleyebildiğini biliyorum. İnsanların kuantum bilgisayarları özel veya kullanışlı kılan şey olarak işaret ettikleri budur. Bununla birlikte, süperpozisyonel girdileri işledikten sonra, sadece tek bir soru sorabileceğiniz ve tek bir değere daralan bir süperpozisyon sonucunuz olur. Ayrıca, süperpozisyon durumunu klonlamanın …
8
Neden bir algoritmanın bit dizesi olarak gösterilebileceğini varsayabiliriz?
Hesaplamalı Karmaşıklık ve Turing Makineleri hakkında bir kitap okumaya başlıyorum. İşte alıntı: Bazı kanonik kodlamaya karar verdikten sonra bir algoritma (yani bir makine) bir bit dizesi olarak temsil edilebilir. Bu iddia basit bir gerçek olarak sağlanıyor, ama anlayamıyorum. Örneğin, giriş olarak alan ve hesaplayan ( x + 1 ) 2 …
5
Etkileşim algoritmalardan daha mı güçlü?
Ben sloganı duydum etkileşim algoritmaları daha güçlü dan Peter Wegner . Fikrin temeli, (klasik) bir Turing Machine'nin dış dünya / çevre ile iletişim, yani iletişim (giriş / çıkış) ile başa çıkamamasıdır. Bu nasıl olabilir? Bir şey Turing Makinesinden nasıl daha güçlü olabilir? Bu hikayenin özü nedir? Neden daha iyi bilinmiyor?
1
N-Beden Probleminin çözülemezliği Durma Problemine eşit midir?
N-cisim problemine, n-cisim sisteminin durumunu rastgele bir zamanda kesin bir hassasiyetle vermek için kullanılabilecek bir analitik fonksiyon üretebilen genel bir analitik çözüm yoktur. Bununla birlikte, analitik bir fonksiyonun bilindiği bazı özel n-gövde sistemleri vakaları vardır. Aynı şekilde, keyfi bir Turing makinesinin sonucunu tahmin edebilecek genel bir algoritma yoktur. Her ne …
1
Kuantum Hesaplama - Hamilton ve Üniter model arasındaki ilişki
Kuantum hesaplamada algoritmalar geliştirirken, bunun yapıldığı iki temel model olduğunu fark ettim. Bazı algoritmalar - örneğin Hamilton NAND ağaç sorunu (Farhi'ye Goldstone, Guttman) için - bir Hamiltoniyeni ve bazı başlangıç durumunu tasarımı ve daha sonra bir süre için Schrödinger denkleme göre sistemin geliştirilmesi sağlayarak iş ölçüm yapmadan önce.ttt Faktoring için …
1
Sadece toplama, çarpma, eşitlik özellikli Rasgele Erişim Makinaları
Literatür, ilkel çarpımlı birim maliyetli RAM'lerin makul olmadığı, Turing makineleri tarafından polinom zamanda simüle edilemez polinom zamanında PSPACE-complete problemlerini çözebilir Bununla birlikte, bu konuda bulabildiğim tüm referanslar (Simon 1974, Schonhage 1979) ayrıca boole işlemleri, tamsayı bölümü vb. Sadece toplama, çarpma ve eşitliğe sahip RAM'lerin "makul" olması için herhangi bir sonuç …
3
Her kendini değiştiren algoritma, kendini değiştirmeyen bir algoritma ile modellenebilir mi?
Talimatlarını değiştirebilecek keyfi bir bilgisayar programımız varsa, bu programı talimatlarını değiştiremeyen bir programla simüle etmek mümkün müdür? Düzenle: Stackexchange'te yeniyim, bu yüzden burada YENİ bir soru sorma iznim olup olmadığından emin değilim, ama işte gidiyor: Tamam, mümkün olduğunun kanıtı, gerçekten gösterdiğiniz gibi gerçekten basit. Şimdi merak ediyorum: Girdi-çıktı eşdeğeri en …
2
Doğrusal Sınırlı Turing Makineleri Neden Sonlu Durum Otomatlarından daha güçlüdür?
Sonlu olan bilgisayarlarımızın sonuçta (olağanüstü büyük) Sonlu Durum Makinelerinden daha güçlü olmadığı izlenimindeydim. Bununla birlikte, Doğrusal Sınırlı Turing Makineleri de sonludur, ancak Normal Diller kesinlikle Bağlam Duyarlı Dillerin uygunsuz bir alt kümesidir. Açıkçası burada bir şey eksik. Ne oluyor?
4
Bant neden Turing Makinesi tanımının bir parçası değil?
Kasetin / bantların neden Turing Machine'nin resmi tanımının bir parçası olmadığını merak ettim. Örneğin, bir Turing makinesinin Wikipedia sayfasındaki resmi tanımını düşünün . Hopcroft ve Ullman'ı izleyen tanım şunları içerir: sonlu durum kümesi , bant alfabesi , boş simge , başlangıç ​​durumu , son durum kümesi , geçiş fonksiyonu . …
3
Verimli hesaplama kavramları
Bir polinom-zaman Turing makinesi algoritması, en kötü durumda çalışma süresi, giriş boyutunda bir polinom fonksiyonu ile sınırlanmışsa verimli kabul edilir. Güçlü Church-Turing tezinin farkındayım: Turing makinelerinde makul bir hesaplama modeli verimli bir şekilde simüle edilebilir Ancak, -calculus algoritmalarının hesaplama karmaşıklığını analiz etmek için sağlam bir teorinin farkında değilim .λλ\lambda Bilinen …
1
Fonksiyonel programlama dili uygulamalarında Algoritma Karmaşıklık Analizi
Bugün algoritma analizinin hesaplama modeline göre değiştiğini öğrendim . Hiç düşünmediğim ya da duymadığım bir şey. User @chi tarafından daha fazla örnek veren bana verilen bir örnek : Örneğin şu görevi göz önünde bulundurun: verilen x i döndürür . RAM'de, dizi erişimi sabit zaman olduğundan bu O ( 1 ) …
3
Sonlu zamanda sonsuz hesaplamalar
Bu muhtemelen saçma bir düşünce, ama biz hesaplamalar sonsuz dizisini gerçekleştirmek ve varsaymak programlanmış bir bilgisayar olduğunu varsayalım ithbenincii^\text{th} hesaplama alır tam saniye. Daha sonra bu bilgisayar, sınırlı bir süre içinde sonsuz sayıda hesaplama yapabilir.1/2i1/2ben1/2^i Bu neden imkansız? Önemsiz bir hesaplama yapmanın ne kadar sürdüğü konusunda bir alt sınır var …
1
Deterministik olmayan bir tur makinesinde determinizm, sonlu otomata ve aşağı itmeli otomatadan farklı mıdır?
Girdi dizesi olarak . Daha sonra NFA durum şu anda ise (alfabe kadar giriş okumak sahip ) daha sonra iki NFA içine NFA bölmelerini sonraki giriş sembolü okumadan önce, durum içinde bir varlık ve diğer varlık , bir geçiş olup olmadığını türü . Türü bir döngü var ise , NFA …
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.