«reference-question» etiketlenmiş sorular

Bilgisayar ve karmaşıklıkla ilgili bir kursa gidiyorum ve bu terimlerin ne anlama geldiğini anlayamıyorum. Tek bildiğim, NP'in NP zorluğunun bir alt kümesi olan NP tamamının bir alt kümesi olduğu, ancak gerçekte ne anlama geldiklerini bilmiyorum. Açıklamalar hala biraz fazla yüksek olduğu için Wikipedia da pek yardımcı değil.

247 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

Algoritmaların çalışma zamanını nasıl analiz edeceğinizle ilgili birçok soru var (bkz. Örneğin çalışma zamanı analizi ve algoritma analizi ). Birçoğu, örneğin, iç içe döngüler için maliyet analizi veya bölme ve fethetme algoritmaları isteyenlere benzer, ancak çoğu cevap özel olarak yapılmış gibi görünmektedir. Öte yandan, başka bir genel soruya verilen cevaplar …

159 algorithms  algorithm-analysis  runtime-analysis  proof-techniques  reference-question 

Düzenli ifadeleri aynı dili kabul eden (en az) NFA'ya dönüştürmek standart algoritmalar ile kolaydır, örneğin Thompson algoritması . Diğer yön daha sıkıcı görünüyor, ancak bazen ortaya çıkan ifadeler dağınık. NFA'yı eşdeğer normal ifadelere dönüştürmek için hangi algoritmalar var? Zaman karmaşıklığı veya sonuç büyüklüğü ile ilgili avantajlar var mı? Bunun bir …

115 algorithms  formal-languages  finite-automata  regular-expressions  reference-question 

Ya kanıtlama girişimleri çok var veya ve doğal olarak birçok kişi ya yönünü kanıtlayan için fikir sahibi olmak, soru düşünün.P ≠ N PP=NPP=NP\mathsf{P} = \mathsf{NP} P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} İşe yaramadığı kanıtlanmış yaklaşımlar olduğunu ve başarısızlık geçmişi olan muhtemelen daha fazlası olduğunu biliyorum. Ayrıca birçok kanıt araştırmasının üstesinden gelemediği engeller de …

96 complexity-theory  reference-request  history  p-vs-np  reference-question 

Giriş algoritma sınıflarının çoğunda, (Büyük O) ve gibi notasyonlar tanıtılır ve bir öğrenci genellikle zaman karmaşıklığını bulmak için bunlardan birini kullanmayı öğrenir.OOOΘΘ\Theta Bununla birlikte, bu gibi başka gösterimleri vardır,ooo , ve ω . Bir gösterimin diğerine tercih edilebileceği herhangi bir özel senaryo var mı?ΩΩ\Omegaωω\omega

90 algorithms  terminology  asymptotics  landau-notation  reference-question 

Bilgisayar bilimlerinde, yinelemeli olarak tanımlanmış bir sayı dizisi için kapalı bir form bulan tekrarlama ilişkilerini çözmemiz gerekir . Çalışma süreleri düşünüldüğünde, çoğunlukla dizinin asimptotik büyümesiyle ilgileniyoruz . Örnekler Aşağı doğru adım bir kuyruk-özyinelemeli fonksiyon zamanı dan olan vücut zaman alır :000nnnf(n)f(n)f(n) T(0)T(n+1)=0=T(n)+f(n)T(0)=0T(n+1)=T(n)+f(n)\qquad \begin{align} T(0) &= 0 \\ T(n+1) &= T(n) …

89 asymptotics  proof-techniques  combinatorics  recurrence-relation  reference-question 

dillerin sınıfını öğrendik . Hem ile karakterizedir bağlamdan-bağımsız gramerler ve Altbasımlı özdevinirler'in verilen bir dil bağlamından bağımsız olduğunu göstermek kolaydır böylece.C F LCFL\mathrm{CFL} Yine de tam tersini nasıl gösteririm? Benim TA'm, bunu yapabilmek için , eldeki dili tanımlayamadıklarını, tüm gramerlere (veya otomatlara) göstermek zorunda kalacağımızın farkındaydı. Bu büyük bir görev …

