Temat: Parameterized complexity

Skocz do pozycji: 1.

Tytuł:: Parameterized Complexity of Weighted Satisfiability Problems : Decision, Enumeration, Counting
Autorzy:: Creignou, N.
Vollmer, H.
Data publikacji:: 2015
Słowa kluczowe:: parameterized complexity
weighted satisfiability
parameterized counting complexity
polynomial-delay enumeration
Post’s lattice; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Tight conditional lower bounds for longest common increasing subsequence
Autorzy:: Duraj, Lech
Polak, Adam
Künnemann, Marvin
Data publikacji:: 2018
Wydawca:: Dagstuhl Publishing
Słowa kluczowe:: parameterized complexity
SETH
combinatorial pattern matching
sequence alignments
fine-grained complexity; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Tight conditional lower bounds for longest common increasing subsequence
Autorzy:: Künnemann, Marvin
Duraj, Lech
Polak, Adam
Data publikacji:: 2019
Słowa kluczowe:: sequence alignments
Parameterized complexity
combinatorial pattern matching
SETH
fine-grained complexity; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width
Autorzy:: Ganian, R.
Hlinĕný, P.
Obdržálek, J.
Data publikacji:: 2013
Słowa kluczowe:: propositional model counting
satisfiability
rank-width
clique-width
parameterized complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Connecting the dots (with minimum crossings)
Autorzy:: Guśpiel, Grzegorz
Akanksha, Agrawal
Jayakrishnan, Madathil
Saket, Saurabh
Meirav, Zehavi
Data publikacji:: 2019
Wydawca:: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Słowa kluczowe:: FPT algorithm
parameterized complexity
crossing minimization
polynomial kernel
W[1]-hardness; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Experimental evaluation of parameterized and kernelization algorithms, in particular algorithms based on representative sets.
Eksperymentalna ewaluacja algorytmów parametryzowanych i kernelizacyjnych ze szczególnym uwzględnieniem algorytmów opartych o zbiory reprezentantów.
Autorzy:: Ziobro, Michał
Słowa kluczowe:: oct eksperymentalna_ewaluacja hc cykl_hamiltona grafy fpt złożoność_parametryzowana kernelizacja preprocessing szerokość_drzewowa algorytmy
oct experimental_evaluation hc hamiltonian_cycle graphs fpt parameterized_complexity kernelization preprocessing treewidth matroids algorithms; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Informacja