Informatica teorica parameterized-complexity

1

Gentile introduzione agli aspetti algoritmici della profondità degli alberi

La larghezza dell'albero e la larghezza del percorso sono parametri popolari, che misurano rispettivamente la vicinanza di un grafico a un albero o un percorso. In effetti, sembra che la larghezza degli alberi sia così popolare che è presente in molti articoli, libri e appunti di lezioni che offrono (anche …

13 reference-request graph-algorithms parameterized-complexity

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

1

Qualche risultato sul CSP booleano binario oltre la tracciabilità dei parametri fissi del problema di quasi 2SAT?

Sia una formula 2CNF e k un numero intero non negativo. È dimostrato in questo documento che il problema di decidere se si possono eliminare al massimo k clausole per rendere φ soddisfacente, è trattabile a parametro fisso, dove k è il parametro. La mia domanda è se ci sono …

12 parameterized-complexity csp fixed-parameter-tractable

1

I grafici del "genere delimitato dall'esterno" hanno una larghezza degli alberi costante?

Lascia che e denoti con l'insieme di tutti i grafici che possono essere incorporati su una superficie del genere tale che tutti i vertici siano situati sulla faccia esterna . Ad esempio, è l'insieme dei grafici del piano esterno. La larghezza degli alberi dei grafici in essere limitata da una …

12 graph-theory co.combinatorics parameterized-complexity graph-classes

1

Complessità parametrizzata dell'inclusione delle lingue regolari

Sono interessato al classico problema INCLUSIONE LINGUA REGOLARE. Data un'espressione regolare , indichiamo con L ( E ) il linguaggio regolare ad esso associato. (Le espressioni regolari sono su un alfabeto fisso Σ , con l'unione delle operazioni, stella di Kleene e concatenazione.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Input: due espressioni regolari ed …

11 cc.complexity-theory reference-request regular-language parameterized-complexity regular-expressions

2

W [1] -hard problemi su grafici di gradi limitati

Conosci problemi che sono W [1] -hard anche per i grafici dei gradi limitati? La dimensione metrica è dura per i grafici con grado al massimo 3, ma è W [2] -hard. Il nonbloccatore rosso-blu era solito W [1] -hard sui grafici dei gradi limitati, ma c'era un errore nella …

11 reference-request parameterized-complexity

5

Istanza di riduzioni FPT che non è una riduzione del tempo polinomiale

Nella complessità parametrizzata le persone usano la riduzione FPT (fixed-parameter-tractable) per dimostrare il grado di W [t]. Teoricamente una riduzione FPT non è una riduzione del tempo polinomiale, poiché può essere eseguita in modo esponenziale nel parametro k. Ma in pratica tutte le riduzioni FPT che ho visto sono riduzioni …

11 cc.complexity-theory np-hardness reductions parameterized-complexity

1

Nome per la sottoclasse "uniformemente polinomiale" di XP?

Supponiamo che sia una lingua parametrizzata rispetto ad un certo alfabeto Σ . La sezione k di L è L k = L ∩ { ( x , k ) ∣ x ∈ Σ ∗ } , l'insieme di istanze in L che hanno il parametro k . La classe …

10 cc.complexity-theory reference-request parameterized-complexity

2

Quali problemi con i grafici sono

Seguendo le domande equivalenti sulla NP-completezza (vedere la domanda sul peso e la domanda diretta ), mi chiedevo come i problemi con parametri sono influenzati da questi attributi. Quali problemi dei grafici -hard sono W [ 1 ] -Hard sui grafici diretti, ma i parametri fissi sono tracciabili sui grafici …

10 cc.complexity-theory graph-algorithms parameterized-complexity fixed-parameter-tractable

1

Kernel polinomiale per

Il problema con k-FLIP SAT parametrizzato è definito come: Input: una formula 3-CNF con n variabili e un'assegnazione di verità σ : [ n ] → { 0 , 1 } Parametro: k Domanda: possiamo trasformare l'assegnazione σ in un'assegnazione satura σ ′ per φ lanciando il valore di verità …

10 parameterized-complexity fixed-parameter-tractable

1

La complessità parametrizzata sarà il futuro della teoria della complessità?

Sono uno studioso di ricerca che lavora nella teoria degli algoritmi e della complessità, uso la complessità parametrizzata in una certa misura. A me sembra che i ricercatori con complessità parametrica siano molto attivi (non intendo dire che altri non lo siano) in termini di numero di articoli di ricerca. …

9 soft-question parameterized-complexity

1

Colpire set con una sottofamiglia

Sia una famiglia di sottoinsiemi di elementi di un universo finito di oggetti. Una famiglia di sottoinsiemi di elementi di , con , è un - colpire-set di se per ogni esiste almeno un set tale che .d U H k U 1 ≤ k < d ( k , …

9 cc.complexity-theory reference-request approximation-hardness parameterized-complexity

1

Complessità parametrizzata del conteggio delle biciclette

In una domanda precedente Algoritmo parametrizzato per la ricerca di bicliques , ho chiesto se esistessero algoritmi parametrizzati veloci per trovare un -biclique in un grafico del vertice n e ho scoperto che era aperto se è FPT wrt k . Lo stesso vale per il conteggio dei k × …

9 cc.complexity-theory graph-theory counting-complexity parameterized-complexity

Domande taggate «parameterized-complexity»