English
Related papers

Related papers: A note on local search for hitting sets

200 papers

The classic theorem of Gallai and Milgram (1960) generalizes several fundamental results in Graph Theory, such as Dilworth's theorem on posets and K\H{o}nig's theorem on matchings in bipartite graphs. The theorem asserts that for every…

Data Structures and Algorithms · Computer Science 2026-03-09 Fedor V. Fomin , Petr A. Golovach , Nikola Jedličková , Jan Kratochvíl , Danil Sagunov , Kirill Simonov

We study the problem of finding the smallest graph that does not occur as an induced subgraph of a given graph. This missing induced subgraph has at most logarithmic size and can be found by a brute-force search, in an $n$-vertex graph, in…

Data Structures and Algorithms · Computer Science 2023-09-29 David Eppstein , Andrea Lincoln , Virginia Vassilevska Williams

A bipartite graph $G(U,V;E)$ that admits a perfect matching is given. One player imposes a permutation $\pi$ over $V$, the other player imposes a permutation $\sigma$ over $U$. In the greedy matching algorithm, vertices of $U$ arrive in…

Computer Science and Game Theory · Computer Science 2018-03-16 Alon Eden , Uriel Feige , Michal Feldman

The question to enumerate all inclusion-minimal connected dominating sets in a graph of order $n$ in time significantly less than $2^n$ is an open question that was asked in many places. We answer this question affirmatively, by providing…

Computational Complexity · Computer Science 2022-05-03 Faisal Abu-Khzam , Henning Fernau , Benjamin Gras , Mathieu Liedloff , Kevin Mann

In the companion paper [Linear rank-width of distance-hereditary graphs I. A polynomial-time algorithm, Algorithmica 78(1):342--377, 2017], we presented a characterization of the linear rank-width of distance-hereditary graphs, from which…

Combinatorics · Mathematics 2017-08-16 Mamadou Moustapha Kanté , O-joung Kwon

Let $G$ be a graph that admits a perfect matching. A {\sf forcing set} for a perfect matching $M$ of $G$ is a subset $S$ of $M$, such that $S$ is contained in no other perfect matching of $G$. This notion originally arose in chemistry in…

Combinatorics · Mathematics 2009-03-17 Peyman Afshani , Hamed Hatami , Ebadollah S. Mahmoodian

For a simple graph $G=(V,E)$ without any isolated vertex, a cosecure dominating set $D$ of $G$ satisfies the following two properties (i) $S$ is a dominating set of $G$, (ii) for every vertex $v \in S$ there exists a vertex $u \in V…

Discrete Mathematics · Computer Science 2023-02-28 Kusum , Arti Pandey

The $H$-Induced Minor Containment problem ($H$-IMC) consists in deciding if a fixed graph $H$ is an induced minor of a graph $G$ given as input, that is, whether $H$ can be obtained from $G$ by deleting vertices and contracting edges.…

Data Structures and Algorithms · Computer Science 2025-10-29 Clément Dallard , Maël Dumas , Claire Hilaire , Anthony Perez

In earlier versions of the community discovering problem, the overlap between communities was restricted by a simple count upper-bound [17,5,11,8]. In this paper, we introduce the $\Pi$-Packing with $\alpha()$-Overlap problem to allow for…

Data Structures and Algorithms · Computer Science 2016-01-15 Alejandro López-Ortiz , Jazmín Romero

We study a geometric hitting-set problem in which the input consists of a set $P$ of weighted points and a family $S=H\cup V$ of axis-parallel segments in the plane. The goal is to select a minimum-weight subset of $P$ that hits every…

Computational Geometry · Computer Science 2026-05-15 Rajiv Raman , Siddhartha Sarkar , Jatin Yadav

A group $G$ is said to satisfy the finitely generated intersection property (f.g.i.p.) if the intersection of any two finitely generated subgroups of $G$ is again finitely generated. The aim of this article is to understand when the…

Group Theory · Mathematics 2026-04-15 Jordi Delgado , Marco Linton , Jone Lopez de Gamiz Zearra , Mallika Roy , Pascal Weil

We investigate the distributed complexity of maximal matching and maximal independent set (MIS) in hypergraphs in the LOCAL model. A maximal matching of a hypergraph $H=(V_H,E_H)$ is a maximal disjoint set $M\subseteq E_H$ of hyperedges and…

Data Structures and Algorithms · Computer Science 2022-11-04 Alkida Balliu , Sebastian Brandt , Fabian Kuhn , Dennis Olivetti

Given a proper edge coloring $\varphi$ of a graph $G$, we define the palette $S_{G}(v,\varphi)$ of a vertex $v \in V(G)$ as the set of all colors appearing on edges incident with $v$. The palette index $\check s(G)$ of $G$ is the minimum…

Combinatorics · Mathematics 2023-06-22 C. J. Casselgren , Petros A. Petrosyan

We investigate polynomial-time preprocessing for the problem of hitting forbidden minors in a graph, using the framework of kernelization. For a fixed finite set of connected graphs F, the F-Deletion problem is the following: given a graph…

Computational Complexity · Computer Science 2018-04-25 Bart M. P. Jansen , Astrid Pieterse

Recall that a $P$-set is a closed set $X$ such that the intersection of countably many neighborhoods of $X$ is again a neighborhood of $X$. We show that if $\mathfrak{t} = \mathfrak{c}$ then there is a minimal right ideal of $(\beta \mathbb…

General Topology · Mathematics 2014-10-23 William R. Brian

We introduce the \emph{ID-index} of a finite simple connected graph. For a graph $G=(V,\ E)$ with diameter $d$, we let $f:V\longrightarrow \mathbb{R}$ assign \emph{ranks} to the vertices, then under $f$, each vertex $v$ gets a…

Combinatorics · Mathematics 2024-10-10 Runze Wang

Given a graph property $\Phi$, the problem $\#\mathsf{IndSub}(\Phi)$ asks, on input a graph $G$ and a positive integer $k$, to compute the number of induced subgraphs of size $k$ in $G$ that satisfy $\Phi$. The search for explicit criteria…

Computational Complexity · Computer Science 2021-05-14 Marc Roth , Johannes Schmitt , Philip Wellnitz

Given a graph $G$, a set $T$ of terminal vertices, and a demand graph $H$ on $T$, the \textsc{Multicut} problem asks for a set of edges of minimum weight that separates the pairs of terminals specified by the edges of $H$. The…

Computational Complexity · Computer Science 2026-01-27 Florian Hörsch , Dániel Marx

Given two graphs $G$ and $H$, we say that $G$ contains $H$ as an induced minor if a graph isomorphic to $H$ can be obtained from $G$ by a sequence of vertex deletions and edge contractions. We study the complexity of Graph Isomorphism on…

Discrete Mathematics · Computer Science 2016-05-30 Rémy Belmonte , Yota Otachi , Pascal Schweitzer

Given a graph property $\Phi$, we consider the problem $\mathtt{EdgeSub}(\Phi)$, where the input is a pair of a graph $G$ and a positive integer $k$, and the task is to decide whether $G$ contains a $k$-edge subgraph that satisfies $\Phi$.…

Computational Complexity · Computer Science 2021-05-14 Marc Roth , Johannes Schmitt , Philip Wellnitz