Teorik Bilgisayar Bilimi

Verilen nnn altkümeleri { 1 , … , d } 'S1,…,SnS1,…,SnS_1,\ldots,S_n nin S n'si .{1,…,d}{1,…,d}\{1,\ldots,d\} Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j Bu problemin önemsiz çözümü tüm set çiftlerinden geçer ve zamanındaki bir çiftin dahil edilmesini kontrol eder , bu nedenle genel çalışma zamanı . Bu sorun daha hızlı çözülebilir mi? Literatürde bunun için …

24 ds.algorithms  reference-request 

İzin verilen kelimelerin (alfabetik olarak sıralanmış) ve kelimelerin büyük bir veri tabanı göz önüne alındığında, verilen kelimeye en yakın olan veri tabanını Levenshtein mesafesi cinsinden bulun. Doğal yaklaşım, elbette, verilen kelime ile sözlükteki tüm kelimeler arasındaki levenshtein mesafesini basitçe hesaplamaktır (mesafeleri hesaplamadan önce veritabanında ikili bir arama yapabiliriz). Bu soruna …

24 ds.algorithms  reference-request  string-matching  string-search 

Zengin bir literatür ve çoklayıcı bir hata bağlamında NP zorlu problemler için bilinen yaklaşık sonuç sonuçlarının sertliğini ortaya koyan çok iyi bir kitap vardır (örneğin, vertex kaplaması için 2-yaklaşım UGC'nin en iyi olduğu varsayımıdır). Bu aynı zamanda APX, PTAS ve benzeri gibi iyi anlaşılmış yaklaşım karmaşıklığı sınıflarını da içerir. Ek …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

Coppersmith-Winograd algoritması, iki çarpmak için asimptotik bilinen en hızlı algoritma kare matris. Algoritmalarının çalışma süresi şu ana kadar en iyi bilinen . Bu algoritmanın uzay karmaşıklığı nedir? mı ?n×nn×nn \times nO(n2.376)O(n2.376)O(n^{2.376})Θ ( n2)Θ(n2)\Theta(n^2)

24 ds.algorithms  matrices 

"İyi" ve "alan açısından verimli" dengesiz genişleticiler arıyorum. Spesifik olarak, bir bipartit sol normal grafik , , , sol derecesi ile a, -expander herhangi ise en çok boyutta , belirgin komşu sayısı içinde olan en az. Olasılıklı yöntemin böyle bir grafiği ve verdiği bilinmektedir . Ancak, bir kişiG=(A,B,E)G=(A,B,E)G=(A,B,E)|A|=n|A|=n|A|=n|B|=m|B|=m|B|=mddd(k,ϵ)(k,ϵ)(k,\epsilon)S⊂AS⊂AS \subset AkkkSSSBBB(1−ϵ)d|S|(1−ϵ)d|S|(1-\epsilon)d|S|d=O(log(n/k)/ϵ)d=O(log⁡(n/k)/ϵ)d=O(\log …

24 graph-theory  derandomization  expanders 

Deterministik logspace'de ( ) saptanabilen herhangi bir problemin en çok polinom zamanda ( ) ortaya çıktığı açıktır . ve arasında bir çok karmaşıklık sınıfı var . Örnekler arasında , , , , , . olduğuna inanılmaktadır .P L P K L L O g Cı- F L , N Cı- …

24 cc.complexity-theory  lower-bounds  space-bounded 

Dolaşma çoğu zaman kuantum algoritmalarını iyi yapan anahtar bileşen olarak tutulur ... kuantum ve bu durum, gizli durum olasılıklı bir model olarak kuantum fiziği fikrini tahrip eden Bell durumlarına kadar izlenebilir. Kuantum bilgi teorisinde (benim oldukça zayıf anlayışımdan), dolaşma aynı zamanda belirli kodlama türlerini yapma yeteneğini sınırlayan somut bir kaynak …

24 quantum-computing  big-picture 

Çok özel bir soru, farkındayım ve bunun Magic'in kurallarına aşina olmayan biri tarafından cevaplanacağından şüpheliyim. Draw3Cards için çapraz gönderildi . İşte Buluşması: Oyun Magic kapsamlı kurallar . Tüm Sihirli Kartların bir listesi için bu soruya bakın . Sorum şu - Turing Tamamlandı mı? Daha fazla ayrıntı için lütfen Draw3Cards adresindeki …

24 turing-machines  card-games  recreational 

Bir Hamiltonian döngüsünün düzlemsel (Garey, Johnson ve Tarjan, SIAM J. Comput. 1976) veya iki partili (Akiyama, Nishizeki, olsa bile) 3 düzenli bir grafikte var olup olmadığını test etmenin NP tamamlanmış olduğu bilinmektedir. ve Saito, J. Inform. Proc. 1980) veya Jordanian eğrilerinin bir düzenlemesinin oluşturduğu grafik olsa bile, bir Hamiltonian döngüsünün …

24 graph-theory  np-hardness  hamiltonian-paths 

Tamamen akademik olmak ve doktora / doktora sonrası almak ya da yazılım geliştirmede az ya da çok 'standart' bir işe girmek dışında, tam ya da yarı teorik CS alanında diğer bazı kariyer seçenekleri nelerdir?

24 soft-question  advice-request  career 

tam problem nelerdir?N-P∩ c o NPNP∩coNPNP\cap coNP

24 cc.complexity-theory  conditional-results 

Makul bir şekilde iş etkinliğinde yapılan güncellemeler için benzer veya hatta daha da kötüsü olmayan özelliklere sahip kırmızı-siyah ağaçlara doğal bir paralel analog var mı? Daha genel olarak, güncellemeleri içeren paralel arama için en iyisini yapabiliriz?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

Wikipedia, ikinci bir preimage atağını şu şekilde tanımlar : sabit bir m1 mesajı verildiğinde, m2 (m2) = karma (m1) şeklinde farklı bir mesaj m2 bulun. Wikipedia bir çarpışma saldırısını şu şekilde tanımlar : iki farklı m1 ve m2 mesajını bulun, böylelikle karma (m1) = karma (m2) olur. Görebildiğim tek fark, …

24 cr.crypto-security  hash-function 

Beklenen çalışma süresinin polinom olduğu bilinen bir algoritmanın bilinen bir NP-tamam problemi var mı (örnekler üzerinde hassas bir dağılım için)? Olmazsa, böyle bir algoritmanın varlığının kurulduğu sorunlar var mı? Yoksa böyle bir algoritmanın varlığı, deterministik bir polinom zaman algoritmasının varlığına mı işaret ediyor?

24 cc.complexity-theory  np-hardness 

Bundan 30 yıl sonra geleceğe bakalım. İyimser olalım ve makine öğrenimi ile ilgili alanların son 10 yılda gördüklerimiz kadar hızlı bir şekilde gelişmeye devam ettiğini varsayalım. Bu harika olurdu, ama o zaman böyle bir gelecekte geleneksel algoritmaların rolü ne olurdu? Burada "geleneksel algoritmalar" ile, TCS'de izlediğimiz olağan süreci kastediyorum: iyi …

23 ds.algorithms  soft-question  machine-learning