Teorik Bilgisayar Bilimi

2-3 parmak ağacı ile biraz çalıştıktan sonra çoğu operasyonda hızlarından etkilendim. Ancak, karşılaştığım bir sorun, büyük bir parmak ağacının ilk oluşturulmasıyla ilişkili büyük ek yük. Bina, birleştirme işlemleri dizisi olarak tanımlandığından, gereksiz çok sayıda parmak ağacı yapısı oluşturursunuz. 2-3 parmak ağacının karmaşık doğası nedeniyle, onları önyüklemek için sezgisel bir yöntem …

16 ds.data-structures  functional-programming 

Let bir dize Kolmogorov karmaşıklığı ifade . bir dize var mı ? (Burada , kendisiyle birleşmesidir ). Benzer bir ama farklı bir soru sorulmuştur burada , ama bu soruya yanıt olarak verilen counterexample bunun için çalışmaz.xK(x)K(x)K(x)xxxx x xK(xx)&lt;K(x)K(xx)&lt;K(x)K(xx)<K(x)xxxxxxxxx

16 cc.complexity-theory  kolmogorov-complexity 

Yaklaşıklık oranının ( MIN hedefleri ile ilgili problemler için ), A - bazı algoritma A ve OPT tarafından döndürülen değer - optimum değer olduğu standart bir yaklaşım teorisi vardır . Ve başka bir teori, yaklaşıklık oranının \ inf \ frac {\ Omega-A} {\ Omega-OPT} , \ Omega - verilen örnek …

16 ds.algorithms  approximation-algorithms  approximation-hardness 

Yakın tarihli bir soru , TSP için Bellman ve Held-Karp'tan bağımsız olarak şu anda klasik dinamik programlama algoritmasını tartıştı . Algoritmanın evrensel olarak sürede çalıştığı bildirilmiştir . Ancak, öğrencilerimden birinin yakın zamanda belirttiği gibi, bu çalışma süresi mantıksız derecede güçlü bir hesaplama modeli gerektirebilir.O ( 2nn2)O(2nn2)O(2^n n^2) İşte algoritmanın kısa …

16 ds.algorithms  machine-models  computing-over-reals 

Verilen noktalar içindeki ve uzaklığı , bu noktaların en büyük alt kümesini bulur, öyle ki hiçbir ikisinin Öklid uzaklığı aşmaz .R d l lp1, … , Pnp1,…,pnp_1,\ldots,p_nR,dRd\mathbb{R}^{d}llllll Bu sorunun karmaşıklığı nedir? İki noktanın mesafesi en fazla olduğunda bir kenarı olan noktaların üzerindeki grafikte , sorun maksimum bir klik bulmakla eşdeğerdir. …

16 ds.algorithms  reference-request  cg.comp-geom 

Verilen iki AVL ağaçları T1T1T_1 ve ve bir değer bu şekilde , yeni AVL ağaç içeren imali kolay olan ve değerleri ve zamanlı , burada bir ağaç yüksekliğini belirtmektedir (sürece ağaçlar yüksekliği depolamak gibi).T2T2T_2trtrt_r∀ x ∈ T1, ∀ y∈ T2, x &lt; tr&lt; y∀x∈T1,∀y∈T2,x&lt;tr&lt;y\forall x \in T_1, \forall y \in …

16 ds.data-structures  randomized-algorithms 

Bir aile verilir ait alt kümelerine {1, ..., n}. Mathcal ın bir Sperner ailesi olup olmadığına karar vermenin karmaşıklığı üzerinde önemsiz bir alt sınır bulmak mümkün müdür ? Önemsiz alt sınır ve sıkı olmadığından şüphelenirim. m F O ( n m )FF\mathcal{F}mmmFF\mathcal{F}O ( n, m )O(nm)O(n m) Hatırlayın bir dizi …

16 ds.algorithms  co.combinatorics 

Bir fonksiyon tek yönlü halinde olan bir polinom zaman algoritması tarafından hesaplanan, ama her için polinom zaman algoritması rasgele olabilir ,f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*fffAAA Pr[f(A(f(x)))=f(x)]&lt;1/p(n)Pr[f(A(f(x)))=f(x)]&lt;1/p(n)\Pr[f(A(f(x))) = f(x)] < 1/p(n) her polinom p(n)p(n)p(n) ve yeterince büyük nnn , x'in \ {0, 1 \} ^ n'denxxx eşit olarak seçildiği …

