Teorik Bilgisayar Bilimi

Sorun, polinomu hesaplamaktır . Tüm katsayıların makine kelimesine uygun olduğunu, yani birim zamanda değiştirilebileceğini varsayalım.(a1x+b1)×⋯×(anx+bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) Sen yapabilirsin bir ağaç moda FFT uygulayarak zaman. yapabilir misin ?O(nlog2n)O(nlog2⁡n)O(n \log^2 n)O(nlogn)O(nlog⁡n)O(n \log n)

35 ds.algorithms  reference-request  open-problem  polynomials 

Şu anda üniversiteye [bilgisayar bilimi] başlıyorum ve burada araştırmaya başlamak için çok fırsatımız var. Bu web sitesini bulmadan önce bu yoldan gitme niyetim yoktu [AI, muhtemelen oyun geliştirme ile çalışmak istedim], ama şimdi bir seçim yapmak için [veya ihtiyacım] yapabilirim. Beni bu "dünyaya" katılmaya ikna edebilir misin? Hangi "segmentleri" takip …

35 soft-question  career 

Karmaşıklık Zoo ile girişinde işaret EXP eğer L = P sonra Pspace = EXP. NPSPACE = PSPACE'ten beri Savitch, altta yatan doldurma argümanını söyleyebildiğim kadarıyla şunu gösteriyor: Ayrıca bu L bilmek NL Carolina p RUZZO kaynak-sınırlanan alternatif hiyerarşisi ile.⊆(NL=P)⇒(PSPACE=EXP).(NL=P)⇒(Pspace=EXP).(\text{NL} = \text{P}) \Rightarrow (\text{PSPACE} = \text{EXP}).⊆⊆\subseteq ⊆⊆\subseteq ⊆⊆\subseteq NC = P …

35 cc.complexity-theory  conditional-results 

İyi bilinen algoritmaların çoğu, giriş ve çıkışlarının "düz" veri olduğu anlamında birinci derecedendir. Bazıları, örneğin sıralama, karma tablolar veya harita ve katlama işlevleri gibi önemsiz bir şekilde ikinci derecedir: bir işlev tarafından parametrelendirilirler, ancak diğer girdi verilerinin parçalarına çağrılması dışında gerçekten ilginç bir şey yapmazlar. Bazıları ayrıca ikinci dereceden fakat …

35 ds.algorithms  functional-programming  ds.data-structures  pl.programming-languages 

