Teoretyczne informatyka formulas

4

Złożoność minimalizowania wielkości formuły wielomianowej

Niech jest stopień d wielomian n zmienne przez F 2 , w którym d jest stała (przykładowo 2 lub 3). Chciałbym znaleźć najmniejszą formułę dla f , gdzie „formuła” i „rozmiar formuły” są zdefiniowane w oczywisty sposób (np. Najmniejsza formuła dla wielomianu x 1 x 2 + x 1 x …

28 cc.complexity-theory formulas

2

Dolne granice wielkości formuły dla funkcji AC0

Pytanie: Jaka jest najbardziej znana dolna granica rozmiaru formuły dla jawnej funkcji w AC 0 ? Czy istnieje wyraźna funkcja z dolną granicą ?Ω(n2)Ω(n2)\Omega(n^2) Tło: Podobnie jak większość dolnych granic, dolne granice formuł są trudne do osiągnięcia. Interesują mnie dolne granice formuły powyżej standardowego uniwersalnego zestawu bram {AND, OR, NOT}. …

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

3

Najkrótsza równoważna formuła CNF

Niech będzie zadowalającą formułą CNF z zmiennymi i klauzulami . Niech będzie przestrzenią rozwiązań .F1F1F_1m S F 1 F 1nnnmmmSF1SF1S_{F_1}F1F1F_1 Rozważ problem z określeniem, biorąc pod uwagę , innej formuły CNF z tym samym zestawem zmiennych co , z (ta sama przestrzeń rozwiązania co ), ale z możliwie jak najmniejszą …

18 cc.complexity-theory co.combinatorics sat formulas

1

Charakterystyka formuł jednorazowych na podstawie pełnej bazy binarnej

tło Formuła „read-once” na zbiorze bramek (zwana również podstawą) to formuła, w której każda zmienna wejściowa pojawia się jeden raz. Formuły do odczytu raz są powszechnie badane na podstawie De Morgana (która ma 2-bitowe bramki AND i OR oraz 1-bitową bramkę NOT) i pełnej bazy binarnej (która ma wszystkie 2-bitowe …

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

1

Czy dla dowolnych dwóch grafów nieizomorficznych

Chcę być bardzo konkretny. Czy ktoś wie o odrzuceniu lub dowodzie następującej propozycji: ∃ 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∈ S.T.R Udo[ Σsolr a p h] ( m i n …

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

2

Najkrótsza formuła dla n-termicznego monotonicznego CNF

Monotoniczna formuła CNF z m terminami na n zmiennych ( ) jest formułą postaci , gdzie każdy jest OR pewnego podzbioru zmiennych i i wynosi od 1 do m . f ( x 1 , … , x n ) = ⋀ C i C i x 1 , …

10 cc.complexity-theory circuit-complexity formulas

Pytania otagowane jako formulas