«reference-request» etiketlenmiş sorular

CMSOL Monadik İkinci Dereceden Mantık Sayıyor, yani alanın köşe ve kenar kümesi olduğu grafiklerin bir mantığı, köşe-tepe bitişikliği ve kenar-tepe noktası insidansı için tahminler var, kenarlar, köşe noktaları, kenar kümeleri ve köşe üzerinde nicelik var setleri, ve bir yüklem vardır büyüklüğü olmadığını anlatırken kullanılır S olduğu n modülo p .kartn …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

Doğrusal programlama, elbette, günümüzde çok iyi anlaşılmıştır. Uygulanabilir çözümlerin yapısını ve en uygun çözümlerin yapısını karakterize eden çok işimiz var. Güçlü ikiliğe, çoklu zaman algoritmalarına, vb. Sahibiz. Peki LP'lerin minimum maksimum çözümleri hakkında bilinenler nelerdir? Veya aynı şekilde maksimum minimal çözümler mi? (Bu gerçekten bir araştırma sorusu değil, ama belki …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

Bu soruyu birkaç hafta önce mathoverflow'da sordum , ama cevap alamadım . Burada, kenar uzunluğunun 3B ızgarasıyla, ve ile grafiğini kastediyorum. , yani, düğümler 1 ile arasındaki 3 boyutlu tamsayı koordinatlarına yerleştirilir ve bir koordinatta bir tane farklı olan diğer 6 düğüm.G = ( V , E ) V = …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Düzgün rasgele bir çözüm döndüren bir algoritmanın elde ettiği en iyi bilinen yaklaşım oranıyla ilgili sorunlar nelerdir? Permütasyon akışı dükkanı problemi için böyle bir örnek biliyorum : Kağıt "in Permütasyon Akış Dükkanı Zamanlama için Sıkı Sınırlar'dan Viswanath Nagarajan ve Maxim Sviridenko" işlerin rastgele dizisi garantisi var kanıtladı 2 √F| perm …

12 ds.algorithms  reference-request  approximation-algorithms 

Bir isim veya bu soruna herhangi bir referans arıyorum. Ağırlıklı bir grafik verildiğinde köşelerin n = | V | kesilen kenarların değerini en üst düzeye çıkarmak için S 1 , … , S n'yi ayarlar : c ( S 1 , … , S n ) = ∑ i ≠ …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

Geçenlerde Clay Math Institute'ta Stephen A. Cook tarafından açıklandığı gibi ve problemini hatırlattım .PP\mathsf{P}N PN-P\mathsf{NP} Bu benim ilgimi uyandırdı ve ben bu konuda daha fazla bilgi edinmek istiyorum. İlk adım, sorunun daha derin bir şekilde anlaşılması ve genel olarak bölgenin anlaşılması olacaktır. Sorun hakkında daha fazla bilgi edinebileceğim herhangi bir …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Ben isterdim rağmen TCS ile çok fazla ilgili olmayan bir MSc benim ikinci yılında. Temel olarak kontrol teorisi, sinyaller ve sistemler hakkında ve gelişmiş sistemlerde (sağlam, doğrusal olmayan, optimal, stokastik), gelişmiş sinyal işleme ve dışbükey optimizasyon dersleri aldım. Tez yazım ile başa çıkmak için iyi bir alan bulmaya çalışıyorum ve …

12 reference-request  soft-question 

grafik izomorfizminden farklı başka hangi problemler var ? Bazı referanslar verebilir misiniz?N-P∩ c o A MNP∩coAMNP\cap coAM Güncelleme: bilinmeyen dillerle ilgilendiğimi belirtmeyi unuttum .c o NPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

MAJ hesaplaması için üzerinden bir devrenin minimum ağaç genişliği {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\}nedir? Burada MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} çıkışlarının 1 girişinden en az yarısı 111 . Sadece devrenin büyüklüğünü önemsiyorum (polinom olmalı) ve bir girişin fan çıkışının keyfi olabilmesine rağmen bir girişin sadece bir kez okunması gerekir (bu, devrenin ağaç genişliğini önemli ölçüde …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

Basit Lambda Hesabı ve Mantıksal Çerçeve'nin kalıtsal ikamesi hakkında okudum farklı terim ve türlerle . Merak ediyorum, bir evren hiyerarşisine sahip bağımlı tipte bir sistemde kalıtsal ikame örnekleri var mı? yani burada TR u , e : Se t0: Se t1: Se t2True:Set0:Set1:Set2 True : Set_0 : Set_1:Set_2 vs. Özellikle …

11 reference-request  lo.logic  pl.programming-languages  type-theory  lambda-calculus 

Klasik sorun DÜZENLİ DİL KAPSAMI ile ilgileniyorum. Düzenli bir ifadesi verildiğinde , ile ilişkili normal dili belirtiriz . (Düzenli ifadeler , operasyon birliği, Kleene-star ve birleştirme ile sabit bir alfabe üzerindedir .)EEEL ( E)L(E)L(E)ΣΣ\Sigma Girdi: İki düzenli ifadeler ve Soru: Bu doğru mu ?E1E1E_1E2E2E_2 L ( E1) ⊆ L ( …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

Karar Sorununun Monadic Sınıfı olarak da bilinen Monadic Birinci Dereceden Mantık, tüm tahminlerin bir argüman aldığı yerdir. Ackermann tarafından karar verilebilir ve NEXPTIME-tamamlandı . Bununla birlikte, SAT ve SMT gibi problemlerin teorik sınırlara rağmen, bunları çözmek için hızlı algoritmaları vardır. Merak ediyorum, monadik birinci dereceden mantık için SAT / SMT'ye …

11 reference-request  lo.logic  automated-theorem-proving  program-verification  first-order-logic 

Ben nnn ikili vektörler S={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\} ve hepsi vektör olan bir hedef vektör t=1kt=1kt = 1^k var. Varsayım: Eğer elemanlarının lineer bir kombinasyonu olarak yazılabilir S fazla Z / q Z için tüm ana güç q , o t lineer bir kombinasyonu …

11 reference-request  linear-algebra  finite-fields 

Let bir dil ve olmayacak f : Σ ⋆ × Σ ⋆ → Σ ⋆ özelliğiyle iki parametreye bir işlev hepsi için x ve y , f getirileri bir unsuru L ancak ve ancak hem x ve y elemanlarıdır L :LLLf:Σ⋆×Σ⋆→Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L \iff x\in L\wedge y\in L . …

11 reference-request  fl.formal-languages 

Bir antichain a DAG olan bir alt-kümesi , yani hiçbir vardır, ikili erişilemiyor köşelerin olacak şekilde erişilebilir olup de . Kaynaktan Dilworth teoremi kısmi sıralama teorik olarak, bilinmektedir ki DAG bir boyutta antichain ise , o zaman en az bir birliğe ayrışabilir ayrık zincirleri, yani yönlendirilmiş yollar.(V,E)(V,E)(V, E)A⊆VA⊆VA \subseteq Vv≠v′∈Av≠v′∈Av …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order