«reference-request» etiketlenmiş sorular

Bu soru iki yönlüdür ve temel olarak referans amaçlıdır: Grafik küçük teoremini kanıtlamak için ana sezgilerin ayrıntılara çok fazla girmeden verildiği bir yer var mı? İspatın uzun ve zor olduğunu biliyorum, ama elbette daha kolay bir şekilde iletilebilecek anahtar fikirler olmalı. Grafiklerde, yarı-emir olarak gösterilebilecek, belki de küçük ilişkiden daha …

9 reference-request  graph-theory  graph-minor 

Kilise teoreminden biliyoruz ki, birinci dereceden memnuniyeti belirlemenin genel olarak kararsız olduğunu, ancak birinci dereceden memnuniyeti belirlemek için kullanabileceğimiz birkaç teknik olduğunu biliyoruz. En bariz olanı sonlu bir model aramaktır. Ancak, birinci dereceden mantıkta sonlu modellerin olmadığını gösterebileceğimiz birkaç ifade vardır. Örneğin, kasıtlı ve kasıtsız bir fonksiyonun çalıştığı herhangi bir …

9 reference-request  lo.logic  automated-theorem-proving 

Bilinen en hızlı yönlendirilmemiş grafik izomorfizma algoritması nedir?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

İletişim karmaşıklığını kendi başına ve hesaplama karmaşıklığı teorisiyle ilişkisi ile motive etmek ve öğrenmek için en iyi kaynaklardan bazıları (kitaplar ve makaleler) nelerdir?

9 cc.complexity-theory  reference-request  communication-complexity  books 

İzin Vermek xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} için i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, söz ile x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (toplamın bittiği yer ZZ\mathbb{Z}). Öyleyse,x=1x=1x = 1? Önemsiz olarak sorunun içinde bulunduğuna dikkat edin ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} Çünkü x≡1modmx≡1modmx \equiv 1\bmod{m}iff x=1x=1x = 1 . Soru şu: Sorun AC0AC0\mathsf{AC}^0 mı var? Eğer öyleyse, buna …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

Shannon'ın entropi ile çalışmasını biliyorum, ancak son zamanlarda ampirik entropinin sıklıkla depolama analizinin bir parçası olarak kullanıldığı özlü veri yapıları üzerinde çalıştım . Shannon, ayrı bir bilgi kaynağı tarafından üretilen bilgilerin entropisini −∑ki=1pilogpi−∑i=1kpilog⁡pi-\sum_{i=1}^k p_i \log{p_i}, nerede pipip_i olayın olasılığı iii örneğin belirli bir karakter üretilir ve kkk olası olaylar. MCH'nin …

9 reference-request  shannon-entropy  succinct 

Tek yönlü işlevlerin varlığının, kriptografinin çoğu için (dijital imzalar, psödondom jeneratörleri, özel anahtar şifrelemesi, vb.) Gerekli ve yeterli olduğu iyi bilinmektedir. Sorum şu: nelerdir karmaşıklığı-teorik tek yönlü fonksiyonların varlığı sonuçları? Örneğin, OWF'ler şunu ima eder:NP≠PNP≠P\mathsf{NP}\ne\mathsf{P}, BPP=PBPP=P\mathsf{BPP}=\mathsf{P}, ve CZK=IPCZK=IP\mathsf{CZK}=\mathsf{IP}. Bilinen başka sonuçlar var mı? OWF'ler özellikle polinom hiyerarşisinin sonsuz olduğunu ima …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

Nash Equilibria genel olarak hesaplanamaz. birϵϵ\epsilon-Nash dengesi, rakiplerin stratejileri göz önüne alındığında, her oyuncunun kendi içinde elde ettiği bir dizi stratejidir. ϵϵ\epsilonolası maksimum getirinin Bulmakϵϵ\epsilon-Nash dengesi, verilen ϵϵ\epsilon ve bir oyun, PPADPPAD\mathsf{PPAD}-tamamlayınız. Kesinlikle tanımlara göre, belirli bir stratejinin ϵϵ\epsilon-Nash dengesi herhangi bir Nash dengesinin stratejilerine yakın herhangi bir yerdedir. Bununla …

