«computability» etiketlenmiş sorular

Let arasında aşağıdaki gibi tanımlanabilir -terms:λsizesizesizeλλ\lambda size(x)=1size(x)=1size(x) = 1 , size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 . Bir λλ\lambda -term t karmaşıklığı tx normal formuna tttparalel Lev indirgeme sayısı olarak tanımlanabilir olsun (Levy anlamda optimal bir değerlendirici kullanarak).txtxt x Daha büyük terimin …

12 lo.logic  computability  pl.programming-languages  lambda-calculus 

"En büyük sayı oyunu adı" iki oyuncudan gizlice bir sayı yazmasını ister ve kazanan daha büyük sayıyı yazan kişidir. Oyun genellikle oyuncuların bir noktada değerlendirilen işlevleri yazmasına izin verir, bu nedenle 222222222^{2^{2^{2}}} de yazmak için kabul edilebilir bir şey olacaktır. Meşgul Kunduz işlevinin ( BB(x)BB(x)BB(x) ) değeri, büyük xxx değerleri …

11 computability  undecidability 

İlk terim Hilbert tarafından 1928 çalışmasında kullanılır, ancak Gödel'in daha sonraki çalışmasında aynı şey Unvollständigkeitssatz ("eksiklik teoremi") olarak adlandırılır. Bugünün Alman CS araştırmacıları için, Unvollständigkeitssatz daha yaygın olarak kullanılıyor ve Entscheidungsproblem ("karar sorunu") hala anlaşılıyor, ancak mutlaka das Halteproblem ile ilişkili değil (Turing'in otomata üzerindeki çalışmasından sonra daha yaygın gibi …

11 lo.logic  computability  ho.history-overview 

Orada algoritmik grafik teorisi / sayılar teorisi / combinatorics / enformasyon teorisi / oyun teorisi. Algoritmik matematiksel analiz var mı? Wiki'ye göre, matematiksel analiz farklılaşma, integrasyon, ölçü, limitler, sonsuz seriler ve analitik fonksiyonlar teorilerini içerir. Gerçek bir değişkenin gerçek sayıları ve gerçek değerli fonksiyonları ile ilgilenen gerçek analize (wiki) odaklanmak …

11 cc.complexity-theory  reference-request  soft-question  computability 

Bildiğimiz gibi, algoritmanın hesaplama karmaşıklığının tanımı neredeyse tartışmasızdır, ancak gerçeklerin veya hesaplama modellerinin gerçekler üzerindeki hesaplama karmaşıklığının tanımı böyle bir durumda değildir. Hesaplanabilir Analiz kitabında Blum ve Smales modelini ve modelini biliyoruz. Ve görünüşte, Hesaplanabilir Analiz'deki model klasik modelle tutarlıdır, ancak gerçeklerin hesaplama karmaşıklığının tanımı klasik modele dönüştürülemez. Gerçek ya …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Düğümleri hesaplamak için belgelenmiş bir yol var mı? (çemberler 3 boyutlu Öklid uzayına gömülüdür). Yani, onları temsil edecek bir veri tipi ve iki veri örneğinin aynı düğümü temsil edip etmediğini belirleyen bir algoritma. Cevap olumluysa, bu sorunun karmaşıklığı ne olacak?

11 ds.algorithms  computability 

Bu naif bir soru olabilir, ama başlıyoruz. (Düzenleme - upvotes almıyor, ancak kimse de bir cevap sunmadı; belki de soru düşündüğümden daha zor, belirsiz veya belirsiz mi?) Gödel'in İlk Eksiklik Teoremi, durma sorununun kararsızlığının bir sonucu olarak kanıtlanabilir (örn. Sipser Ch.6; Scott Aaronson tarafından yazılan blog yazısı ). Anladığım kadarıyla …

11 lo.logic  computability  church-turing-thesis 

Aşağıdaki sorun çözülebilir: Bağlamdan bağımsız bir gramer verildiğinde, L ( G ) = ∅ ?G,GGL(G)=∅L(G)=∅L(G) = \varnothing Aşağıdaki sorun kararlaştırılamaz: Bağlamdan bağımsız bir gramer verildiğinde, L ( G ) = A ∗ mı?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Bağlamsız dilinin karar verilebilir eşitlik L ( G ) = M ile karakterizasyonu var mı?MMML(G)=ML(G)=ML(G) …

11 computability  fl.formal-languages 

Bu otomat tarafından kabul edilen dilin deterministik bağlamsız bir dil olduğu ve kabul edilen dili tam olarak kabul eden deterministik bir aşağı itme otomatiği çıkardığı vaadiyle birlikte giriş olarak bir aşağı itme otomatiği alan bir algoritma oluşturmak mümkün müdür? tarafından ?MMML(M)L(M)L(M)NNNMMM Eşdeğer bir problem, girdi olarak aşağı itmeli bir otomata …

11 reference-request  computability  fl.formal-languages  automata-theory 

"Birinci derece formül bir model var mı?" Sorusunun genel olarak kararsız olduğunu biliyorum .φφ\phi Herkes bana bir bağlantı veya sonlu modeller için cevap veren bir kitap verebilir. İlk sipariş formülüm varsa , sonlu bir modeli olup olmadığına karar verilebilir mi ? Sorunun iyi bilindiğinden eminim, ancak cevap aramaya nereden başlayacağımı …

11 reference-request  lo.logic  computability  finite-model-theory 

Aşağıdaki 2 kişilik oyunu düşünün: Doğa rastgele bir program seçer Her oyuncu doğanın hareketine tepki olarak [0, sonsuz] dahil bir sayı çalar Oyuncuların minimum sayısını alın ve bu kadar adımda (her iki oyuncu da sonsuzluk seçmedikçe) programı çalıştırın (en fazla) Program durursa, minimum sayıyı oynayan oyuncu 1 puan kazanır. Program …

10 lo.logic  computability  gt.game-theory 

Doğal sayılar dışındaki kümelerde hesaplanabilirlik kavramı var mı? Tartışma uğruna, D ile N'yi birleştiren setlerinde diyelim .SSSNN\mathbb{N} "Evet, onlar formun bu fonksiyonları söylemek cazip gelebilir gr herhangi bijection olan N → G ve f hesaplanabilir bir fonksiyonudur N → N ". İki nedenden dolayı bu tanım konusunda temkinliyim.g∘f∘g−1g∘f∘g−1g \circ f …

10 computability 

Sorunlar, bir bütün olarak, Hesaplamalı Karmaşıklık sayesinde sınıflandırılmıştır. Fakat diferansiyel denklemlerde, diferansiyel denklemleri hesaplama yapılarına göre sınıflandırmak mümkün müdür? Örneğin, birinci dereceden homojen olmayan bir denklemin çözülmesi nispeten diyelim ki 100. dereceden homojen bir denklemden daha zor ise, çözme yöntemi aynı olduğu için ayrı konveksite sınıfları olarak sınıflandırılabilirler mi? Çözme …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

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 

Bağlam : Kavvadias ve Sideri Verilen: Ters 3-SAT problemi coNP Komple olduğunu göstermiştir üzerinde bir dizi model bu 3 CNF formülü böyle olduğunu, değişkenler modellerinin onun tam kümesidir? içindeki tüm modellerden memnun olan 3 maddenin tümünün birleşimi olan hemen bir aday formül ortaya çıkar .ϕϕ\phinnnϕϕ\phiϕϕ\phi İfade ettiği tüm 3 maddeyi …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat