Teorik Bilgisayar Bilimi

Uygulanamayacak kadar karmaşık olan bazı meşru fayda algoritmaları nelerdir? Netleştireyim: Geçerli asimptotik en uygun matris çarpım algoritması (Coppersmith-Winograd) gibi algoritmaları aramıyorum, uygulanması makul ama pratikte işe yaramaz kılan bir sabiti var. Makul bir şekilde pratik değere sahip olabilecek algoritmalar arıyorum, ancak kodlamalarını yapmak çok zor, ancak bunların hiçbir zaman uygulanmadığını, …

67 ds.algorithms  ds.data-structures  big-list  implementation 

Ben bir yazılım uygulayıcısıyım ve kişisel araştırma için cebirsel yapılar üzerine bir anket yazıyorum ve bu yapıların teorik bilgisayar bilimlerinde (ve daha az derecede bilgisayar biliminin diğer alt alanlarında) nasıl kullanıldığına dair örnekler üretmeye çalışıyorum. . Grup teorisi altında biçimsel diller için sözdizimsel monoidlerle, paralel / eşzamanlı hesaplama için iz …

67 reference-request  big-list  big-picture  algebra 

Matematikçiler bazen Seçim Aksiyomu (AC) ve Belirlilik Aksiyomu (AD) hakkında endişe duyuyorlar. Seçme aksiyomu : Herhangi koleksiyon Verilen boş olmayan kümeler, orada bir fonksiyondur f kümesi verilen bu S içinde C , bir üyesini döndürür S .CC{\cal C}fffSSSCC{\cal C}SSS Belirsizlik Aksiyomu : , sonsuz uzun bit dizeleri kümesi olsun . …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

Şu anda, büyük girdiler için problemin veya bir problemin çözülmesi genel olarak mümkün değildir. Bununla birlikte, her ikisi de üstel zaman ve polinom uzayda çözülebilir.NPNPNPPSPACEPSPACEPSPACE Belirsiz veya 'şanslı' bilgisayarlar kuramadığımız için, bir problemin veya olması bizim için herhangi bir fark yaratır mı?NPNPNPPSPACEPSPACEPSPACE

66 cc.complexity-theory  np-hardness  big-picture 

Daha matematiksel bir arka plandan gelince, kodlamayı gerçekten öğrenmedim. TCS'de doktora yapıyorum ve birçok kişi programlama hakkında (ve genel olarak bilgisayar hakkında) ne kadar az şey bildiğimden şaşırdı. Algoritmaları sözde kodda yazabilirim, ancak gerçekten herhangi bir programlama dili bilmiyorum. Bir gün işim için bazı algoritmalar uygulamak zorunda kalacağımı hayal edebiliyorum …

66 soft-question  big-list  advice-request  career 

