«reference-request» etiketlenmiş sorular

Let göstermektedirler grubu ve C (n, k) bütün kümesini ifade elemanların aşamaların tekrarı olmadan. Bırakın , cinsinden bir dizisi olsun . Biz demek ki permütasyon kümesinin kaçınır tamsayılar hiçbir k-tuple varsa öyle ki { 1 , . . . , N } k [ n ] p = p 1 …

15 reference-request  co.combinatorics  permutations 

Bu, Symbolic Execution'un wiki girişinde yazılmıştır , ancak bunun için herhangi bir referans bulamıyorum. Biri bana bir işaretçi gösterebilir mi? Teşekkür ederim.

15 reference-request  lo.logic  program-analysis 

Dilin spesifikasyonu olarak bir DFA'mız olsa bile , normal bir ifadenin boyutunu en aza indirmenin PSPACE-complete olduğu bilinmektedir . Dil sonluysa sonuçlar nelerdir? Bu problem iki modelde düşünülebilir: Giriş, dildeki tüm dizelerdir ve giriş boyutunu tüm dizelerin uzunluğunun toplamı ile ölçeriz. Giriş bir DFA'dır ve giriş boyutunu DFA'nın durum sayısına …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Düzenleme: Bir hafta içinde herhangi bir yanıt / yorum almadığım için, sorunla ilgili herhangi bir şey duymaktan mutluluk duyduğumu eklemek istiyorum. Bölgede çalışmıyorum, bu yüzden basit bir gözlem olsa bile bilmiyor olabilirim. "Bölgede çalışıyorum, ancak böyle bir karakterizasyon görmedim" gibi bir yorum bile yardımcı olacaktır! Arka fon: Öğrenme teorisinde iyi …

15 reference-request  machine-learning  lg.learning 

AAA ve kümeleri verildiğinde BBB, aralarındaki iki işlevli bir ilişki (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B , aşağıdaki özelliği karşılayan bir ilişki olarak tanımlanır: Eğer a∼ba∼ba \sim b ve a′∼b′a′∼b′a' \sim b' ve a∼b′a∼b′a \sim b' , sonra a′∼ba′∼ba' \sim b . İki yönlü ilişkiler, farklı kümelerden eşitlik kavramını tanımlamaya izin …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

Bir kategoride aynı nesneler hem ürünler hem de kopyalar olduğunda iki ürün bulunur. İki ürünlü kategorilerin kanıt teorisini araştıran var mı? Belki de en iyi bilinen örnek, doğrudan toplam ve doğrudan ürün yapılarının aynı vektör uzayını verdiği vektör uzayları kategorisidir. Bu, vektör uzayları ve doğrusal haritaların biraz dejenere lineer mantık …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

Başlık terimini çok gevşek bir anlamda kullanıyorum. Evrimsel oyun teorisi üzerinde matematiksel temelleri de dahil olmak üzere önemli miktarda çalışma vardır. "Evrimsel Oyunlar ve Nüfus Dinamikleri" önerildi ancak henüz araştırılmadı. Bu sitede popüler bir konu olan algoritmik oyun teorisi üzerinde de önemli miktarda çalışma var. Görmek istediğim, bazı evrimsel dinamikler …

15 reference-request  gt.game-theory  genetic-algorithms  evolutionary-game-theory 

Aslında iki sorum var: Anlambilimi ilişkilendirmek için ilk olarak mantıksal ilişkileri kim kullanmıştır? Onları Reynold'un " Doğrudan ve Devamlı Anlambilim Arasındaki İlişki Üzerine " izledim, ancak kapsamlı bir araştırma yaptığımı iddia edemem. Daha önce uzanan (Tait, '67) mantıksal ilişkilere referanslar buldum, ancak anlambilim ile ilgili değil. Mantıksal ilişkiler için en …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

Modüler Ayrışmanın gücünü ve özelliklerini daha iyi anlamak için iyi makaleler / kitaplar nelerdir? Özellikle Modüler Ayrışmanın algoritmik yönleriyle ilgileniyorum. Doğrusal zamanda bir grafiğin Modüler Ayrışmasını bulmanın mümkün olduğunu duydum. Bunun için nispeten basit bir algoritma var mı? Çok verimli olmayan ama daha basit bir algoritmaya ne dersiniz?

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Bazı arka plan: Lukasiewicz çok değerli mantık modal lojiği olarak tasarlanmıştır ve Lukasiewicz bir verdi gerilmeli kalıcı operatörün tanımı: (o Tarski nitelikleri).◊ A =de f¬ A → A◊bir=def¬bir→bir\Diamond A =_{def} \neg A \to A Bu, garip bir modal mantık verir, görünüşte saçma değilse de bazı paradoksal teoremler, özellikle . Yedek …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic 

Modsal altyapı mantıkları hakkında makaleler ve makaleler arıyorum - doğrusal mantık yöntemlerinin anlambilimi üzerinde değil, ancak standart mod operatörleri, örneğin altyapı K (kutu operatörü ile MALL gibi bir şey, gereklilik ve K kuralları) ile güçlendirilmiş alt yapı mantıkları hakkında arıyorum.

15 reference-request  lo.logic  proof-theory 

Banach'ın sabit nokta teoremi, boş olmayan bir tam metrik uzay sahipsek , o zaman eşit bir büzülme fonksiyonunun benzersiz bir sabit noktası olduğunu söyler . Bununla birlikte, bu teoremin kanıtı, seçim aksiyomunu gerektirir - Cauchy dizisini almak için yinelemeye başlamak için da keyfi bir eleman seçmemiz gerekir. . f : …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

Herkesin bildiği gibi, Garey ve Johnson'ın ünlü kitabı (ve diğerleri) klasik ortamda azaltma tekniği için mükemmel bir referans sağlar. Fpt indirgeme, parametreleştirilmiş algoritmada indirgeme tekniği konusunda herhangi bir anket veya kitap var mı?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

" FPH için uygulamalı bir teori " makalesini okurken aşağıdaki bölümle karşılaşabilirsiniz: Hesaplama karmaşıklığı sınıflarını karakterize eden teoriler göz önüne alındığında, üç farklı yaklaşım vardır: birincisi, teori içinde tanımlanabilen fonksiyonlar belirli bir karmaşıklık sınıfında “otomatik” tir. Böyle bir hesapta, sözdiziminin uygun sınıfta kalmasını garanti etmek için kısıtlanması gerekir. Bu, genel …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

Kriptografi için yalancı rasgele sayılar üretmekle ilgileniyorum. Menezes / Oorschot / Vanstone'un 5. Bölümü dışında ; Stinson Bölüm 8 ; ve Goldreich'in 3. Bölümünden başka nereden daha fazla bilgi edinebilirim ? PRNG'lerin (istenen özellikler, testler, vb.) Tasarımıyla ilgili genel ilkelerle ilgileniyorum.

15 cc.complexity-theory  reference-request  pseudorandomness