«reference-request» etiketlenmiş sorular

Girard'ın İspat ve Türlerinde şunları okuyabiliriz: Algoritmik bir bakış açısından, ardışık hesaplamanın aynı kanıtı yazmanın birçok yolu nedeniyle Curry-Howard izomorfizmi yoktur. Bu, onu yazılı olarak kullanmamızı engellerλλ\lambdahesabı, her ne kadar muhtemelen paralelizmle bağlantılı bu tür derin bir yapıyı anlasak da. İspatlar ve Türleri , JY Girard (Sayfa 28) Ancak şunu …

9 reference-request  logic  parallel-computing 

Bunu MathUnderflow'a gönderdim, ancak cevap alamadım, bu yüzden burada deneyeceğim diye düşündüm, Rabin ve Fischer'ın eski makalesini okuyorum [mümkünse bir bağlantı yayınlayacak], diğer şeylerin yanı sıra Presburger aritmetiğinin iki kat üstel karmaşıklığı kanıtlandı. Kanıt , ile gayri resmi olarak " " iddiasında bulunan formülünün varlığına dayanmaktadır. . Bu formülün yapısı …

9 complexity-theory  reference-request  logic 

Basit bir çokgen bir üçgenleme (Steiner noktaları olmadan) göz önüne alındığında , bu üçgenlemenin ikili şekli aşağıdaki gibi tanımlanabilir. Üçgenselleştirmedeki her üçgen için bir tepe noktası oluştururuz ve karşılık gelen üçgenler bir kenarı paylaşırsa iki köşeyi birbirine bağlarız. İkili grafiğin, maksimum derece üç olan bir ağaç olduğu bilinmektedir.PPP Başvurum için …

9 reference-request  computational-geometry 

Birkaç olası açıklama duydum, bu yüzden güvenilir bir referans istiyorum. Güncelleme 05.19: Soru ile ilgileniyorum çünkü öğrencilerimden biri tezinde adının aşağıdaki açıklamadan geldiğini yazdı (1). Şimdiye kadar bunun açıklamadan geldiğini düşündüm / duydum (2). Hem tezinde yanlış olan şeylere izin verdiğim için hem de doğru olursa onu kaldırmasını söylerken kendimi …

9 terminology  reference-request  history 

@ Babou'nun yakın zamandaki bir soruya vereceği cevap , bir keresinde veri akışı analizinin denkliği (hem çıkarılabilir veya kanıtlanabilir gerçekler hem de çıkarım algoritmasını çalıştırmanın zaman karmaşıklığı açısından) hakkında bir makale okuduğumu hatırlatıyor , soyut yorumlama ve tür çıkarımı . Bazı alt durumlarda (ileri bağlama duyarlı prosedürler arası veri akışı …

9 reference-request  compilers  type-inference  program-optimization 

Bu soru olasılık teorisinin ve hesaplama karmaşıklığının kesişimi ile ilgilidir. Önemli bir gözlem, bazı dağılımların üretilmesinin diğerlerinden daha kolay olduğudur. Örneğin, sorun Bir sayısı verildiğinde , ile eşit olarak dağıtılmış bir sayı .nnniii0≤i&lt;n0≤i&lt;n0 \leq i < n çözmek kolaydır. Öte yandan, aşağıdaki sorun çok daha zor veya öyle görünüyor. Bir …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

Aşağıdaki soruna bakıyorum: verilmiş nnnsayıların üç boyutlu vektörleri v1, … ,vmv1,...,vmv_1, \ldots, v_m ve bazı girdi vektörleri uuu, dır-dir uuu doğrusal bir kombinasyonu vbenvbenv_idoğal sayı katsayılarıyla mı? yani biraz var mı t1, … ,tm∈ Nt1,...,tm∈N-t_1, \ldots, t_m \in \mathbb{N} nerede u =t1v1+ ⋯ +tmvmu=t1v1+⋯+tmvmu = t_1 v_1 + \dots + …

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems 

Bir alfabe üzerindeki resmi dil nın bir alt kümesidir , yani bu alfabe üzerindeki bir kelime kümesidir. Karşılık gelen kümeler altkümeleri olarak geniş ölçüde eşitse, iki biçimsel dil ve eşittir . Karmaşıklık teorisindeki dilleri bir "problem" kavramını resmileştirmek için kullanabiliriz . "Genel olarak" genişleme eşitliğinin kararsız olduğu şikayet edilebilir, ama …

9 complexity-theory  formal-languages  reference-request 

Geçenlerde Math SE hakkında bir soru sordum . Henüz yanıt yok. Bu soru bu soru ile ilgilidir, ancak bilgisayar bilimine yönelik daha teknik detaylar. Verilen iki DFA'ler ve burada durumları kümesi, giriş alfabesi ve geçiş fonksiyonu ve aynıdır, başlangıç ​​durumları ve nihai (kabul eden) durumlar farklı olabilir. ve sırasıyla ve …

9 formal-languages  reference-request  finite-automata 

Altküme toplamı sorununun bu varyantı kolay / biliniyor mu? Bir tamsayısı ve bir pozitif tamsayı kümesi verildiğinde, her x_i için en fazla k = 2 bit 1 olarak ayarlanmıştır ( x_i = 2 ^ {b_ {i_1} } + 2 ^ {b_ {i_2}}, \; \; b_ {i_1}, b_ {i_2} \ geq …

9 complexity-theory  reference-request  decision-problem 

Yazılım doğrulama konusunda kendime farklı yaklaşımlar öğretmeye çalışıyorum. Bazı makaleler okudum. Öğrendiğim kadarıyla, zamansal önerme mantığı genellikle SAT çözücülerle (devam eden - reaktif sistemlerde) model kontrolü kullanır, ama ya zamansal olarak birinci dereceden Mantık? Teorem provatörleri kullanıyor mu? Yoksa SAT kullanabilir mi? Bu konuda yeni başlayanlar için kitaplara veya makalelere …

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

Problem kümeleri ile iyi bir ayrık matematik öğrenme web kaynakları var mı?

9 reference-request  education  discrete-mathematics 

Tüm virüsleri algılayabilen bir algoritma olmadığını göstermekle birlikte, sonlu otomatada önemsiz bir alıştırmadır, ancak Anti Virüs Yazılımı satan birçok yazılım şirketi vardır. CS'nin Virüsler ve Anti Virüslerle ilgili herhangi bir kısmı var mı? Not: CS ile ilgili olmayan ve AV'ye sahip olmanın gerekçesi hakkında değil, yalnızca CS içinde hangi kategoriye …

9 reference-request  security 

Hangi makine öğrenme algoritmaları (SVM'lerin yanı sıra) yapısal risk minimizasyonu prensibini kullanır ?

9 reference-request  machine-learning