«reference-request» etiketlenmiş sorular

Anladığım kadarıyla Turing'in modelinin hesaplamayı tarif ederken "standart" olduğu ortaya çıktı. Bunun neden böyle olduğunu bilmek ilgimi çekiyor - yani, TM modeli neden diğer teorik olarak eşdeğer (benim bilgime göre) modellerden daha yaygın bir şekilde kullanıldı, örneğin Kleene's Rec-Recursion veya Lambda Calculus (anlıyorum) eski olan daha sonra görünmüyordu ve ikincisi …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Halen TCS’de hiyerarşi teoremleri hakkında bir anket yazıyorum. İlgili makalelerin araştırılması Hiyerarşinin sadece TCS ve matematikte değil, teoloji ve sosyolojiden biyoloji ve kimyaya kadar birçok bilim dalında temel bir kavram olduğunu fark ettim. Bilgi miktarının çok büyük olduğunu görünce, umarım bu topluluktan yardım isteyebilirim. Tabii ki, benim için bibliyografik bir …

42 cc.complexity-theory  reference-request  big-list  survey 

Gröbner üslerinin teorik bilgisayar bilimine ilginç uygulamalarını bilen var mı ? Gröbner bazları, çok değişkenli polinom denklemlerini çözmek için kullanılır, genelde NP-zor bir problemdir. Bazı izlenebilir özel durumların TCS veya TCS ile ilgili alanlarda (kombinasyon, kodlama teorisi) etkin algoritmalar / yapılar / provalar sağlamak için kullanıldığını merak ediyordum.

41 cc.complexity-theory  reference-request  algebra  polynomials 

1937'de Turing, bir Turing makinesini tanımladı. O zamandan beri birçok bilgisayar modelinin gerçek bir bilgisayar gibi bir model bulma girişimi olduğu, ancak algoritmaları tasarlayacak ve analiz edecek kadar basit olduğu belirtildi. Sonuç olarak, farklı hesaplama modelleri için SORT problemi için bir düzine algoritmamız var. Maalesef, bit vektör işlemleri ile izin …

41 ds.algorithms  reference-request  soft-question  machine-models 

Bu math.stackexchange'ten bir çapraz mesajdır. Tam sayı faktoring sorun göstermektedirler aslında izin: Verilen asal bulmak p i ∈ N , ve tamsayılar e i ∈ , N , öyle ki n = Π k i = 0 , s e i i .n∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

"Gerçekten rastgele" sayıların üretilmesinin Turing ile karşılaştırılabilir olup olmadığına dair kesin bir cevap arıyorum. Bunu tam olarak nasıl ifade edeceğimi bilmiyorum. "Rastgele sayı üretimi için verimli algoritmalar" konulu bu StackExchange sorusu sorumu yanıtlamaya yaklaşıyor. Charles Stewart cevabında, "Martin Löf'in rastgeleliği] bir makine tarafından üretilemez" diyor. Ross Snider, “herhangi bir belirleyici …

39 reference-request  computability  turing-machines  randomness 

Geometrik Karmaşıklık Teorisi, cebirsel geometri, temsil teorisi gibi saf matematik hakkında çok fazla bilgi gerektirir. Ben bir CS öğrencisi olduğum halde, çok soyut ve saf matematik sınıflarına sahip değilken, bu programa ilgi duyuyorum. Bu teoriyi öğrenmek için "asgari bilginin" bir listesi var mı? Bu liste CS veya matematik bölümlerinin ders …

38 reference-request  big-list  survey  gct 

TCS teoremlerini ispat tekniği ile organize eden ve tartışan referanslar (online ya da kitap şeklinde) var mı? Garey ve Johnson bunu NP eksiksizliği kanıtları için gereken çeşitli widget yapıları için yapıyorlar (özellikle kitaplarının 3. bölümünde), ancak TCS'deki ispat tekniklerini daha geniş bir şekilde ele alan herhangi bir şey olup olmadığını …

38 reference-request  proof-techniques 

Teorik bilgisayar bilimi ve matematik arasındaki sınır çizgisini ayırt etmek her zaman kolay olmadığından oldukça belirsiz bir soru soracağım. SORU: CS'de ZFC'den bağımsız (yani standart küme teorisi) ya da ZFC'de (+ bazı diğer aksiyomlarda) kanıtlanmış ve daha sonra ZFC alorinde kanıtlanmış herhangi bir ilginç sonucun farkında mısınız? Soruyorum çünkü doktora …

37 reference-request  lo.logic  set-theory 

göz önüne alındığında çok sayıda geometrik problem kolaydır , ancak için de NP tamamlandı (en sevdiğim problemlerden biri, birim disk kapağı dahil).R, d d ≥ 2R,1R,1R^1R,dR,dR^dd≥ 2d≥2d\geq2 Polytime çözülebilir için bir sorun olduğunu bilen var mı ve R 2 , fakat için NP-tam Ar d , d ≥ 3 ? …

37 cc.complexity-theory  reference-request  cg.comp-geom 

Bilgisayar programlarının gittikçe artan karmaşıklığı ve gittikçe önem taşıyan konum bilgisayarları toplumumuzda var ve neden kodun doğru çalıştığına dair resmi bir kanıt vermek zorunda olduğunuz programlama dillerini neden toplu olarak kullanmadığımızı merak ediyor. Terimin 'onaylayıcı bir derleyici' olduğuna inanıyorum ( burada buldum ): bir kodun yalnızca kodu yazması gereken değil, …

37 reference-request  complexity-classes  computability  pl.programming-languages 

Bu teknik olmayan bir sorudur, ancak kesinlikle TCS topluluğu için geçerlidir. Uygunsuz olarak değerlendirilirse kapatmaktan çekinmeyin. Karmaşıklık Zoo web sayfası (http://qwiki.stanford.edu/index.php/Complexity_Zoo) kesinlikle yılda TCS topluma büyük bir hizmet olmuştur. Görünüşe göre, bir süredir kapalı. Merak ediyordum, eğer biri hala bakımını yapıyorsa, taşınmışsa, bir yedekleme sunucusu varsa veya bu harika karmaşıklık …

36 cc.complexity-theory  reference-request  soft-question 

Genel olarak, bir fonksiyonun belirli bir girişte belirli bir değer alıp almadığını test etmenin karmaşıklığının o girdideki fonksiyonu değerlendirmekten daha kolay olduğunu biliyoruz. Örneğin: Negatif olmayan bir tamsayı matrisinin kalıcılığını değerlendirmek # P-zordur, ancak böyle bir kalıcıın sıfır mı yoksa sıfır olmayan mı olduğunu P'de (iki taraflı eşleştirme) söyler Polinom …

36 cc.complexity-theory  reference-request  algebraic-complexity 

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 

Aşağıdaki sayma problemini (veya ilgili karar problemini) göz önünde bulundurun: İkili kodlanmış iki pozitif tamsayı verildiğinde, en büyük ortak bölenlerini (gcd) hesaplayın. Bu sorunun içinde bulunduğu en küçük karmaşıklık sınıfı hangisidir? Bir referans verebilir misiniz? Bu soruda öncelikle çalışma zamanındaki asimptotik sınırlarla değil, karmaşıklık sınıflarıyla ilgileniyorum. AC'de sorun mu var? …

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory