«reference-request» etiketlenmiş sorular

Polinom zamanında çözülebilecek bazı zor karar sorunlarına örnekler nelerdir? Optimal algoritmanın "yavaş" olduğu veya bilinen en hızlı algoritmanın "yavaş" olduğu sorunları arıyorum. İşte iki örnek: Mükemmel grafikleri tanıma. FOCS'03 makalelerinde [1] Cornuéjols, Liu ve Vuskovic problem için zaman algoritması vermiştir, burada köşe noktası sayısıdır. Bu sınırın geliştirilip geliştirilmediğinden emin değilim, …

15 algorithms  complexity-theory  reference-request 

Kendini öğrenen kanıt asistanıyım ve bazı temel kanıtlara başlamaya ve yoluma devam etmeye karar verdim. İspatlar diğer ispatlara dayandığından ve bu nedenle bir hiyerarşi oluşturduğundan, ispat hiyerarşisinin havuzu var mı? Belirli bir kanıt asistanı seçebileceğimi ve hiyerarşisini çıkarmak için kütüphanesini analiz edebileceğimi biliyorum, ancak kanıtlamak için bir zincirde bir sonraki …

15 reference-request  logic  proof-assistants 

Genellikle boş dizgi (boş sözcük veya boş dize) için sembolünü kullanırım . Ama bazı insanların yerine kullandığını biliyorum .λ εεε\varepsilonλλ\lambdaεε\varepsilon Ben "Boş" kelimesinden türetilmiştir düşünüyorum . Ancak kökeni nedir bilmiyorum .λεε\varepsilonλλ\lambda Otomata teorisinde, otomatanın epsilon geçişi vardır ve bunun da lambda geçişi olduğu söylenir. Örneğin, JFLAP yazılımı varsayılan olarak epsilon …

14 formal-languages  automata  reference-request  notation  history 

Merak ediyorum, Tamsayı Doğrusal Programlama'yı çözmek için Big- gösterimi açısından en iyi bilinen algoritma nedir?ÖOO Sorunun olduğunu biliyorum , bu yüzden polinom bir şey beklemiyorum. CPLEX gibi pratik uygulamalarda kullanılan birçok buluşsal yöntem ve bunun olduğunu biliyorum, ancak daha kesin bir algoritmanın resmi, en kötü durum karmaşıklığıyla ilgileniyorum.N-PNPNP Bazı -Komple …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

Bir öğrenci kısa süre önce benden onlar için bir NP sertlik kanıtı kontrol etmemi istedi. Şunlar boyunca bir azalma gerçekleştirdiler: Bu sorun azaltmak NP-tam benim problem için olduğu bilinir böylece (a poli-zamanlı birçok kimse azalma ile birlikte) NP-zor. P PP'P′P'PPPPPP Cevabım temel olarak: Yana değerlerle örneği var Eğer azalma atlamak …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

İki ve sayısı verildiğini ve l \ le i, \, j \ le r için bulmak istediğimizi varsayalım .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Saf algoritma tüm olası çiftleri kontrol eder; örneğin yakutta: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| if (i ^ j > max) max …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

Let bir grafiktir olabilir ve izin s ve t , iki köşe olması , G . S ve t arasındaki tüm en kısa yollar kümesinden en kısa s - t yolunu rastgele ve bağımsız olarak etkin bir şekilde örnekleyebilir miyiz ? Basitlik için, G'nin basit, yönlendirilmemiş ve ağırlıksız olduğunu varsayabiliriz …

14 graph-theory  reference-request  shortest-path  sampling 

Birisi beni işlevsel bir tarzda kod yazmanın avantajlarını veya dezavantajlarını inceleyen hakemli makalelere yönlendirebilir mi? Makine Öğrenmesi, Dil Tasarımı vb. Alanlarda Lambda Matematik uygulamalarını tartışan makaleler var mı?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Bu iki konuyla ilgili birkaç sorum var. İlk olarak, çoğu karmaşıklığı metinleri yalnızca sınıf geçiştirmeye . Araştırmayı daha derinlemesine kapsayan iyi bir kaynak var mı? Örneğin, aşağıdaki tüm sorularımı tartışan bir şey. Ayrıca, N C'nin paralelleşme bağlantısı nedeniyle hala oldukça fazla araştırma gördüğünü varsayıyorum , ancak yanlış olabilirim. Karmaşık hayvanat …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Böl ve fethetmenin klasik bir uygulaması, aşağıdaki sorunu çözmektir: Bir diziye , farklı, karşılaştırılabilir öğelerden oluşan verildiğinde, dizideki ters çevirme çiftlerinin sayısını sayın: çiftler , ve .a[1…n]a[1…n]a[1\dots n](i,j)(i,j)(i,j)a[i]>a[j]a[i]>a[j]a[i] \gt a[j]i<ji<ji \lt j Buna bir yaklaşım Bir Birleştirme Sıralaması yapmak, ancak aynı zamanda alt problemlerdeki ters çevirme çiftlerinin sayısını saymaktır. Birleştirme …

14 algorithms  reference-request  arrays 

Göre Ara maddesi , L vasıtası "tarama için sağ-sol", ve "R" anlamına gelir "sağdaki türev". Bununla birlikte, Knuth'un gramerleriyle ilgili orijinal belgesinde , (sayfa 610) ' ile soldan sağa çevrilebilen bir dil olarak tanımlar .LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)kkk Bu yeni terminolojinin ayrışmasının "soldan sağa taraması, en soldaki türevi" tamamlaması için seçildiğini tahmin ediyorum …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Önbellek-habersiz algoritmalar ve veri yapıları , Frigo ve ark. içinde Cache-habersiz algoritmalar 1999 . Prokop'un aynı yılki tezi de ilk fikirleri tanıtıyor. Frigo ve ark. teorinin ve önbellek-habersiz algoritmaların ve veri yapılarının potansiyelini gösteren bazı deneysel sonuçlar sunar. Birçok önbellek-habersiz veri yapısı statik arama ağaçlarına dayanır. Bu ağaçları saklama ve …

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

Minimum bant genişliği sorunu, iki komşu düğüm arasındaki en büyük mesafeyi en aza indiren tamsayı çizgisi üzerinde grafik düğümlerinin sırasını bulmaktır. Karar problemi ikili ağaçlar için bile NP-eksiksizdir. Bant Genişliğini Azaltma için Karmaşıklık Sonuçları. Garey, Graham, Johnson ve Knuth, SIAM J. Appl. Math., Cilt no. 34, No.3, 1978 . İkili …

14 complexity-theory  np-complete  reference-request  approximation 

Ben son zamanlarda bir arkadaşım tarafından bilgisayar bilimi alanında büyük bir ansiklopedi alan 16 yaşında bir erkeğim. Genellikle bilgisayar ve teknoloji ile ilgilenmiyorum, ancak bilgisayar bilimi beni büyülemeye başladı. Bununla birlikte, CS değil Fizik ve / veya Matematik eğitimi almayı düşünüyorum, bu yüzden sorum şu: bilgisayar bilimini kendi kendine incelemek …

14 reference-request  education 

Literatür, ilkel çarpımlı birim maliyetli RAM'lerin makul olmadığı, Turing makineleri tarafından polinom zamanda simüle edilemez polinom zamanında PSPACE-complete problemlerini çözebilir Bununla birlikte, bu konuda bulabildiğim tüm referanslar (Simon 1974, Schonhage 1979) ayrıca boole işlemleri, tamsayı bölümü vb. Sadece toplama, çarpma ve eşitliğe sahip RAM'lerin "makul" olması için herhangi bir sonuç …

13 complexity-theory  reference-request  computation-models  history