English
Related papers

Related papers: A SAT Approach to Clique-Width

200 papers

If a graph has no induced subgraph isomorphic to $H_1$ or $H_2$ then it is said to be ($H_1,H_2$)-free. Dabrowski and Paulusma found 13 open cases for the question whether the clique-width of ($H_1,H_2$)-free graphs is bounded. One of them…

Discrete Mathematics · Computer Science 2016-08-16 Andreas Brandstadt , Suhail Mahfud , Raffaele Mosca

There are many methods to find a maximum (or maximal) clique in large networks. Due to the nature of combinatorics, computation becomes exponentially expensive as the number of vertices in a graph increases. Thus, there is a need for…

Social and Information Networks · Computer Science 2022-07-27 S. Y. Chan , K. Morgan , J. Ugon

A graph is inductive $k$-independent if there exists and ordering of its vertices $v_{1},...,v_{n}$ such that $\alpha(G[N(v_{i})\cap V_{i}])\leq k $ where $N(v_{i})$ is the neighborhood of $v_{i}$, $V_{i}=\{v_{i},...,v_{n}\}$ and $\alpha$…

Discrete Mathematics · Computer Science 2017-09-21 George Manoussakis

A map graph is a graph admitting a representation in which vertices are nations on a spherical map and edges are shared curve segments or points between nations. We present an explicit fixed-parameter tractable algorithm for recognizing map…

Data Structures and Algorithms · Computer Science 2022-07-01 Patrizio Angelini , Michael A. Bekos , Giordano Da Lozzo , Martin Gronemann , Fabrizio Montecchiani , Alessandra Tappini

We show the application of permutation-invariant quantum circuits to the clique problem. The experiment asks to label a clique through identification of the nodes in a larger subgraph. The permutation-invariant quantum circuit outperforms a…

There is a long line of research in the literature dedicated to word-representable graphs, which generalize several important classes of graphs. However, not much is known about word-representability of split graphs, another important class…

Combinatorics · Mathematics 2019-09-23 Herman Z. Q. Chen , Sergey Kitaev , Akira Saito

We consider the problem of finding and enumerating polyominos that can be folded into multiple non-isomorphic boxes. While several computational approaches have been proposed, including SAT, randomized algorithms, and decision diagrams,…

Computational Geometry · Computer Science 2025-06-03 Long Qian , Eric Wang , Bernardo Subercaseaux , Marijn J. H. Heule

We tackle the problem of counting the number of $k$-cliques in large-scale graphs, for any constant $k \ge 3$. Clique counting is essential in a variety of applications, among which social network analysis. Due to its computationally…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-04-13 Irene Finocchi , Marco Finocchi , Emanuele G. Fusco

For a tree decomposition $\mathcal{T}$ of a graph $G$, let $\mu(\mathcal{T})$ denote the maximum size of an induced matching in $G$ with the property that some bag of $\mathcal{T}$ contains at least one endpoint of every edge of the…

We study a planted clique model introduced by Feige where a complete graph of size $c\cdot n$ is planted uniformly at random in an arbitrary $n$-vertex graph. We give a simple deterministic algorithm that, in almost linear time, recovers a…

Computational Complexity · Computer Science 2025-05-13 Francesco Agrimonti , Marco Bressan , Tommaso d'Orsi

The clique graph $kG$ of a graph $G$ has as its vertices the cliques (maximal complete subgraphs) of $G$, two of which are adjacent in $kG$ if they have non-empty intersection in $G$. We say that $G$ is clique convergent if $k^nG\cong k^m…

Combinatorics · Mathematics 2025-01-03 Anna M. Limbach , Martin Winter

We prove that if $\mathcal{C}$ is a hereditary class of graphs that is polynomially $\chi$-bounded, then the class of graphs that admit decompositions into pieces belonging to $\mathcal{C}$ along cuts of bounded rank is also polynomially…

Discrete Mathematics · Computer Science 2020-07-08 Marthe Bonamy , Michał Pilipczuk

The Clique Interdiction Problem (CIP) aims to minimize the size of the largest clique in a given graph by removing a given number of vertices. The CIP models a special Stackelberg game and has important applications in fields such as…

Data Structures and Algorithms · Computer Science 2025-05-21 Chenghao Zhu , Yi Zhou , Haoyu Jiang

Consider an Erd\"os-Renyi random graph in which each edge is present independently with probability 1/2, except for a subset $\sC_N$ of the vertices that form a clique (a completely connected subgraph). We consider the problem of…

Probability · Mathematics 2013-04-29 Yash Deshpande , Andrea Montanari

This paper is about: (1) bounds on the number of cliques in a graph in a particular class, and (2) algorithms for listing all cliques in a graph. We present a simple algorithm that lists all cliques in an $n$-vertex graph in O(n) time per…

Combinatorics · Mathematics 2012-02-09 Ken-ichi Kawarabayashi , David R. Wood

Perfect Matching-Cut is the problem of deciding whether a graph has a perfect matching that contains an edge-cut. We show that this problem is NP-complete for planar graphs with maximum degree four, for planar graphs with girth five, for…

Combinatorics · Mathematics 2021-11-01 Valentin Bouquet , Christophe Picouleau

This paper investigates the complexity of finding secluded paths in graphs. We focus on the \textsc{Short Secluded Path} problem and a natural new variant we introduce, \textsc{Shortest Secluded Path}. Formally, given an undirected graph…

Data Structures and Algorithms · Computer Science 2026-04-07 Tesshu Hanaka , Daisuke Tsuru

Graph construction is a crucial step in spectral clustering (SC) and graph-based semi-supervised learning (SSL). Spectral methods applied on standard graphs such as full-RBF, $\epsilon$-graphs and $k$-NN graphs can lead to poor performance…

Machine Learning · Statistics 2012-05-09 Jing Qian , Venkatesh Saligrama , Manqi Zhao

We define a special case of tree decompositions for planar graphs that respect a given embedding of the graph. We study the analogous width of the resulting decomposition we call the embedded-width of a plane graph. We show both upper…

Discrete Mathematics · Computer Science 2017-03-23 Glencora Borradaile , Jeff Erickson , Hung Le , Robbie Weber

Since its first use by Euler on the problem of the seven bridges of K\"onigsberg, graph theory has shown excellent abilities in solving and unveiling the properties of multiple discrete optimization problems. The study of the structure of…

Information Theory · Computer Science 2020-02-26 Ahmed Douik , Hayssam Dahrouj , Tareq Y. Al-Naffouri , Mohamed-Slim Alouini