Teorik Bilgisayar Bilimi

Soru, Dana Moshkovitz'in başka bir konuya cevap vermesiyle ortaya çıktı . Let bir olmak NP Dili ve izin ilgili olmak NP ilişkisi. Bazı polinom var olduğunu biliyoruz :R L pLLLRLRLR_Lppp ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x \in L, \\, \exists w \in \\{0,1\\}^{p(|x|)} \quad (x,w) \in R_L Yukarıdaki ifade sadece böyle bir varlığını gerektirir …

13 cc.complexity-theory  np 

Düşündüğüm bir uygulamada, aşağıdaki sorunun iletişim karmaşıklığını bilmem gerekiyor: Verilen , let S den tamsayılar kümesi olmak 1'e kadar n . Alice, Bob ve Carol'un her birine sırasıyla A , B ve C ile gösterilen bir S alt kümesi verilir. A , B ve C'nin S'nin bir bölümünü oluşturup oluşturmadığını …

13 cc.complexity-theory  communication-complexity 

Öğ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 

Diyelim ki bir dizi S grafiğimiz var (sonlu grafikler, ancak sonsuz sayıda) ve S üzerinde etkili olan bir permütasyon grubu P var. Eşgörünüm: P'deki permütasyon p. Soru: S'de otomorfizm p'yi kabul eden bir g grafiği var mı? Bazı S setleri için bu problem NP-tamamlanmış mı? Bir grafiğin permütasyon p'yi (yani …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

Bir Monoton-2CNF formülü, her bir maddenin tam olarak 2 pozitif değişmezden oluştuğu bir CNF formülüdür. Şimdi, bir Monoton-2CNF formülü . , tatmin edici ödevleri kümesi olsun . Ayrıca aşağıdaki bilgileri verebilen bir kehanet var:FFFSSSFFFOOO Set kardinalitesi (yani çözelti sayısı ).SSSFFF değişkeni verildiğinde : xxx pozitif değişmez değeri içeren çözelti sayısı …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Düzlemde bir dizi n noktası verildiğini ve dışbükey bir çokgen oluşturup oluşturmadığını, yani hepsi dışbükey gövdenin üzerinde olup olmadığını kontrol etmek istediğinizi varsayalım. Herkes o (nlogn) zamanında, yani, CH hesaplamadan nasıl yapılacağını bilmek merak ediyordum.

13 cg.comp-geom 

İki ikili arama ağacının sıralı geçişlerini kabul ettiklerinde doğrusal olarak eşdeğer oldukları söylenir. Aşağıdaki teorem, ağaç dönüşlerinin neden bu kadar temel olduğunu açıklar: A ve B ikili arama ağaçları olsun. Daha sonra A ve B, sadece ve bir dizi ağaç rotasyonu ile bağlıysa doğrusal olarak eşdeğerdir. Uzun zaman önce veri …

13 reference-request  ds.data-structures 

Chong, Han ve Lam , yönlendirilmemiş bağlantının işlemcilerle zamanında EREW PRAM'da çözülebileceğini gösterdi . Yönlendirilmiş st-bağlantı için en iyi bilinen paralel algoritma nedir? Lütfen çalışma süresini, deterministik / randomize algoritmayı ve kullanılan PRAM modelini belirtin (işlemci sayısının polinom olduğunu varsayarak). Yönlendirilmiş herhangi bir özel bağlantı için bilinen herhangi bir zaman …

13 dc.parallel-comp 

Başlıktan da anlaşılacağı gibi, ağacının doğru tanımı nedir? Sınırlı treewidth ile grafikler için k- ağaçlar ve kısmi k- ağaçlar hakkında alternatif tanımlar olarak konuşan birkaç makale var ve görünüşte yanlış birçok tanım gördüm. Örneğin, en az bir yer k- ağaçlarını şu şekilde tanımlar :kkkkkkkkkkkk Bir grafik bir adlandırılır -ağacı ve …

13 graph-theory  treewidth 

Rafael Pass, "Ortak Referans Dizesinde ve Rastgele Oracle Modelinde İnkar Edilebilirlik Üzerine" başlıklı bir makalede şunları yazıyor: RO [Random Oracle] modelindeki standart sıfır bilgi tanımına göre güvenliği kanıtlarken, simülatörün düz bir model simülatöre göre iki avantajı olduğunu, Simülatör, partilerin kâhini hangi değerleri sorguladığını görebilir. Simülatör, cevapları "göründüğü" sürece, bu sorguları …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

Makalede Kuantum Rastgele Yürüyüşler Üstel Daha Hızlı Vurdu ( arXiv: quant-ph / 0205083 ) Kempe, kuantum yürüyüş literatüründe çok popüler olmayan kuantum yürüyüşleri (hiperküpte) için isabet süresi kavramını verir. Aşağıdaki gibi tanımlanır: Tek Shot Kuantum vurmak Süresi: Bir kesikli zaman kuantum yürüyüş vardır tek atış zamanı -hitting eğer burada başlangıç …

13 quantum-computing  random-walks  markov-chains  quantum-walk 

Yani, yan uzunluğu ~ birkaç düzinelerce yaklaşık 100-200 çok seyrek kare boole matrisim var ve ürünlerini hesaplamam gerekiyor. Onları seri olarak çarparsam, ürünün genellikle her adımda seyrek kalacağını biliyorum. Bu durumda özellikle hızlı çalışan matris zincir ürün algoritmaları var mı? Daha yüksek bir seviyede, sorun, çoğu öğenin 0-3'ten fazla olmayacağı …

13 ds.algorithms  automata-theory  matrix-product  sparse-matrix 

Chernoff tipi eşitsizlikler, bağımsız rasgele değişkenlerin toplamının beklenen değerinden önemli ölçüde sapma olasılığının, beklenen değer ve sapmada katlanarak küçük olduğunu göstermek için kullanılır. Herhangi bir çift ​​bağımsız rasgele değişkenin toplamı için Chernoff tipi bir eşitsizlik var mı ? Başka bir deyişle, aşağıdakileri gösteren bir sonuç var mı: çift ​​bağımsız rasgele …

13 derandomization  pr.probability  chernoff-bound 

3SAT [ 1 ] için alt sınırlarla ilgili tartışmayı takiben, uzay-zaman ödünleşimi olarak formüle edilen ana alt sınır sonuçlarının ne olduğunu merak ediyorum. Savitch'in teoremi gibi sonuçları hariç tutuyorum; iyi bir giriş tek bir soruna ve sınırlarına odaklanır. Örnek olarak şunlar verilebilir: "T ve S, herhangi bir SAT algoritmasının çalışma …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

Bu H-free kesim probleminden esinlenen bir sorudur . Onun tepe grubu bir bölümü, bir grafiktir verilen içine r parça V 1 , V 2 , ... , V r olan , H ise içermeyen G [ V i ] bir kopyasını indüklemez H tüm i , 1 ≤ i ≤ …

13 graph-theory  np-hardness  co.combinatorics