Teorik Bilgisayar Bilimi

Sezgisel tip teorisine maruz kaldığımda, önermeler ve değerlendirmeler arasındaki ince farkla kafam karışıyor. Herhangi biri bana onları ayırt etmenin amacı ve onları ayırt eden şeyin ne olduğunu açıklayabilir mi? Özellikle Curry-Howard Isomorphsim'in görüşü.

27 lo.logic  pl.programming-languages  type-theory 

Klasik ekseni problemleri, pozitif bir tamsayı verildiğinde , aşağıdaki koşulları sağlayan tamsayıların dizisi olup olmadığını sorar :nnnnnnQ[1..n]Q[1..n]Q[1..n] 1≤Q[i]≤n1≤Q[i]≤n1\le Q[i] \le n tümiii Q[i]≠Q[j]Q[i]≠Q[j]Q[i] \ne Q[j] hepsi içini≠ji≠ji\ne j Q[i]−i≠Q[j]−jQ[i]−i≠Q[j]−jQ[i]-i \ne Q[j]-j hepsi içini≠ji≠ji\ne j Q[i]+i≠Q[j]+jQ[i]+i≠Q[j]+jQ[i]+i \ne Q[j]+j tümi≠ji≠ji\ne j Her bir tam sayı bir kraliçeye konumunu temsil bir inci satır …

27 cc.complexity-theory  board-games 

Hangi problemlerin ye ait olduğu, ancak ye ait olduğu ?PB P PBPP\mathsf{BPP}PP\mathsf P Daha doğrusu, bağımsızlıklarla ilgileniyorum , ki bu derandomasyonlarının eşdeğer olduğu bilinmemektedir. Örneğin, PIT’in derandomize edilmesinin ve çok değişkenli polinom faktörizasyonunun eşdeğer olduğu ve onları tek bir problem olarak kabul edebileceğim bilinmektedir . motivasyonu, " de ' de …

27 derandomization 

Bu makaleyi çok ilginç buldum . Özetlemek gerekirse: Uygulamada neden NP-tamamlanmış bir sorunun en kötü durumunu nadiren bulduğunuzu tartışır. Makaledeki fikir, her ikisinin de çözülmesi nispeten kolay olan örneklerin genellikle ya çok ya da çok kısıtlı olduğu. Daha sonra birkaç sorun için “kısıtlılık” ölçüsü önerir. Bu sorunların, 0 çözüm olasılığından% …

27 np-hardness  worst-case 

Görünüşe göre birçok insan kısmen, faktoringin polytime çözülebilir olmadığını düşündüğü için inanmaktadır. (Shiva Kintali burada birkaç aday problem daha listeledi ).P≠ NP∩ c o NPP≠NP∩coNPP \ne NP \cap coNP Öte yandan, Grötschel, Lovász ve Schrijver olduğunu yazdım "birçok kişi inanıyoruz ." Bu alıntı Geometrik Algoritmalar ve Kombinatoryal Optimizasyonda bulunabilir ve …

27 cc.complexity-theory  np  conditional-results 

Grothendieck vefat etti . 21. yüzyıla devam eden 20. yüzyıl matematiğine büyük etkisi oldu. Bu soru bir şekilde, örneğin Alan Turing'in Bilgisayar Bilimine Katkıları'nın tarzında / ruhunda sorulur . Nelerdir Grothendieck teorik bilgisayar bilimi üzerine 'nin başlıca etkiler?

27 big-picture  ct.category-theory  ho.history-overview 

Geçenlerde İki İkilik Hesaplamayı okudum : Olumsuz ve Kesirli Türler . Kağıt türleri semantik veren toplam-tip ve ürün türleri üzerinde genişler a - bve a/b. Toplama ve çarpma işlemlerinden farklı olarak, üstelleştirme, logaritmalar ve köklendirme gibi bir değil iki tersi vardır. Eğer fonksiyon tipleri (a → b) tip teorik üstelse, …

27 lo.logic  pl.programming-languages  type-theory  algebra 

Bilgisayar bilimi eğitimimde, ayrık problemlerin çoğunun NP tamamlandı (en azından) olduğunu, sürekli problemlerin optimize edilmesinin genellikle degrade teknikleriyle neredeyse her zaman kolayca elde edilebildiğini fark ettim. Bunun istisnaları var mı?

27 cc.complexity-theory  co.combinatorics  optimization 

bir dilin örneği var mı NPNPNP, ancak bu gerçeği doğrudan bu dilin üyeliğine dair çok sesli bir tanık olduğunu göstererek kanıtlayamadığımız bir yer var mı? Bunun yerine, dilin olduğu gerçeği, bu ikisi arasındaki bağlantının önemsiz olmadığı ve dikkatli bir analiz gerektirdiği N P'dekiNPNPNP başka bir dile indirgenerek kanıtlanmış olacaktır .NPNPNP …

27 reductions  np 

Diyelim ki , boyama numarasını d = χ ( G ) olan bir grafiktir . Alice ve Bob arasındaki şu oyunu göz önünde bulundurun. Her turda, Alice bir köşe alır ve Bob bu köşe için { 1 , … , d - 1 } ' de bir renkle cevap verir …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees 

Ekoloji ve evrim çalışmaları giderek daha matematiksel hale geliyor, ancak teorik araçların çoğu fizikten geliyor gibi görünüyor. Bununla birlikte, birçok durumda problemler çok ayrı bir yapıya sahiptir (bakınız örneğin SLBS00 ) ve bilgisayar bilimi perspektifinden faydalanabilir . Yine de, TCS'nin ekoloji ve evrimdeki belirli sorulara değinmeye çalışan ciddi sonuçlarının farkındayım. …

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

Neden normal diller (ve bu normal ifadelerden) "normal" olarak adlandırılıyor? Bağlamsız dillerde, diğer dil türlerinde de çok fazla düzenlilik vardır . Sanırım, başlangıçta, "normal" sıfatının, bu tür dilleri "normal olmayan" veya bir şekilde anormal dillerden ayırt etmek için kullanıldığını farz ediyorum. Eğer öyleyse, bu diğer türlerin neresi ve düzensizlikleri neydi?

27 regular-expressions  regular-language  ho.history-overview 

Bir karar verirken karmaşıklığı ne devre n giriş bit ve n, çıkış bitleri bir permütasyon hesaplar { 0 , 1 } , n ? Başka bir deyişle, { 0 , 1 } n'deki her bit dizginin bir girdi için devrenin bir çıktısı olup olmadığı? Çalışılan bir soruna benziyor, ancak referans …

27 cc.complexity-theory  circuit-complexity  permutations 

"Karmaşıklığı saymada zafer ilan etme zamanı mı?" Başlıklı yazıyı okurken. üzerinden en "Godel'in Kayıp Mektubu ve p = NP" blog, onlar CSP en için ikilemi söz etti. Bazı bağlantıların ardından, googling ve wikipeding, Ladner Teoremine rastladım : Ladner Teoremi: Eğer P≠NPP≠NP{\bf P} \ne {\bf NP} , daha sonra sorunlar var …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

(Bu çok iyi biliniyorsa üzgünüm.) Bir maddeyi aracılarından birine vermek istiyorum , böylece aracı j öğeyi p i olasılığına sahip olacak . Her ajanın (ve hatta her gözlemcinin) rastgele çizimin gerçekten adil olduğuna ikna olabileceği bir şifreleme (veya başka) aracı var mı?kkkjjjpbenpip_i

27 cr.crypto-security