Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

1
Kanıt denetleyicisi hatası hiç önemli bir kanıtı geçersiz kıldı mı?
Çoğu (tümü?) Kanıt asistanının ara sıra sağlamlık sorunları vardır. Ancak, gördüklerimden bu böcekleri istemeden rastlamak zordur ve hata düzeltilmeden önce sonuçların genellikle düzeltmeden sonra tutulduğunu kanıtladı. Güç sırasına göre üç soru: Böyle bir sağlamlık hatası düzeltmesi, kanıtı değiştirmeden büyük bir kanıtın başarısız olmasına neden oldu mu? (1) doğruysa, kanıtı düzeltmek …
1
Birkaç jeton atışı kullanarak taraflı bir bozuk para bulma
Araştırma sırasında aşağıdaki sorun ortaya çıktı ve şaşırtıcı derecede temiz: Bir madeni para kaynağınız var. Her madalyonun bir önyargısı vardır, yani "kafaya" düşme olasılığı. Her madeni para için bağımsız bir şekilde 2/3 önyargılı olma olasılığı vardır ve olasılığın geri kalanında önyargılı herhangi bir sayı olabilir [0,1]. Madeni paraların önyargılarını bilmiyorsun. …
2
“X NP tamamlandı” ne zaman “#X # P tamamlandı” anlamına mı geliyor?
Let np anlamında olabildikleri bir (karar) sorunu ve # let X anlamında olabildikleri onun sayma versiyonunu.XXXXXX Hangi şartlar altında "X'in NP tamamlandı" olduğu biliniyor ⟹⟹\implies "#X # P tamamlandı"? Tabii ki cimri bir indirgemenin varlığı böyle bir durumdur, ancak bu açıktır ve bildiğim tek koşul budur. Nihai amaç hiçbir koşulun …
2
Polinom süresindeki iki permütasyonun toplamını tanımlayabilir misiniz?
Orada iki soru ya ilişkin veya aşağıdaki soruya özel bir durum eşdeğer vardı cs.se son zamanlarda sordu: Eğer bir dizi olduğunu varsayalım a1,a2,…ana1,a2,…ana_1, a_2, \ldots a_n ve nnn sayı olacağı şekilde ∑ni=1ai=n(n+1).∑i=1nai=n(n+1).\sum_{i=1}^n a_i = n(n+1). İki permütasyon, toplamı halinde ayrıştırmak ππ\pi ve bölgesinin böylece, .1 … n a i = …
2
En Yaygın Madde
Bir dizgede dizisi vardır , ancak bunlar genellikle farklı değildir. Herhangi bir sıranın maksimum frekansını bulmanın karmaşıklığı nedir?2n2n2^n Örneğin, "takip sırası", "dava" sırasının 7 kopyasını içerir ve bu maksimumdur. Numune kaba kuvvet şifre http://ideone.com/UIp3t İlgili yapısal teoremler var mı? Bunların her ikisi de yanlıştır : Maksimum frekans alt dizilerinin en …
1
Durma problemi, hesaplanamayan kümeler: ortak matematiksel kanıt?
Sayılabilir bir algoritma kümesiyle (bir Gödel numarasıyla karakterize edilir), N'nin tüm alt kümelerini hesaplayamadığımız (ait olanı kontrol eden bir ikili algoritma inşa edebileceğimiz) bilinmektedir. Bir kanıt, şöyle özetlenebilir: eğer yapabilirsek, N'nin tüm alt kümelerinin kümelenmesi sayılabilir (her bir alt kümeyle ilişkilendirilebilir, onu hesaplayan algoritmanın Gödel sayısını belirleyebiliriz). Bu yanlış olduğu …
2
Valiant-Vazirani’nin derandomize edilmesi?
Valiant-Vazirani teoremi tam olarak bir tatmin edici bir düzenlemeye sahiptir SAT formülü ve bir edilemezdir formül arasında ayrım yapmak için bir polinom zaman algoritmasını (deterministik ya da randomize) bulunmaktadır - sonra NP = RP . Bu teorem, UNIQUE-SAT'ın, rastgele indirgeme altında NP- hard olduğunu göstererek kanıtlanmıştır . Mantıklı derandomizasyon varsayımlarına …
1
Fourier katsayıları, AND OR ve XOR geçitleriyle Sınırlı Derinlik Devreleri tarafından tanımlanan Boolean Fonksiyonları
Let bir Boole fonksiyonu olabilir ve en bir fonksiyonu olarak f düşünelim için . Bu dilde, f'nin Fourier genişlemesi, kare serbest monomiler açısından f'nin genişlemesidir. (Bu monomials bir gerçek fonksiyonların boşluğa temelini oluşturan . Katsayılarının karelerinin toplamı basitçe çok kare serbest monomials bir olasılık dağılımını sağlar. Bu dağıtıma F dağıtımı …
2
Karmaşıklık sonuçları için polinom metodu
Polinom metodları , Kombinatoryal Nullstellensatz ve Chevalley – Warning teoreminin ilave kombinasyonlarda güçlü araçlardır. Uygun polinomlarla ilgili bir sorunu temsil ederek, bir çözümün varlığını ya da polinomların çözüm sayısını garanti edebilirler. Sınırlı toplamlar veya sıfır toplamlı problemler gibi problemleri çözmek için kullanılmışlardır ve bu alandaki teoremlerin bazıları ancak bu yöntemlerle …
3
Graph Isomorphism için coNP sertifikası
Grafik izomorfizminin (GI) NP cinsinden olduğunu görmek kolaydır . GI'nin coNP'de olup olmaması büyük bir açık sorundur. GI'nin coNP sertifikası olarak kullanılabilecek potansiyel grafik özellik adayları var mı? Anlamına herhangi varsayımlar ? Bazı etkileri nelerdir G I ∈ c O , N , P ?G ben∈ c o NPG,ben∈cON-PGI \in …
4
Mantıksal ilişkiler ve simülasyonlar arasındaki farklar nelerdir?
Programın denkliğini kanıtlayan yöntemler üzerinde çalışan bir acemiyim. İki programın eşdeğer olduğunu kanıtlamak için mantıksal ilişkilerin veya simülasyonların tanımlanması hakkında birkaç makale okudum. Ancak bu iki teknik hakkında kafam oldukça karıştı. Ben sadece simülasyonlar ortaklaşa dayanırken, mantıksal ilişkilerin indüktif olarak tanımlandığını biliyorum. Neden bu şekilde tanımlanıyorlar? Sırasıyla artıları ve eksileri …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.