Câu hỏi được gắn thẻ «formulas»

Đặt là một đa thức d độ trong n biến trên F 2 , trong đó d là hằng số (giả sử 2 hoặc 3). Tôi muốn tìm công thức nhỏ nhất cho f , trong đó "công thức" và "kích thước công thức" được xác định theo cách rõ …

28 cc.complexity-theory  formulas 

Câu hỏi: Kích thước công thức được biết đến tốt nhất giới hạn dưới cho một hàm rõ ràng trong AC 0 là gì? Có một chức năng rõ ràng với một thấp hơn bị ràng buộc?Ω(n2)Ω(n2)\Omega(n^2) Lý lịch: Giống như hầu hết các giới hạn dưới, kích thước giới …

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

Đặt là Công thức CNF thỏa đáng với biến và mệnh đề . Đặt là không gian giải pháp của . n m S F 1 F 1F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 Hãy xem xét vấn đề xác định, đưa ra , một Công thức CNF khác có cùng bộ biến như , với …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

Lý lịch Công thức đọc một lần trên một tập hợp các cổng (còn được gọi là cơ sở) là một công thức trong đó mỗi biến đầu vào xuất hiện một lần. Các công thức đọc một lần thường được nghiên cứu trên cơ sở De Morgan (có cổng …

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

Tôi muốn rất cụ thể. Có ai biết về một sự không chắc chắn hoặc bằng chứng của các đề xuất sau đây: ∃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 …

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

Công thức CNF đơn điệu với m thuật ngữ trên n biến ( ) là một công thức có dạng f (x_1, \ ldots, x_n) = \ bigwedge C_i , trong đó mỗi C_i là một OR của một số tập hợp con của các biến x_1, \ ldots, x_n …

10 cc.complexity-theory  circuit-complexity  formulas