Informatica teorica monotone

4

Lo stato delle nostre conoscenze sui circuiti aritmetici generali sembra essere simile allo stato delle nostre conoscenze sui circuiti booleani, cioè non abbiamo buoni limiti inferiori. D'altra parte, abbiamo limiti inferiori di dimensione esponenziale per circuiti booleani monotoni . Cosa sappiamo dei circuiti aritmetici monotoni ? Abbiamo buoni limiti inferiori …

22 cc.complexity-theory circuit-complexity boolean-functions monotone arithmetic-circuits

1

Puoi decidere l'equivalenza per le espressioni booleane monotone che non contengono negazione in PTIME?

È il seguente problema in PTIME o coNP-hard: Date due espressioni booleane ed e 2 nelle variabili x 1 , ... , x n , senza negazione (ovvero, le espressioni sono interamente costruite tramite ∧ e ∨ ). Decidi se e 1 ≡ e 2 , ovvero hanno lo stesso …

16 cc.complexity-theory time-complexity boolean-functions monotone

2

Di quante negazioni abbiamo bisogno per calcolare le funzioni monotone?

Razborov ha dimostrato che la corrispondenza della funzione monotona non è in mP . Ma possiamo calcolare la corrispondenza usando un circuito dimensionale polinomiale con alcune negazioni? Esiste un circuito P / poli con negazioni che calcola la corrispondenza? Qual è il compromesso tra il numero di negazioni e le …

14 cc.complexity-theory circuit-complexity lower-bounds matching monotone

2

Contando il numero di incarichi soddisfacenti in un POSITIVO CNF-SAT

Conosciamo il problema di contare il numero di compiti soddisfacenti in una data formula booleana generale (CNF-SAT), una data formula DNF o anche una data formula 2SAT è un problema # P-completo . Ora, considera un CNF-SAT senza letterale negativo (no , sempre A ). Il problema decisionale è molto …

13 sat counting-complexity polynomial-time monotone

2

Qual è una definizione equivalente di mP / poly in termini di macchina di Turing?

P / poly è la classe di problemi di decisione risolvibili da una famiglia di circuiti booleani di dimensioni polinomiali. In alternativa, può essere definita come una macchina di Turing a tempo polinomiale che riceve una stringa di avviso che ha dimensione polinomiale in n e che si basa esclusivamente …

13 cc.complexity-theory complexity-classes circuit-complexity polynomial-time monotone

1

Complessità del circuito monotono delle funzioni di calcolo su ingressi sparsi

Il peso |x||x||x|di una stringa binaria x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n è il numero di quelli nella stringa. Cosa succede se siamo interessati a calcolare una funzione monotona su input con pochi? Sappiamo che decidere se un grafico ha un kkk -clique è difficile per i circuiti monotoni (vedi tra gli altri Alon Boppana, …

12 cc.complexity-theory lower-bounds circuit-complexity parameterized-complexity monotone

Domande taggate «monotone»