«lower-bounds» etiketlenmiş sorular

Şu doğal soruyu göz önünde bulundurun: Sonlu bir dili göz önüne alındığında, bağlamsız en küçük dilbilgisi üreten nedir?LLLLLL Biz dil dizisini belirleyerek soru daha ilginç yapabilirsiniz , örneğin tüm permütasyon kümesidir : sezgisel, bir CFG "ihtiyaç" büyüklüğe sahip olur . Bu yüzden diller için en küçük CFG'lerin asimptotik boyutu ile …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

"Gerçek olamayacak kadar iyi" veri yapılarının varlığını dışlayan sonuçlar biliniyor mu? Örneğin: sipariş bakım verisi yapısına (bkz. Dietz ve Sleator STOC '87 ) ve J o i n işlevselliği eklenebilir ve yine de O ( 1 ) zaman işlemi elde edilebilir mi?SplitSplitSplitJoinJoinJoinO(1)O(1)\mathcal{O}(1) Veya: Tamsayı tuşları ve zaman işlemleri ile sıralı …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

#SAT sorunu standart # P-complete sorunudur. Bu bir karar probleminden ziyade bir fonksiyon problemidir. Bir boolean formülü verilen sorar nasıl tatmin birçok atamaları önermeler mantığında, F vardır. #SAT'daki en iyi alt sınırlar hangileri?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

Rastgele kısıtlamalara ve Anahtarlama iyi bilinen birkaç devre boyutu alt sınırı sonucu vardır .AC0AC0\mathsf{AC^0} devreleri için alt sınır boyutunu kanıtlamak için Anahtarlama Lemma sonucu geliştirebilir miyiz ( için alt sınır kanıtlarına benzer )? A C 0TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} Yoksa alt sınırlarını kanıtlamak için bu yaklaşımı kullanmanın önünde herhangi bir engel var mı?TC0TC0\mathsf{TC^0} …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

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

\ {1, \ ldots, n \} ^ d tamsayı noktalarının d boyutlu ızgarası göz önüne alındığında, {1,…,n}d{1,…,n}d\{1,\ldots,n\}^dnormal bitişiklikle, n ^ {d-1} boyutunda bir ayırıcı bulabildiğini doğrulamak kolaydır nd−1nd−1n^{d-1}(sadece seçin herhangi bir orta hiper düzlemi seçin ve tüm köşelerini çıkarın). Ayrıca herhangi bir ayırıcının \ Omega (n ^ {d-1}) boyutunda olması …

13 reference-request  cg.comp-geom  lower-bounds 

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 

Let bir (kesintisiz-monoton) minimum boyutu aritmetik belirtir ( + , X , - ) devresi belirli bir çoklu doğrusal polinom işlem f ( x 1 , ... , x , n ) = Σ E ∈ e c e n Π i = 1 x e i iA ( f)A(f)A(f)( …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

1979'da Hopcroft / Ullman , L ⊆ P ⊆ NP ⊆ PSpace'in bilindiğini yazdı, ancak L ⊊ PSpace, tek başına uygun (ve önemsiz) bir sınırlama olsa da, hepsi uygun sınırlar olarak tahmin edildi ve "işlerin hala nerede olduğu" ~ 4 yıl sonra . o zamandan beri L ⊊ P, P …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

Belirli bir özelliğin 2-CNF (2-SAT) cinsinden ifade edilemeyeceği nasıl gösterilir? Çakıl taşı oyunları gibi oyunlar var mı? Görünüşe göre klasik siyah çakıl oyunu ve siyah-beyaz çakıl oyunu bunun için uygun değil (PSPACE tamamlandı, Hertel ve Pitassi, Computing SIAM J, 2010'a göre). Veya oyun dışındaki teknikler? Düzenleme : Ben bilinmeyen bir …

12 sat  lower-bounds  combinatorial-game-theory 

Divisibity Karar Problemi için günümüzde bilinen (zaman karmaşıklığı içinde) en verimli algoritma nedir: İki tamsayı verilen söylemek ve , yaptığı bölme ? İstediğim şeyin (Kalan) Kalan Hesaplama için bir algoritma olmadığı açıktır. Ben sadece bölünmesinin olup olmadığını bilmek istiyorum . Daha açık olmak gerekirse, sorum zaman karmaşıklığı den daha iyi …

12 time-complexity  lower-bounds  nt.number-theory  primes 

Ağırlık |x||x||x|ikili dizgiden x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n dizedeki dizelerin sayısıdır. Az olan girdilerdeki monoton bir işlevi hesaplamakla ilgilenirsek ne olur? Bir grafik sahip ise, karar biliyoruz -clique monoton devreler için zordur (diğerleri Alon Boppana, 1987 arasında), ancak bir grafiktir en örneğin sahipse k 3 kenarlar mümkün boyutta bir monoton sınırlanan derinlik devresi bulmak …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

alt sınırlarını kanıtlamaktan düşürebileceğimiz standart problemler nelerdir ?Ω ( n günlüğün )Ω(ngünlük⁡n)\Omega(n\log n) Tabii ki, sıralama ve eleman farklılığı dışındaki durum sorunları.

12 cc.complexity-theory  lower-bounds 

Bu, Robin Kothari'nin polinom zaman sertliği sonuçlarıyla ilgili önceki yazısının bir takip sorusu olarak tasarlanmıştır . Özellikle, kabaca daha düşük sınırlara sahip olduğuna inanılan problemler için bazı sertlik kanıtları görmekle ilgileniyorum ve kabaca kelime boyutu ile oynayarak (örneğin 3SUM için) Barab ve diğerleri [Springer aracılığıyla] ). Yanıtları basitleştirirse, karar ağacı …

12 graph-theory  cg.comp-geom  lower-bounds 

Bu soru, yığının her işlem için itfa edilmiş zamanında iki kuyruk kullanılarak simüle edilip edilemeyeceğine dair mevcut bir sorudan ilham alıyor . Cevap bilinmemektedir. İlk önce tüm PUSH işlemlerinin, ardından tüm POP işlemlerinin gerçekleştirildiği özel duruma karşılık gelen daha spesifik bir soru. Başlangıçta boş iki kuyruk kullanılarak bir öğesinin listesi …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting