Pertanyaan yang diberi tag «co.combinatorics»

Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Biarkan menjadi Formula CNF yang memuaskan dengan variabel dan klausaBiarkan S F 1 menjadi ruang solusi F 1 .F1F1F_1mnnnmmmSF1SF1S_{F_1}F1F1F_1 Pertimbangkan masalah penentuan, mengingat , Formula F 2 CNF lainnya dengan set variabel yang sama dengan F 1 , dengan S F 2 = S F 1 (ruang solusi yang sama …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

Saya telah mencari jauh untuk aplikasi semacam itu dan sebagian besar muncul pendek. Saya dapat menemukan banyak aplikasi topologi dan struktur serupa pada set yang dapat dihitung (atau tidak terhitung), tetapi jarang saya benar-benar menemukan set yang tidak terhitung sebagai objek studi oleh para ilmuwan komputer, dan karena itu mengarah …

18 co.combinatorics  big-picture 

Operasi suara terbanyak muncul cukup sering di toleransi kesalahan (dan tidak diragukan lagi tempat lain), di mana fungsi output sedikit sama dengan nilai yang pernah muncul paling sering dalam nilai bit input. Untuk kesederhanaan, mari kita asumsikan bahwa setiap kali input berisi jumlah bit yang sama dalam keadaan 0 dan …

18 co.combinatorics 

Pertimbangkan permutasi dari [ 1 .. n ] . Inversi didefinisikan sebagai pasangan ( i , j ) dari indeks sedemikian rupa sehingga saya &lt; j dan σ ( i ) &gt; σ ( j ) .σσ\sigma[1..n][1..n][1..n](i,j)(i,j)(i, j)i&lt;ji&lt;ji < jσ(i)&gt;σ(j)σ(i)&gt;σ(j)\sigma(i) > \sigma(j) Tetapkan untuk menjadi jumlah permutasi [ 1 .. …

17 co.combinatorics  permutations 

Pertanyaan ini mirip dengan salah satu pertanyaan saya sebelumnya. Hal ini diketahui bahwa adalah minor dilarang untuk grafik dari treewidth paling t .Kt + 2Kt+2K_{t+2}ttt Adakah keluarga yang dibangun dengan baik, parameter, dan tak terbatas grafik (selain grafik lengkap dan grafik kisi) yang minimal anak di bawah umur terlarang untuk …

17 graph-theory  co.combinatorics  treewidth  graph-minor 

Mengingat , berapa banyak k -DNF dengan n variabel dan klausa m adalah tautologi? (atau berapa banyak k -CNF yang tidak memuaskan?)m,n,km,n,km, n, kkkknnnmmmkkk

17 co.combinatorics  lo.logic  sat 

Saya telah mencoba membaca " Mutiara Algoritma Fungsional desain ", dan kemudian " Aljabar Pemrograman ", dan ada korespondensi yang jelas antara rekursif (dan secara polinomi) didefinisikan tipe data dan objek kombinatorial, memiliki definisi rekursif yang sama dan kemudian memimpin untuk seri kekuatan formal yang sama (atau fungsi pembangkit), seperti …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

Karena istilah ini kelebihan beban, definisi singkat terlebih dahulu. Poset adalah himpunan dianugerahi perintah parsial . Dengan dua elemen , kita dapat mendefinisikan (gabung) sebagai batas atas paling rendah mereka di , dan dengan cara yang sama mendefinisikan (bertemu) (gabung) sebagai batas bawah terbesar.XXX≤≤\lea,b∈Xa,b∈Xa,b \in Xx∨yx∨yx \vee yXXXx∧yx∧yx \wedge y …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

Diberikan jalan acak pada grafik, waktu sampul adalah yang pertama (jumlah langkah yang diharapkan) yang setiap titik telah tekan (tertutup) oleh jalan. Untuk grafik yang tidak diarahkan yang terhubung, waktu tutup diketahui dibatasi oleh . Ada digraf yang sangat terhubung dengan eksponensial waktu sampul dalam n . Contoh dari ini, …

17 graph-theory  co.combinatorics  markov-chains  random-walks 

Sebuah perpanjangan linear dari poset P adalah pesanan linear pada unsur-unsur P , sehingga x ≤ y di P menyiratkan x ≤ y di L untuk semua x , y ∈ P .LLLPP\mathcal{P}PP\mathcal{P}x≤yx≤yx \leq yPP\mathcal{P}x≤yx≤yx \leq yLLLx,y∈Px,y∈Px,y\in\mathcal{P} Sebuah grafik ekstensi linear adalah grafik pada set ekstensi linear dari poset, di …

17 graph-theory  co.combinatorics 

Saya tertarik pada properti grafik berarah acak dengan tingkat out-fixddd . Saya membayangkan model grafik acak di mana setiap simpul memilih tetangga d (katakanlah, dengan penggantian) uar Pertanyaan : Adakah yang diketahui tentang distribusi stasioner dan waktu pencampuran jalan acak pada grafik acak ini (untuk berbagai nilai )? ddd Saya …

17 graph-theory  co.combinatorics  automata-theory  random-walks 

Maaf, jika ini adalah pertanyaan naif, tapi saya tidak dapat menemukan pembenaran di salah satu buku teks utama seperti Bondy-Murty, Diestel atau Barat. Grafik sempurna memiliki banyak properti yang indah, tetapi apa alasan mereka disebut sempurna? Atau itu hanya preferensi estetika oleh Berge?

16 graph-theory  co.combinatorics  terminology  graph-colouring 

Kami berasumsi bahwa . Maka fakta berikut diketahui:G∈G(n,p),p=lnn+lnlnn+c(n)nG∈G(n,p),p=ln⁡n+ln⁡ln⁡n+c(n)nG\in G(n,p),p=\frac{\ln n +\ln \ln n +c(n)}{n} Pr[G has a Hamiltonian cycle]=⎧⎩⎨⎪⎪10e−e−c(c(n)→∞)(c(n)→−∞)(c(n)→c)Pr[G has a Hamiltonian cycle]={1(c(n)→∞)0(c(n)→−∞)e−e−c(c(n)→c)\begin{eqnarray} Pr [G\mbox{ has a Hamiltonian cycle}]= \begin{cases} 1 & (c(n)\rightarrow \infty) \\ 0 & (c(n)\rightarrow - \infty) \\ e^{-e^{-c}} & (c(n)\rightarrow c) \end{cases} \end{eqnarray} Saya ingin tahu …

16 graph-theory  co.combinatorics  randomness 

Kita mengatakan bahwa fungsi Boolean adalah -junta jika memiliki paling banyak mempengaruhi variabel.f : { 0 , 1 } n → { 0 , 1 } f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}k kkf ffkkk Biarkan menjadi -junta. Nyatakan variabel dengan . Perbaiki Jelas, ada sedemikian rupa sehingga mengandung setidaknya dari variabel yang …

16 co.combinatorics  boolean-functions  fourier-analysis  property-testing