Teorik Bilgisayar Bilimi

Aşağıdaki sorun için işlem başına O (1) zamanı olan bir w-bit word-RAM veri yapısı var mı ?: İşlemleri destekleyen bir w-bit negatif olmayan tamsayılar kümesi add (x): sete x ekle remove (x): x'i setten kaldır fingerprint (): setin parmak izini döndürür. Bu w-bit parmak izi, aynı olan iki setin aynı …

10 ds.data-structures 

Gevşek konuşma, permütasyon paterni eşleşmesi aşağıdaki türden problemlerle ilgilenir: Permütasyon verilen içinde ve olarak ile, , etmez bir içeren sekans uzunluğu elemanları göre sıralanır ?S n σ S m m ≤ n πππ\piSnSnS_nσσ\sigmaSmSmS_mm ≤ nm≤nm\leq nππ\pi m σττ\taummmσσ\sigma Örneğin, ve , dizisi . Gördüğünüz gibi, burada tam bir eşleşme aramıyoruz, …

10 permutations  string-matching 

Watrous'un kuantum karmaşıklık teorisi hakkındaki kağıt üzerinde mükemmel araştırma kağıdını okuyorum. İçinde, QMA-tamamlanmış bir sorunun boş bir vaatte bulunmasının şaşırtıcı olacağını belirtiyor (yani, bir dil olun). Neden böyle? K-yerel Hamilton probleminin bir vaat problemi olmasıyla mı ilgili? Ayrıca, bu beni ilgili bir soruya yönlendiriyor: Doğasında doğası gereği "kuantum" olmayan QMA-komple …

10 cc.complexity-theory  quantum-computing 

Birisinin makaleyi daha iyi anlamak için bazı ek malzemeler önerebileceğini merak ediyorum: " Kuantum Çan Tipi Eşitsizlikler - Tsirelson'da Bazı Sonuçlar ve Sorunlar ". Özellikle Bell-Tipi eşitsizliklerin geometrik yorumlanması üzerinde biraz daha ayrıntılı olabilecek bir şey. Belki de bu konularla ilgili daha ayrıntılı bilgi veren bir astar kağıdı veya ilgili …

10 reference-request  quantum-computing  quantum-information 

N değişkeninde ( ) m terimlerine sahip monoton bir CNF formülü, ; burada her , değişkenlerin bazı alt kümelerinin ve ile arasında değişir . f ( x 1 , … , x n ) = ⋀ C i C i x 1 , … , x n i 1 mx1, …

10 cc.complexity-theory  circuit-complexity  formulas 

Klasik PAC öğrenimi için, whp'ye bağlı bir hatayı elde etmek için örneklerinin gerekli olduğu iyi bilinmektedir; burada , konsept sınıfının VC-boyutudur.ε dΩ ( d/ ε)Ω(d/ε)\Omega(d/\varepsilon)εε\varepsilonddd Agnostik durumda örneklerine ihtiyaç olduğu biliniyor mu?Ω ( d/ ε2)Ω(d/ε2)\Omega(d/\varepsilon^2)

10 lg.learning  machine-learning 

