Teorik Bilgisayar Bilimi

Özellikle merak ettiğim şey, bu tür sorunların izlenebilir olduğunu garanti etmek için 3SAT formülünü yerine getiren ödevlerin yüzdesi üzerinde ilginç bir durum olması. Örneğin bu 3SAT sorunların sınıfı varsayalım bir 2 N mümkün atamaları boolean formül tatmin; tatmin edici bir görev bulabilir miyiz? Ne için ε P sonuçlanan sorundur?ϵ(n)2nϵ(n)2n\epsilon(n) 2^n2n2n2^nϵϵ\epsilon …

12 cc.complexity-theory  ds.algorithms  sat  np 

Göreceli olmayan bir cümle temelinde bir cümlenin resmi olarak bağımsız olması gerektiğini göstermek mümkün mü? Başka bir deyişle, hesaplanabilirlik / karmaşıklık teorisinde, her ikisinin de gösterilebileceği cümleler örnekleri var mı? A) iki sınıfın eşit olup olmadığı sorusunu çözen tüm ispatların yeniden aktive edilmesi ve b) tekrarlayan kanıtların olmadığı böyle bir …

12 lo.logic  relativization 

Baker-Gill-Solovay sonucu, P = NP sorununun göreceli olmadığını, bir bağıl kanıtın (bir kehanetin varlığına duyarsız) muhtemelen P = NP sorusunu çözemeyeceğini gösterdi. Sorum şu: "PH-complete problemi var mı?" Sorusuna benzer bir sonuç var mı? Bu sorunun olumsuz cevabı, P! = NP; olumlu cevap bir olası değildir ama ilginç olacaktır çünkü …

12 cc.complexity-theory  complexity-classes 

Verilen (ortalama ile IID Gauss ve varyans ), bu mümkün (nasıl?) Numuneye (içindir ) bu şekilde 'in ikili bağımsız Gauss olan ortalama ve varyans . 0 1 m = k 2 Y 1 , … , Y m Y i 0 1X1, … , XkX1,…,XkX_1,\ldots,X_k000111m = k2m=k2m=k^2Y1, … , YmY1,…,YmY_1, …

12 derandomization  pr.probability 

Yine karmaşıklığı merak ettiğim bir kenar bölümleme problemi, önceki bir soru ile motive oldu . Girdi: kübik grafikG=(V,E)G=(V,E)G=(V,E) Soru: bir bölme vardır içine her biri tarafından uyarılan alt grafiğinin, öyle ki, (yani pençe ya da bir , genellikle bir yıldız olarak da adlandırılır) ya da -Path ( yani )?E 1 …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Binlerce noktadan oluşan bir veri kümesine ve iki nokta arasındaki mesafeyi ölçmenin bir aracına sahibim, ancak veri noktalarının boyutu yok. Bu veri kümesinde küme merkezleri bulmak için bir algoritma istiyorum. verinin boyutları olmadığı için, bir küme merkezinin birkaç veri noktasından ve bir toleranstan oluşabileceğini ve kümedeki üyeliğin, bir veri noktasının …

12 machine-learning  lg.learning  clustering 

by http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Eğer bir Pspace tamamlama dil, P bir = N P A .AbirAPA=NPAPbir=N-PbirP^{A}=NP^{A} Eğer deterministik polinom zamanlı oracle, P B ≠ N P B (varsayarak P ≠ N P ).BBBPB≠NPBPB≠N-PBP^{B}\ne NP^{B}P≠NPP≠N-PP\ne NP , # P ve P ⊆ P P ⊆ P S P A C E için analog …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Sorun Zamanla değişecek olan yönlendirilmemiş bir grafiğim var (çok kenarlı), düğümler ve kenarlar eklenebilir ve silinebilir. Grafiğin her değişikliğinde, bu grafiğin bağlı bileşenlerini güncellemem gerekiyor. Özellikleri Ek özellikler, hiçbir iki bileşenin tekrar bağlanmayacağıdır. Tabii ki, grafik keyfi bir miktarda döngü içerebilir (aksi takdirde çözüm önemsiz olacaktır). Eğer bir kenar düğümü …

12 ds.algorithms  graph-theory  approximation-algorithms  online-algorithms 

DES'in S-Box'larında 6 bit değerleri 4 bit değerlerle eşlerken veriler kaybolmaz mı? Öyleyse, nasıl doğru çıktı elde edeceğiz?

12 cr.crypto-security 

Ben isterdim rağmen TCS ile çok fazla ilgili olmayan bir MSc benim ikinci yılında. Temel olarak kontrol teorisi, sinyaller ve sistemler hakkında ve gelişmiş sistemlerde (sağlam, doğrusal olmayan, optimal, stokastik), gelişmiş sinyal işleme ve dışbükey optimizasyon dersleri aldım. Tez yazım ile başa çıkmak için iyi bir alan bulmaya çalışıyorum ve …

12 reference-request  soft-question 

Aşağıdaki soru, bir sistemin veya modelin güvenliğini test ederken birkaç kez ortaya çıkmıştır . Motivasyon: Yazılım güvenlik kusurları genellikle geçerli girişler nedeniyle hatalardan değil, basit geçerlilik kontrollerinin çoğunu geçmek için geçerli girişlere yeterince yakın olan geçersiz girişlerden kaynaklanan hatalardan kaynaklanır. Klasik örnek, çok büyük olması dışında, girdinin makul olduğu tampon …

12 lo.logic  csp  security 

PCP teoremi eşdeğer bir formülasyondur: En fazla 3-SAT için o en karşılanabilir formüller ve formüller ayırt -Sert r maddelerin -fraksiyonu (bazıları için karşılanabilir olan r < 1 ).NPNPNPrrrr<1r<1r\lt 1 Tüm Max CSP'yi sert boşlukları olup olmadıklarına göre sınıflandıran bilinen bir ikilik teoremi var mı? Edit 16 Ara 2010 : Sert …

12 cc.complexity-theory  pcp  csp 

Hesaplamalı geometri oldukça ilginç bulduğum bir alan ve beni bu konuya tanıtacak ve temel kavramları öğrenmeme yardımcı olacak bir projeye yaklaşık bir iki ay ayırmak istiyorum. Buna yaklaşmanın iyi bir yolu nedir ve benim de tanıtıldığımdan emin olmam gereken temel kavramlar nelerdir?

12 soft-question  cg.comp-geom 

İki çok seyrek boole matrisini çarpmak için pratik olarak en verimli algoritmalar nelerdir (örneğin, N = 200 ve sadece 100-200 civarında sıfır olmayan eleman vardır)? Aslında, A'yı B ile çarptığımda, B'lerin önceden tanımlanmış olması ve üzerlerinde keyfi olarak karmaşık önişleme yapabilmem avantajım var. Ayrıca, ürünlerin sonuçlarının her zaman orijinal matrisler …

12 ds.algorithms  matrix-product  sparse-matrix  boolean-matrix  implementation 

Let { } ve . ilişkisel olup olmadığına karar vermenin iletişim karmaşıklığını hesaplamak istiyorum .0 , . . . , n - 1 ∘ : S × S → S ∘S=S=S=0 , . . . , n - 10,...,n-10,...,n-1∘ : S× S→ S∘:SxS→S\circ : S \times S \rightarrow S∘∘\circ Model …

12 cc.complexity-theory  communication-complexity