«proof-techniques» etiketlenmiş sorular

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 

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 

(Yapısal) indüksiyon duydum. Küçük yapılardan sonlu yapılar oluşturmanıza izin verir ve bu tür yapılar hakkında akıl yürütme için kanıt ilkeler sunar. Fikir yeterince açık. Peki ya coinduction? O nasıl çalışır? Sonsuz bir yapı hakkında kesin bir şey nasıl söylenebilir? Bir şeyi tanımlamanın bir yolu olarak ve bir ispat tekniği olarak …

68 terminology  logic  proof-techniques  formal-methods  coinduction 

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 

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 

Birisi derleyici olacak olan çok sayıda konuda bir kış kursu öğretmeyi planlıyorum. Şimdi, çeyrek boyunca vereceğim ödevleri düşünürken bu problemle karşılaştım, ama bunun yerine bir örnek olarak kullanabilmem için beni çok kızdırdı. public class DeadCode { public static void main(String[] args) { return; System.out.println("This line won't print."); } } Yukarıdaki …

32 computability  proof-techniques  compilers 

Durma sorununun kararsızlığının kanıtını (örneğin Papadimitriou'nun ders kitabında köşegenleştirmeye dayanarak) anladım. Kanıt inandırıcı olsa da (her adımını anlıyorum), tek başına sorundan başlayarak birinin nasıl türeteceğini görmeme anlamında benim için sezgisel değil. Kitabın kanıtı şöyle devam eder: " girişindeki durma problemini çözdüğünü varsayalım , yani Turing makinesi girişi için durup karar …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

Baker-Gill-Solovay'ı açıklayabildiğimde, sahip olabileceğimiz bir kehanetin, ve var olabileceğimiz bir kahin olduğunun bir arkadaşıma, bu tür tekniklerin neden problemini ispatlamak için uygun olmadığına dair bir soru geldi ve tatmin edici bir cevap veremedim.PNPP=NP\mathsf{P} = \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP} Daha somut ifade etmek gerekirse, i ispatlamak için bir yaklaşımım varsa …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

Doğru olabileceğinden şüphelendiğim açgözlü bir algoritma var ama emin değilim. Doğru olup olmadığını nasıl kontrol edebilirim? Açgözlü bir algoritmayı doğrulamak için kullanılacak teknikler nelerdir? Ortak kalıplar veya teknikler var mı? Bunun yeni başlayanlara işaret etmek için kullanılabilecek bir referans sorusu olacağını umuyorum ; dolayısıyla normalden daha geniş kapsamı. Lütfen en …

29 algorithm-analysis  proof-techniques  correctness-proof  greedy-algorithms 

Bildiğim her çözülemeyen sorun aşağıdaki kategorilerden birine giriyor: Köşegenleştirme nedeniyle çözülemeyen problemler (dolaylı öz referans). Bu problemler, durma problemi gibi, kararsızdır, çünkü davranışı çelişkiye yol açan bir TM oluşturmak için dilin iddialı bir karar vericisini kullanabilirsiniz. Ayrıca, Kolmogorov'un karmaşıklığı ile ilgili olarak saptanamayan birçok sorunu bu kampa götürebilirsiniz. Doğrudan referans …

28 computability  proof-techniques  undecidability 

Karmaşıklık kursu alıyorum ve NPC sorunları arasında bir düşüşle karşılaşmakta güçlük çekiyorum. Sorunlar arasındaki azalmaları nasıl bulabilirim? Kullanabileceğim genel bir numara var mı? NPC olduğunu kanıtlamamı isteyen bir soruna nasıl yaklaşmalıyım?

27 complexity-theory  np-complete  proof-techniques  reductions 

Orada birçok teknik bir dil olduğunu kanıtlamak için değil bağlam içermeyen, ama nasıl bir dil olduğunu ispat yok olduğu bağlamdan-bağımsız? Bunu kanıtlamak için hangi teknikler var? Açıkçası, bunun bir yolu, dil için bağlamsız bir dilbilgisi sergilemektir. Belirli bir dil için bağlamsız bir dilbilgisi bulmak için sistematik teknikler var mı? Düzenli …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question