Bilgisayar Bilimi

sabit boyutlu karakterlerden oluşan sınırlı bir dizi olsun . üzerinden biraz dize olsun . Biz boş olmayan bir alt dize söylemek ait bir olduğunu tekrar eğer bazı dize için .ΣΣ\Sigmaαα\alphaΣΣ\Sigmaββ\betaαα\alphaβ=γγβ=γγ\beta = \gamma \gammaγγ\gamma Şimdi sorum şu aşağıdakilerin geçerli olup olmadığıdır: Her için , bazı vardır , örneğin, her bir dize …

20 combinatorics  strings  word-combinatorics 

Son zamanlarda bir makalede [1] 2/2/4-SAT adı verilen SAT'ın özel simetrik bir versiyonunu buldum . Ancak orada birçok varyantı var, örneğin: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Diğer bazı varyantlar izlenebilir: - , Planar-NAE- , ...222OTURDUOTURDU\text{SAT}OTURDUOTURDU\text{SAT} -complete (veya ) olarak kanıtlanmış tüm (garip) varyantlarını sınıflandıran anket kağıtları (veya web …

20 complexity-theory  reference-request  satisfiability 

Ben senin yorumlarınızı istiyorum Hanoi Kuleleri karmaşıklığı hakkında aşağıdaki şüphelerle karşılaştım . NP'de mi? Cevaplanmaya çalışıldı: Peggy'nin (atasözü) sorunu çözdüğünü ve Victor'a (doğrulayıcı) gönderdiğini varsayalım. Victor, çözümün son durumunun doğru olduğunu (doğrusal zamanda) kolayca görebilir, ancak yasadışı bir hareket yapmadığından emin olmak için Peggy'nin her hareketinden geçmek dışında bir seçeneği …

20 complexity-theory  time-complexity 

