Teorik Bilgisayar Bilimi

Let CCC bir olmak CCC . Let (×)(×)(\times) bir ürün bifunctor olmak CCC . As Kedi CCC, biz köri olabilir (×)(×)(\times) : curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Fonksiyonel kategori C⇒CC⇒CC \Rightarrow C olağan monoidal yapıya sahiptir. Bir monoid C⇒CC⇒CC …

17 functional-programming  pl.programming-languages  ct.category-theory 

Konuyla ilgili Pairwise Independence and Derandomization kitabını buldum , ancak öğreticiden daha araştırma odaklı. "Derandomizasyon" konusunda yeniyim ve bu nedenle hangi referansın başlayacağını bilmek istedim? Edebiyat ve tarihin yanı sıra teknik detayları tartışanları tercih ederim.

17 cc.complexity-theory  derandomization  randomized-algorithms 

Sabit derece ile rastgele yönlendirilmiş grafiklerin özellikleri ileddd ilgileniyorum . Her tepe noktasının d komşu (örneğin, yerine koyma ile) seçtiği rastgele bir grafik modeli hayal ediyorum Soru : Bu rastgele grafiklerdeki rastgele yürüyüşlerin durağan dağılımı ve karıştırma süreleri hakkında bilinen bir şey var mı (çeşitli değerleri için )? ddd Özellikle …

17 graph-theory  co.combinatorics  automata-theory  random-walks 

Glauber dinamikleri, her adımda rastgele seçilen bir tepe noktasını rastgele bir renkle yeniden renklendirmeye çalıştığı bir grafiğin renklendirmeleri üzerindeki bir Markov zinciridir. 5 döngünün 3 renklendirmesi için karışmaz: 30 3 renklendirme vardır, ancak bunlardan sadece 15'ine tek köşeli yeniden renklendirme adımları ile ulaşılabilir. Daha genel olarak, n = 4 olmadıkça …

17 graph-theory  markov-chains 

It is well-known that the set of languages having two-prover interactive proof systems, in which the verifier runs in polynomial-time (MIP), is NEXP. But are there bounds known on the power of such interactive proofs when the provers are restricted in power? E.g., what is the class of languages that …

17 cc.complexity-theory  interactive-proofs 

Tipik olarak, verimli algoritmalar bir polinom çalışma süresine ve üstel olarak geniş bir çözüm alanına sahiptir. Bu, sorunun iki anlamda kolay olması gerektiği anlamına gelir: birincisi, sorun polinom sayısı adımında çözülebilir ve ikincisi, çözüm süresi çok yapısal olmalıdır, çünkü çalışma zamanı olası çözümlerin sayısında sadece polilogarmiktir. Bununla birlikte, bazen bu …

17 cc.complexity-theory 

Size bağlı, basit ve yönlendirilmemiş bir grafik H verildiğini varsayalım. H-serbest kesim problemi aşağıdaki gibi tanımlanır: Basit, yönlendirilmemiş bir grafik G verildiğinde, kesimler (L ve R) tarafından indüklenen grafiklerin H için izomorfik bir alt çizgi içermemesi için bir kesim (köşelerin boş olmayan iki sete, L, R'ye bölünmesi) vardır. . Örneğin, …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Kuantum Hesaplama , bilgisayarların verimlilik yeteneklerini geliştirmek için kuantum fiziğinden (örn. Kuantum dolaşıklığı) yararlanmayı amaçlayan aktif bir araştırma alanıdır ( Church-Turing tezini değiştirmez ). Kuantum-hesaplama teorisini (kübitler ve ışınlanma gibi) göstermek için yapılmış en önemli deneyler nelerdir?

17 reference-request  quantum-computing 

İlişkisel veritabanlarını anlamak için en az iki farklı teorik yaklaşımın farkındayım: Codd'un ilişkisel cebiri / hesabı ve kategori teorisi. Bu iki yaklaşım arasında herhangi bir ilişki var mı? Bir anlamda eşdeğer midirler? Bu çerçevelerin her ikisinin de ilişkisel veritabanlarını nasıl açıkladığını açıklayan herhangi bir giriş çalışması var mı? Tarihsel Bilgiler: …

17 reference-request  ct.category-theory  db.databases  relational-structures 

Arkaplan . Kategori teorisi, monadlar ve Haskell ile ilgili araştırmalarla ilgilenen bir lisans öğrencisiyim ve bu alanda lisans tezim için bir konu bulmak istiyorum. Gazeteye baktım Eugenio Moggi , “ Hesaplamalar ve Monadlar Kavramı ”, 1991, ve henüz çok fazla anlamadım. Muhtemelen tam olarak anlamak için biraz zamana ihtiyacım olacak. …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Duyarlılık vs blok duyarlılığı üzerindeki çalışmaların bazıları arasında mümkün olduğunca büyük bir boşluk olarak sahip fonksiyonlarını incelemeye yönelik olmuştur ve olduğu varsayımı çözmek için daha sadece polynomially büyüktür . Tam tersi ne olacak? bulunduğu fonksiyonlar hakkında bilinenler nelerdir ?s ( f)s(f)s(f)b s ( f)bs(f)bs(f)b s (f)bs(f)bs(f)s ( f)s(f)s(f)s ( f) …

17 circuit-complexity  boolean-functions 

Son zamanlarda oldukça ilginç bir teorik yapıya rastladım. Bir sözde Gödel'in makinesi Kendi kendine optimizasyon yapabilen genel bir problem çözücüdür. Reaktif ortamlar için uygundur. Anladığım kadarıyla, evrensel Turing makinesi için bir program olarak uygulanabilir, ancak gereksinimleri şu anda mevcut olan donanımın çok ötesine geçer. Yine de çok fazla detay bulamadım. …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

ve düzlemsel grafikler için yasak küçükler oldukları iyi bilinmektedir . Bir torusa gömülebilen grafikler için yüzlerce yasak küçük var . Yasak sayısı küçükler grafikler için yüzeyi üzerinde gömülebilir cins g üssel fonksiyon olduğu g . Sorum şu:K 3 , 3K5K5K_5K3 , 3K3,3K_{3,3} Açık bir grafik yer almaktadır ilgili t köşe …

17 graph-theory  co.combinatorics  graph-minor  algebraic-topology 

iki ve aralarındaki düzenleme mesafesini arıyorum.[1…n][1…n][1 \ldots n] Bu şekilde, bir düğümün A bölümünden B bölümüne gitmek için gerekli olan farklı bir gruba asgari sayıda tek geçiş bulmak istiyorum. Örneğin mesafe {0 1} {2 3} {4}INTO {0} {1} {2 3 4}olacaktır iki Aramadan sonra bu makaleye rastladım , ama a) …

17 ds.algorithms  edit-distance  lattice 

Bir dizi nxn permütasyon matrisi (bu n! Olası permütasyon matrisinin sadece küçük bir kısmıdır) göz önüne alındığında, T matrislerinin eklenmesinin her pozisyonda en az 1 olması için S'nin minimal boyutlu alt kümelerini nasıl bulabiliriz? S'nin S_n'nin küçük bir alt grubu olduğu bu soruna ilgi duyuyorum. Açgözlü algoritmalardan çok daha hızlı …

17 ds.algorithms  approximation-algorithms  set-cover  permutations