Bilgisayar Bilimi

Vikipedi'de birleşmenin memnuniyet sorununu çözme süreci olduğunu okudum . Aynı zamanda, bu tür çözücülerin "SAT çözücüler" veya "SMT çözücüler" olarak adlandırıldığını biliyorum. Peki, aynı şey için farklı isimler mi? Farklı olduklarını söylüyorsanız, lütfen tedavimdeki bir kusura dikkat edin.

10 terminology  sat-solvers  unification 

Nasıl bir rasgele inşa beklenen yüksekliği kanıtlamak do ikili arama ağacına sahip düğümler olan ? CLRS Algoritmalara Giriş'te (bölüm 12.4) bir kanıt var , ama anlamıyorum.nnnO(logn)O(log⁡n)O(\log n)

10 data-structures  algorithm-analysis  binary-trees  search-trees  average-case 

Hızlı k-mismatch dize eşleme algoritması arıyorum. M uzunluğunda bir desen dizesi P ve n uzunluğunda bir metin dizisi T verildiğinde, P'nin T'nin bir alt dizesini en fazla k uyuşmazlığıyla eşleştirdiği tüm konumları bulmak için hızlı (doğrusal zaman) algoritmasına ihtiyacım var. Bu, k farklılıkları sorunundan farklıdır (düzenleme mesafesi). Uyumsuzluk alt dizeyi …

10 algorithms  reference-request  strings  string-metrics  substrings 

Kabul etmek, TM'nin şu anda okuduğu hücreden bir karakter okuyacağı ve tanıyacağı anlamına mı geliyor? Ve bir TM karar verilebilirse bir TM durur mu?

10 terminology  turing-machines  undecidability 

Aşağıdaki sorunu çözerken kafam karıştı (sorular 1-3). Soru Bir d -yığın yığını ikili bir yığın gibidir, ancak (bir olası istisna dışında), yaprak olmayan düğümlerin 2 çocuk yerine d çocukları vardır. Bir dizideki d -ary yığınını nasıl temsil edersiniz? Bir d- dizi n elementinin n ve d cinsinden yüksekliği nedir ? …

10 data-structures  time-complexity  runtime-analysis 

Teorik Bilgisayar Bilimi alanında bir ana dal arıyorum; özellikle karmaşıklık teorisi ve olasılıklı otomata teorisi ile ilgileniyorum. Bir yıl içinde mezun olduğum için, matematikte hangi gelişmiş dersleri (örneğin Galois teorisi veya Harmonik analizi gibi) önümüzdeki iki yarıyılda üstlenmenin yararlı olacağını düşünüyorsunuz? Neden?

10 complexity-theory  automata  education 

On Vikipedi , düzenleme mesafe için aşağıdan yukarıya dinamik programlama şeması için bir uygulama verilmiştir. Tanımı tam olarak takip etmez; iç hücreler şu şekilde hesaplanır: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] := minimum ( d[i-1, j] + 1, // …

10 algorithms  dynamic-programming  string-metrics  correctness-proof  program-optimization 

Çözünürlük teoreminin kanıtlanmasında, normalde farklı maddelerdeki değişkenlerin farklı olduğu varsayılmaktadır. Bu otomatik olarak gerçekleşen bir şey değildir; uygulamak için önemli ekstra kod ve hesaplama gerektirir. Bu göz önüne alındığında, bunun için bir test davası arıyorum. Sorun şu ana kadar denediğim tüm test vakalarında hiçbir fark yaratmıyor. Muhtemelen sadece olağandışı kenar …

10 logic  automated-theorem-proving 

hesaplamanın karmaşıklığı nedir ?nn2,n ∈ Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory  integers  number-theory 

nin sıralı bir alfabe üzerinde normal bir dil olduğunu varsayın . Dil, L' deki her kelimeyi alıp her zaman normal bir dil olarak sıralayarak mı oluşturulmuştur?LLLLLL

10 formal-languages  regular-languages 

Bu sorunun buraya ait olup olmadığından emin değilim ve özür dilerim. Ne yapmak için ben muhtemelen belirli bir dize dizeleri bir çanta içinde "ait" olup olmadığını belirleyebilir programatik bir yol geliştirmektir. Örneğin, 10.000 ABD şehir adından oluşan bir çantam varsa ve sonra "Philadelphia" ibarem varsa, 'Philadelphia'nın zaten bildiğim ABD şehir …

10 algorithms  reference-request  string-metrics 

Rasyonel ağırlığa sahip sinir ağlarının , Nöral Ağlarla Evrensel Turing Makinesi Turing hesaplanabilirliğinin hesaplama gücüne sahip olduğu kanıtlanmıştır . Anladığım kadarıyla, gerçek değerli ağırlıklar kullanmanın daha fazla hesaplama gücü sağladığı görülüyor, ancak bundan emin değilim. Bununla birlikte, bir sinir ağının hesaplama gücü ile aktivasyon fonksiyonu arasında herhangi bir korelasyon var …

10 computability  neural-networks 

IPv6 adreslerinin 862A:7373:3386:BF1F:8D77:D3D2:220F:D7E0ezvileştirilmesi ve hatta yazıya dökülmesi IPv4'ün 4 oktetinden daha zordur. Orada var olmuştur IPv6 adresleri nedense daha unutulmaz hale bu azaltmak için girişimleri. "İfadenin ödemeye değmeyecek şekilde bükülmesi durumunda bu nispeten iyi huylu ve fark edilmesi kolay" ifadesinin hedef IPv6 adresine hash olacağını söylemek için tersine çevrilebilen kasıtlı …

10 cryptography  computer-networks  hash  user-interface 

\newcommand\ldotd{\mathinner{..}} göz önüne alındığında A[1..n]A[1..n]A[1\ldotd n] tamsayılardır, öyle ki 0≤A[k]≤m0≤A[k]≤m0\le A[k]\le m tüm 1≤k≤n1≤k≤n1\le k\le n ve her bir oluşum A [1 \ ldotd n] içindeki belirli bir sayı dışındaki sayı A[1..n]A[1..n]A[1\ldotd n]tek bir sayıdır. Oluşumu çift sayı olan sayıyı bulmaya çalışın. Bir Θ(nlogn)Θ(nlog⁡n)\Theta(n\log n) algoritması vardır: A[1..n]A[1..n]A[1\ldotd n] yi …

10 algorithms  search-algorithms 

Soru, Arora-Barak'ın Hesaplamalı Karmaşıklık - Modern Bir Yaklaşım kitabından 1.9 alıştırmasıdır : Bir RAM Turing makinesini, rasgele erişim belleği olan bir Turing makinesi olarak tanımlayın. Bunu şu şekilde resmileştiriyoruz: Makinenin tüm boşluklara başlatılan sonsuz bir A dizisi var. Bu diziye aşağıdaki gibi erişir. Makinenin çalışma bantlarından biri adres bandı olarak …

10 complexity-theory  turing-machines  machine-models  simulation