PCP teoremini kullanan (çoğunlukla yaklaşık algoritmalarda) birçok sonuç hakkında bilgim var, ancak PCP teoreminin net bir açıklamasına hiç rastlamadım (yani, ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Bunun için okunacak iyi makaleler / kitaplar nelerdir?

64 cc.complexity-theory  reference-request  pcp 

Sorulan soru, aşağıdaki sorunun karar verilebilir olup olmadığıdır: Problem bir tamsayı verildiğinde ve Turing makinesi P de vaat etti, giriş uzunluğu göre çalışma zamanı ?M M O ( n k ) nkkkMMMMMM O(nk)O(nk){O}(n^k)nnn "Evet", "hayır" veya "açık" gibi dar bir cevap kabul edilebilir (referanslar, ispat taslağı veya mevcut bilgilerin gözden …

64 cc.complexity-theory  approximation-hardness 

Bir son soru sınıfı PH sınıfı PP yer aldığını soran Huck Bennett tarafından, (öyle görünüyor ki, hepsi gerçek) biraz çelişkili cevaplar aldı. Bir yandan, bazı kehanet sonuçları tam tersine verildi ve diğer Scott, cevabın olumlu olduğunu öne sürdü çünkü Toda'nın teoremi, PH'nın PP'nin olasılık varyantı olan BP.PP'de olduğunu gösteriyor ve …

63 cc.complexity-theory  counting-complexity  derandomization  relativization 

Aşağıda güncellendi Akran değerlendirmesinin kritik önemini hepimiz biliyoruz. Araştırmada kalite kontrol ve geri beslemenin ana şeklidir. Ancak, erken aşamadaki bir araştırmacıya (benim gibi) göre, bazen kafa karıştırıcı bir sistem / süreç olabilir. Buna göre, bilimsel yönlendirme sürecine rehberlik eden birkaç tez vardır. Bilgisayar bilimleri İki (çok farklı) örnekler - Parberry …

62 soft-question  big-list  paper-review 

10/12/08 AT EDIT: Soruyu değiştirmeye çalışacağım, böylece daha fazla insanın fikirlerini paylaşması ilgisini çekebilir. Katkılarınız İHTİYACINIZ VAR! Bu yazı, MO'da birinden esinlenmiştir: Matematikte ortak yanlış inanç örnekleri . Büyük listeler bazen nitelikleri kontrol etmesi zor olan çok sayıda cevap üretmektedir, ancak MO ile ilgili yazının başarısından sonra, TCS'deki bir takım …

62 big-list  examples 

Bugün benim sorum (her zamanki gibi) biraz saçma; ama nazik düşünmenizi rica ediyorum. Treewthth kavramının arkasındaki genesis ve / veya motivasyon hakkında bilmek istedim. FPT algoritmalarında kullanıldığından eminim ama bu kavramın tanımlanmasının nedeni bu olduğunu sanmıyorum. Bu konuda yazılan notları Prof Robin Thomas sınıfında yazdım . Sanırım bu kavramın bazı …

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

Bilgisayar Bilimi alanındaki Topoloji uygulamaları hakkında bir anket yazmak istiyorum. Bilgisayar Bilimleri alanındaki topolojik fikirlerin tarihçesini ele almayı ve bazı güncel gelişmeleri vurgulamayı düşünüyorum. Aşağıdaki sorulardan herhangi biri hakkında bilgi verebilecek olmanız son derece yardımcı olacaktır. Bilgisayar Bilimlerinde topoloji kullanımının kronolojisini tanımlayan herhangi bir makale veya not var mı? Topolojideki …

61 reference-request  ho.history-overview  topology  survey 

Genellikle, TCS konferanslarına katıldığımızda, konferans organizatörlerinin ilgilenmesini istediğimiz bazı küçük ayrıntıları fark ediyoruz. Ve konferanslar düzenlerken, bunu çoktan unuttuk. Dolayısıyla şu soru: TCS konferanslarını geliştirmek için hangi küçük adımları kolayca uygulayabiliriz ? Umarım, bu soru aynı konferansı tekrar tekrar yapmamak için konferanslar düzenlerken iki kez kontrol edebileceğimiz bir kaynak olabilir. …

61 soft-question  big-list  research-practice  conferences 

Biz TCS’de klasik matematikten (cebir, topoloji, analiz, geometri vb.) Güçlü sonuçlar ve fikirler kullanıyoruz. Başka bir yöne gittiğinde bazı örnekler nelerdir? İşte bildiğim bazı şeyler (ve ayrıca sorduğum sonuç türünden bir tat vermek için): Kübik köpükler (Guy Kindler, Ryan O'Donnell, Anup Rao ve Avi Wigderson: Küresel Küpler ve Yüksek Boyutlarda …

60 reference-request  big-list 

Bir numara tarafından parametrik sorunların örnekler arıyorum k∈Nk∈Nk \in \mathbb{N} Sorunun sertlik olduğunu, monoton olmayan içinde kkk . (Benim de) sorunların çoğu, örneğin tek bir faz geçişi, sahip kkk tek bir faz geçişi olan -SAT k∈{1,2}k∈{1,2}k \in \{1,2\} (sorun P olduğu) k≥3k≥3k \ge 3 sorunu (burada NP tamamlamak, tam, eksiksiz). …

60 cc.complexity-theory  np-hardness  big-list  phase-transition