Revising Johnson's table for the 21st century

CMH de Figueiredo, AA de Melo, D Sasaki… - Discrete Applied …, 2022 - Elsevier
What does it mean today to study a problem from a computational point of view? We focus
on parameterized complexity and on Column 16 “Graph Restrictions and Their Effect” of DS …

The complexity of tree partitioning

Z An, Q Feng, I Kanj, G Xia - Algorithmica, 2020 - Springer
Given a tree T on n vertices, and k, b, s_1, ..., s_b ∈ N k, b, s 1,…, sb∈ N, the Tree
Partitioning problem asks if at most k edges can be removed from T so that the resulting …

Almost tight lower bounds for hard cutting problems in embedded graphs

V Cohen-Addad, ÉC De Verdière, D Marx… - Journal of the ACM …, 2021 - dl.acm.org
We prove essentially tight lower bounds, conditionally to the Exponential Time Hypothesis,
for two fundamental but seemingly very different cutting problems on surface-embedded …

On the subexponential-time complexity of CSP

R De Haan, I Kanj, S Szeider - Journal of Artificial Intelligence Research, 2015 - jair.org
Not all NP-complete problems share the same practical hardness with respect to exact
computation. Whereas some NP-complete problems are amenable to efficient computational …

Maximum cut parameterized by crossing number

M Chimani, C Dahn, M Juhnke-Kubitzke… - arXiv preprint arXiv …, 2019 - arxiv.org
Given an edge-weighted graph $ G $ on $ n $ nodes, the NP-hard Max-Cut problem asks for
a node bipartition such that the sum of edge weights joining the different partitions is …

[HTML][HTML] On the parameterized complexity of monotone and antimonotone weighted circuit satisfiability

I Kanj, DM Thilikos, G Xia - Information and Computation, 2017 - Elsevier
We consider the weighted monotone and antimonotone satisfiability problems on
normalized circuits of depth at most t≥ 2, abbreviated Image 1 and Image 2, respectively …

Low polynomial exclusion of planar graph patterns

JF Raymond, DM Thilikos - Journal of Graph Theory, 2017 - Wiley Online Library
The celebrated grid exclusion theorem states that for every h‐vertex planar graph H, there is
a constant such that if a graph G does not contain H as a minor then G has treewidth at most …

Bounds on the genus for 2-cell embeddings of prefix-reversal graphs

SA Blanco, C Buehrle - arXiv preprint arXiv:2306.11295, 2023 - arxiv.org
In this paper, we provide bounds for the genus of the pancake graph $\mathbb {P} _n $,
burnt pancake graph $\mathbb {BP} _n $, and undirected generalized pancake graph …

Bidimensionality and parameterized algorithms (invited talk)

DM Thilikos - … on Parameterized and Exact Computation (IPEC …, 2015 - drops.dagstuhl.de
We provide an exposition of the main results of the theory of bidimensionality in
parameterized algorithm design. This theory applies to graph problems that are …

[PDF][PDF] Revising Johnson's table for the 21st century–current table

CMH de Figueiredo, AA de Melo, D Sasaki, A Silva - 2024 - cos.ufrj.br
Table 1: The updated NP-Completeness Column: An Ongoing Guide table 35 years later.
Depicted in bold are the references that correspond to unresolved entries in [OG] and [GJ] …