«open-problem» etiketlenmiş sorular

Literatürde açık olduğu bilinen sorunlar ve ortaya çıktıktan sonra toplum tarafından açılmaya karar verilen herhangi bir sorun.


11
Bir ipi kaldırmak ne kadar zor?
İki diziden oluşan bir karışma, karakterleri yeni bir dizgeye serpiştirerek her dizginin karakterlerini sırayla tutar. Örneğin, ve MISSISSIPPIbir karıştırma . İki özdeş dizgenin karıştırılması durumunda bir dize karesini arayayım . Örneğin , karedir, çünkü ve bir karışıklığıdır , ancak dize kare değildir.MISIPPSSISIABCABDCDABCDABCDABCDDCBA Bir dize kare olup olmadığını belirlemek için hızlı …

10
DFA'larla ilgili açık problemler var mı?
Deterministik sonlu durum otomatlarını (DFA) undergrad'da okuduktan sonra çok iyi anlaşıldığını hissettim. Benim sorum, onlar hakkında hala anlamadığımız bir şey olup olmadığı. DFA'ların genelleştirilmesinden bahsetmiyorum, fakat orjinalinde incelediğimiz orijinal değiştirilmemiş DFA'lar. Bu belirsiz bir soru ama umarım fikri anlarsın. DFA'ları tamamen anladığımızı söylemenin adil olup olmadığını anlamak istiyorum. Bu yüzden, …

10
Bir Yığın, İki Sıra
arka fon Birkaç yıl önce, ben lisanstayken, itfa edilmiş analiz üzerine bir ev ödevi verildi. Sorunlardan birini çözemedim. Ben bunu sormuştu comp.theory , ama tatmin edici bir sonuç ortaya çıktı. TA'nın kanıtlayamadığı bir konuda ısrar ettiğini ve ispatını unuttuğunu söylediğini hatırlıyorum, ve ... [ne biliyorsunuz]. Bugün, sorunu hatırladım. Hala bilmek …

13
TCS sınırlarında açık problemler
İplik olarak teorik bilgisayar bilimindeki büyük çözülmemiş problemler? , Iddo Tzameret, aşağıdaki mükemmel yorumu yaptı: Ben aramızda temel problemler olarak görülüyor majör açık problemler arasında ayrım gerektiğini düşünüyorum P≠NPP≠NP P\neq NP çözülmesi halinde, teknik bir atılım teşkil edecek ve büyük açık problemler, ama mutlaka üzerinde örneğin, üstel alt sınır olarak …



6
Izgara
Güncelleme : Tüm monokromatik-dikdörtgen içermeyen 4-renklendirmeler için engelleme kümesi (yani, renklendirilebilir ve renklendirilemez ızgara boyutları arasındaki NxM "bariyeri") şimdi bilinmektedir . 5 renk denemek isteyen var mı? ;) Aşağıdaki soru Ramsey Teorisi'nden kaynaklanmaktadır . Bir göz önünde arasında -Renklendirme N -by- m ızgara grafiği. Bir aynı renk ile dört hücre …

7
TCS'deki en eski açık sorun nedir?
Bu problem, çok ilginç olduğunu düşündüğüm MO sorusundan ilham alıyor . TCS'deki en eski açık sorun nedir? Açıkçası bu sorunun bazı açıklamalara ihtiyacı var. İlk olarak, TCS nedir? Garip mükemmel sayıların varlığının TCS olmadığını düşünüyorum. Hilbert'in onuncu probleminin TCS olduğunu söyleyebilirim . "X'i bir cetvel ve pusula ile kurabilir miyiz" …

1
Sarnak'ın Mobius varsayımına örnek olarak verimli bir şekilde hesaplanabilir fonksiyon
Son zamanlarda Gil Kalai ve Dick Lipton , sayı teorisi ve Riemann Hipotezi konusunda uzman Peter Sarnak tarafından önerilen ilginç bir varsayım üzerine güzel bir makale yazdılar. Varsayım. Let olmak Möbius fonksiyonu . Varsayalım bir olduğunu girişi ile işlev ikili gösterimi şeklinde , o μ(k)μ(k)\mu(k)f:N→{−1,1}f:N→{−1,1}f: \mathbb{N} \to \{-1,1\}AC0AC0\mathsf{AC}^0kkkkkk∑k≤nμ(k)⋅f(k)=o(n).∑k≤nμ(k)⋅f(k)=o(n). \sum_{k \leq …

1
Derecenin 1 nolu polinomunu çarpma
Sorun, polinomu hesaplamaktır . Tüm katsayıların makine kelimesine uygun olduğunu, yani birim zamanda değiştirilebileceğini varsayalım.(a1x+b1)×⋯×(anx+bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) Sen yapabilirsin bir ağaç moda FFT uygulayarak zaman. yapabilir misin ?O(nlog2n)O(nlog2⁡n)O(n \log^2 n)O(nlogn)O(nlog⁡n)O(n \log n)

4
Programlama Dili Teorisinde Araştırma ve Açık Zorluklar
Gibi bazı genel tartışmalar ruhuyla bu one, ben görüşler toplamak niyetiyle Konuyu açıyorum programlama dillerde araştırmalarda açık zorluklar ve sıcak konular nelerdir . Umarim bu tartisma programlama dillerinde arastirma gelecegine iliskin fikirleri bile getirebilir. Bu tür bir tartışmanın, kendim gibi PL ile ilgilenen yeni öğrenci araştırmacılara ve zaten biraz da …

2
NC olup olmadığına karar verme
QiCheng tarafından cevapsız bırakılan “ Belirli bir NC 0 devresinin izin verdiğini hesaplar mı ” sorusu hakkında özel bir soru sormak istiyorum . Her çıkış kapısı sözdizimsel olarak çoğu k giriş kapısına bağlıysa, Boolean devresi NC 0 k devresi olarak adlandırılır . (Bir çıkış geçidinin g sözdizimsel olarak devirli bir …



Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.