«big-picture» etiketlenmiş sorular

Algoritmaların önemini göstermek için (örneğin teoriyi yapmayan ve hatta tamamen farklı alanlardan gelen öğrenciler ve profesörler için), bazen, temel algoritmaların ticari, devlette uygulandığı örneklerin bir listesini hazır bulundurmak yararlı olabilir. veya yaygın olarak kullanılan yazılım / donanım. Aşağıdaki kriterleri karşılayan örnekler arıyorum: Algoritmayı kullanan yazılım / donanım şu anda geniş …

307 ds.algorithms  big-picture  application-of-theory 

Eğlenmek için Hesaplama Teorisini revize ettim ve bu soru bir süredir beni rahatsız ediyor (lisansımdaki Automata Teorisini öğrendiğimde hiç düşünmemiştim). Öyleyse “neden” tam olarak deterministik ve deterministik olmayan sonlu otomataları (DFA / NFA) inceliyoruz? İşte bu nedenle, çözme işleminden sonra elde ettiğim bazı cevaplar var ancak yine de 'aha' anına …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

Ben sadece "onu tanımak" için lambda matematiğini okuyorum. Turing Makinesi yerine alternatif bir hesaplama biçimi olarak görüyorum. İşlevleri / azaltmaları olan şeyleri yapmanın ilginç bir yoludur (kabaca konuşma). Bazı sorular olsa da beni rahatsız ediyor: Lambda analizinin amacı nedir? Neden tüm bu işlevlerden / azaltmalardan geçtiniz? Amaç ne? Sonuç olarak …

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

Genel olarak, evrensel ve varoluşsal niceleyicilerin sırasının tersine çevrilemeyeceği iyi bilinmektedir. Başka bir deyişle, genel bir mantıksal formül için ,ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) Öte yandan, sağ tarafın sol taraftan daha kısıtlayıcı olduğunu biliyoruz; yani, (∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(\exists y)(\forall x) \phi(x,y) \Rightarrow (\forall x)(\exists y) …

73 lo.logic  big-picture  proof-techniques 

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 

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 

Son zamanlarda, bir fizikçiyle konuşurken, tecrübelerime göre, doğal olarak üssel bir zamana ihtiyacı olan bir problemin, P veya BPP'de olduğu gibi, ortaya çıkmadığını ortaya koyduğumu, azalmanın neden ortaya çıktığını belirten bir “genel sebep” olduğunu iddia ettim. --- ve neredeyse her zaman, bu sebep bir düzine ya da daha az "olağan …

56 big-list  big-picture 

2SAT'ı çözen polinom algoritmasına rastladım. 2SAT’in, SAT örneklerinin hepsinin (veya birçoğunun) NP-Tamam olduğu P’de olduğunu övünç buldum. Bu sorunu farklı yapan nedir? Bu kadar kolay kılan şey nedir (NL-Complete - P'den bile daha kolay)?

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

Üstel olarak birçok şeyin sayılmasını içeren (girişin büyüklüğüne bağlı olarak) ve şaşırtıcı polinom-zaman kesin, deterministik algoritmalara sahip bazı sayma problemleri vardır. Örnekler şunları içerir: Holografik algoritmaların nasıl çalıştığının temelini oluşturan düzlemsel bir grafikte ( FKT algoritması ) mükemmel eşleşmeleri sayar . Bir grafikte yayılan ağaçları sayma ( Kirchhoff'un matris ağacı …

54 cc.complexity-theory  counting-complexity  big-picture 

Bu, somut bir cevaptan ziyade öznel bir soru olabilir, ama yine de. Karmaşıklık teorisinde, verimli hesaplamalar kavramını inceliyoruz. Gibi sınıflar vardır açılımı polinom zaman ve açılımı günlük alanı . Her ikisinin de bir tür "verimlilik" olarak kabul edildiği düşünülür ve bazı sorunların zorluklarını oldukça iyi yakalarlar.PP\mathsf{P}LL\mathsf{L} Ancak arasında bir fark …

49 cc.complexity-theory  space-bounded  big-picture 

Bazı örneklerle başlayayım. CVP’nin P’de olduğunu göstermek neden bu kadar önemsizdir; ikisi de P-komple problemlerdir. Ya da öncelik kazanın. Kompozitleri NP cinsinden göstermek, NP cinsinden (Pratt gerektiren) ve nihayetinde P cinsinden kullanmaktan daha kolaydır. Neden bu asimetriyi göstermek zorundaydı? Hilbert'i biliyorum, yaratıcılığa ihtiyacım var, ispatlar NP'de vb. Ölçülebilir bir "iş" …

46 cc.complexity-theory  big-picture 

Bir günü farklı bir iş parçacığı , Andrej Bauer denotasyonel semantiğini olarak tanımlanır: Bir programın anlamı, parçalarının anlamlarının bir fonksiyonudur. Beni bu tanımdan rahatsız eden şey, yaygın olarak kasten çıkmayan anlambilim, yani yapısal operasyonel anlambilim olarak düşünülen şeyden, kimi anlamsal anlambilim olarak düşünülen şeyleri ortaya çıkarmamış gibi görünmesidir . Daha …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

Chomsky (–Schützenberger) hiyerarşisi, teorik bilgisayar bilimi ders kitaplarında kullanılmaktadır, ancak açıkça, karmaşıklık Hayvanat Bahçesi Diyagramının tamamıyla karşılaştırıldığında, sadece resmi dillerin (REG, CFL, CSL, RE) çok küçük bir kısmını kapsamaktadır . Hiyerarşi artık mevcut araştırmalarda herhangi bir rol oynuyor mu? Chomsky'ye cstheory.stackexchange'te sadece küçük referanslar buldum ve Karmaşıklık Hayvanat Bahçesi'nde Chomsky …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching