English
Related papers

Related papers: Computing Cliques is Intractable

200 papers

In the present paper we show a dichotomy theorem for the complexity of polynomial evaluation. We associate to each graph H a polynomial that encodes all graphs of a fixed size homomorphic to H. We show that this family is computable by…

Computational Complexity · Computer Science 2012-10-30 Nicolas de Rugy-Altherre

We investigate monotone circuits with local oracles [K., 2016], i.e., circuits containing additional inputs $y_i = y_i(\vec{x})$ that can perform unstructured computations on the input string $\vec{x}$. Let $\mu \in [0,1]$ be the locality…

Computational Complexity · Computer Science 2019-12-17 Jan Krajicek , Igor C. Oliveira

We consider the Erd\H{o}s, Pach, Pollack and Tuza problem, asking for the maximum diameter of a graph with given order $n$, minimum degree $\delta$ and clique number at most $\omega$. We solve their problem asymptotically for the first hard…

Combinatorics · Mathematics 2025-02-13 Stijn Cambie , Jorik Jooken

The clique number of a tournament is the maximum clique number of a graph formed by keeping backwards arcs in an ordering of its vertices. We study the time complexity of computing the clique number of a tournament and prove that, for any…

Combinatorics · Mathematics 2024-01-17 Guillaume Aubian

Clique-width is a graph invariant that has been widely studied in combinatorics and computer science. However, computing the clique-width of a graph is an intricate problem, the exact clique-width is not known even for very small graphs. We…

Data Structures and Algorithms · Computer Science 2013-09-30 Marijn J. H. Heule , Stefan Szeider

We study the power of negation in the Boolean and algebraic settings and show the following results. * We construct a family of polynomials $P_n$ in $n$ variables, all of whose monomials have positive coefficients, such that $P_n$ can be…

Computational Complexity · Computer Science 2025-12-23 Bruno Cavalar , Théo Borém Fabris , Partha Mukhopadhyay , Srikanth Srinivasan , Amir Yehudayoff

Motzkin and Straus established a close connection between the maximum clique problem and a solution (namely graph-Lagrangians) to the maximum value of a class of homogeneous quadratic multilinear functions over the standard simplex of the…

Combinatorics · Mathematics 2013-12-30 Qingsong Tang , Yuejian Peng , Xiangde Zhang , Cheng Zhao

We investigate the following question: if a polynomial can be evaluated at rational points by a polynomial-time boolean algorithm, does it have a polynomial-size arithmetic circuit? We argue that this question is certainly difficult.…

Computational Complexity · Computer Science 2007-10-02 Pascal Koiran , Sylvain Perifel

The ordinary generating function of the number of complete subgraphs (cliques) of $G$, denoted by $C(G,x)$, is called the The clique polynomial of the graph $G$. In this paper, we first introduce some \emph{clique} incidence matrices…

Combinatorics · Mathematics 2022-05-18 Hossein Teimoori Faal

Green showed that there exist constants $C_1,C_2>0$ such that the clique number $\omega$ of the random Cayley graph on $\mathbb{F}_2^n$ satisfies $\lim_{n\to\infty}\mathbb{P}(C_1n\log n < \omega < C_2n\log n)=1$. In this paper we find the…

Combinatorics · Mathematics 2015-10-21 Rudi Mrazović

Let $\mathcal{H}(k,n,p)$ be the distribution on $k$-uniform hypergraphs where every subset of $[n]$ of size $k$ is included as an hyperedge with probability $p$ independently. In this work, we design and analyze a simple spectral algorithm…

Data Structures and Algorithms · Computer Science 2022-05-16 Venkatesan Guruswami , Pravesh K. Kothari , Peter Manohar

We show how to compute any symmetric Boolean function on $n$ variables over any field (as well as the integers) with a probabilistic polynomial of degree $O(\sqrt{n \log(1/\epsilon)})$ and error at most $\epsilon$. The degree dependence on…

Data Structures and Algorithms · Computer Science 2016-11-18 Josh Alman , Ryan Williams

In 1962, P\'osa conjectured that a graph $G=(V, E)$ contains a square of a Hamiltonian cycle if $\delta(G)\ge 2n/3$. Only more than thirty years later Koml\'os, S\'ark\H{o}zy, and Szemer\'edi proved this conjecture using the so-called…

Combinatorics · Mathematics 2016-06-10 Andreas Noever , Angelika Steger

We consider families of symmetric linear programs (LPs) that decide a property of graphs (or other relational structures) in the sense that, for each size of graph, there is an LP defining a polyhedral lift that separates the integer points…

Logic in Computer Science · Computer Science 2019-01-24 Albert Atserias , Anuj Dawar , Joanna Ochremiak

A sunflower is a family of sets that have the same pairwise intersections. We simplify a recent result of Alweiss, Lovett, Wu and Zhang that gives an upper bound on the size of every family of sets of size $k$ that does not contain a…

Combinatorics · Mathematics 2020-02-27 Anup Rao

If a graph has no induced subgraph isomorphic to any graph in a finite family $\{H_1,\ldots,H_p\}$, it is said to be $(H_1,\ldots,H_p)$-free. The class of $H$-free graphs has bounded clique-width if and only if $H$ is an induced subgraph of…

Discrete Mathematics · Computer Science 2015-01-14 Konrad K. Dabrowski , Daniël Paulusma

In arXiv:1710.08163 a generalization of Boolean circuits to arbitrary finite algebras had been introduced and applied to sketch P versus NP-complete borderline for circuits satisfiability over algebras from congruence modular varieties.…

Computational Complexity · Computer Science 2020-06-01 Paweł M. Idziak , Piotr Kawałek , Jacek Krzaczkowski

We study a Faulty Congested Clique model, in which an adversary may fail nodes in the network throughout the computation. We show that any task of $O(n\log{n})$-bit input per node can be solved in roughly $n$ rounds, where $n$ is the size…

Data Structures and Algorithms · Computer Science 2025-09-10 Keren Censor-Hillel , Pedro Soto

For a simplicial complex $X$, the $d$-clique complex $\Delta_d(X)$ is the simplicial complex having all subsets of vertices whose $(d + 1)$-subsets are contained by $X$ as its faces. We prove that if $p = n^{\alpha}$, with $\alpha <…

Combinatorics · Mathematics 2018-06-07 Demet Taylan

A temporal graph is a graph whose edges are available only at certain points in time. It is temporally connected if the nodes can reach each other by paths that traverse the edges chronologically (temporal paths). In general, temporal…

Discrete Mathematics · Computer Science 2025-02-04 Daniele Carnevale , Arnaud Casteigts , Timothée Corsini