«proofs» etiketlenmiş sorular

Programlama dersine girişte, bir algoritmanın beklediğimizi yaptığını kanıtlamanın Başlatma-Bakım-Sonlandırma yöntemini öğreniyoruz. Ancak, sadece doğru olduğu bilinen bir algoritmanın doğru olduğunu kanıtlamak zorundaydık. Hiçbir zaman bir algoritmanın doğru olmadığını göstermemiz istenmedi. Doğru görünen, ancak doğru olmayan klasik algoritma örnekleri var mı? İlklendirme-Bakım-Sonlandırma yaklaşımının ilk bakışta sezginin yapmadığı bir şey yakaladığı vakaları …

15 ds.algorithms  proofs 

Öğenin benzersizliği / farklılığı sorunu için (cebirsel hesaplama ağaçlarına veya çekişmeli argümanlara dayanarak) mantıksal alt sınır için birkaç kanıt vardır, ancak algoritma analizi ve tasarımında ilk derste kullanılacak kadar basit olanı arıyorum. Sıralama için alt sınır ile aynı “zorluk seviyesi” iyi olacaktır. Ayrıca, herhangi bir yaklaşım (örneğin, birleştirici veya bilgi …

13 cc.complexity-theory  lower-bounds  proofs 

Güçlü Üstel Zaman Hipotezinin (SETH) belirsiz olmayan bir uzantısını tartışan bu makaleye göre , "[…] Williams son zamanlarda k-TAUT'un Merlin-Arthur karmaşıklığı ile ilgili hipotezleri yanlış gösterdi". Ancak, bu yazı sadece kişisel bir iletişimi belirtmektedir. SETH'nin MA versiyonunun nasıl yanlış olduğu kanıtlanmıştır? Formülün cebirlenmesini içerdiğinden şüpheleniyorum , ancak başka bir fikrim …

13 sat  proofs  nondeterminism 

Leslie Lamport'un "Fast Paxos" gazetesini okuyorum ve hem klasik Paxos'un hem de Fast Paxos'un doğruluğuna dair kanıtlarla takıldım. Tutarlılık için değer fazı koordinatör tarafından çekilen turda tatmin etmelidirvvv2a2a2aiii CP(v,i):CP(v,i):CP(v,i): bir tur için , dışında bir değer veya henüz yuvarlak seçilebilir olabilir edilmiştir .j&lt;ij&lt;ij < ivvvjjj Klasik Paxos için , kanıt …

13 ds.algorithms  dc.distributed-comp  proofs 

Son zamanlarda interaktif kanıtları öğreniyordum ve her şeyin teorik bir meraktan başka bir şey olup olmadığını ya da herhangi bir pratik uygulaması olup olmadığını merak ediyorum. Duşta başıma gelen bir örnekle başlayacağımı düşündüm: Son zamanlarda "Tanrı'nın Numarası" = 20 olduğu haberi veriliyor. (Tanrı'nın sayısı, Rubik Küpünü çözmek için gereken minimum …

13 proofs  puzzles  interactive-proofs 

In HAC (10.4.2) bölüm 10 , biz kare kökler faktör zor bir kompozit modulo çıkarma (farz) kullanırken zorluk sıfır bilgi kanıta dayalı iyi bilinen Feige-Fiat-Shamir kimlik protokolünü görüyoruz. Şemayı kendi sözlerimle vereceğim (ve umarım doğru olur). Daha basit bir şema ile başlayalım: , faktoringin çekilemez olduğu kadar büyük boyutta bir …

12 cr.crypto-security  proofs  zero-knowledge 

Her şeyden önce, Gödel'in eksiklik teoremi (ve genel olarak biçimsel mantık) hakkındaki anlayışım çok naif, aynı zamanda teorik bilgisayar bilimi hakkındaki bilgim (hala bir lisanstayken alınan sadece bir lisansüstü ders anlamına geliyor), bu yüzden bu soru çok saf. Bulabildiğim kadarıyla, P'nin NP'ye karşı olasılığı açık bir sorundur. Şimdi: Gödel'in ilk …

11 np-hardness  proofs  p-vs-np 

1996 yılında uzun süredir devam eden bir sorun bilgisayar tarafından çözüldü; Yani, Robbins cebiri ve Boolean cebiri aynıdır. Kanıt, otomatik bir teorem uzmanı tarafından bulundu. Ayrıca, Dört renk teoreminin bilinen kanıtı bilgisayar tarafından üretilen bileşenler içerir. Bu sorunun amacı, bilgisayar tarafından (tamamen veya kısmen) bulunan kanıtları listelemektir (bilinen tek kanıt …

11 soft-question  big-list  proofs  automated-theorem-proving 

Bir süredir bir SAT algoritması geliştiriyorum ve paylaşmak istediğim bir noktaya geldim. Bilgisayar bilimlerinde çok insan tanımıyorum ve tam olarak nereye döneceğimi bilmiyorum. Yayınlamayı düşünen bir algoritmaya sahip biri için hangi kaynakların kullanılabilir olduğunu merak ediyorum. Ayrıca algoritmamın çalışma zamanını ve doğruluğunu analiz etmek için yardıma ihtiyacım var. Benim en …

11 sat  soft-question  proofs