Teorik Bilgisayar Bilimi

Bir zamanlar Hesaplanabilirlik ve Mantık üzerine ders aldım. Materyal karmaşıklık / hesaplanabilirlik sınıfları (R, RE, eş-RE, P, NP, Logspace, ...) ve Mantık (Öngörülen hesabı, birinci dereceden mantık, ...) arasında bir korelasyon içeriyordu. Korelasyon, bir alandaki diğer alandaki teknikler kullanılarak elde edilen birkaç sonucu içermektedir. P! = NP'nin Mantık'ta bir problem …

33 cc.complexity-theory  lo.logic  computability 

Sıklıkla birçok problem için çok zarif rastgele algoritmalar tanıdığımızı duyuyorum, ancak hayır ya da daha karmaşık, deterministik çözümler yok. Ancak bunun için sadece birkaç örnek biliyorum. En belirgin Randomize Quicksort (ve ilgili geometrik algoritmalar, örneğin dışbükey gövdeler için) Randomize Mincut Polinom Kimlik Testi Klee'nin Ölçü sorunu Bunlar arasında sadece polinom …

33 ds.algorithms  randomized-algorithms  derandomization 

Karmaşıklık teorisinin merkezi problemi tartışmasız olan vs .PPPNPNPNP Bununla birlikte, Nature kuantum olduğundan sınıflarını göz önünde bulundurmak daha doğal gözükecektir (yani, polinom zamanında kuantum bilgisayar tarafından çözülebilen karar problemleri, tüm durumlarda en fazla 1/3 hata olasılığı) ve (kuantum eşdeğeri ve ) kullanılarak.BQPBQPBQPQMAQMAQMANPNPNP Sorularım: 1) - problemine bir çözüm, ve bir …

33 cc.complexity-theory  complexity-classes  quantum-computing 

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 …

32 pl.programming-languages  open-problem  research-practice 

