Wszystkie pola: Parameterized complexity

Skocz do pozycji: 1.

Artykuł

Szczegóły

Skocz do pozycji: 2.

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: 3.

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: 4.

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: 5.

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

Artykuł

Szczegóły

Skocz do pozycji: 6.

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

Inne

Szczegóły

Skocz do pozycji: 7.

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

Skocz do pozycji: 8.

Tytuł:: Adding Data Registers to Parameterized Networks with Broadcast
Autorzy:: Delzanno, G.
Sangnier, A.
Traverso, R.
Data publikacji:: 2016
Słowa kluczowe:: graph theory
machine theory
problem solving
computational complexity
register; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 9.

Tytuł:: On Proving Parameterized Size Lower Bounds for Multilinear Algebraic Models
Autorzy:: Ghosal, Purnata
Raghavendra Rao, B. V.
Data publikacji:: 2020
Słowa kluczowe:: circuit complexity
multilinear algebra
polynomials
computable functions
reading
size; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Informacja