English
Related papers

Related papers: A note on the computational complexity of weak sat…

200 papers

Let $K$ be a finite simplicial, cubical, delta or CW complex. The persistence map $\mathrm{PH}$ takes a filter $f:K \rightarrow \mathbb{R}$ as input and returns the barcodes $\mathrm{PH}(f)$ of the associated sublevel set persistent…

Computational Geometry · Computer Science 2021-10-29 Jacob Leygonie , Gregory Henselman-Petrusek

The normalized singular chains of a path connected pointed space $X$ may be considered as a connected $E_{\infty}$-coalgebra $\mathbf{C}_*(X)$ with the property that the $0^{\text{th}}$ homology of its cobar construction, which is naturally…

Algebraic Topology · Mathematics 2019-01-24 Manuel Rivera , Felix Wierstra , Mahmoud Zeinalian

We examine ordered graphs, defined as graphs with linearly ordered vertices, from the perspective of homomorphisms (and colorings) and their complexities. We demonstrate the corresponding computational and parameterized complexities, along…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

For a fixed graph $H$, a graph $G$ is called $H$-saturated if $G$ does not contain $H$ as a (not necessarily induced) subgraph, but $G+e$ contains a copy of $H$ for any $e\in E(\overline{G})$. The saturation number of $H$, denoted by ${\rm…

Combinatorics · Mathematics 2025-03-17 Ning Song , Jinze Hu , Shengjin Ji , Qing Cui

We show that three natural decision problems about links and 3-manifolds are computationally hard, assuming some conjectures in complexity theory. The first problem is determining whether a link in the 3-sphere bounds a Seifert surface with…

Geometric Topology · Mathematics 2017-04-28 Marc Lackenby

A strong clique in a graph is a clique intersecting every maximal independent set. We study the computational complexity of six algorithmic decision problems related to strong cliques in graphs and almost completely determine their…

Combinatorics · Mathematics 2018-08-28 Ademir Hujdurović , Martin Milanič , Bernard Ries

Given an undirected graph $G$ whose edge weights change over $s$ time slots, the sub-tree scheduling for wireless sensor networks with partial coverage asks to partition the vertices of $G$ in $s$ non-empty trees such that the total weight…

Computational Complexity · Computer Science 2023-01-03 Michele Barbato , Nicola Bianchessi

Let $G$ be a finite simple graph. The line graph $L(G)$ represents the adjacencies between edges of $G$. We define first the line simplicial complex $\Delta_L(G)$ of $G$ containing Gallai and anti-Gallai simplicial complexes…

Algebraic Topology · Mathematics 2017-08-04 Imran Ahmed , Shahid Muhmood

Turaev's shadow can be seen locally as the Stein factorization of a stable map. In this paper, we define the notion of stable map complexity for a compact orientable 3-manifold bounded by (possibly empty) tori counting, with some weights,…

Geometric Topology · Mathematics 2014-03-05 Masaharu Ishikawa , Yuya Koda

We examine the computational complexity of approximately counting the list H-colourings of a graph. We discover a natural graph-theoretic trichotomy based on the structure of the graph H. If H is an irreflexive bipartite graph or a…

Computational Complexity · Computer Science 2017-01-06 Andreas Galanis , Leslie Ann Goldberg , Mark Jerrum

A weakly complete space is a complex space admitting a (smooth) plurisubharmonic exhaustion function. In this paper, we classify those weakly complete complex surfaces for which such exhaustion function can be chosen real analytic: they can…

Complex Variables · Mathematics 2015-04-28 Samuele Mongodi , Zbigniew Slodkowski , Giuseppe Tomassini

We consider vertex colorings of graphs in which adjacent vertices have distinct colors. A graph is $s$-chromatic if it is colorable in $s$ colors and any coloring of it uses at least $s$ colors. The forcing chromatic number $F(G)$ of an…

Computational Complexity · Computer Science 2007-05-23 Frank Harary , Wolfgang Slany , Oleg Verbitsky

Determining whether two graphs are isomorphic is a fundamental problem with practical applications in areas such as molecular chemistry or social network analysis, yet it remains a challenging task, with exact solutions often being…

We give upper and lower bounds on the number of graphs of fixed degree which have a positive density of triangles. In particular, we show that there are very few such graphs, when compared to the number of graphs without this restriction.…

Mathematical Physics · Physics 2015-06-26 Pierre Collet , Jean-Pierre Eckmann

The homology groups of a simplicial complex reveal fundamental properties of the topology of the data or the system and the notion of topological stability naturally poses an important yet not fully investigated question. In the current…

Numerical Analysis · Mathematics 2024-01-30 Nicola Guglielmi , Anton Savostianov , Francesco Tudisco

The generic homomorphism problem, which asks whether an input graph $G$ admits a homomorphism into a fixed target graph $H$, has been widely studied in the literature. In this article, we provide a fine-grained complexity classification of…

Computational Complexity · Computer Science 2022-10-14 Robert Ganian , Thekla Hamm , Viktoriia Korchemna , Karolina Okrasa , Kirill Simonov

Given an undirected graph $G = (V_G, E_G)$ and a fixed "pattern" graph $H = (V_H, E_H)$ with $k$ vertices, we consider the $H$-Transversal and $H$-Packing problems. The former asks to find the smallest $S \subseteq V_G$ such that the…

Computational Complexity · Computer Science 2015-06-23 Venkatesan Guruswami , Euiwoong Lee

The saturation number $\operatorname{sat}(n, H)$ of a graph $H$ and positive integer $n$ is the minimum size of a graph of order $n$ which does not contain a subgraph isomorphic to $H$ but to which the addition of any edge creates such a…

Combinatorics · Mathematics 2025-07-29 Calum Buchanan , Puck Rombach

For a finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION (resp. ${\cal F}$-TM-DELETION) problem consists in, given a graph $G$ and an integer $k$, decide whether there exists $S \subseteq V(G)$ with $|S| \leq k$ such that $G…

Data Structures and Algorithms · Computer Science 2021-03-12 Julien Baste , Ignasi Sau , Dimitrios M. Thilikos

A convex geometric hypergraph (abbreviated cgh) consists of a collection of subsets of a strictly convex set of points in the plane. Extremal problems for cgh's have been extensively studied in the literature, and in this paper we consider…

Combinatorics · Mathematics 2021-09-22 Jason O'Neill , Sam Spiro