English
Related papers

Related papers: Sparsity-certifying Graph Decompositions

200 papers

Given positive integers $k$ and $\ell$ we write $G \rightarrow (K_k,K_\ell)$ if every 2-colouring of the edges of $G$ yields a red copy of $K_k$ or a blue copy of $K_\ell$ and we denote by $R(k)$ the minimum $n$ such that $K_n\rightarrow…

Combinatorics · Mathematics 2025-11-06 Walner Mendonça , Meysam Miralaei , Guilherme O. Mota

In this paper we study the computational complexity of the game of Scrabble. We prove the PSPACE-completeness of a derandomized model of the game, answering an open question of Erik Demaine and Robert Hearn.

Computational Complexity · Computer Science 2012-01-26 Michael Lampis , Valia Mitsou , Karolina Sołtys

Deciding whether a graph can be edge-decomposed into a matching and a $k$-bounded linear forest was recently shown by Campbell, H{\"o}rsch and Moore to be NP-complete for every $k \ge 9$, and solvable in polynomial time for $k=1,2$. In the…

Computational Complexity · Computer Science 2023-04-10 Agnijo Banerjee , João Pedro Marciano , Adva Mond , Jan Petr , Julien Portier

We construct a fixed parameter algorithm parameterized by d and k that takes as an input a graph G' obtained from a d-degenerate graph G by complementing on at most k arbitrary subsets of the vertex set of G and outputs a graph H such that…

Discrete Mathematics · Computer Science 2018-06-28 Jakub Gajarsky , Daniel Kral

For a positive integer $k$ and graph $G=(V,E)$, a $k$-colouring of $G$ is a mapping $c: V\rightarrow\{1,2,\ldots,k\}$ such that $c(u)\neq c(v)$ whenever $uv\in E$. The $k$-Colouring problem is to decide, for a given $G$, whether a…

Computational Complexity · Computer Science 2014-07-08 Shenwei Huang , Matthew Johnson , Daniël Paulusma

We consider the problem of identifying a maximum clique in a given graph. We have proposed a mathematical model for this problem. The model resembles the matrix decomposition of the adjacency matrix of a given graph. The objective function…

Optimization and Control · Mathematics 2023-07-19 Salma Omer , Montaz Ali

A flip of a graph is obtained by complementing the edge relation within a set of vertices. Flips are typically used to separate vertices in a graph, by increasing the distances between them. We show that in $K_{t,t}$-free graphs, every…

In the \textsc{Coloring Reconfiguration} problem, we are given two proper $k$-colorings of a graph and asked to decide whether one can be transformed into the other by repeatedly applying a specified recoloring rule, while maintaining a…

Data Structures and Algorithms · Computer Science 2025-11-11 Janosch Fuchs , Rin Saito , Tatsuhiro Suga , Takahiro Suzuki , Yuma Tamura

We consider a variant of the densest subgraph problem in networks with single or multiple edge attributes. For example, in a social network, the edge attributes may describe the type of relationship between users, such as friends, family,…

Social and Information Networks · Computer Science 2024-02-15 Lutz Oettershagen , Honglian Wang , Aristides Gionis

We study the following question: Given are two $k$-colorings $\alpha$ and $\beta$ of a graph $G$ on $n$ vertices, and integer $\ell$. The question is whether $\alpha$ can be modified into $\beta$, by recoloring vertices one at a time, while…

Computational Complexity · Computer Science 2014-04-17 Paul Bonsma , Amer E. Mouawad

Spectral graph sparsification aims to find ultra-sparse subgraphs which can preserve spectral properties of original graphs. In this paper, a new spectral criticality metric based on trace reduction is first introduced for identifying…

Data Structures and Algorithms · Computer Science 2022-06-14 Zhiqiang Liu , Wenjian Yu

In this paper, motivated by network inference and tomography applications, we study the problem of compressive sensing for sparse signal vectors over graphs. In particular, we are interested in recovering sparse vectors representing the…

Information Theory · Computer Science 2010-08-06 Weiyu Xu , Enrique Mallada , Ao Tang

A colouring of a graph $G=(V,E)$ is a mapping $c\colon V\to \{1,2,\ldots\}$ such that $c(u)\neq c(v)$ for every two adjacent vertices $u$ and $v$ of $G$. The {\sc List $k$-Colouring} problem is to decide whether a graph $G=(V,E)$ with a…

Data Structures and Algorithms · Computer Science 2021-08-27 Nick Brettell , Jake Horsfield , Andrea Munaro , Daniel Paulusma

Many real-world datasets can be naturally represented as graphs, spanning a wide range of domains. However, the increasing complexity and size of graph datasets present significant challenges for analysis and computation. In response, graph…

Social and Information Networks · Computer Science 2024-07-02 Mohammad Hashemi , Shengbo Gong , Juntong Ni , Wenqi Fan , B. Aditya Prakash , Wei Jin

In this work, we investigate the relationship between $k$-repre\-sentable graphs and graphs representable by $k$-local words. In particular, we show that every graph representable by a $k$-local word is $(k+1)$-representable. A previous…

Combinatorics · Mathematics 2025-06-25 Philipp Böll , Pamela Fleischmann , Annika Huch , Jana Kreiß , Tim Löck , Kajus Park , Max Wiedenhöft

Bidimensionality is the most common technique to design subexponential-time parameterized algorithms on special classes of graphs, particularly planar graphs. The core engine behind it is a combinatorial lemma of Robertson, Seymour and…

Data Structures and Algorithms · Computer Science 2019-03-05 Fedor V. Fomin , Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Meirav Zehavi

We denote by $\chi$ g (G) the game chromatic number of a graph G, which is the smallest number of colors Alice needs to win the coloring game on G. We know from Montassier et al. [M. Montassier, P. Ossona de Mendez, A. Raspaud and X. Zhu,…

Discrete Mathematics · Computer Science 2015-07-14 Clément Charpentier

An equitable tree-$k$-coloring of a graph is a vertex $k$-coloring such that each color class induces a forest and the size of any two color classes differ by at most one. In this work, we show that every interval graph $G$ has an equitable…

Combinatorics · Mathematics 2020-03-10 Bei Niu , Bi Li , Xin Zhang

We present fast algorithms for constructing probabilistic embeddings and approximate distance oracles in sparse graphs. The main ingredient is a fast algorithm for sampling the probabilistic partitions of Calinescu, Karloff, and Rabani in…

Data Structures and Algorithms · Computer Science 2009-09-09 Manor Mendel , Chaya Schwob

The pebbling comonad, introduced by Abramsky, Dawar and Wang, provides a categorical interpretation for the k-pebble games from finite model theory. The coKleisli category of the pebbling comonad specifies equivalences under different…

Logic in Computer Science · Computer Science 2024-08-07 Yoàv Montacute , Nihil Shah