Teorik Bilgisayar Bilimi

Bir yıldız sistemi, setinin n elemanlarının n altkümesi ailesidir . Bazı grafiği varsa bir yıldız sistemi grafiktir öyle ki , köşe mahallelerinin ailesi olur . Öyle verilen bir yıldız sistemi grafiksel olup olmadığına karar vermek -tam.FFFSSSG ( V, E)G(V,E)G(V,E)FFFG,G,GN-PN-PNP Her bir öğenin minimum oluşumu nedir, böylece problem kalır mı?N-PN-PNP EDIT …

10 cc.complexity-theory  np-hardness 

içindeki gerçek matrisinin kesim normu tüm miktarının.||A||C||A||C||A||_CA=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n}I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq [n]∣∣∑i∈I,j∈Jai,j∣∣|∑i∈I,j∈Jai,j|\left|\sum_{i \in I, j \in J}a_{i,j}\right| İki ve B matrisi arasındaki mesafeyi d_C (A, B) = || AB || _C olarak tanımlayınAAABBBdC(A,B)=||A−B||CdC(A,B)=||A−B||Cd_C(A,B) = ||A-B||_C Metrik uzaydaki en küçük \ epsilon -net'in ([0,1] ^ {n …

10 graph-theory  co.combinatorics  metrics  max-cut  epsilon-nets 

Ortalama vaka karmaşıklığı açısından karmaşıklık sınıflarımız var mı? Örneğin, karar vermesi beklenen polinom zamanını alan sorunlar için (adlandırılmış) bir karmaşıklık sınıfı var mı? Başka bir soru , aşağıda örneklendirilen en iyi vaka karmaşıklığını göz önünde bulundurur : Kararı en az üstel zaman gerektiren bir sınıf (doğal) problem var mı? Açıklığa …

10 cc.complexity-theory  complexity-classes 

Kararsız kümelerin sınırlı varyantlarına örnekler :N-PN-PNP Sınırlı Durma problemi = { | LTB makinesi M durur ve kabul x içindeki t } adımları( M, x , 1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Sınırlı Döşeme = { | t 2 alanından bir kare karenin T'den çinilerle döşenmesi }( T, 1t)(T,1t)(T, 1^t)t2t2t^2TTT Sınırlı Post Yazışma …

10 cc.complexity-theory  np-hardness 

Herkese selam, şu anda otomata teorisinin bazı dallarıyla veya biçimsel dillerle ilgili sağlam bir yüksek lisans tez konusu bulmaya çalışıyorum. Kabul edilebilir bir konunun ne olacağı konusunda iyi fikirler üretmeye çalışıyorum, hırslı ama aynı zamanda yapılabilecek bir şey. Herhangi bir öneriniz çok takdir edilecektir!

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

Deterministik bağlamdan bağımsız diller (DCFL) ve görünür şekilde aşağı itilen diller (VPL), bağlamdan bağımsız diller (CFL) ve normal diller (REG) arasındaki biçimsel diller kümesidir. CFL için Backus-Naur-Form ve REG için düzenli ifadeler gibi düz ASCII'de ifade edilebilen okunabilir bir gösterim var mı?

10 fl.formal-languages 

Uzay tarafından oluşturulabilen ancak zamana bağlı olmayan bir fonksiyonunu gösterin f(n)f(n)f(n). Bu sorun DTIME (f (n)) ve SPACE (f (n)) karmaşıklık sınıfları arasındaki olası bir ayrımla mı ilgili?

10 cc.complexity-theory  space-bounded  separation 

Gelen SODA 1995 Jeff Erickson doğrusal Gerçeklenebilirlik için (kontrol durumunda bir alt sınır gösterdi arasında -subset n reel sayılar tatmin bir lineer denklem R değişkenleri). İspat yöntemi sonsuz sayıda ve Tarski'nin transfer prensibini kullanır .rrrnnnrrr Birisi bu sınırı kanıtlamak için alınan rotanın arkasındaki sezgiyi açıklayabilir mi? Bunun gibi doğrudan bir …

10 cg.comp-geom  lower-bounds  algebraic-complexity 

BPP / linear ile "doğru" tavsiye verildiğinde vaatleri yerine getiren lineer tavsiye içeren BPP makinelerine atıfta bulunuyorum ve derandomizasyon bize bir P / doğrusal veya (SUBEXP / lineer) algoritma vermelidir. Tek tip olmayan varsayımlar kullanırsak, klasik sonuçların çalışması gerektiğini düşünüyorum, çünkü tek tip olmayan rakipleri "kandırabiliriz". Bununla birlikte, gibi üniform …

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

Herhangi bir için {0,1} ila {0,1} arasında 1-1 eşlemesi olduğunu görmek kolaydır, böylece herhangi bir için vektörü "dengeli" dir, yani eşit sayıda 1 ve 0'dır. Böyle bir tanımlamak mümkün mü, böylece verildiğinde etkili bir şekilde hesaplayabiliyoruz ?nnnFFFnn^nn+O(logn)n+O(log⁡n)^{n+O(\log n)}xxxF(x)F(x)F(x)FFFxxxF(x)F(x)F(x) Teşekkürler.

10 ds.algorithms  ds.data-structures  encoding 

Literatürün çoğu belirli problemler için tekil kesikli makinelerle ilgili gibi görünmektedir, ancak çoklu kesikli makineleri düşünen birkaç makale var gibi görünmektedir. Bu tür makineler hakkında bilinenlere genel bir bakış sağlayan iyi bir makale veya tez var mı? Özellikle birden fazla kehanetle P ile ilgileniyorum.

10 oracles  turing-machines 

olduğuna dair ne kanıt var ?c o R P≠ NPcoRP≠NPcoRP \neq NP c o R PcoRPcoRP , polinom zamanında çalışan ve her zaman dile ait bir girdide Evet yanıtı veren ve dile ait olmayan bir girdide en az yarısı olan Hayır cevabını veren olasılıklı bir Turing Makinesi bulunan dil sınıfıdır.

10 cc.complexity-theory  complexity-classes 

Birkaç farklı (muhtemelen eşit olmayan) hesaplama evrenselliği kavramı vardır (örneğin, http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf dosyasının son birkaç sayfasına bakın ) ve arasında fikir birliği yoktur hangi kavramların en doğru olduğu konusunda uzmanlar (örneğin bkz . http://cs.nyu.edu/pipermail/fom/2007-October/012148.html ). Belirli bir biyomoleküler hesaplama modeli hakkında bir şeyler söylemeye çalışıyorum. Diğer modellerden daha "evrensel" veya "daha …

10 universal-computation 

Giriş boyutuna göre bir dizi işlemci gerektirmeyen bir paralel algoritma kullanarak bir sorunun hesaplama karmaşıklığını azaltmak mümkün mü (bir örnek sağlayabilir misiniz?)?

10 cc.complexity-theory  dc.parallel-comp 

FFT'nin bölünme ve fethetme doğası otomatik olarak diğer dönüşümlere (z Dönüştürme, cıvıltı, vb.) Genelleştirilebilir mi? Dönüşümün açıklamasını alan bir algoritma var mı (hangi bilgilerin gerekli olacağını bilmiyorum) ve hızlı bir FFT benzeri fonksiyon üretebilir mi?

10 ds.algorithms