Gelen yazıda bu soruya aynıdır başlıkla, yazarlar nasıl oluşturulacağını açıklayan tıkanmasızdır lineerleşebilirdir çok kelimeli CAS sadece tek kelimelik CAS kullanarak işlemi. İlk önce çift karşılaştırma-tek değiştirme işlemini (RDCSS) aşağıdaki gibi tanıtırlar: word_t RDCSS(RDCSSDescriptor_t *d) { do { r = CAS1(d->a2, d->o2, d); if (IsDescriptor(r)) Complete(r); } while (IsDescriptor(r)); if (r …

10 dc.parallel-comp  concurrency 

Kısmi siparişler için hesaplama problemleri (örn. Tanıma, atlama sayısı, karşılaştırılabilirlik grafiği tanıma vb.) Üzerinde oldukça fazla çalışma yapılmıştır. Kafeslere özgü hangi çalışmanın yapıldığını merak ediyorum. Etrafı araştırdım ve kafesler için çok benzer bir iş bulamadım. Özellikle, aşağıdaki kafes problemlerinin araştırılıp araştırılmadığıyla ilgileniyorum: Kafes tanıma: DAG veya kısmi bir düzen verildiğinde …

10 ds.algorithms  reference-request  graph-algorithms  partial-order  order-theory 

Biz dışbükey dürümüne bulma biliyoruz nnn uçakta puan daha düşük sahip sınırı Ω ( n günlüğün )Ω(nlog⁡n)\Omega(n\log n) kendi çalıştıran zamanında. Bununla birlikte, noktalar köşeleri olarak bu noktalara sahip olan basit bir çokgen boyunca meydana gelme sırasına göre verilirse, dışbükey gövdesi doğrusal zamanda bulunabilir. Bunu ilgi çekici buluyorum, çünkü muhtemelen …

10 cg.comp-geom 

Bernstein ve Vazirani'nin seminal gazetesi olan "Kuantum Karmaşıklık Teorisi" nde, boyutlu bir üniter dönüşümün, "önemsiz dönüşler" ve "önemsiz faz değişimleri" olarak adlandırdıkları bir ürünle verimli bir şekilde tahmin edilebileceğini gösteriyorlar.ddd "Neredeyse önemsiz rotasyonlar", 2 boyut dışındaki tüm boyutlarda kimlik olarak hareket eden, ancak bu iki boyutun kapsadığı düzlemde bir rotasyon …

10 quantum-computing  linear-algebra  universal-computation 

Bir çizge verilen ve iki köşe s , t ∈ V . Basit yolları arasında bir çift p 1 , s 2 den s için t bunlar bir kenar paylaşmıyorlarsa kenar ayrık olduğunu.G = ( V, E)G,=(V,E)G = (V,E)s, t ∈ Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt Maks akış kullanılarak, gelen kenar ayrık …

10 cc.complexity-theory  graph-algorithms 

NOT : Soru cevaplarımda yeniden ifade edildi: Artık en düşük kardeş atalarını zamanda bulabildiğimizi varsayarsak , YSA gerçekten mi?O(1)O(1)O(1)O(logn)O(log⁡n)O(\log n) Quadtrees verimli mekansal endekslerdir. [2] 'de açıklandığı gibi sıkıştırılmış bir dörtlü yapıda en yakın komşu aramanın uygulanması ile bir bulmaca var. (Ayrıntılara girmeden, arama, eşitlikçi bir yolun kuyruk düğümünde biten …

10 ds.algorithms  ds.data-structures  range-searching  near-neighbors 

Sınırlı hata kuantum sorgu karmaşıklığı ( ) ve deterministik sorgu karmaşıklığı ( ) veya sınırlı hata rastgele sorgu karmaşıklığı ( ) arasındaki üstel ayrımlar bilinmesine rağmen , bunlar sadece belirli kısmi fonksiyonlar için geçerlidir. Kısmi fonksiyonların bazı özel yapıları varsa, bunlar aynı zamanda polinom olarak ile ilişkilidir . Ancak, çoğunlukla …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Bir 0-1 matrisinin sıra logunun deterministik iletişim karmaşıklığının alt sınırı olduğunu ve yaklaşık sıra logunun rasgele iletişim karmaşıklığının alt sınırı olduğunu biliyoruz. Deterministik iletişim karmaşıklığı ile randomize iletişim karmaşıklığı arasındaki en büyük boşluk üsteldir. Peki, bir boole matrisinin sıralaması ve yaklaşık sırası arasındaki boşluk ne olacak?

10 co.combinatorics  linear-algebra  matrices  communication-complexity  boolean-matrix 

Denemeler, eleman listelerinin verimli bir şekilde saklanmasını sağlar. Ön ekler paylaşılır, böylece alan etkili olur. Ağaçları verimli bir şekilde depolamak için benzer bir yol arıyorum. Üyelik olup olmadığını kontrol etmek ve eleman eklemek, belirli bir ağacın saklanan bazı ağaçların bir alt ağacı olup olmadığını veya verilen ağacın bir alt ağacı …

10 ds.data-structures  tree  model-checking