Teorik Bilgisayar Bilimi

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 

Doğrusal programlama, elbette, günümüzde çok iyi anlaşılmıştır. Uygulanabilir çözümlerin yapısını ve en uygun çözümlerin yapısını karakterize eden çok işimiz var. Güçlü ikiliğe, çoklu zaman algoritmalarına, vb. Sahibiz. Peki LP'lerin minimum maksimum çözümleri hakkında bilinenler nelerdir? Veya aynı şekilde maksimum minimal çözümler mi? (Bu gerçekten bir araştırma sorusu değil, ama belki …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

C # ve .NET'te jeneriklerin temelleri hakkında en önemli araştırma makaleleri nelerdir?

12 pl.programming-languages 

Let tarafından ve göstermektedirler cinsi bir yüzeyi üzerinde gömülebilir grafiklerin grubu bütün çıkıntılar bu şekilde dış yüzeyinde yer almaktadır . Örneğin, , dış düzlem grafik kümesidir. İçinde grafiklerin treewidth Can üst bazılarının fonksiyonu sınırlanmış olması ?G k k G 0 G k kk ∈ Nk∈Nk\in\mathbb{N}G,kGkG_kkkkG,0G0G_0G,kGkG_kkkk Diğer yön açık değildir, çünkü …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

Ben SP Ürdün, D. Gosset, PJ Aşkın "okumak stoquastic Hamiltonyenlerin ve Markov matrisleri için -tamamlamak problemlerQMAQMAQMA bunun olası olduğunu" .QMA⊆AMQMA⊆AMQMA \subseteq AM Bu iddia beni şaşırttı. Peki ve A M arasındaki uygun ilişki nedir?QMAQMAQMAAMAMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

Bu soruyu birkaç hafta önce mathoverflow'da sordum , ama cevap alamadım . Burada, kenar uzunluğunun 3B ızgarasıyla, ve ile grafiğini kastediyorum. , yani, düğümler 1 ile arasındaki 3 boyutlu tamsayı koordinatlarına yerleştirilir ve bir koordinatta bir tane farklı olan diğer 6 düğüm.G = ( V , E ) V = …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

En kötü durumda ağaç ayrışması zordur, ancak açgözlü yöntem küçük gerçek hayat ağlarında neredeyse optimal gibi görünmektedir. Bazı grafik sınıflarının "tipik" bir örneğinin ağaç ayrışmasının sertliği hakkında bilinen bir şey var mı? Ağaç ayrışması için açgözlü yöntemlerin kötü işlediği bir grafik ailesine örnek var mı?

12 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Düzgün rasgele bir çözüm döndüren bir algoritmanın elde ettiği en iyi bilinen yaklaşım oranıyla ilgili sorunlar nelerdir? Permütasyon akışı dükkanı problemi için böyle bir örnek biliyorum : Kağıt "in Permütasyon Akış Dükkanı Zamanlama için Sıkı Sınırlar'dan Viswanath Nagarajan ve Maxim Sviridenko" işlerin rastgele dizisi garantisi var kanıtladı 2 √F| perm …

12 ds.algorithms  reference-request  approximation-algorithms 

Bir isim veya bu soruna herhangi bir referans arıyorum. Ağırlıklı bir grafik verildiğinde köşelerin n = | V | kesilen kenarların değerini en üst düzeye çıkarmak için S 1 , … , S n'yi ayarlar : c ( S 1 , … , S n ) = ∑ i ≠ …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

Argümanları sayarak, 1 değişkeninde n derecesinde polinomların (yani n devre n karmaşıklığına sahip mevcut olduğu gösterilebilir. Ayrıca, x n gibi bir polinomun en az log 2 n çarpımı gerektirdiğini gösterebilir (yeterince yüksek bir derece elde etmek için buna ihtiyacınız vardır). 1 değişkente karmaşıklığa bağlı süperlogaritmik bir alt limite sahip polinomların …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

G bağlantılı bir grafik olsun. G aşağıdaki tiplerden biriyse , bağlı tüm altgrafları saymanın karmaşıklığı nedir ? G geneldir. G düzlemseldir. G iki taraflıdır. Herhangi bir yapıyı umursamıyorum ya da ..., tüm bağlı altgrafları saymalıyım! Ayrıca , G'de tam olarak k düğümleri olan tüm bağlı altgrafları saymanın karmaşıklığıyla da ilgileniyorum. …

12 cc.complexity-theory  graph-theory  counting-complexity 

t : ∀x.∃y.(¬(x = 0) ⇒ x = S(y))Martin-Lof'un tip teorisinde bir terim göz önüne alındığında , değeri nedir , varoluşçu bir türün tanıklığını çıkaran operatör w(t(0))nerede w?

12 lo.logic  type-theory  proof-theory 

Geçenlerde Clay Math Institute'ta Stephen A. Cook tarafından açıklandığı gibi ve problemini hatırlattım .PP\mathsf{P}N PN-P\mathsf{NP} Bu benim ilgimi uyandırdı ve ben bu konuda daha fazla bilgi edinmek istiyorum. İlk adım, sorunun daha derin bir şekilde anlaşılması ve genel olarak bölgenin anlaşılması olacaktır. Sorun hakkında daha fazla bilgi edinebileceğim herhangi bir …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Clifford grup kuantum operatörlerin kuantum işlemleri ile oluşturulur: Kontrollü-Z , Hadamard ve Aşama ( ).=|0⟩⟨0|+i|1⟩⟨1|=|0⟩⟨0|+i|1⟩⟨1|= |0\rangle\langle0| + i |1\rangle\langle1| Sadece bu kapılardan oluşan bir devre, klasik bir bilgisayarda verimli bir şekilde simüle edilebilir. Ancak, doğru anlarsam, en azından bildiğimiz kadarıyla, tüm klasik algoritmalar Clifford grup işlemleri kullanılarak verimli bir şekilde …

12 quantum-computing 

Suresh için bir şekilde ilgisiz bir proje üzerinde çalışırken, kısa bir süre önce Page ve Opper tarafından Kullanıcı Tarafından Oluşturulabilir sistemler hakkında yapılan bazı çalışmalara rastladım ve çalışmalarının bir kısmı polinom zamanında doğrulanamayan sorunları kısaca tartıştı. Polinom zamanında doğrulanamayan diğer problemler veya böyle bir sorunun analizi hakkında fazla bilgi bulamadım. …

12 cc.complexity-theory  complexity-classes