English
Related papers

Related papers: There is a Hyper-Greedoid lurking behind every Gra…

200 papers

A fundamental graph problem is to recognize whether the vertex set of a graph $G$ can be bipartitioned into sets $A$ and $B$ such that $G[A]$ and $G[B]$ satisfy properties $\Pi_A$ and $\Pi_B$, respectively. This so-called…

Computational Complexity · Computer Science 2019-08-27 Iyad Kanj , Christian Komusiewicz , Manuel Sorge , Erik Jan van Leeuwen

Let us be given two graphs $\Gamma_1$, $\Gamma_2$ of $n$ vertices. Are they isomorphic? If they are, the set of isomorphisms from $\Gamma_1$ to $\Gamma_2$ can be identified with a coset $H\cdot\pi$ inside the symmetric group on $n$…

Group Theory · Mathematics 2017-10-13 Harald Andrés Helfgott , Jitendra Bajpai , Daniele Dona

Schaefer's theorem is a complexity classification result for so-called Boolean constraint satisfaction problems: it states that every Boolean constraint satisfaction problem is either contained in one out of six classes and can be solved in…

Computational Complexity · Computer Science 2015-05-19 Manuel Bodirsky , Michael Pinsker

Hitting Set is a classic problem in combinatorial optimization. Its input consists of a set system F over a finite universe U and an integer t; the question is whether there is a set of t elements that intersects every set in F. The Hitting…

Data Structures and Algorithms · Computer Science 2015-07-27 Bart M. P. Jansen

For a fixed set ${\cal H}$ of graphs, a graph $G$ is ${\cal H}$-subgraph-free if $G$ does not contain any $H \in {\cal H}$ as a (not necessarily induced) subgraph. A recently proposed framework gives a complete classification on ${\cal…

Discrete Mathematics · Computer Science 2024-05-07 Vadim Lozin , Barnaby Martin , Sukanya Pandey , Daniel Paulusma , Mark Siggers , Siani Smith , Erik Jan van Leeuwen

We provide a comprehensive reply to the comment written by Stefan Boettcher [arXiv:2210.00623] and argue that the comment singles out one particular non-representative example problem, entirely focusing on the maximum cut problem (MaxCut)…

Machine Learning · Computer Science 2023-03-23 Martin J. A. Schuetz , J. Kyle Brubaker , Helmut G. Katzgraber

The Surjective Homomorphism problem is to test whether a given graph G called the guest graph allows a vertex-surjective homomorphism to some other given graph H called the host graph. The bijective and injective homomorphism problems can…

Discrete Mathematics · Computer Science 2016-12-16 Petr A. Golovach , Bernard Lidický , Barnaby Martin , Daniël Paulusma

The independent set on a graph $G=(V,E)$ is a subset of $V$ such that no two vertices in the subset have an edge between them. The MIS problem on $G$ seeks to identify an independent set with maximum cardinality, i.e. maximum independent…

Data Structures and Algorithms · Computer Science 2017-05-26 Bhadrachalam Chitturi

Let G(V,E) be a simple graph and let X subset of V. Two vertices u and v are said to be X-visible if there exists a shortest u,v-path P such that V(P) intersection X is a subset of {u, v}. A set X is called a mutual-visibility set of G if…

Combinatorics · Mathematics 2026-04-10 Tonny K B , Shikhi M

Let $G$ be a group. The prime index graph of $G$, denoted by $\Pi(G)$, is the graph whose vertex set is the set of all subgroups of $G$ and two distinct comparable vertices $H$ and $K$ are adjacent if and only if the index of $H$ in $K$ or…

Group Theory · Mathematics 2015-08-06 S. Akbari , A. Ashtab , F. Heydari , M. Rezaee , F. Sherafati

For many popular graph metric sparsifiers, such as spanners, emulators, and preservers, simple and elegant greedy algorithms are known that achieve state-of-the-art or existentially optimal tradeoffs between size and quality. The goal of…

Data Structures and Algorithms · Computer Science 2026-04-28 Ben Bals , Joakim Blikstad , Greg Bodwin , Daniel Dadush , Sebastian Forster , Yasamin Nazari

Subdividing an edge $uv$ in a graph replaces it by a path $u w v$ with one new vertex. For a graph $H$, the \textsc{$H$-free Subdivision} problem asks whether, given a graph $G$ and an integer $k$, one can destroy all induced copies of $H$…

Data Structures and Algorithms · Computer Science 2026-04-28 Marta Piecyk , R. B. Sandeep

Given a vertex-weighted graph $G=(V,E)$ and a set $S \subseteq V$, a subset feedback vertex set $X$ is a set of the vertices of $G$ such that the graph induced by $V \setminus X$ has no cycle containing a vertex of $S$. The \textsc{Subset…

Data Structures and Algorithms · Computer Science 2017-02-02 Charis Papadopoulos , Spyridon Tzimas

A \textit{maximum stable set} in a graph $G$ is a stable set of maximum cardinality. $S$ is a \textit{local maximum stable set} of $G$, and we write $S\in\Psi(G)$, if $S$ is a maximum stable set of the subgraph induced by $S\cup N(S)$,…

Discrete Mathematics · Computer Science 2010-08-18 Vadim E. Levit , Eugen Mandrescu

In this paper we present a greedy algorithm for solving the problem of the maximum partitioning of graphs with supply and demand (MPGSD). The goal of the method is to solve the MPGSD for large graphs in a reasonable time limit. This is done…

Artificial Intelligence · Computer Science 2015-07-31 Raka Jovanovic , Abdelkader Bousselham , Stefan Voss

S is a local maximum stable set of a graph G, if the set S is a maximum stable set of the subgraph induced by its closed neighborhood. In (Levit, Mandrescu, 2002) we have proved that the family of all local maximum stable sets is a greedoid…

Combinatorics · Mathematics 2011-01-25 Vadim E. Levit , Eugen Mandrescu

The exponential-time hypothesis (ETH) states that 3-SAT is not solvable in subexponential time, i.e. not solvable in O(c^n) time for arbitrary c > 1, where n denotes the number of variables. Problems like k-SAT can be viewed as special…

Computational Complexity · Computer Science 2017-06-20 Peter Jonsson , Victor Lagerkvist , Biman Roy

We study the computational complexity of the map redistricting problem (gerrymandering). Mathematically, the electoral district designer (gerrymanderer) attempts to partition a weighted graph into $k$ connected components (districts) such…

Computer Science and Game Theory · Computer Science 2024-01-09 Jack Dippel , Max Dupré la Tour , April Niu , Sanjukta Roy , Adrian Vetta

${ NP}$-complete problem "Hamiltonian cycle"\ for graph $G=(V,E)$ is extended to the "Hamiltonian Complement of the Graph"\ problem of finding the minimal cardinality set $H$ containing additional edges so that graph $G=(V,E\cup H)$ is…

Computational Complexity · Computer Science 2018-08-27 Anatoly Panyukov

We investigate a fundamental vertex-deletion problem called (Induced) Subgraph Hitting: given a graph $G$ and a set $\mathcal{F}$ of forbidden graphs, the goal is to compute a minimum-sized set $S$ of vertices of $G$ such that $G-S$ does…

Data Structures and Algorithms · Computer Science 2023-12-05 Zdeněk Dvořák , Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Jie Xue , Meirav Zehavi