English
Related papers

Related papers: Constraint Complexity of Realizations of Linear Co…

200 papers

Structural measures of graphs, such as treewidth, are central tools in computational complexity resulting in efficient algorithms when exploiting the parameter. It is even known that modern SAT solvers work efficiently on instances of small…

Artificial Intelligence · Computer Science 2025-11-17 Yasir Mahmood , Markus Hecher , Johanna Groven , Johannes K. Fichte

We study the parameterized and kernelization complexity of the s-Club Cluster Edge Deletion problem, a distance-bounded generalization of Cluster Edge Deletion. Given a graph G = (V, E) and integers k and s, the goal is to delete at most k…

Discrete Mathematics · Computer Science 2025-11-04 Ajinkya Gaikwad

An $\textit{identifying code}$ of a closed-twin-free graph $G$ is a set $S$ of vertices of $G$ such that any two vertices in $G$ have a distinct intersection between their closed neighborhood and $S$. It was conjectured that there exists a…

Combinatorics · Mathematics 2024-07-24 Dipayan Chakraborty , Florent Foucaud , Michael A. Henning , Tuomo Lehtilä

We present a method for reducing the treewidth of a graph while preserving all of its minimal $s-t$ separators up to a certain fixed size $k$. This technique allows us to solve $s-t$ Cut and Multicut problems with various additional…

Data Structures and Algorithms · Computer Science 2015-03-19 Dániel Marx , Barry O'Sullivan , Igor Razgon

In this paper, we investigate three fundamental problems regarding cut complexes of graphs: their realizability, the uniqueness of graph reconstruction from them, and their algorithmic recognition. We define the parameter $m(d,n)$ as the…

Combinatorics · Mathematics 2025-12-16 Yufeng Shen , Zhiyu Song , Fenglin Yu , Leopold Wuhan Zhou , Jingqi Zhuang

A $k$-truss is an edge-induced subgraph $H$ such that each of its edges belongs to at least $k-2$ triangles of $H$. This notion has been introduced around ten years ago in social network analysis and security, as a form of cohesive subgraph…

Data Structures and Algorithms · Computer Science 2020-10-05 Alessio Conte , Roberto Grossi , Andrea Marino , Luca Versari

A vertex $v\in V(G)$ is said to distinguish two vertices $x,y\in V(G)$ of a nontrivial connected graph $G$ if the distance from $v$ to $x$ is different from the distance from $v$ to $y$. A set $S\subset V(G)$ is a local metric generator for…

Combinatorics · Mathematics 2015-05-25 Gabriel A. Barragan-Ramirez , Juan A. Rodriguez-Velazquez

This paper investigates the complexity of finding secluded paths in graphs. We focus on the \textsc{Short Secluded Path} problem and a natural new variant we introduce, \textsc{Shortest Secluded Path}. Formally, given an undirected graph…

Data Structures and Algorithms · Computer Science 2026-04-07 Tesshu Hanaka , Daisuke Tsuru

The minimum distance is one of the most important combinatorial characterizations of a code. The maximum likelihood decoding problem is one of the most important algorithmic problems of a code. While these problems are known to be hard for…

Information Theory · Computer Science 2016-08-31 Qi Cheng

For intractable problems on graphs of bounded treewidth, two graph parameters treedepth and vertex cover number have been used to obtain fine-grained complexity results. Although the studies in this direction are successful, we still need a…

Data Structures and Algorithms · Computer Science 2023-04-03 Tatsuya Gima , Tesshu Hanaka , Masashi Kiyomi , Yasuaki Kobayashi , Yota Otachi

The NP-hard Metric Dimension problem is to decide for a given graph G and a positive integer k whether there is a vertex subset of size at most k that separates all vertex pairs in G. Herein, a vertex v separates a pair {u,w} if the…

Computational Complexity · Computer Science 2012-11-08 Sepp Hartung , André Nichterlein

A resolving set in a graph $G$ is a vertex subset $W= \{\omega^1, \dots, \omega^n\} \subseteq V(G)$ such that each $u \in V(G)$ can be uniquely identified by the vector $r(u \vert W) = (d(u,\omega^1), \dots, d(u,\omega^n))$ of metric…

Combinatorics · Mathematics 2026-02-06 Víctor Franco-Sánchez , Mercè Mora , María Luz Puertas

The boxicity of a graph $G$ is the minimum dimension $d$ that admits a representation of $G$ as the intersection graph of a family of axis-parallel boxes in $\mathbb{R}^d$. Computing boxicity is an NP-hard problem, and there are few known…

Combinatorics · Mathematics 2025-10-03 Marco Caoduro , Will Evans , Tao Gaede

Clique-width is one of the most important parameters that describes structural complexity of a graph. Probably, only treewidth is more studied graph width parameter. In this paper we study how clique-width influences the complexity of the…

Data Structures and Algorithms · Computer Science 2020-03-11 Ivan Bliznets , Danil Sagunov

A path in a vertex-colored graph $G$ is \emph{vertex rainbow} if all of its internal vertices have a distinct color. The graph $G$ is said to be \emph{rainbow vertex connected} if there is a vertex rainbow path between every pair of its…

Computational Complexity · Computer Science 2016-12-23 Juho Lauri

A $k$-coloring of a graph is an assignment of integers between $1$ and $k$ to vertices in the graph such that the endpoints of each edge receive different numbers. We study a local variation of the coloring problem, which imposes further…

Combinatorics · Mathematics 2018-09-24 Jie You , Yixin Cao , Jianxin Wang

A vertex $v\in V$ is said to resolve two vertices $x$ and $y$ if $d_G(v,x)\ne d_G(v,y)$. A set $S\subset V$ is said to be a metric generator for $G$ if any pair of vertices of $G$ is resolved by some element of $S$. A minimum metric…

Combinatorics · Mathematics 2017-04-25 Y. Ramirez-Cruz , O. R. Oellermann , J. A. Rodriguez-Velazquez

A graph is geometric 1-planar if it admits a straight-line drawing where each edge is crossed at most once. We provide the first systematic study of the parameterized complexity of recognizing geometric 1-planar graphs. By substantially…

Computational Complexity · Computer Science 2026-02-11 Alexander Firbas

Vertex splitting consists of taking a vertex $v$ in a graph and replacing it with two non-adjacent vertices whose combined neighborhoods is the neighborhood of $v$. The split is said to be exclusive when these neighborhoods are disjoint. In…

Computational Complexity · Computer Science 2025-10-02 Faisal N. Abu-Khzam , Sergio Thoumi

A secure set $S$ in a graph is defined as a set of vertices such that for any $X\subseteq S$ the majority of vertices in the neighborhood of $X$ belongs to $S$. It is known that deciding whether a set $S$ is secure in a graph is…

Computational Complexity · Computer Science 2017-07-11 Bernhard Bliem , Stefan Woltran