English
Related papers

Related papers: Computing Cliques is Intractable

200 papers

We consider the problem of finding a large clique in an Erd\H{o}s--R\'enyi random graph where we are allowed unbounded computational time but can only query a limited number of edges. Recall that the largest clique in $G \sim G(n,1/2)$ has…

Combinatorics · Mathematics 2024-07-12 Endre Csóka , András Pongrácz

The Birkhoff polytope $\Omega_n$ is the polytope of doubly stochastic matrices of order $n$. The Birkhoff polytope graph $G(\Omega_n)$ is the skeleton of $\Omega_n$; it is the Cayley graph whose vertex set consists of the elements of the…

Combinatorics · Mathematics 2026-01-13 Zejun Huang , Chi-Kwong Li , Eric Swartz , Nung-Sing Sze

We study the deterministic query complexity of Boolean functions on slices of the hypercube. The $k^{th}$ slice $\binom{[n]}{k}$ of the hypercube $\{0,1\}^n$ is the set of all $n$-bit strings with Hamming weight $k$. We show that there…

Computational Complexity · Computer Science 2022-11-30 Farzan Byramji

Using flag algebras, we prove that the minimum density of $8$-cliques in a large graph without an independent set of size $3$ is $491411/268435456+o(1)$, thus resolving a new case of an old problem of Erd\H{o}s [Magyar Tud. Akad. Mat.…

Combinatorics · Mathematics 2026-02-25 Levente Bodnár , Oleg Pikhurko

Recently Cutler and Radcliffe proved that the graph on $n$ vertices with maximum degree at most $r$ having the most cliques is a disjoint union of $\lfloor n/(r+1)\rfloor$ cliques of size $r+1$ together with a clique on the remainder of the…

Combinatorics · Mathematics 2021-02-19 Rachel Kirsch , A. J. Radcliffe

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

The causal graph of a planning instance is an important tool for planning both in practice and in theory. The theoretical studies of causal graphs have largely analysed the computational complexity of planning for instances where the causal…

Artificial Intelligence · Computer Science 2014-02-05 Christer Bäckström , Peter Jonsson

Clique and near-clique counts are important graph properties with applications in graph generation, graph modeling, graph analytics, community detection among others. They are the archetypal examples of dense subgraphs. While there are…

Social and Information Networks · Computer Science 2020-06-25 Shweta Jain , C. Seshadhri

In this paper, we prove that, given a clique-width $k$-expression of an $n$-vertex graph, \textsc{Hamiltonian Cycle} can be solved in time $n^{\mathcal{O}(k)}$. This improves the naive algorithm that runs in time $n^{\mathcal{O}(k^2)}$ by…

Data Structures and Algorithms · Computer Science 2019-06-11 Benjamin Bergougnoux , Mamadou Moustapha Kanté , O-joung Kwon

The smallest number of cliques, covering all edges of a graph $ G $, is called the (edge) clique cover number of $ G $ and is denoted by $ cc(G) $. It is an easy observation that for every line graph $ G $ with $ n $ vertices, $cc(G)\leq n…

Combinatorics · Mathematics 2023-09-06 Ramin Javadi , Sepehr Hajebi

A graph is $H$-free if it has no induced subgraph isomorphic to $H$. Brandst\"adt, Engelfriet, Le and Lozin proved that the class of chordal graphs with independence number at most 3 has unbounded clique-width. Brandst\"adt, Le and Mosca…

Discrete Mathematics · Computer Science 2015-09-29 Andreas Brandstädt , Konrad K. Dabrowski , Shenwei Huang , Daniël Paulusma

We give a new unified proof that any simple graph on $n$ vertices with maximum degree at most $\Delta$ has no more than $a\binom{\Delta+1}{t}+\binom{b}{t}$ cliques of size $t \ (t \ge 3)$, where $n = a(\Delta+1)+b \ (0 \le b \le \Delta)$.

Combinatorics · Mathematics 2022-11-21 Ting-Wei Chao , Zichao Dong

While the reliable use of some NP-complete problem in tandem with the assumption that P is not equal to NP has eluded cryptographers due to lack of results showing average-case hardness, one alternative which has been explored is reliance…

Cryptography and Security · Computer Science 2017-07-05 Aubrey Alston , Yanrong Wo

We examine the topology of the clique complexes of the graphs of weakly and strongly separated subsets of the set $[n]=\{1,2,...,n\}$, which, after deleting all cone points, we denote by $\hat{\Delta}_{ws}(n)$ and $\hat{\Delta}_{ss}(n)$,…

Combinatorics · Mathematics 2011-10-06 Daniel Hess , Benjamin Hirsch

For each n greater than 7 we explicitly construct a sequence of Stein manifolds diffeomorphic to complex affine space of dimension n so that there is no algorithm to tell us in general whether a given such Stein manifold is symplectomorphic…

Symplectic Geometry · Mathematics 2011-09-22 Mark McLean

Proving complexity lower bounds remains a challenging task: we only know how to prove conditional uniform lower bounds and nonuniform lower bounds in restricted circuit models. Williams (STOC 2010) showed how to derive nonuniform lower…

Computational Complexity · Computer Science 2026-03-10 Nikolai Chukhin , Alexander S. Kulikov , Ivan Mihajlin , Arina Smirnova

We combine here Tao's slice-rank bounding method and Gr\"obner basis techniques and apply here to the Erd\H{o}s-Rado Sunflower Conjecture. Let $\frac{3k}{2}\leq n\leq 3k$ be integers. We prove that if $\mbox{$\cal F$}$ be a $k$-uniform…

Combinatorics · Mathematics 2017-03-17 Gábor Hegedüs

Is detecting a $k$-clique in $k$-partite regular (hyper-)graphs as hard as in the general case? Intuition suggests yes, but proving this -- especially for hypergraphs -- poses notable challenges. Concretely, we consider a strong notion of…

Computational Complexity · Computer Science 2026-05-12 Nick Fischer , Marvin Künnemann , Mirza Redžić , Julian Stieß

Ramsey's theorem, in the version of Erd\H{o}s and Szekeres, states that every 2-coloring of the edges of the complete graph on {1, 2,...,n} contains a monochromatic clique of order 1/2\log n. In this paper, we consider two well-studied…

Combinatorics · Mathematics 2019-12-19 David Conlon , Jacob Fox , Benny Sudakov

A collection of $k$ sets is said to form a $k$-sunflower, or $\Delta$-system, if the intersection of any two sets from the collection is the same, and we call a family of sets $\mathcal{F}$ sunflower-free if it contains no sunflowers.…

Combinatorics · Mathematics 2023-03-13 Eric Naslund , William F. Sawin