English
Related papers

Related papers: A Simpler NP-Hardness Proof for Familial Graph Com…

200 papers

We consider the robustness of computational hardness of problems whose input is obtained by applying independent random deletions to worst-case instances. For some classical $NP$-hard problems on graphs, such as Coloring, Vertex-Cover, and…

Computational Complexity · Computer Science 2015-08-11 Daniel Reichman , Igor Shinkar

These notes are a self-contained short proof of the stability of persistence diagrams.

Algebraic Topology · Mathematics 2021-03-22 Primoz Skraba , Katharine Turner

As the class $\mathcal T_4$ of graphs of twin-width at most 4 contains every finite subgraph of the infinite grid and every graph obtained by subdividing each edge of an $n$-vertex graph at least $2 \log n$ times, most NP-hard graph…

Computational Complexity · Computer Science 2026-03-17 Édouard Bonnet

For a fixed graph $F$, let $ex_F(G)$ denote the size of the largest $F$-free subgraph of $G$. Computing or estimating $ex_F(G)$ for various pairs $F,G$ is one of the central problems in extremal combinatorics. It is thus natural to ask how…

Combinatorics · Mathematics 2025-02-11 Lior Gishboliner , Yevgeny Levanzov , Asaf Shapira

The subject logic in computer science should entail proof theoretic applications. So the question arises whether open problems in computational complexity can be solved by advanced proof theoretic techniques. In particular, consider the…

Computational Complexity · Computer Science 2020-12-09 L. Gordeev , E. H. Haeusler

Computing the clique number and chromatic number of a general graph are well-known NP-Hard problems. Codenotti et al. (Bruno Codenotti, Ivan Gerace, and Sebastiano Vigna. Hardness results and spectral techniques for combinatorial problems…

Combinatorics · Mathematics 2016-01-27 Chris Godsil , Brendan Rooney

We introduce in this paper a new summarization method for large graphs. Our summarization approach retains only a user-specified proportion of the neighbors of each node in the graph. Our main aim is to simplify large graphs so that they…

Data Structures and Algorithms · Computer Science 2021-01-28 Abd Errahmane Kiouche , Julien Baste , Mohammed Haddad , Hamida Seba

The presented material continues the previous article (arxiv:1007.1059) and also is devoted to the equivalent conversion between the graphs. The examining of the transformation of the vertex graphs into the edge graphs (together with the…

General Mathematics · Mathematics 2012-10-24 Leonid Malinin , Natalia Malinina

Explainable Graph Neural Network (GNN) has emerged recently to foster the trust of using GNNs. Existing GNN explainers are developed from various perspectives to enhance the explanation performance. We take the first step to study GNN…

Cryptography and Security · Computer Science 2024-06-06 Jiate Li , Meng Pang , Yun Dong , Jinyuan Jia , Binghui Wang

We present an informal survey (meant to accompany another paper) on graph compression methods. We focus on lossless methods, briefly list available pproaches, and compare them where possible or give some indicators on their compression…

Data Structures and Algorithms · Computer Science 2015-04-03 Sebastian Maneth , Fabian Peternek

Motivated by applications in graph drawing and information visualization, we examine the planar split thickness of a graph, that is, the smallest $k$ such that the graph is $k$-splittable into a planar graph. A $k$-split operation…

In this note, we present a simple directed graph proof of Sharkovsky's theorem.

Dynamical Systems · Mathematics 2007-05-23 Bau-Sen Du

We prove Farber's conjecture on the stable topological complexity of configuration spaces of graphs. The conjecture follows from a general lower bound derived from recent insights into the topological complexity of aspherical spaces. Our…

Algebraic Topology · Mathematics 2022-09-20 Ben Knudsen

The notion of graph cover, also known as locally bijective homomorphism, is a discretization of covering spaces known from general topology. It is a pair of incidence-preserving vertex- and edge-mappings between two graphs, the…

Combinatorics · Mathematics 2025-04-25 Jan Kratochvil , Roman Nedela

We propose a new conjecture on hardness of low-degree $2$-CSP's, and show that new hardness of approximation results for Densest $k$-Subgraph and several other problems, including a graph partitioning problem, and a variation of the Graph…

Data Structures and Algorithms · Computer Science 2022-11-14 Julia Chuzhoy , Mina Dalirrooyfard , Vadim Grinberg , Zihan Tan

The hypercube 2-segmentation problem is a certain biclustering problem that was previously claimed to be NP-hard, but for which there does not appear to be a publicly available proof of NP-hardness. This manuscript provides such a proof.

Computational Complexity · Computer Science 2014-11-05 Uriel Feige

For bipartite graphs the NP-completeness is proved for the problem of existence of maximum matching which removal leads to a graph with given lower(upper)bound for the cardinality of its maximum matching.

Discrete Mathematics · Computer Science 2008-03-08 R. R. Kamalian , V. V. Mkrtchyan

A criterion is established for the transitivity of connectedness in a transfinite graph. Its proof is much shorter than a prior argument published previously for that criterion.

Combinatorics · Mathematics 2007-05-23 A. H. Zemanian

We reconsider density matrices of graphs as defined in [quant-ph/0406165]. The density matrix of a graph is the combinatorial laplacian of the graph normalized to have unit trace. We describe a simple combinatorial condition (the "degree…

A function on a topological space is called unimodal if all of its super-level sets are contractible. A minimal unimodal decomposition of a function $f$ is the smallest number of unimodal functions that sum up to $f$. The problem of…

Algebraic Topology · Mathematics 2025-10-08 Mishal Assif P K , Yuliy Baryshnikov