Bu, oluşturduğum ağ gecikmesini ölçme hakkında bir bilmecedir. Çözümün imkansız olduğuna inanıyorum ama arkadaşlar aynı fikirde değil. Her iki şekilde de ikna edici açıklamalar arıyorum. (Bir bulmaca olarak sunulmasına rağmen, NTP'den bahsetmemek için çevrimiçi oyunlarda olduğu gibi iletişim protokollerinin tasarımı ve deneyimine uygulanabilirliği nedeniyle bu web sitesine uyduğunu düşünüyorum.) İki …

20 computer-networks  protocols  distributed-systems 

Yeni bir öğe eklenirse en eski / son öğe dışarı itecek bir veri yapısı arıyorum. Örneğin D, yapıyı temsil edelim . Dtürünün Number Dvarsayılan öğelerinin 3 öğesini içerir 1, 2ve 3. D = [ 1 , 2 , 3 ]D=[1,2,3]D = [1, 2, 3] Bir Eğer Numberdeğer içeren 5sokulur D, …

20 data-structures  arrays  queues 

Bir tür sistemi λ x . x xsonlandırmaya veya sonlandırmaya bir tür atayabilirse , (λx . x x) (λ x . x x)sonuç olarak bu sistem tutarsız mıdır? Bu sistem altındaki her tipte yerleşim var mı? Yanlış olduğunu kanıtlayabilir misin?

20 lambda-calculus  dependent-types 

Hesaplamanın bir anlamda belirsiz olduğunu biliyorum (bilgisayarların yaptığı şeydir), ancak daha titiz bir tanım istiyorum. Dictionary.com'nin hesaplama, hesaplama, hesaplama ve hesaplama tanımları daireseldir, bu yüzden yardımcı olmaz. Wikipediahesaplamayı "iyi tanımlanmış bir modeli izleyen herhangi bir hesaplama türü" olarak tanımlar. Hesaplamayı "bir veya daha fazla girdiyi değişken değişiklikle bir veya daha …

20 terminology  computability 

Bağlamdan bağımsız diller tamamlayıcı altında kapalı değildir , bunu biliyoruz. Bildiğim kadarıyla bir alt kümesidir, bağlamdan-bağımsız diller anlamak gibi Bazı mektuplar için bir , b tamamlayıcı altında kapalıdır (!?)a∗b∗a∗b∗a^*b^*a,ba,ba,b İşte benim argümanım. Her CF dili yarı doğrusal Parikh görüntüsüne sahiptir π ( L ) = { ( m , n …

20 formal-languages  reference-request  context-free  closure-properties 

Bazı karmaşık algoritmalar ( birleşim bulma ), asimptotik zaman karmaşıklığında görünen neredeyse sabit ters Ackermann fonksiyonuna sahiptir ve neredeyse sabit ters Ackermann terimi göz ardı edilirse en kötü zaman optimumdur. Ters Ackermann'dan temelde daha yavaş büyüyen fonksiyonları içeren çalışma sürelerine sahip bilinen algoritma örnekleri var mı (örneğin, en iyi bilinen …

20 reference-request  algorithm-analysis  time-complexity  runtime-analysis 

Düzenli Tipin Türevi olarak adlandırılan bir makale , Tek Delikli Bağlamlar Türüdür , bir türdeki "fermuarın" (tek delikli bağlamlar), cebir türündeki farklılaşma kurallarına uyduğunu gösterir. Sahibiz: ∂xx∂x0∂x1∂x(S+T)∂x(S×T)↦1↦0↦0↦∂xS+∂xT↦∂xS×T+S×∂xT∂xx↦1∂x0↦0∂x1↦0∂x(S+T)↦∂xS+∂xT∂x(S×T)↦∂xS×T+S×∂xT\begin{align} \partial_x x &\mapsto 1 \\ \partial_x 0 &\mapsto 0 \\ \partial_x 1 &\mapsto 0 \\ \partial_x (S + T) &\mapsto \partial_x S + …

20 type-theory  algebra 

Andrew W. Appel'in ML'deki Modern Derleyici Uygulaması kitabında bölüm 17'de Hesaplanabilirlik teorisinin yeni optimizasyon dönüşümleri icat etmenin her zaman mümkün olacağını ve tamamen optimize eden bir derleyicinin durma problemini çözeceğini kanıtladığını söylüyor : Bir program Hiçbir çıkış üretmeyen ve hiç durmayan Q'nun yerine optimum temsili olan Opt (Q) , "L: …

20 computability  compilers  program-optimization 

Tamam ben başlamadan önce ben bu konu üzerine saçak olduğunu fark (Bu site için Sorular yardım okudum), özellikle bu bir gerçek dünya problemi değil gibi. Ancak: Google'da alakalı hiçbir şey bulamıyorum Kesinlikle saf bir bakış açısıyla Bilgisayar Bilimi'ne girmesi gerekir mi? Her durumda, bir sınırı aştıysam, özür diliyor ve diğer …

20 reference-request  human-computing 

Wikipedia , alt küme toplamı problemini, toplamı sıfır olan belirli bir tamsayı çoklu kümesinin bir alt kümesini bulmak olarak belirtir. Bundan başka, bu miktar ile bir alt bulmak eşdeğer olduğunu bildiren herhangi bir için .ssssss Bu yüzden eşdeğer oldukları için her iki tarafta da bir azalma olması gerektiğine inanıyorum. Bir …

20 complexity-theory  reductions  np-hard 

Sıralı bir çifti (x, y) sıralanmamış bir çiftle (x, y} (set) karşılaştırırsak, teorik olarak, x'in önce gelip gelmediği ya da y'nin temsil etmesi için tek bir bit gerektirdiği gibi, fark sadece bir bittir. Eğer x, y iki farklı 32-bit tamsayı olan bir küme {x, y} verilirse, bunları 63 bite (daha …

20 information-theory  data-compression 

Bu bir röportaj sorusundan esinlenmiştir . Biz tamsayı dizisi verilir ve varsa ayrı belirlemek zorunda i < j < k öylea1,…,ana1,…,ana_1, \dots, a_ni<j<ki<j<ki \lt j \lt k ak−aj=aj−aiak−aj=aj−aia_k - a_j = a_j - a_i k−j=j−ik−j=j−ik - j = j - i yani diziler ve { i , j , k …

20 algorithms  complexity-theory  lower-bounds