Karmaşıklıkta en şaşırtıcı sonuçlar neydi? Beklenmeyen / şaşırtıcı sonuçların bir listesine sahip olmanın faydalı olacağını düşünüyorum. Bu, hem şaşırtıcı hem de hiçbir yerde ortaya çıkmayan sonuçları ve aynı zamanda insanların beklenenden farklı olduğu sonuçları da içerir. Düzenleme : karmaşıklık bloğunda (@ Zeyu'nun işaret ettiği) Gasarch, Lewis ve Ladner tarafından verilen …

35 cc.complexity-theory  big-list 

Sitede en çok tartışılan sorulardan biri, Kilise Döndürme Tezini Çürütmek Ne Demekti ? Bunun nedeni, Dershowitz ve Gurevich'in 2008'de Kilise Dönemi Tezi'nin Sembolik Mantık Bülteni olduğunun bir kanıtı yayınlamasıdır. (Bunu burada tartışmayacağım, ancak bağlantı ve kapsamlı yorumlar için lütfen asıl soruya bakın veya - - utanmaz kişisel tanıtım - yazdığım …

35 soft-question  lo.logic  church-turing-thesis 

Birçoğu olduğuna inanmaktadır . Bununla birlikte, yalnızca B P P'nin ikinci seviye polinom hiyerarşisinde olduğunu biliyoruz , yani B P P ⊆ Σ P 2 ∩ Π P 2 . Gösteren doğru bir adım B P P = P polinom hiyerarşinin birinci seviyeye, yani, aşağı getirmek ilk için B P …

34 cc.complexity-theory  randomness  randomized-algorithms  nondeterminism  barriers 

Biri genellikle NP-zor problemlere yaklaşık çözümlerin (garantili) yaklaştığını düşünür. P'de olduğu bilinen problemlere yaklaşma konusunda herhangi bir araştırma var mı? Bu, birkaç nedenden dolayı iyi bir fikir olabilir. Başımın üstünde, bir yaklaşım algoritması daha düşük bir karmaşıklıkla (ya da daha küçük bir sabit) çalışabilir, daha az yer kullanabilir veya daha …

34 ds.algorithms  approximation-algorithms 

(Teorik) bilgisayar biliminin öncülerinden Alan Turing , Turing makineleri, Kilise-Turing tezi, kararsızlık ve Turing testinin tanımlanması da dahil olmak üzere alanımıza birçok bilimsel bilimsel katkı yaptı. Ancak, önemli keşifleri listelediklerimle sınırlı değil. 100. Doğum Günü onuruna, çalışmalarını daha iyi anlayabilmek için bilgisayar bilimine yaptığı önemli katkıların daha eksiksiz bir listesini …

34 soft-question  ho.history-overview 

Sırasız bir nnn öğesi dizisi alan , ön işleme yapan ve sorguları cevaplayan bir veri yapısı var mı : Listede bazı öğeleri var , her sorguda en kötü mı?O ( n ) x O ( log n )O(n)O(n)xxO(logn)O(\log n) Gerçekten olmadığını düşünüyorum, bu yüzden hiçbirinin olmadığı bir kanıtı da memnuniyetle …

34 ds.data-structures  sorting 

Sanırım bu olası bir soru değil, ancak bu izleyiciye anlamlı bir şekilde hitap etmek için açıkça yapılmış bir malzeme görüp görmediğini merak ediyorum.

34 soft-question  teaching 

Faktoringin NP tamamlanmış olduğu bilinmemektedir. Bu soru, Faktoring'in NP-eksiksiz olmasının sonuçlarını istedi. Merakla, kimse Faktoring'in P'de olmasının sonuçlarını sormadı (belki de böyle bir soru önemsizdir). Yani benim sorularım: Hangi olacağını teorik Faktoring P olmanın sonuçları? Karmaşıklık sınıflarının genel tabloları böyle bir durumdan nasıl etkilenir? Hangi olurdu pratik Faktoring P olmanın …

34 cc.complexity-theory  cr.crypto-security  conditional-results  factoring 

Akademik kariyerimde çeşitli bilgisayar bilimleri konularında epeyce akademik yazılar okudum. Birçoğu bir uygulamayı ve bu uygulamanın bir değerlendirmesini içerir, ancak çok azının gerçekte kullandıkları kodu yayınladığını buldum. Bana göre, gerçek uygulamayı dahil etmenin faydaları, yani: Güvenin uzatılması veya tekrar üretilebilirlik (sadece kendiniz test edin!) Belirsizliklerin netleştirilmesi (özellikle anadili olmayanlar tarafından …

34 soft-question  research-practice  paper-review 

Sorun elbette çift saymadır. Bazı DAG sınıfları = ağaç veya seri-paralel ağaç için yapılabilecek kadar kolaydır. Genel DAG'lar üzerinde makul bir sürede çalışan tek algoritma yaklaşık bir değerdir (Sinopsis difüzyonu), ancak hassasiyetini artırmak bitlerin sayısında üsteldir (ve çok fazla bit gerekir). Arka plan: Bu görev BBChop'ta olasılık hesaplamalarının bir parçası …

34 ds.algorithms  graph-theory  directed-acyclic-graph 

Arora-Kale SDP çözücüsünün Goemans-Williamson gevşemesine neredeyse lineer zamanda nasıl yaklaştığını, Plotkin-Shmoys-Tardos çözücüsünün kesirli “paketleme” ve “örtme” problemlerine neredeyse lineer zamanda nasıl yaklaşdığını ve algoritmaların nasıl olduğunu anlamak istiyorum. “Uzmanlardan öğrenme” soyut çerçevesinin somutlaşmış örnekleridir. Kale'nin tezinin mükemmel bir sunumu var ama doğrudan soyut çerçeveye atlamayı çok zor buluyorum ve ne …

34 ds.algorithms  approximation-algorithms  linear-programming  primal-dual  semidefinite-programming