Pertanyaan yang diberi tag «formulas»

Misalkan menjadi derajat d polinomial dalam variabel n lebih dari F 2 , di mana d adalah konstan (katakanlah 2 atau 3). Saya ingin mencari rumus terkecil untuk f , di mana "rumus" dan "ukuran rumus" didefinisikan dengan cara yang jelas (mis. Rumus terkecil untuk polinomial x 1 x 2 …

28 cc.complexity-theory  formulas 

Pertanyaan: Berapa ukuran rumus batas bawah paling dikenal untuk fungsi eksplisit di AC 0 ? Apakah ada fungsi eksplisit dengan batas bawah ?Ω(n2)Ω(n2)\Omega(n^2) Latar Belakang: Seperti kebanyakan batas bawah, ukuran rumus batas bawah sulit didapat. Saya tertarik pada rumus ukuran batas bawah atas gerbang universal standar yang ditetapkan {DAN, ATAU, …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

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 

Latar Belakang Rumus baca-sekali atas satu set gerbang (juga disebut basis) adalah rumus di mana setiap variabel input muncul satu kali. Rumus baca-sekali biasanya dipelajari atas dasar De Morgan (yang memiliki gerbang 2-bit AND dan OR, dan gerbang 1-bit TIDAK) dan basis biner penuh (yang memiliki semua gerbang 2-bit). Jadi …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

Saya ingin menjadi sangat spesifik. Adakah yang tahu tentang penolakan atau bukti dari proposisi berikut: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in STRUC[\Sigma_{graph}] (min(|G|, |H|) = n, G \not\simeq H), ∃φ∈L(Σgraph),∃φ∈L(Σgraph),\exists \varphi \in \mathcal{L}(\Sigma_{graph}), |φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|\varphi| \leq p(n) \wedge qd(\varphi) \leq Clog(n)^k \wedge G \vDash …

12 graph-theory  graph-isomorphism  formulas  first-order-logic 

Rumus CNF monoton dengan istilah m pada n variabel ( ) adalah rumus dari bentuk f ( x 1 , ... , x n ) = ⋀ C i , di mana setiap C i adalah ATAU dari beberapa bagian dari variabel x 1 , … , x n , …

10 cc.complexity-theory  circuit-complexity  formulas