«machine-models» etiketlenmiş sorular

1937'de Turing, bir Turing makinesini tanımladı. O zamandan beri birçok bilgisayar modelinin gerçek bir bilgisayar gibi bir model bulma girişimi olduğu, ancak algoritmaları tasarlayacak ve analiz edecek kadar basit olduğu belirtildi. Sonuç olarak, farklı hesaplama modelleri için SORT problemi için bir düzine algoritmamız var. Maalesef, bit vektör işlemleri ile izin …

41 ds.algorithms  reference-request  soft-question  machine-models 

Paul Wegner ve Dina Goldin, on yıldan fazla bir süredir, öncelikle Kilise-Turing tezinin CS Teorisi topluluğunda ve başka yerlerde yanlış tanıtıldığını iddia eden bildiri ve kitaplar yayınlamaktadır. Yani, aslında sadece tüm hesaplamaların çok küçük bir alt kümesi olan fonksiyonların hesaplanması için geçerli olduğunda, tüm hesaplamaları kapsayacak şekilde sunulur. Bunun yerine, …

38 computability  turing-machines  machine-models  church-turing-thesis 

Bu soru, bir bilgisayarın algoritma ve veri yapılarını tasarlamak için doğru teorik modelin ne olduğu hakkında daha genel bir soruya benzer . Burada, özellikle mevcut yüksek performanslı bilgisayarlar ( Top 500 olarak listelenenler gibi ) veya hatta yaklaşan süper bilgisayarlar. Bu bilgisayarların genellikle I / O modelinin ( 1988'de Aggarwal …

20 reference-request  soft-question  machine-models 

Son zamanlarda oldukça ilginç bir teorik yapıya rastladım. Bir sözde Gödel'in makinesi Kendi kendine optimizasyon yapabilen genel bir problem çözücüdür. Reaktif ortamlar için uygundur. Anladığım kadarıyla, evrensel Turing makinesi için bir program olarak uygulanabilir, ancak gereksinimleri şu anda mevcut olan donanımın çok ötesine geçer. Yine de çok fazla detay bulamadım. …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

Yakın tarihli bir soru , TSP için Bellman ve Held-Karp'tan bağımsız olarak şu anda klasik dinamik programlama algoritmasını tartıştı . Algoritmanın evrensel olarak sürede çalıştığı bildirilmiştir . Ancak, öğrencilerimden birinin yakın zamanda belirttiği gibi, bu çalışma süresi mantıksız derecede güçlü bir hesaplama modeli gerektirebilir.O ( 2nn2)O(2nn2)O(2^n n^2) İşte algoritmanın kısa …

16 ds.algorithms  machine-models  computing-over-reals 

Kapsamlı arama algoritmalarıyla ilişkili karmaşıklık sınıfı nedir? (Eğer biri varsa) NP mi yoksa PSPACE mi? Açgözlü ve dinamik programlama modellerine benzer kapsamlı arama algoritmaları sınıfını yakalayan sınırlı hesaplama modelleri var mı?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

TCS'de aşağıdaki sorun ne kadar iyi araştırılmıştır? (Sorun ifadesi belirsiz görünüyorsa özür dilerim!) Bir Hesaplama MC Modeli (Turing Makinesi, Hücresel Otomata, Kolmogorov-Uspenskii Makinesi ... vb.) Ve MC hesaplamasını etkileyebilecek bir Gürültü Modeli verildiğinde, bu gürültünün neden olduğu hatalardan kurtulmanın bir yolu var mı? bir etkili yolu? Örneğin, bir tür gürültünün …

14 machine-models 

Microsoft Word'ün tek amaçlı (Turing tamamlanmamış) mekanik uygulamasını oluşturmak mümkün müdür? Yineleyiciler, birinci dereceden fonksiyonlar, programlama tekniklerinin tüm gamı ​​gibi şeyleri uygulamak mümkün müdür? Dişliler ve diğer mekanik parçalar veri yapılarını veya hatta program nesnelerini temsil edebilir mi? Belirli bir noktada bu, genel amaçlı bir Turing eşdeğeri makine yapılmasını gerektiriyor …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

Başlık biraz yanıltıcı: ama umarım soru şu değildir: O ( n3 / 2)O(n3/2)O(n^{3/2}) O ( f)O(f)O(f)ω ( f)ω(f)\omega(f) n2n2n^2

13 cc.complexity-theory  machine-models  decision-trees 

MapReduce çerçevesini, senkronizasyonlar arasındaki işlemcilerde yerel bellek tutması olmayan bir tür toplu senkron paralel programlama çerçevesi olarak adlandırmak doğru mu? Değilse, hangi paralel programlama modeli mapReduce çerçevesini en doğru şekilde kapsar?

11 dc.parallel-comp  machine-models 

Bir EE öğrencisiyken, kaç tane iç içe döngüye sahip oldukları açısından, boole devrelerinin güzel bir karakterizasyonunu sunan bazı derslere katıldım. Karmaşıklıkta, boole devreleri genellikle veri olarak düşünülür, ancak gerçek donanım döngülerinde yaygındır. Şimdi, bir ilmeğin ne olduğu ve iç içe bir ilmeği neyin oluşturduğu ile ilgili bazı tekniklerin modülo olduğu …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

Bu soru, "tersinir" in Axelsen ve Glück anlamında ve "tarpit" in çok daha gayri resmi bir kavram olduğu (ve çok iyi bir kelime seçimi olmayabileceği) bilinen herhangi bir tersinir Turing brandasının olup olmadığıyla ilgilidir. ama ne demek istediğimi açıklamak için elimden geleni yapacağım. Ne demek istediğim "tarpit" Bazı hesaplama modelleri …

10 fl.formal-languages  computability  machine-models 

Adleman'ın DNA modeli dışındaki proteinlere dayalı hesaplama modellerini veya Cherry ve Qian'ın bu çalışmasını tanımlayan bir çerçeve / biçimcilik var mı?

9 reference-request  machine-models 

Doğal fenomenden esinlenilen iyi bilinen hesaplama örnekleri kuantum bilgisayarlar ve DNA bilgisayarlardır. Maxwell yasaları veya yerçekimi ile hesaplama potansiyel ve / veya sınırlamaları hakkında ne biliniyor? Yani, doğanın "hızlı" çözümlerini Maxwell denklemlerine veya n-vücut problemine doğrudan genel amaçlı bir algoritmaya dahil etmek?

9 computability  machine-models  physics  natural-computing