16 cc.complexity-theory  cr.crypto-security  one-way-function 

Birbirine güvenmeyen, keyfi olarak güçlü iki katılımcınız olduğunu varsayalım. Bit taahhüdüne erişebilirler (örneğin, bir oyuncunun diğerine verebileceği ancak ilk oyuncu ikinciye bir anahtar verene kadar açılamayan verileri içeren mühürlü zarflar). Bunu habersiz bir aktarım protokolü oluşturmak için kullanabilir misiniz? Oyuncular hile tespit etmek için sonunda tüm zarfları açmayı kabul etseler …

16 reference-request  cr.crypto-security 

Bu bir şeyin ruhunda, bir şeyi ne yaptığınızı, neden yaptığınızı ve nelerin çalışmadığını takip etmenin önemli olduğunu düşündüğüm bir soru . Kişisel olarak bu amaçla dizüstü bilgisayarları kullanıyorum, ancak birkaç dezavantajı var: ilk önce çok fazla depolama yüzeyine ihtiyacım var, ikincisi seyahat ettiğimde verilerime erişemiyorum ve son olarak bu işbirlikçi …

16 soft-question  research-practice 

( GÜNCELLEME : Daha iyi bir oluşmuş bir soru çıkmaktadır burada bu soruyu iyi tanımlanmış olmadığını göstermek altında kabul cevap yorumlar) Durma probleminin imkansızlığının klasik kanıtı, durma algılama algoritmasını girdi olarak uygulamaya çalışırken bir çelişki göstermeye bağlıdır. Daha fazla bilgi için aşağıdaki arka plana bakın. Gösterilen çelişki, öz-referans paradoksundan dolayı …

16 computability  lo.logic 

Bu soru "Hiperbolik uzaylarda hücresel otomata: Cilt 2" kitabının 125. kitabında Maurice Publisher Archives contemporaines, 2008. http://books.google.com/books?id=eEgvfic3A4kC&amp;pg=PA125 Yazarın görüşüne göre, P = NP sorusu kötüdür çünkü hiperbolik ortamda P = NP veya daha sonra P h = NP h kitabında kullanılan gösterimde . Bunun ne yapacağını bilmek için karmaşıklık hakkında …

16 cc.complexity-theory 

X içermeyen grafikler, indüklenmiş alt çizgi olarak X'den hiçbir grafik içermeyen grafiklerdir. Bir delik , en az 4 köşeleri ile bir döngüdür. Bir tek delikli köşe bir tek sayı olan bir deliktir. Bir anti delik bir deliğin tamamlayıcısıdır. (Tek delikli, tek deliksiz) içermeyen grafikler tam olarak mükemmel grafiklerdir; bu Güçlü …

16 reference-request  graph-theory  co.combinatorics  graph-classes 

Bir altıgen varyantını düşünüyorum , iki oyuncunun sırayla hamle yapmak yerine, rastgele seçilen bir oyuncunun her turu bir hamle yapıyor. Her oyuncunun kazanma şansını belirlemek ne kadar zor? Bu sorun açıkça PSPACE'de, ancak NP-sert, daha az PSPACE-tam olamaz. Zorluklar, rastgeleliğin bir oyuncunun seçenekler arasında seçim yapmaya zorlanmasını nasıl imkansız kıldığından …

16 cc.complexity-theory  board-games 

Anarşi fiyatını kaba korelasyonlu dengeye (dış-pişmanlık dinamikleri sınırlama seti) anarşi fiyatından korelasyonlu dengeye (sınırlama) ayırma gücüne sahip anarşi sınırlarının fiyatını kanıtlamak için teknik örnekler arıyorum değiş-to-pişmanlık dinamikleri kümesi). Bu tip doğal ayrımlar biliniyor mu? Bu iki sınıfı ayırmanın önündeki bir engel, anarşi sınırlarının fiyatını kanıtlamanın en doğal (ve ortak) yolunun …

16 gt.game-theory  online-learning