«polynomial-time» etiketlenmiş sorular


2
Polinom zamanında hangi matematik program sınıfları tam olarak veya yaklaşık olarak çözülebilir?
Sürekli optimizasyon literatürü ve TCS literatürüyle hangi tür (sürekli) matematiksel programların (MP'ler) verimli bir şekilde çözülebildiği ve hangilerinin çözülemeyeceği konusunda kafam karıştı. Sürekli optimizasyon topluluğu tüm dışbükey programların verimli bir şekilde çözülebileceğini iddia ediyor gibi görünüyor, ancak "verimli" tanımlarının TCS tanımına uymadığını düşünüyorum. Bu soru son birkaç yıldır beni çok …

2
Bir matris kümesinin açıklığının bir permütasyon matrisi içerip içermediğini belirlemek için bir polinom zaman algoritması var mı?
Belirli bir matris kümesinin açıklığının bir permütasyon matrisi içerip içermediğini belirleyen bir polinom zaman algoritması bulmak istiyorum. Herhangi biri bu sorunun farklı bir karmaşıklık sınıfında olup olmadığını bilirse, bu aynı derecede yardımcı olacaktır. EDIT: Bu soruyu Doğrusal Programlama ile etiketledim, çünkü böyle bir çözüm varsa, bunun bir tür doğrusal programlama …




1
Can
Dil düşünün EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} . Bilinmektedir EQUALITYEQUALITY \mathtt{EQUALITY} bir sublogarithmic boşluk alternatif Turing makinesi (ATM) tarafından kabul edilemez (Szepietowski, 1994) . (Üyeler için sublogaritmik alan kullanan bir ATM var, ancak üye olmayanlar için değil!) Öte yandan, (1981) Freivalds tanıyabileceği sınırlı hatası sabit …

3
Tamamen unimodüler tamsayılı bir doğrusal programı ne kadar hızlı çözebiliriz?
(Bu, bu sorunun ve cevabının bir takibidir .) Aşağıdaki tamamen unimodular (TU) tamsayılı doğrusal program (ILP) var. Burada girişin bir parçası olarak verilen tüm pozitif tamsayılardır. X i j değişkenlerinin belirtilen bir alt kümesi sıfıra ayarlanır ve geri kalanı pozitif integral değerleri alabilir:ℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},wxijxijx_{ij} küçültmek ∑mj=1cj∑ℓi=1xij∑j=1mcj∑i=1ℓxij\sum_{j=1}^{m}c_{j}\sum_{i=1}^{\ell}x_{ij} Tabi: ∑mj=1xij=ni∀i∑j=1mxij=ni∀i\sum_{j=1}^{m}x_{ij}=n_{i}\,\,\forall i ∑ℓi=1xij≥w∀j∑i=1ℓxij≥w∀j\sum_{i=1}^{\ell}x_{ij}\ge w\,\,\forall …

6
Yarı polinom zamanında doğal bir problem var mı, polinom zamanında değil mi?
László Babai geçtiğimiz günlerde Grafik İzomorfizmi probleminin kuasipolinom zamanda olduğunu kanıtladı . Ayrıca Chicago Üniversitesi'ndeki konuşmasına bakın , Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 tarafından yapılan görüşmelerden not alın . Ladner teoremine göre, eğer , boş değilse, yani ne ne de problemleri içerir …

5
Hangi kayda değer otomat modellerinde polinom olarak kararlaştırılabilir sınırlama vardır?
Belirli bir problemi çözmeye çalışıyorum ve otomata teorisini kullanarak çözebileceğimi düşündüm. Merak ediyorum, hangi otomata modellerinin polinom zamanında kararlaştırılabilir olduğunu var? yani makineleriniz varsa etkin bir şekilde olup olmadığını test edebilirsiniz .M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) Akla gelen en belirgin olanlar, sayaç sayısının sabit olduğu DFA'lar ve tersine çevrilmiş sayaç makineleridir …



4
Fonksiyonlar için eta-denklik Haskell'in seq işlemi ile karşılaştırılabilir mi?
Lemma: Eta denkliği varsayalım (\x -> ⊥) = ⊥ :: A -> B. İspat: ⊥ = (\x -> ⊥ x)eta-denklik ve (\x -> ⊥ x) = (\x -> ⊥)lambda altında azalma ile. Haskell 2010 raporu, bölüm 6.2 seqfonksiyonu iki denklemle belirtir : seq :: a -> b -> b seq …

3
P, varlığı PA veya ZFC'den bağımsız olan dilleri içeriyor mu? (TCS topluluk wiki'si)
Cevap: bilinmiyor. Sorulan sorular doğal, açık ve görünüşte zor; şimdi soru bir topluluk wiki'sidir. genel bakış Soru karmaşıklık sınıfına ait dilleri - bu dilleri kabul eden Turing makineleri (TM) ile birlikte iki tamamlayıcı alt sınıfa ayırmayı amaçlamaktadır :PPP gnostik diller ve TM'ler (doğrulamak / anlamak mümkün) şifreli diller ve TM'ler …

3
Hangi Tamsayılı Doğrusal Programlar kolaydır?
Bir problemi çözmeye çalışırken, bunun bir kısmını aşağıdaki tamsayı doğrusal program olarak ifade ettim. Burada olarak verilen pozitif tamsayılar girişin bir parçası. değişkenlerinin belirtilen bir alt kümesi sıfıra ayarlanır ve geri kalanı pozitif integral değerleri alabilir:x i jℓ , m , n1, n2, … , Nℓ, c1, c2, … , …

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.