Yasal Uyarı: Sadece resmi yöntemler, anlambilim ve programlama dili teorisi gibi araştırma alanlarım için kefil olabilirim. Bu durum disiplinin diğer bölümlerinde de muhtemelen farklıdır. Görünen o ki, TCS daha konferans odaklı hale geldi. Araştırmacılar bir sonraki konferansta yayınlamayı hedefliyor. Bazen bir günlük versiyonu görünür. Bazen değil. Diğer disiplinlerde (biyoloji, matematik …

32 soft-question  conferences 

Bilimsel hesaplama konusunda biraz tecrübem var ve BSP (ikili alan bölümleme) uygulamaları için yaygın olarak kd-ağaçları kullandım. Son zamanlarda, 3 Boyutlu Öklid uzaylarını bölmek için kullanılan benzer bir veri yapısı olan oktre'lere daha fazla aşina oldum, fakat toplananlardan düzenli aralıklarla çalışan bir tanesi. Bir parça bağımsızlık araştırması, kd-ağaçlarının çoğu veri …

32 ds.data-structures  tree 

Makalede Rastgele Oracle Hipotezi Yanlış , yazarlar (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan ve Rohatgi) rastgele-kehanet hipotezinin sonuçlarını tartışıyorlar . Karmaşıklık sınıfları arasındaki ayrılıklar hakkında çok az şey bilmediğimizi ve çoğu sonucun ya makul varsayımları ya da rastgele-kehanet hipotezini kullanmayı içerdiğini savunuyorlar . En önemli ve en çok inanılan varsayım, …

32 cc.complexity-theory  complexity-classes  big-list  complexity-assumptions 

Bu soru, bilinen alt sınır ve üst sınır arasında büyük bir açık karmaşıklık boşluğu olduğu, ancak karmaşıklık sınıflarının kendilerindeki açık sorunlar nedeniyle olmadığı sorunlarla ilgilidir. Daha açık olmak gerekirse, edelim bir sorun vardır ki boşluk sınıfları ile ( bir ⊆ B ise benzersiz tanımlanmamış) bir bunun bir kanıtlayabileceğiniz maksimal sınıf …

32 cc.complexity-theory  complexity-classes  big-list 

Algoritmik lens aracılığıyla sorulara bakmak (yani algoritmik veya karmaşıklık açısından) bilgisayar biliminin 'standart alanı' dışındaki disiplinlerde faydalı olmuştur. Özellikle CS, hesaplamalı biyoloji yoluyla biyolojiyi, kuantum bilgi işlemesiyle fiziği etkilemiştir ve yapay zeka ve karmaşıklık teorisi nörobilim ile düzenli olarak etkileşime giriyor görünmektedir. Doğa bilimleri, TCS ile nispeten rahat görünüyor. Dolayısıyla …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

LOGLOG'u, O (loglog n) uzamında deterministik bir Turing makinesi (girdiye iki yönlü erişime sahip) ile hesaplanabilecek dillerin sınıfı olarak tanımlayın. Benzer şekilde, NLOGLOG'u, O uzayında (log log n) belirlenemeyen bir Turing makinesi (girdiye iki yönlü erişimi olan) ile hesaplanabilen dillerin sınıfı olarak tanımlayın. Bu sınıfların farklı olduğu gerçekten bilinmiyor mu? …

32 cc.complexity-theory  reference-request  space-bounded 

Bir TCS amatör olarak, kuantum hesaplama konusunda çok popüler, çok tanıtıcı bir materyal okuyorum. Şimdiye kadar öğrendiğim birkaç temel bilgi: Kuantum bilgisayarların NP-komple problemleri polinom zaman içerisinde çözdüğü bilinmemektedir. "Kuantum sihirli yeterli olmayacaktır" (Bennett ve ark 1997).: Sorun yapısını atmak ve sadece alanını düşünülürse , yaklaşık ardından bile kuantum bilgisayar …

32 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

Tüm girişleri durduran ve hiçbiri olmayan tüm makinelere izin veren bir programlama dili yazmak mümkün değildir. Bununla birlikte, herhangi bir standart karmaşıklık sınıfı için böyle bir programlama dilini tanımlamak kolay görünmektedir. Özellikle, tüm verimli hesaplamaları ve sadece verimli hesaplamaları ifade edebileceğimiz bir dil tanımlayabiliriz. Örneğin, gibi bir şey için : …

32 cc.complexity-theory  computability  pl.programming-languages 

Bu soruda, bir 3CNF formülü, her bir maddenin tam olarak üç ayrı değişken içerdiği bir CNF formülü anlamına gelir . 0 < s <1 olan sabit bir değer için Gap-3SAT s aşağıdaki söz verme sorunudur: Gap-3SAT s Örneği : 3CNF formül φ. Evet-söz : satis tatmin edicidir. No-vaadi : Hayır …

32 cc.complexity-theory  sat  approximation-hardness 

Hem lise hem de üniversitede olasılık teorisi üzerine bazı dersler geçerken, olasılık söz konusu olduğunda TCS belgelerini okumakta zorlanıyorum. TCS makalelerinin yazarlarının olasılıkları çok yakından tanıyor. Büyülü olasılık formülleriyle çalışırlar ve teoremleri çok kolay bir şekilde ispatlarlar; bir formülün nasıl elde edildiğini ve kimliklerin (veya eşitsizliklerin) nasıl kanıtlandığını anlamak için …

32 reference-request  big-list  pr.probability  books 

sonuçlarının kanıtlamak için kullanılan yaygın varsayımlardan ikisi ve Unique Games Conjecture'dir. varsayıldığında yaklaşıklık sonuçlarında bir sertlik var mı? Sorun arıyorum , " olmadıkça, bir faktör içinde yaklaşık olarak ".N P ≠ c o N P A A α N P = c o N PP≠NPP≠N-PP \neq NPNP≠coNPN-P≠cON-PNP \neq coNPAbirAAbirAαα\alphaNP=coNPN-P=cON-PNP = …

32 approximation-hardness  conditional-results