Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

3
Zamanın fonksiyonu olarak uzunluk ile en kısa mesafe problemi
Motivasyon Geçen gün şehir içinde toplu taşıma araçlarıyla seyahat ediyordum ve iki yer arasındaki en kısa süreli bağlantıyı bulma problemini modelleyen ilginç bir grafik problemi oluşturdum. Hepimiz klasik "En kısa yol problemini" biliyoruz: kenar uzunlukları ve iki köşe ile yönlendirilmiş bir grafiği verildiğinde , ve arasındaki en kısa yolu bulun …
1
Sonlu cisimler üzerinde doğrusal dinamik sistemlerde erişilebilirliğin karmaşıklığı
Let AAA sonlu alan üzerinde bir matris F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} ve xxx , yyy alan vektörleri olduğu Fn2F2n\mathbb{F}_2^n . olup olmadığına karar vermenin hesaplama karmaşıklığıyla ilgileniyorum, t∈Nt∈Nt \in \mathbb{N}öyle ki Atx=yAtx=yA^t x = y , yani sonlu alanlar üzerinden doğrusal dinamik sistemler için ulaşılabilirlik probleminde. Sorun olduğu açıktır NPNP\mathbf{NP} (tahmin …
1
Olasılıksal otomata giriş
Olasılıksal otomata ve nereden tanıdıklarına nereden bir giriş bulabilirim (kelimelerden e kadar bazı fonksiyonlar )? Belirleyici sonlu otomatların (DFA'lar) tanıdığı "normal diller" e benzeyen olasılıklı otomatlar tarafından tanınan bu tür fonksiyonlar için standart bir terim var mı?[ 0 , 1 ][0,1][0,1] DFA'lar ve ifade, kapanış ve karar verilebilirlik özellikleri gibi …
1
Tip teorisinde iyi bir fesih ve durdurma kanıtı kavramı var mı?
Yapıcı tip teorisi, köri howard yazışmaları altındaki temel yorumu ile sadece toplam, hesaplanabilir fonksiyonlardan oluşur. Literatürde, bazılarının fonksiyonel programlarda sonlandırılmayı temsil etmek için "hesaplamalı tip teorisi" kullanımı üzerine söylendiği, ancak karşılaştığım makalelerde, bu teorinin ana motivasyonu gibi görünmemektedir (Örneğin, Benton , fesih etmeme konusunda çok ayrıntıya girmeden determinizm, devam ve …
2
SML veri türlerinin alt kümeleri olarak alt türler
Okasaki'nin tamamen işlevsel veri yapıları hakkındaki kitabı hakkında sevmediğim birkaç şeyden biri, kodunun kapsamlı olmayan desen eşleşmesi ile doludur. Örnek olarak, gerçek zamanlı kuyruklar uygulamasını uygulayacağım (gereksiz askıya alma işlemlerini ortadan kaldırmak için yeniden düzenlendi): infixr 5 ::: datatype 'a stream = Nil | ::: of 'a * 'a stream …
1
Süper sabit treewidth grafik sınıfları
Sınırlı trewidth ile birkaç ilginç grafik sınıfı vardır. Örneğin, ağaçlar (treewidth 1), seri paralel grafikler (treididth 2), dış düzlemsel grafikler (treewidth 2), dış düzlemsel grafikler (trewidth O (k)), dal genişliği k (trewidth O (k)), .. .kkkkkk Soru: Ağaç genişliği sabit değil, düşük büyüyen bir fonksiyonla sınırlı ilginç grafik sınıflarının örnekleri …
1
Simetrik polinomların değerlendirilmesi
Let bir olmak simetrik polinom polinom bu şekilde, yani, Tüm ve tüm permütasyonlar . Kolaylık sağlamak için, hesaplama modeliyle ilgili sorunları gidermekten kaçınmak için nin sonlu bir alan olduğunu varsayabiliriz .f:Kn→Kf:Kn→Kf:\mathbb{K}^n \to \mathbb{K}f(x)=f(σ(x))f(x)=f(σ(x))f(x)=f(\sigma(x))x∈Knx∈Knx \in \mathbb{K}^nσ∈Snσ∈Sn\sigma \in S_nKK\mathbb{K} Let işlem karmaşıklığını ifade f , yani bir algoritma karmaşıklığı, verilen X , …
1
Bağlam: Tüm FPT NP tam diller sabit parametreli-izomorfiktir
Berman – Hartmanis varsayımı: NP-tam tüm diller, birbirleriyle polinom zaman izomorfizmleri ile ilişkilendirilebilecekleri anlamlarına benzerdir [1]. "Polinom zamanının" daha ayrıntılı bir versiyonuyla ilgileniyorum, yani parametreleştirilmiş indirimler kullanırsak. Parametreli bir problem alt kümesidir Σ∗×Z≥0Σ∗×Z≥0Σ^∗ × Z \geq 0, burada ΣΣΣ sonlu bir alfabe ve Z≥0Z≥0Z\geq 0 negatif olmayan sayılar kümesidir. Parametreli …
1
Maksimum ağırlık uyumu ve alt modül fonksiyonları
Pozitif ağırlığa sahip iki taraflı bir grafiği verildiğinde ve , grafikteki maksimum ağırlığa eşittir .G = ( U∪ V, E)G=(U∪V,E)G = (U \cup V, E) f ( S ) G [ S ∪ V ]f: 2U→ Rf:2U→Rf: 2^U \rightarrow \mathbb{R}f( S)f(S)f(S)G [ S∪ V]G[S∪V]G[S\cup V] Bunun doğru mudur bir Altmodüler …
1
Bir dönüştürücünün çıkış uzunluğunun giriş uzunluğuyla sınırlanıp sınırlanmadığı karar verilebilir mi?
Burada dikkate alınan dönüştürücüler Wikipedia'nın sonlu durum dönüştürücüler olarak adlandırdığı dönüştürücülerdir . Bir dönüştürücünün davranışı , yani hesapladığı ilişki [ T ] yazılır : y kelimesi x iff x [ T ] y için bir çıktıdır .TTT[ T][T][T]yyyxxxx [ T] yx[T]yx[T]y Soru: Aşağıdaki sorun karar verilebilir mi? Verilen: Bir dönüştürücü …
2
Optimize edilmesi kolay ancak değerlendirilmesi zor
Optimal bir çözüm üretmenin, belirli bir aday çözümün kalitesini değerlendirmekten çok daha kolay olduğu bilinen herhangi bir optimizasyon problemi örneği var mı? Somutluk için, şu formdaki polinom-zaman çözülebilir optimizasyon problemlerini düşünebiliriz: "verilen x, simge durumuna küçültme ", burada diyelim ki # P zor. Bu tür sorunlar açıkça var (örneğin, hesaplanmasa …
1
İkili teoremler ne besliyor?
Bazı NP problem sınıflarının , sınıftaki her görevin ya NP-tamamlanmış ya da P'de olduğunu garanti eden ikilik teoremleri olduğu iyi bilinmektedir . En iyi bilinen bu sonuç, bir dizi genellemeyle birlikte Schaefer'in ikilik teoremidir . Anladığım kadarıyla, bu ikilik teoremlerini kanıtlamak gerçekten kolay değil. Acaba, bazı sınıfların neden ikiye dayalı …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.