Defines TLFPT as O(n) + f(k) algorithms, proves it is strictly contained in Linear FPT via diagonalization, and exhibits several problems (SAT, Vertex Cover, k-Path, etc.) that belong to TLFPT under parameters such as treedepth and BFS-width.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.CC 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Presents analogous arguments supporting the Cobham-Edmonds thesis that feasible computation explicates to P.
citing papers explorer
-
$O(n +f(k))$: Truly Linear FPT
Defines TLFPT as O(n) + f(k) algorithms, proves it is strictly contained in Linear FPT via diagonalization, and exhibits several problems (SAT, Vertex Cover, k-Path, etc.) that belong to TLFPT under parameters such as treedepth and BFS-width.
-
Feasibilism, Explication, and the Cobham-Edmonds Thesis
Presents analogous arguments supporting the Cobham-Edmonds thesis that feasible computation explicates to P.