88 formal-languages  context-free  proof-techniques  reference-question 

Normal dil sınıfını öğrendik . Düzenli ifadeler, sonlu otomatlar ve sol-doğrusal gramerler arasındaki herhangi bir kavram ile karakterize edilir, bu nedenle verilen bir dilin düzenli olduğunu göstermek kolaydır.REGREG\mathrm{REG} Yine de tam tersini nasıl gösteririm? Benim TA'm, bunu yapmak için, eldeki dili tanımlayamadıklarını, tüm düzenli ifadeler için (veya tüm sonlu otomatlar …

75 formal-languages  regular-languages  proof-techniques  reference-question 

Normalde algoritmalarda sayıların karşılaştırılması, eklenmesi veya çıkarılması umurumda değil - onların zamanlarında çalıştıklarını varsayıyoruz . Örneğin, karşılaştırmaya dayalı sıralamanın olduğunu söylediğimizde bunu varsayıyoruz , ancak sayılar kayıtlara sığmayacak kadar büyük olduğunda, normalde bunları sıralar olarak temsil ediyoruz, bu yüzden temel işlemler eleman başına ekstra hesaplamalar gerektiriyor.O ( n log n …

73 algorithms  complexity-theory  algorithm-analysis  time-complexity  reference-question 

İnsanlar genellikle LR (k) ayrıştırıcılarının LL (k) ayrıştırıcılardan daha güçlü olduğunu söyler . Bu ifadeler çoğu zaman belirsizdir; Özellikle, biz sabit için sınıfları karşılaştırmak gerekir her yerinde veya birlik k ? Peki durum gerçekten nasıl? Özellikle, LL (*) 'nin nasıl uyduğuyla ilgileniyorum.kkkkkk Bildiğim kadarıyla, LL ve LR ayrıştırıcılarının kabul ettiği …

67 formal-languages  formal-grammars  parsers  reference-question 

Orada kanıtlamak için birçok yöntem vardır bir dil düzenli değildir , ama ne bazı dil olduğunu kanıtlamak için yapmam gerekiyor ise düzenli? Örneğin, nin düzenli olması durumunda, aşağıdaki L following ' nin de düzenli olduğunu nasıl kanıtlayabilirim ?LLLL'L′L' L': = { w ∈ L : u v = u ∈ …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

Bir fonksiyonun hesaplanabilir olması durumunda, bir Turing Makinesi olduğunu biliyorum. Öyleyse, işlevin hesaplanabilir olmadığını ya da bunun için herhangi bir Turing Makinesi olmadığını gösterme. Pumping lemması gibi bir şey var mı?

43 computability  proof-techniques  undecidability  reference-question 

Bir programcı olduğumu ve onu çözmek için ihtiyacım olan NP-tamam bir sorunum olduğunu varsayalım. NPC problemleriyle başa çıkmak için hangi yöntemler mevcut? Bu konuda bir anket ya da benzeri bir şey var mı?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

Görünüşe göre bu sitede, insanlar "algoritmaları" ve "sorunları" karıştırdıkları için başkalarını da düzeltirler. Bunlar arasındaki fark nedir? Algoritmaları ne zaman düşünmem ve problemleri düşünmem gerektiğini nasıl bilebilirim? Bunlar biçimsel dil teorisindeki dil kavramı ile nasıl ilişkilidir?

40 algorithms  complexity-theory  formal-languages  terminology  reference-question 

Hesaplanabilirlik ve karmaşıklık teorisinde (ve belki başka alanlarda), indirimler her yerde bulunur. Pek çok çeşit var, ancak prensip aynı kalıyor: probleminin bir çözüme eşdeğer olanlara eşleştirilmesiyle en azından diğer problemleri kadar zor olduğunu . Temel olarak, eğer işlevini önişlemci olarak kullanmasına izin , için herhangi bir de çözebileceğini .L 2 …

40 complexity-theory  computability  reductions  proof-techniques  reference-question