9 reference-request  gt.game-theory  ppad 

DOĞRUSAL DİOFANT Denklemler (doğal numaraları verilen , orada doğal sayı ve , öyle ki ?) Polinom zamanda çözülebilir.a , b , cbir,b,ca, b, cxxxyyya x + b y+ c = 0birx+by+c=0ax + by + c = 0 KADRATİK DİOFANTİN DENKLEMLERİ ( ) NP-tamamlandı ( kuadratik polinomlar için NP-tamamlanmış karar problemleri …

9 reference-request 

Bu makalenin sonunda, Doğrusallaştırılabilir Paylaşılan Nesneler (PODC'10) , yazarlar aşağıdaki ifadeyi kaynak göstermeden sunmuşlardır: Bununla birlikte, doğrusallık, ancak fikir birliği çözülebilirse elde edilebilir. Burada, linearizability kağıt önerilmiştir paylaşılan nesneler, en güçlü olan bilinen kesafet özelliğidir bir doğruluk durumu aynı zamanda geçerli amaçları için: Linearizability . Aşağıdaki argümanlar aşağıdaki argümanlar nedeniyle …

9 reference-request  dc.distributed-comp 

Bir formülün tatmin edilebilirliğinin karmaşıklığını arıyorum ∀y1,…,yn,∃x1,…,xm,ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall y_1, \dots,y_n, \exists x_1,\dots,x_m, \phi veya bir formülün ∃x1,…,xm∀y1,…,yn,ϕ∃x1,…,xm∀y1,…,yn,ϕ \exists x_1,\dots,x_m \forall y_1, \dots,y_n,\phi nerede ϕϕ\phi formun formülüdür: ϕ:=ϕ∧ϕ | ¬ϕ | ϕ→ϕ | ψϕ:=ϕ∧ϕ | ¬ϕ | ϕ→ϕ | ψ\phi:= \phi \wedge\phi ~| ~\neg \phi ~| ~ \phi\to \phi~| ~\psi ψ:=t>t | …

9 cc.complexity-theory  reference-request  lo.logic 

İzin Vermek FFF ailesi olmak ddd-sonlu bir evrenin eleman alt kümeleri UUUnesnelerin. Bir aileH'HH nın-nin kkk-element altkümeleri UUU, ile 1≤k&lt;d1≤k&lt;d1 \le k < d, bir (k,d)(k,d)(k,d)- -set isabet arasındaFFF her biri için V∈FV∈FV \in F en az bir set var W∈HW∈'HW \in H öyle ki W⊂VW⊂VW \subset V. Bir koleksiyon …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

Kuantum hesaplama literatürünün çoğu devre modeline odaklanmaktadır. Adyabatik kuantum hesaplama, bir dizi üniter operatör uygulanmasına değil, zamana bağlı bir Hamiltonian'ın değiştirilmesine dayanır. Aşağıdakilerden herhangi biri hakkında bir fikir arıyorum. Adyabatik kuantum hesaplama devre modeli kadar güçlü mü yoksa doğal olarak daha az güçlü mü? Devre modelinin aksine adyabatik hesaplama ile …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

Biz biliyoruz ki L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P}. Savitch Teoreminden,NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2Uzay Hiyerarşisi Teorem'den, L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2. Yani, bilmediğimiz gibiL≠PL≠P\mathcal L\neq\mathcal P, bilmiyoruz L2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P, ya da biliyor muyuz L2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal P? Herkes olduğunu kanıtlamaya çalışıyor mu? Bu şekilde en son sonuçlar veya çabalar nelerdir? Bu konu hakkında bir anket yazmaya çalışıyorum, ancak alakalı bir şey …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

Martin-Löf tipi teoride, yani Coq / Agda'da resmileştirilmiş doğrulanmış derleyicilerle ilgileniyorum. Şu anda küçük bir oyuncak örneği yazdım. Böylece optimizasyonlarımın doğru olduğunu kanıtlayabilirim. Örneğin, sıfır ile yapılan ilaveler ortadan kaldırılabilir, yani "x + 0" gibi ifadeler. Düzenli bir derleyici ile gerçekleştirilmesi zor, iyi bir örnek olacak optimizasyonlar var mı? Bir …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers