Bilgisayar Bilimi

Bir girişin palindrom olup olmadığına karar verme probleminin Turing makinesinde alanı gerektirdiği kanıtlanmıştır . Ancak, girdinin depolanması bile alanı kaplar , bu da tüm Turing makinelerinin alanı gerektirdiği anlamına gelmez mi?Ω ( günlükn )Ω(günlük⁡n)\Omega(\log n)nnnΩ(n)Ω(n)\Omega(n) Tabii ki, burada bir çelişki yoktur, çünkü en azından doğrusal alanı kullanan herhangi bir işlev …

10 turing-machines  space-complexity 

Can Birisi Enlighten bana o geri çark ile özyinelemeli iniş ayrıştırıcı çalışır neden yapımları ve S → bir bir gramer oluşturduğu dili tanımıyor (bu sırayla) S → bir S a | a a .S→aSaS→aSaS \rightarrow aSaS→aaS→aaS \rightarrow aaS→aSa | aaS→aSa | aaS \rightarrow aSa\ |\ aa Yalnızca dilden sözcükleri ayrıştırdığı …

10 context-free  formal-grammars  compilers  parsers 

Düzenli ifadelere bakmanın bir yolu, aşağıdaki gerçeğin yapıcı bir kanıtıdır: küçük bir dil grubuyla başlayıp küçük, sabit bir kapatma özellikleri seti ile birleştirerek normal dilleri oluşturmak mümkündür. Özellikle, boş dil, boş dizeyi içeren dil ve tüm tek karakterli dizelerin dilleriyle başlarsak, birleşim, birleştirme ve Kleene yıldızı kullanarak tüm olası normal …

10 formal-languages  context-free  closure-properties  regular-expressions 

Ben bakıyordu burada , ben ikisinin çoğalması için en iyi çalışma zamanını fark numaralar -bits olan ama kolayca fark edebilirsiniz çalışan algoritma .O ( n ⋅ log n ⋅ 2 O ( log ∗ n ) O ( n ⋅ log n )nnnO ( n ⋅ günlüğün ⋅ 2O ( …

10 runtime-analysis 

Belirli bir metin dizesi ve tüm alt dizeleri kabul eden bir döngüsel sonlu durum otomatı üreten bir desen eşleme algoritması ile çalışıyorum. FSA algoritması bir müzik akışının sembolik bir temsili üzerinde yürütülmektedir (örneğin, MIDI verileri). Müzik akışı, her şarkıyı etiketlenmemiş 'bölümlere' bölmek için önceden işlenmiştir. Her şarkıdaki her bölüm için …

10 formal-languages  reference-request  finite-automata 

Ben gibi çeşitli yerlerde okumak zorunda bu performans düşmesine yol Hyper Threading ki. Hiper iş parçacığının neden veya nasıl bozulmaya yol açtığını anlayamıyorum. Hiper iş parçacığı işletim sisteminin serbest kaynakları kullanmasına izin verdiğinde bile bozulma gerçekleşir. Her ne kadar kriterler hiper iş parçacığını suçlu olarak gösteriyor olsa da biri bunun …

10 computer-architecture  performance  threads 

You have nnn ille ayrılmaz değil, rasgele uzunlukta sopa. Bazı çubukları keserek (bir kesim bir çubuğu keser, ancak istediğimiz kadar kesebiliriz), k&lt;nk&lt;nk<n çubukları almak istersiniz : Tüm bu çubukları aynı uzunlukta;kkk Tüm çubukları en az diğer çubuklar kadar uzun.kkk kesimleri yaptıktan sonra çubukları elde ettiğimizi unutmayın .n+Cn+Cn + CCCC Hangi …

10 algorithms  optimization 

ve iki sembol verildiğinde , Fibonacci dizesini şu şekilde tanımlayalım :b kbira\text{a}bb\text{b}kkk F( k ) = ⎧⎩⎨bbirF( k - 1 ) ⋆ F( k - 2 )eğer k=0eğer k=1BaşkaF(k)={bif k=0aif k=1F(k−1)⋆F(k−2)else F(k) = \begin{cases} \text{b} &\mbox{if } k = 0 \\ \text{a} &\mbox{if } k = 1 \\ F(k-1) \star …

10 algorithms  algorithm-analysis  runtime-analysis  strings  substrings 

Bir bulmaca listesine çok benzeyen klasik bir bulmaca kitabı oyunu var, ancak bir kelime listesi veriliyor ve daha sonra, bir kare gibi oluşturulmuş bazı kareler ile birim karelerden oluşan bir kare tahta veriliyor ve bazı meydanlarda önceden yazılmış bir mektup vardır. Amaç, her sözcüğü listeden bir kez ve yalnızca bir …

10 complexity-theory  np-complete  board-games 

Size ağırlıklı kenarları olan yönlendirilmemiş bir grafik verdiğimi varsayalım ve her düğümün 3B alanda bir noktaya karşılık geldiğini söylüyorum. İki düğüm arasında bir kenar olduğunda, kenarın ağırlığı noktalar arasındaki mesafedir. Amacınız sadece mevcut mesafeler (kenar ağırlıkları ile temsil edilen) göz önüne alındığında noktaların göreceli konumlarını yeniden yapılandırmaktır. Örneğin, size verdiysem, …

10 complexity-theory  graph-theory  computational-geometry  euclidean-distance 

İkili gösterimde iki xxx ve tamsayısı verildiğinde nnn, bit büyüklüğünü hesaplamanın karmaşıklığı nedir?xnxnx^n Bunu yapmanın bir yolu , log 2 ( x ) yeterli hassasiyetle hesaplayarak hesaplamaktır . Görünen o ki, işlem günlük 2 ( X ) ile1+⌊log2(xn)⌋=1+⌊nlog2(x)⌋1+⌊log2⁡(xn)⌋=1+⌊nlog2⁡(x)⌋1+\lfloor \log_2(x^n)\rfloor=1+\lfloor n\log_2(x)\rfloorlog2(x)log2⁡(x)\log_2(x)log2(x)log2⁡(x)\log_2(x)kkk hassasiyetleri bitten yapılabilir O(M(k)logk)O(M(k)log⁡k)O(M(k)\log k) burada M(k)M(k)M(k) uzunluğu iki tamsayı …

10 complexity-theory  time-complexity  binary-arithmetic 

Durma probleminde, belirli bir Turing makinesi M'nin belirli bir girişte durup durmadığını söyleyebilen bir Turing makinesi TTT olup olmadığı ilgileniriz . Genellikle, kanıt böyle bir var olduğunu varsayar . Biz kısıtlamak nerede Sonra, bir davaya için kendisi ve sonra bir diyagonal argüman örneğini kullanarak bir çelişki türetmek. I söz verdiğimizde …

10 computability  undecidability  halting-problem 

Eğer sonra hiyerarşi (Karp-Lipton teoreminden) ikinci düzeyine çöker. Peki ya N P ve c o N P ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Ben N P (diğer yön R P = N P ise önemsiz) içerdiğini kanıtlamaya çalıştım ama boşuna, ve bunun doğru olduğundan bile emin değilim.BPPBPP\sf BPPNPNP\sf NPRP=NPRP=NP\sf RP …

10 complexity-theory  complexity-classes  probabilistic-algorithms 

Sonlu bir tepe kümesi üzerindeki bir denklik ilişkisi, ayrık bir klips birliği olan yönlendirilmemiş bir grafikle temsil edilebilir. Tepe noktası öğeleri temsil eder ve bir kenar iki öğenin eşdeğer olduğunu temsil eder. Bir grafiğim ve grafiklerine , kenar kümesi, kenar kümelerinin birleşimine eşitse kapsamında olduğunu söylüyoruz. . kenar kümelerinin ayrık …

10 algorithms  graph-theory  clique 

Göre Peter Selinger , Lambda Matematik Cebirsel olan (PDF). Bu makalenin başlarında şöyle diyor: Bu tatmin etmez, çünkü lambda hesabın kombinatoriyel yorumlanması, kusurlu olduğu bilinen ξξξ üstünlüğü: yorumuyla, M=NM=NM = N anlamına gelmez λx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N (Barendregt, 1984). Sorular: Burada ne tür bir denklik kastedilmektedir? Bu denklik tanımı …

10 terminology  lambda-calculus  combinatory-logic