Pertanyaan yang diberi tag «reference-request»

CMSOL adalah Menghitung Monadic Second Order Logic, yaitu logika grafik di mana domain adalah himpunan simpul dan tepi, ada predikat untuk adjacency vertex-vertex dan insiden edge-vertex, ada kuantifikasi atas tepi, simpul, set tepi dan simpul set, dan ada predikat n , p ( S ) yang menyatakan apakah ukuran S …

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

Pemrograman linier, tentu saja, saat ini sangat dipahami. Kami memiliki banyak pekerjaan yang mencirikan struktur solusi yang layak, dan struktur solusi optimal. Kami memiliki dualitas yang kuat, algoritma poli-waktu, dll. Tapi apa yang diketahui tentang solusi maksimal minimum piringan hitam? Atau, setara, solusi minimal maksimum? (Ini sebenarnya bukan pertanyaan penelitian, …

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

Saya menanyakan pertanyaan ini beberapa minggu yang lalu di mathoverflow , tetapi saya tidak mendapat jawaban. Di sini, dengan 3D-grid sidelength maksud saya grafik G = ( V , E ) dengan V = { 1 , ... , k } 3 dan E = { ( ( a , …

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

Saya mencari nama atau referensi apa pun untuk masalah ini. Diberikan grafik berbobot menemukan partisi dari simpul ke hinggaset untuk memaksimalkan nilai edge cut: Perhatikan bahwa beberapa set bisa kosong. Jadi masalahnya pada dasarnya adalah max k-cut, kecuali bukan bagian dari input: algoritma dapat memilihG=(V,E,w)G=(V,E,w)G = (V, E, w)n=|V|n=|V|n = …

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

Apa masalah dengan rasio aproksimasi paling terkenal yang dicapai oleh suatu algoritma yang mengembalikan solusi acak yang seragam? Saya tahu satu contoh seperti itu untuk permutasi toko aliran masalah : di koran " Bounds Ketat untuk Permutasi Flow Shop Scheduling " Viswanath Nagarajan dan Maxim Sviridenko membuktikan bahwa urutan acak …

12 ds.algorithms  reference-request  approximation-algorithms 

Saya baru-baru ini diingatkan tentang masalah vs. N P seperti dijelaskan oleh Stephen A. Cook di Clay Mathematics Institute.PP\mathsf{P}NPNP\mathsf{NP} Ini menarik minat saya dan saya ingin belajar lebih banyak tentang hal itu. Langkah pertama adalah mendapatkan pemahaman yang lebih dalam tentang masalah dan pemahaman tentang area secara umum. Bisakah Anda …

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

Saya berada di tahun kedua saya di MSc yang tidak berhubungan terlalu banyak dengan TCS meskipun saya berharap itu akan terjadi. Ini pada dasarnya tentang teori kontrol, sinyal dan sistem dan saya mengambil kelas dalam sistem canggih (kuat, nonlinier, optimal, stokastik), pemrosesan sinyal canggih dan optimasi cembung. Saya mencoba mencari …

12 reference-request  soft-question 

Apa masalah lain yang berbeda dari bahasa isomorfisme grafik dalam ? Bisakah Anda memberikan beberapa referensi?NP∩coAMNP∩coAMNP\cap coAM Update: Saya lupa menyebutkan bahwa saya tertarik dalam bahasa yang tidak dikenal berada di .coNPcoNPcoNP

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

Berapakah lebar pohon minimum dari suatu sirkuit di atas {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} untuk menghitung MAJ? Di sini MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} menghasilkan 1 jika setidaknya setengah dari inputnya adalah 111 . Saya hanya peduli tentang ukuran sirkuit (seharusnya polinomial) dan bahwa input harus dibaca hanya sekali meskipun fan-out dari gerbang input dapat …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

Saya telah membaca tentang substitusi turun-temurun untuk Kalkulus Lambda Sederhana dan untuk Kerangka Kerja Logis dengan istilah dan tipe yang berbeda. Saya bertanya-tanya, apakah ada contoh penggantian herediter dalam sistem yang diketik dependen dengan hierarki semesta? yaitu di mana dll.Tr u e : Se t0: Se t1: Se t2Trkamue:Set0:Set1:Set2 True …

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

Saya tertarik dengan masalah klasik REGULAR LANGUAGE INCLUSION. Diberi ekspresi reguler , kami menunjukkan oleh L ( E ) bahasa reguler yang terkait dengannya. (Ekspresi reguler menggunakan alfabet tetap Σ , dengan gabungan operasi, bintang Kleene dan gabungan.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Input: Dua ekspresi reguler dan E 2 Pertanyaan: Benarkah L …

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

Monadic First Order Logic, juga dikenal sebagai Monadic Class of Decision Problem, adalah tempat semua predikat mengambil satu argumen. Itu terbukti decidable oleh Ackermann, dan NEXPTIME-complete . Namun, masalah seperti SAT dan SMT memiliki algoritme cepat untuk menyelesaikannya, meskipun ada batas teoretis. Saya bertanya-tanya, apakah ada penelitian analog dengan SAT …

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

Saya memiliki satu set vektor biner S = { s 1 , … , s n } ⊆ { 0 , 1 } k ∖ { 1 k } dan vektor target t = 1 k yang merupakan vektor semua-yang.nnnS={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\}t=1kt=1kt = …

11 reference-request  linear-algebra  finite-fields 

Sebuah antichain dalam DAG adalah bagian A ⊆ V dari simpul yang berpasangan terjangkau, yaitu, tidak ada v ≠ v ' ∈ A sehingga v dapat dicapai dari v ' di E . Dari teorema Dilworth dalam teori urutan parsial, diketahui bahwa jika DAG tidak memiliki ukuran antik dari ukuran …

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

Biarkan menjadi bahasa dan fungsi pada dua parameter dengan properti yang untuk semua dan , mengembalikan elemen dari jika dan hanya jika keduanya dan adalah elemen :f : Σ ⋆ × Σ ⋆ → Σ ⋆ x y f L x y LL.LLf: Σ⋆× Σ⋆→ Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffL.LLxxxyyyL.LL f( x , …

11 reference-request  fl.formal-languages