Вопросы с тегом «formulas»

4
Сложность минимизации размера полиномиальной формулы
Пусть - многочлен степени от переменных над , где - постоянная (скажем, 2 или 3). Я хотел бы найти наименьшую формулу для , где «формула» и «размер формулы» определены очевидным образом (например, наименьшая формула для полинома равна ).f(x1,…,xn)f(x1,…,xn)f(x_1,\dots,x_n)dddnnnF2F2\mathbb{F}_2dddfffx1x2+x1x3x1x2+x1x3x_1 x_2 + x_1 x_3x1(x2+x3)x1(x2+x3)x_1(x_2+x_3) В чем сложность этой проблемы - сложна ли …

2
Нижняя граница размера формулы для функций AC0
Вопрос: Какова самая известная нижняя граница размера формулы для явной функции в AC 0 ? Существует ли явная функция с нижней границей Ω(n2)Ω(n2)\Omega(n^2) ? Задний план: Как и большинство нижних границ, трудно найти нижние границы размера формулы. Меня интересуют нижние границы размера формулы над стандартным набором универсальных вентилей {AND, OR, …

3
Кратчайший эквивалент формулы CNF
Пусть F1F1F_1 - выполнимая формула CNF с nnn переменными и mmm предложениями. Пусть SF1SF1S_{F_1} - пространство решений F1F1F_1 . Рассмотрим проблему определения для данной F1F1F_1 другой формулы CNF F2F2F_2с тем же набором переменных, что и для F1F1F_1 , с SF2=SF1SF2=SF1S_{F_2} = S_{F_1} (то же пространство решений, что и для F1F1F_1 …

1
Характеристика одноразовых формул по полному двоичному базису
Фон Формула однократного чтения для набора элементов (также называемая базисом) - это формула, в которой каждая входная переменная появляется один раз. Формулы однократного чтения обычно изучаются на основе де Моргана (которая имеет 2-битные логические элементы И и ИЛИ, и 1-битный вентиль НЕ) и полной двоичной базе данных (которая имеет все …

1
Существуют ли для любых двух неизоморфных графов
Я хочу быть очень конкретным. Кто-нибудь знает опровержение или доказательство следующего предложения: ∃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 \varphi \wedge H …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.