English
Related papers

Related papers: Solution independence and self-referential instanc…

200 papers

This paper considers the difficulty in the set-system approach to generalizing graph theory. These difficulties arise categorically as the category of set-system hypergraphs is shown not to be cartesian closed and lacks enough projective…

Combinatorics · Mathematics 2019-05-06 Will Grilliette , Lucas J. Rusnak

The graph theoretic concept of maximal independent set arises in several practical problems in computer science as well as in game theory. A maximal independent set is defined by the set of occupied nodes that satisfy some packing and…

Disordered Systems and Neural Networks · Physics 2010-01-28 L. Dall'Asta , P. Pin , A. Ramezanpour

Let $H$ be a fixed undirected graph on $k$ vertices. The $H$-hitting set problem asks for deleting a minimum number of vertices from a given graph $G$ in such a way that the resulting graph has no copies of $H$ as a subgraph. This problem…

Data Structures and Algorithms · Computer Science 2020-12-01 Noah Brüstle , Tal Elbaz , Hamed Hatami , Onur Kocer , Bingchan Ma

The NP-complete problem Feedback Vertex Set is that of deciding whether or not it is possible, for a given integer $k\geq 0$, to delete at most $k$ vertices from a given graph so that what remains is a forest. The variant in which the…

Data Structures and Algorithms · Computer Science 2017-08-01 Marthe Bonamy , Konrad K. Dabrowski , Carl Feghali , Matthew Johnson , Daniel Paulusma

Independent set is a fundamental problem in combinatorial optimization. While in general graphs the problem is essentially inapproximable, for many important graph classes there are approximation algorithms known in the offline setting.…

Computational Geometry · Computer Science 2020-03-06 Monika Henzinger , Stefan Neumann , Andreas Wiese

The main focus of this thesis is a generalization of covering arrays, covering arrays on graphs. Two vectors v,w in Z_k^n are qualitatively independent if for all ordered pairs (a,b) in Z_k x Z_k there is a position i in the vectors where…

Combinatorics · Mathematics 2007-05-23 Karen Meagher

The independence density of a finite hypergraph is the probability that a subset of vertices, chosen uniformly at random contains no hyperedges. Independence densities can be generalized to countable hypergraphs using limits. We show that,…

Combinatorics · Mathematics 2016-04-20 Paul Balister , Béla Bollobás , Karen Gunderson

Independence of premise principles play an important role in characterizing the modified realizability and the Dialectica interpretations. In this paper we show that a great many intuitionistic set theories are closed under the…

Logic · Mathematics 2019-11-20 Takako Nemoto , Michael Rathjen

In this paper we provide an asymptotic expansion for the number of independent sets in a general class of regular, bipartite graphs satisfying some vertex-expansion properties, extending results of Jenssen and Perkins on the hypercube and…

Combinatorics · Mathematics 2025-03-31 Maurício Collares , Joshua Erde , Anna Geisler , Mihyun Kang

Given a graph $G$ and two independent sets of $G$, the independent set reconfiguration problem asks whether one independent set can be transformed into the other by moving a single vertex at a time, such that at each intermediate step we…

Discrete Mathematics · Computer Science 2024-02-06 Valentin Bartier , Nicolas Bousquet , Moritz Mühlenthaler

Traditionally, reconfiguration problems ask the question whether a given solution of an optimization problem can be transformed to a target solution in a sequence of small steps that preserve feasibility of the intermediate solutions. In…

Discrete Mathematics · Computer Science 2019-01-25 Mark de Berg , Bart M. P. Jansen , Debankur Mukherjee

A theorem of Ding, Oporowski, Oxley, and Vertigan implies that any sufficiently large twin-free graph contains a large matching, a co-matching, or a half-graph as a semi-induced subgraph. The sizes of these unavoidable patterns are measured…

Computational Complexity · Computer Science 2026-02-10 Jan Dreier , Nikolas Mählmann , Sebastian Siebertz

The problem of (approximately) counting the independent sets of a bipartite graph (#BIS) is the canonical approximate counting problem that is complete in the intermediate complexity class #RH\Pi_1. It is believed that #BIS does not have an…

Computational Complexity · Computer Science 2019-07-16 Radu Curticapean , Holger Dell , Fedor Fomin , Leslie Ann Goldberg , John Lapinskas

The Maximum Independent Set problem is fundamental for extracting conflict-free structure from large graphs, with applications in scheduling, recommendation, and network analysis. However, existing heuristics can stagnate when search…

Artificial Intelligence · Computer Science 2025-10-29 Yu Zhang , Witold Pedrycz , Chanjuan Liu , Enqiang Zhu

Inspired by notorious combinatorial optimization problems on graphs, in this paper we consider a series of related problems defined using a metric space and topology determined by a graph. Particularly, we present the Independent Set,…

Combinatorics · Mathematics 2025-07-30 Alexander Grigoriev , Katherine Faulkner

For a set $S$ of vertices of a graph $G$, a vertex $u$ in $V(G)\setminus S$, and a vertex $v$ in $S$, let ${\rm dist}_{(G,S)}(u,v)$ be the distance of $u$ and $v$ in the graph $G-(S\setminus \{ v\})$. Dankelmann et al. (Domination with…

Combinatorics · Mathematics 2016-05-20 Simon Jäger , Dieter Rautenbach

Recently it was shown that many classic graph problems -- Independent Set, Dominating Set, Hamiltonian Cycle, and more -- can be solved in subexponential time on unit-ball graphs. More precisely, these problems can be solved in…

Computational Geometry · Computer Science 2026-01-14 Mark de Berg , Sándor Kisfaludi-Bak

Problems from metric graph theory like Metric Dimension, Geodetic Set, and Strong Metric Dimension have recently had a strong impact in parameterized complexity by being the first known problems in NP to admit double-exponential lower…

Discrete Mathematics · Computer Science 2024-06-07 Benjamin Bergougnoux , Oscar Defrain , Fionn Mc Inerney

We study the Maximum Independent Set (MIS) problem on general graphs within the framework of learning-augmented algorithms. The MIS problem is known to be NP-hard and is also NP-hard to approximate to within a factor of $n^{1-\delta}$ for…

Data Structures and Algorithms · Computer Science 2024-07-17 Vladimir Braverman , Prathamesh Dharangutte , Vihan Shah , Chen Wang

Numerous problems consisting in identifying vertices in graphs using distances are useful in domains such as network verification and graph isomorphism. Unifying them into a meta-problem may be of main interest. We introduce here a…

Computational Complexity · Computer Science 2018-10-10 Florian Barbero , Lucas Isenmann , Jocelyn Thiebaut