«communication-complexity» etiketlenmiş sorular

Andrew Chi-Chih Yao'nun klasik 1979 makalesinde "MO Rabin ve AC Yao, hazırlanırken" kaynak gösterir. Bu, EQ eşitlik fonksiyonunun sınırlı hata iletişim karmaşıklığının sonucudur ( - aralığında iki tamsayının eşit olup olmadığı ) .NN_N000N−1N−1N-1O(loglogN)O(log⁡log⁡N)O(\log\log N) Andrew Chi-Chih Yao, Dağıtık Hesaplama ile İlgili Bazı Karmaşıklık Soruları (Ön Rapor) , STOC 1979, s. …

40 ho.history-overview  communication-complexity 

+ 1, -1 girişli bir A matrisinin işaret sırası, A ile aynı işaret desenine sahip olan bir B matrisinin en düşük sırasıdır (yani, tüm i'ler için , j ). Bu kavram iletişim karmaşıklığı ve öğrenme teorisi için önemlidir.AijBij>0AijBij>0A_{ij}B_{ij}>0i,ji,ji,j Sorum şu: Bir matrisin işaret sırasını faktörüne yaklaştıran bilinen (uzatılabilir zaman) algoritmaları …

25 lg.learning  open-problem  communication-complexity  matrices 

Bir ilişkinin (deterministik) iletişim karmaşıklığı yanı sıra , gerekli iletişim miktarı için bir başka temel ölçü, protokol bölüm numarasıdır . Bu iki önlem arasındaki ilişki sabit bir faktöre kadar bilinmektedir. Kuşhilevitz ve Nisan (1997) tarafından yapılan monografi;cc(R)cc(R)cc(R)RRR pp(R)pp(R)pp(R) cc(R)/3≤log2(pp(R))≤cc(R).cc(R)/3≤log2⁡(pp(R))≤cc(R).cc(R)/3 \le \log_2(pp(R)) \le cc(R). İkinci eşitsizlikle ilgili olarak, ile (sınırsız bir …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

Tartışma : Son zamanlarda iletişim karmaşıklığında çeşitli şeyler öğrenmek için biraz kişisel zaman geçirdim. Mesela Arora / Barak'daki ilgili bölümle yeniden tanıştım, bazı makaleler okumaya başladım ve kitabı Kushilevitz / Nisan'dan emretti. Sezgisel olarak, iletişim karmaşıklığını hesaplama karmaşıklığı ile karşılaştırmak istiyorum. Özellikle, hesaplama karmaşıklığının hesaplama problemlerini karmaşıklık sınıflarına yerleştirmek için …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

Arka fon: Alice ve Bob verilir iletişim karmaşıklık zamanki iki taraf modeli göz önünde nnn bitlik şeritler xxx ve yyy ve bazı Boole fonksiyonu hesaplamak gerekir f(x,y)f(x,y)f(x,y) , burada f:{0,1}n×{0,1}n→{0,1}f:{0,1}n×{0,1}n→{0,1}f:\{0,1\}^n \times \{0,1\}^n \to \{0,1\} . Aşağıdaki miktarları tanımlarız: D(f)D(f)D(f) (deterministik iletişim karmaşıklığıfff ) Alice ve Bob ihtiyaç işlem iletişim kurmak …

19 lower-bounds  communication-complexity 

Dil düşünün L k - d ı s t ı n c tLk−distinctL_{k-distinct} tüm oluşan kkk mektubu temin edilmiştir dizeleri üzerinde ΣΣ\Sigma hiçbir iki harf eşit şekilde: L k - d i s t i n c t : = { w = σ 1 σ 2 . . . …

18 automata-theory  lower-bounds  regular-language  communication-complexity  streaming 

Bilgi karmaşıklığı iletişim karmaşıklığında çok yararlı bir araç olmuştur, esas olarak dağıtılmış sorunların iletişim karmaşıklığını azaltmak için kullanılır. Sorgu karmaşıklığı için bir bilgi karmaşıklığı analogu var mı? Sorgu karmaşıklığı ile iletişim karmaşıklığı arasında birçok paralellik vardır; çoğu zaman (ama her zaman değil!) bir modeldeki bir alt sınır diğer modeldeki bir …

15 it.information-theory  communication-complexity  query-complexity 

Alice ve Bob'un n-bit dizeleri var ve az iletişim kurarken eşit olup olmadıklarını anlamak istiyorlar. Standart randomize çözelti derece polinom n-bit zincirleri tedavi etmektir ve daha sonra daha büyük bir boyutta bir alandan bir kaç rastgele seçilmiş elemanları üzerinde polinomları değerlendirmek . Bu iletişimini gerektirir.n O ( log | F …

14 communication-complexity  property-testing 

İyi hiçbir deterministik iki partili protokolü üzerinde ayrık olma problemi (DISJ) çözebilir bilinmektedir göndermeden -bit girdileri (Kushilevitz ve Nisan tarafından, örneğin bkz kitabı) en kötü durumda bit. Sınırlı hata rastgele protokoller için, bazı sabit için alt sınırı Razborov [Razborov92] tarafından bir seminal makalede de gösterilmiştir. Sorum şu:nnnn + 1n+1n+1δnδn\delta nδδ\delta …

14 lower-bounds  communication-complexity 

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 

Durma sorununun hesaplanamaz olduğu iyi bilinmektedir. Bununla birlikte, durdurma problemi hakkındaki bilgileri katlanarak "sıkıştırmak" mümkündür, böylece sıkıştırmanın açılması hesaplanabilir. Daha doğrusu, Turing makinelerinin ve n- bit tavsiyelerinin bir açıklamasından hesaplamak mümkündür , tavsiye etme durumunun güvenilir olduğu varsayılarak Turing makinelerinin tüm 2 n - 1 için durma probleminin cevabı - …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Diyelim ki yıldızlararası bir dijital iletişim kanalı kullanarak mesaj gönderip alabilen yabancı uygarlıklar keşfettik. (Modüle edilmiş radyo dalgaları, lazer atımları, yıldızları çeşitli yörüngelerde yeniden konumlandırmayı kullanarak söyleyin, ne var?) Diyelim ki onlarla temas kurmaya karar verdik. Bir diyalog başlattığımızda, bir iletişim protokolü ve dili oluşturmayı nasıl başardık? Temel bir kelime …

12 big-picture  communication-complexity 

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 

Goldreich ve ark., Üç renklendirmenin sıfır bilgi kanıtına sahip olduğuna dair kanıt, her turda grafiğin tüm renklendirilmesi için bit taahhüdü kullanır [1]. Bir grafiktir varsa nnn köşeleri ve eee kenarları, güvenli bir karma sahiptir bbb bit ve hata olasılığı aramak ppp , toplam iletişim maliyeti O(benlog(1/p))Ö(bengünlük⁡(1/p))O(ben \log(1/p)) fazla O(1)Ö(1)O(1) mermi. …

11 communication-complexity  zero-knowledge 

Bildiğim kadarıyla, Linial ve Shraibman tarafından verilen çarpanlara ayırma normu alt sınırı, esasen kuantum iletişim karmaşıklığı için bilinen tek alt sınırdır (veya en azından diğerlerini alt üst eder). Bu sınırın sıkı olduğuna dair herhangi bir kanıt var mı? (Diğer adıyla bağlı çarpanlara norm Ben söz bağlanan) Teoremi 13 olan Linial, …

11 quantum-information  communication-complexity  norms