«reference-request» etiketlenmiş sorular

Programlama dili teorisini gerçekten anlamak için kategori teorisini nasıl öğrenmesi gerektiğini duymaya devam ediyorum. Şimdiye kadar, kategoriler alanına adım atmadan iyi bir PL öğrendim. Ancak, neyi kaçırdığımı görmek için büyük bir adım atmanın zamanının geldiğini düşündüm. Ne yazık ki, bulabildiğim kaynakların hiçbiri tip sistemlerine veya programlamaya herhangi bir bağlantı kurmuş …

13 reference-request  programming-languages  type-theory  category-theory 

Wikipedia'nın grafik izomorfizmi sorun sayfası, hayır, çözülmediğini gösteriyor gibi görünüyor. Ancak, bir arkadaşım Grafik İzomorfizmi için Bir Polinom Zaman Algoritması'na dikkat çekti . Makaledeki muhakemeyi takip edecek kadar sofistike değilim. Kanıt gibi bir şey olmadan bir polinom zaman algoritmasında çok sert bir girişimim var , ancak devam etmeden önce bu …

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

Matematik gruplarını ve CS resmi dillerini veya Turing makineleri gibi başka bir temel CS kavramını ilişkilendirmenin veya bağlamanın doğal veya kayda değer bir yolu var mı ? Referanslar / uygulamalar arıyorum. Ancak yarı gruplar ve CS dilleri arasındaki bağlantıdan haberdar olduğumu unutmayın ( sonlu otomata üzerinden ). (Semiautomata ilişkin bu …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Birinin istemci sunucu modelinin kaynağını bilip bilmediğini merak ediyordum. Terim nereden geliyor (kağıt, yazılım uygulaması, kitap)?

13 terminology  reference-request  distributed-systems  history 

Mesaj Yazışmalar Sorunu (PCP) undecidable. PCP sınırlı versiyonu olan Komple ve PCP işaretlenmiş versiyonu (iki liste birinin kelimeler, öncelikle harfi farklılık gerekmektedir) içinde [1].NPNP\mathrm{NP}PSPACEPSPACE\mathrm{PSPACE} Bu kısıtlı sürümler diğer sorunların bazı karmaşıklık sonuçlarını kanıtlamak için kullanılıyor mu (azaltma yoluyla)? PCP'nin karar verilebilmesini sağlayan (ve özellikle -complete) başka kısıtlı sürümleri var mı?PSPACEPSPACE\mathrm{PSPACE} …

13 complexity-theory  computability  reference-request 

Bilgisayar biliminde, 2D'de belirli bir nokta kümesini kapsayan minimum sayıda düz çizgi bulan popüler bir sorun [1] [2] vardır. Çok sayıda makale taramış olmama rağmen, hiçbirinin sorun için açık bir motivasyonu yok. Bu sorunu çözmenin faydası nedir? Bunu açıklayan bir kağıt var mı?

12 reference-request  computational-geometry  applied-theory 

En kötü durum asimptotik çalışma zamanı açısından, hangi NP-tamamlama problemi en hızlı (kesin) algoritmaya sahiptir ve algoritma nedir? den daha hızlı bilinen bir şey var mı ?O(n2∗2n)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

25k cümle 5k değişken SAT sorunu çözmeye çalışıyorum. Bir saattir koşuyor (precosat) ve daha sonra daha büyük olanları çözmek istiyorum, çok çekirdekli bir SAT Çözücü arıyorum. Birçok SAT Çözücü olduğu için oldukça kayboldum. Biri bana davam için en iyisini gösterebilir mi? Birisi bana yaklaşık zamanı verebilirse de mutlu olurum (mümkünse).

12 algorithms  reference-request  parallel-computing  sat-solvers 

Bir şaka olup olmadığını bilmiyorum, ama bir kez git, hg veya svn gibi bir sürüm sistemindeki bir dosyanın resmi bir tanımı olarak anılan şeyi okudum. Homeomorfizm gibi matematiksel bir nesne gibiydi. Bu bir şaka mıydı yoksa sürüm sistemleri ve VCS'nin matematiği hakkında gerçekten bilgisayar bilimi teorisi var mı?

12 terminology  reference-request 

Merak ediyorum, 2 yönlü DFA'lar için boşluk belirlemenin zaman karmaşıklığı nedir? Yani, salt okunur giriş bantlarında geriye doğru hareket edebilen sonlu otomatalardır. Wikipedia'ya göre, DFA'lara eşdeğerdir, ancak eşdeğer DFA katlanarak daha büyük olabilir. Tamamlayıcıları ve kavşakları için devlet karmaşıklığı buldum, ancak boşluk testleri için değil. Bunu bulabileceğim bir kağıt bilen …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Bir programlama dili anlambilimi ve tür sistemini prototiplemek için herhangi bir araç var mı ve bu da tür sağlamlığı gibi standart özelliklerin bir çeşit model kontrolüne izin veriyor mu? Bunu soruyorum, çünkü Alloy hakkında bir kitap okuyorum ve tam olarak istediğim işlevselliği sağlıyor, ancak ilişkisel mantık kullanarak ifade edilen modeller …

11 reference-request  programming-languages  semantics  model-checking 

Ortalama durumda `` polinom '' olan herhangi bir zor problemi olup olmadığını merak ediyorum.Bunu yorumlamanın iki yolu var mı?NPNPNP Eğer , bir çözme bir algoritma olabilir çalışma süresi itfa (ortalama durum) ile -Sert sorun sabit için ?P≠NPP≠NPP \neq NPNPNPNPO(nk)O(nk)O(n^k)kkk Herhangi bir sorun var mı da vardır ki -Sabit , hatta …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Mantık ve Hesaplama hakkında iyi bir tanıtım kitabı (ancak kapsamlı) hakkında bazı önerilerde bulunabilir misiniz ? Aklımdaki bazı bulanık konular: Presburger artihm., PA, ZF, ZFC, HOL Küme teorisi, Tip teorisi Farklı teorilerde Modelleme (Turing makineleri) Hesaplama karmaşıklığı (FMT, tanımlayıcı karmaşıklık) ile bağlantılar

11 reference-request  logic  books 

Polinom-zaman yaklaşım şemaları hakkındaki Wikipedia makalesine göre : FPTAS'taki tüm problemler sabit parametreli izlenebilirdir. Bu sonuç beni şaşırtıyor - bu sınıflar birbirinden tamamen farklı görünüyor. FPTAS, problemleri yaklaşık olarak ne kadar kolay olacaklarıyla karakterize ederken, FPT problemleri bazı parametrelere göre zorlukları ile karakterize eder. Ne yazık ki, Wikipedia (bu soruyu …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Verilen iş J 1 , J 2 , . . . , J n , her işin tamamlanması için T i > 0 , T i ∈ N süresi gerekir.nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Her iş, bir seferde yalnızca 1 işi işleyebilen tek bir makine M tarafından önceden işlenmeli …

11 complexity-theory  reference-request  scheduling