Teorik Bilgisayar Bilimi

Ağaç genişliği , grafiğin ağaca ne kadar yakın olduğunu ölçer. Sınırlı ağaç genişliğine sahip grafiklerde çeşitli NP-zor problemleri izlenebilir. Ağaçlarda NP zor kalırsa ağaç genişliği bizi kurtaramaz. Bu, önceki sorularımdan birinin arkasında ağaçlar üzerinde NP-zor problemler isteyen motivasyondu . Yönlendirilmiş bir grafiğin yönlendirilmiş bir asiklik grafiğe (DAG) ne kadar yakın …

12 np-hardness  directed-acyclic-graph 

Kağıt Lauri Hella ve José María Turull-Torres, Üst düzey mantıklara sahip bilgi işlem sorguları , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 mantıksal VO, değişken dereceli mantık önerir. Bu, değişkenler üzerindeki siparişler üzerinde nicelleştirmeye izin verir. VO oldukça güçlüdür ve hesaplanamayan bazı sorguları ifade edebilir. (Aşağıdaki Arthur Milchior tarafından …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

Bu David Eppstein'ın son sorusunun bir devamıdır ve aynı problemler tarafından motive edilir. Köşelerinde gerçek sayı ağırlıkları olan bir dagım olduğunu varsayalım. Başlangıçta, tüm köşeler işaretsizdir. İşaretli köşe kümesini (1) işaretlenmemiş selefleri olmayan bir tepe noktasını işaretleyerek veya (2) işaretli halefleri olmayan bir tepe noktasını işaretleyerek değiştirebilirim. (Böylece, işaretli köşeler …

12 ds.algorithms  directed-acyclic-graph  partial-order 

Gizli paylaşım şeması kavramı genellikle Shamir (A. Shamir, Bir sır nasıl paylaşılır , Comm. ACM, 22 (1979), s. 612-613.) Ve Blakey (GR Blakey, Kriptografik anahtarların korunması , Proc. NCC, cilt 48, 1979, sayfa 313-317.). Genel bir fikir bazı gizli S yerine her bir payın ler almak katılımcılardan gizlenmiş olmasıdır i …

12 cr.crypto-security  application-of-theory 

Akış algoritmaları çoğunlukla önemsiz olmayan herhangi bir şey yapmak için rasgeleleştirme gerektirir ve küçük alan kısıtlaması nedeniyle az alan kullanan PRG'lere ihtiyaç duyar. Şimdiye kadar akış algoritmalarında kullanım için belirtilen iki yöntem biliyorum: yönlü bağımsız PRG'ler, orijinal F 2 tahmin problemiiçin Alon / Matias / Szegedy tarafından kullanılan 4 bilge …

12 ds.algorithms  derandomization  streaming  pseudorandom-generators 

Grafik renklendirme sorunları zaten çoğu insan için yeterince zor . Buna rağmen, zor olmalıyım ve hipergraf renklendirme ile ilgili bir sorun sormam gerekecek. Soru. K-düzgün hipergraflar için yaklaşık olarak optimal kenar renklendirme bulmak için hangi etkili algoritmalar vardır? Detaylar --- Bir k-muntazam hipergrafı, her bir kenarın tam olarak k köşeleri …

12 co.combinatorics  hypergraphs  graph-colouring 

Büyük veri akışları üzerinde çalışan ve sonuçları oldukça küçük olan ve sonuçları bir şekilde birleştirerek iki akışın bir karışımı için sonucu hesaplayabilen hangi yararlı algoritmalar var? Birkaç isim verebilirim: Toplam, min, maks, sayım, top-K vb. Histogramlar, farklı öğeleri sayma veya nicelikleri hesaplama için yaklaşık "çizim tabanlı" akış algoritmaları Başka neler …

12 ds.algorithms  big-list  data-streams 

grafik izomorfizminden farklı başka hangi problemler var ? Bazı referanslar verebilir misiniz?N-P∩ c o A MNP∩coAMNP\cap coAM Güncelleme: bilinmeyen dillerle ilgilendiğimi belirtmeyi unuttum .c o NPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

PAC öğrenimi için, hesaplamaya bağlı olmayan bir öğrenicinin bilgi teorik öğrenmesi için gereken örnek karmaşıklığı ile bir polinomun ihtiyaç duyduğu örnek karmaşıklığı arasında polinom boşlukları bulunan doğal konsept sınıflarının (örneğin karar listelerinin alt kümeleri) olduğu bilinmektedir. zaman öğrenen. (bkz. örneğin http://portal.acm.org/citation.cfm?id=267489&dl=GUIDE veya http://portal.acm.org/citation.cfm?id=301437 ) Bununla birlikte, bu sonuçlar belirli örneklerde …

12 machine-learning  lg.learning  sample-complexity 

Farklı noktalar olsun oturup R 2 . İ ve j noktalarının komşu olduklarını söylüyoruz , yani her nokta içinde dizinleri olan ve etrafı saran komşulardır .1 . . . n1...n1 ... nR,2R2\mathbb{R}^2beniijjj2| i - j | &lt; 3( modn - 2 )|i−j|&lt;3(modn−2)|i-j| < 3 \pmod{n-2}222 Problem şu: Her bir komşu …

12 cg.comp-geom 

Gelen Tamamen İşlevsel En kötü durum Constant Zaman Catenable Sıralama Listelerinde , Brodal vd. O (1) birleştirme ve O (lg n) ekleme, silme ve bulma ile tamamen işlevsel dengeli ağaçlar sunar. Veri yapısı biraz karmaşıktır. O (1) sıralı, işlevsel veya değil, daha basit dengeli bir arama ağacı var mı?

12 functional-programming  ds.data-structures 

Buradan kanıtı okuyorum ve teknik (henüz önemli) bir sorunla karşılaştım. Bunun oldukça spesifik olduğunu ve bağlamın sorunlu olduğunu biliyorum, ama kendim anlayamadım. 51 ve 55. sayfalarda, "standart" doğrulayıcıları sunduktan sonra, bölünmüş atamaları kontrol etmek için doğrulayıcıları değiştirmeye yönelirler. İlk durumda (s. 51), bu kontrol o f1, … , Fkf1,...,fkf_1,\dots,f_k olan …

12 cc.complexity-theory  pcp 

Açıkça teorisyenlerin evi olan akademinin yanı sıra, teorik bilgisayar bilimi ile ilgili, saf matematiksel altyapı gerektiren endüstriyel işleri merak ediyorum. Şerefe!

12 career  computational-mathematics 

Bunun için özür dilerim, kapalı, doğru cevabı olmayan yumuşak bir soru. Bu muhtemelen sorumu sormak için en iyi forum. ABD'de en iyi 15 okulun teori grubunda üçüncü sınıf mezunuyum . Şimdiye kadar, iyi iş yapıyordum. Şu ana kadar bir ilk yazar teori kağıdım ve bir ilk yazar pratik makalem var. …

12 soft-question  advice-request 

Kolay bir gözlem, problemi , belirsiz olmayan bitleri (yani, tüm tanıkların logaritmik uzunluğunda) bir polinom-zaman belirsiz olmayan bir program tarafından , o zaman .O ( log n ) A ∈ PbirAAO ( günlükn )O(log⁡n)O(\log n)A ∈ PA∈PA \in \mathsf{P} Eğer biri şu soruyu sorarsa, "Bir tanığı doğrulamak, bir tanığı bulmaktan …

12 cc.complexity-theory