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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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] …