English
Related papers

Related papers: On the Average-case Complexity of Parameterized Cl…

200 papers

Given a weighted graph $G(V,E)$ with weight $\mathbf w: E\rightarrow Z^{|E|}_{+}$. A $k-$cycle covering is an edge subset $A$ of $E$ such that $G-A$ has no $k-$cycle. The minimum weight of $k-$cycle covering is the weighted covering number…

Discrete Mathematics · Computer Science 2018-07-19 Zhongzheng Tang , Zhuo Diao

A k-clique covering of a simple graph G, is an edge covering of G by its cliques such that each vertex is contained in at most k cliques. The smallest k for which G admits a k-clique covering is called local clique cover number of G and is…

Combinatorics · Mathematics 2012-10-26 Ramin Javadi , Zeinab Maleki , Behnaz Omoomi

A $k$-clique is a dense graph, consisting of $k$ fully-connected nodes, that finds numerous applications, such as community detection and network analysis. In this paper, we study a new problem, that finds a maximum set of disjoint…

Social and Information Networks · Computer Science 2025-04-15 Wenqing Lin , Xin Chen , Haoxuan Xie , Sibo Wang , Siqiang Luo

The field of kernelization studies polynomial-time preprocessing routines for hard problems in the framework of parameterized complexity. Although a framework for proving kernelization lower bounds has been discovered in 2008 and…

Data Structures and Algorithms · Computer Science 2011-11-03 Marek Cygan , Stefan Kratsch , Marcin Pilipczuk , Michał Pilipczuk , Magnus Wahlström

We study the average-case hardness of establishing that a graph does not have a large clique in both proof and communication complexity. We show exponential lower bounds on the length of cutting planes and bounded-depth resolution over…

Computational Complexity · Computer Science 2026-05-12 Susanna F. de Rezende , David Engström , Yassine Ghannane , Duri Andrea Janett , Artur Riazanov

We show how to convert any unsatisfiable 3-CNF formula which is sparse and exponentially hard to refute in Resolution into a negative instance of the $k$-clique problem whose corresponding natural encoding as a CNF formula is…

Computational Complexity · Computer Science 2026-01-27 Albert Atserias

The cyclability of a graph is the maximum integer $k$ for which every $k$ vertices lie on a cycle. The algorithmic version of the problem, given a graph $G$ and a non-negative integer $k,$ decide whether the cyclability of $G$ is at least…

Combinatorics · Mathematics 2016-01-26 Petr A. Golovach , Marcin Kamiński , Spyridon Maniatis , Dimitrios M. Thilikos

In this paper, we study the Planted Clique problem in a semi-random model. Our model is inspired from the Feige-Kilian model [16] which has been studied in many other works [8,11,17,26,35,38] for a variety of graph problems. Our algorithm…

Data Structures and Algorithms · Computer Science 2025-12-09 Yash Khanna

Bhawalkar, Kleinberg, Lewi, Roughgarden, and Sharma [ICALP 2012] introduced the Anchored k-Core problem, where the task is for a given graph G and integers b, k, and p to find an induced subgraph H with at least p vertices (the core) such…

Data Structures and Algorithms · Computer Science 2013-09-18 Rajesh Chitnis , Fedor V. Fomin , Petr A. Golovach

In this paper, we prove that assuming the exponential time hypothesis (ETH), there is no $f(k)\cdot n^{k^{o(1/\log\log k)}}$-time algorithm that can decide whether an $n$-vertex graph contains a clique of size $k$ or contains no clique of…

Computational Complexity · Computer Science 2023-09-27 Bingkai Lin , Xuandi Ren , Yican Sun , Xiuhan Wang

We present a new parallel algorithm for $k$-clique counting/listing that has polylogarithmic span (parallel time) and is work-efficient (matches the work of the best sequential algorithm) for sparse graphs. Our algorithm is based on…

Data Structures and Algorithms · Computer Science 2021-07-19 Jessica Shi , Laxman Dhulipala , Julian Shun

An edge clique cover of a graph is a set of cliques that covers all edges of the graph. We generalize this concept to "$K_t$ clique cover", i.e. a set of cliques that covers all complete subgraphs on $t$ vertices of the graph, for every $t…

Combinatorics · Mathematics 2019-10-17 Hoang Dau , Olgica Milenkovic , Gregory J. Puleo

Finding a Maximum Clique is a classic property test from graph theory; find any one of the largest complete subgraphs in an Erd\"os-R\'enyi G(N, p) random graph. We use Maximum Clique to explore the structure of the problem as a function of…

Disordered Systems and Neural Networks · Physics 2023-05-26 Raffaele Marino , Scott Kirkpatrick

In this work, we show the first worst-case to average-case reduction for the classical $k$-SUM problem. A $k$-SUM instance is a collection of $m$ integers, and the goal of the $k$-SUM problem is to find a subset of $k$ elements that sums to…

Computational Complexity · Computer Science 2020-11-12 Zvika Brakerski , Noah Stephens-Davidowitz , Vinod Vaikuntanathan

A graph is $k$-clique-extendible if there is an ordering of the vertices such that whenever two $k$-sized overlapping cliques $A$ and $B$ have $k-1$ common vertices, and these common vertices appear between the two vertices $a,b\in…

Data Structures and Algorithms · Computer Science 2020-07-14 Mathew Francis , Rian Neogi , Venkatesh Raman

In this work we contribute to the study of the fine-grained complexity of problems parameterized by multi-clique-width, which was initiated by F\"urer [ITCS 2017] and pursued further by Chekan and Kratsch [MFCS 2023]. Multi-clique-width is…

Data Structures and Algorithms · Computer Science 2026-04-29 Benjamin Bergougnoux , Vera Chekan , Stefan Kratsch

This paper develops several average-case reduction techniques to show new hardness results for three central high-dimensional statistics problems, implying a statistical-computational gap induced by robustness, a detection-recovery gap and…

Computational Complexity · Computer Science 2020-05-20 Matthew Brennan , Guy Bresler

We prove that finding a $k$-edge induced subgraph is fixed-parameter tractable, thereby answering an open problem of Leizhen Cai. Our algorithm is based on several combinatorial observations, Gauss' famous \emph{Eureka} theorem [Andrews,…

Data Structures and Algorithms · Computer Science 2012-05-02 Bingkai Lin , Yijia Chen

Tree-width has been proven to be a useful parameter to design fast and efficient algorithms for intractable problems. However, while tree-width is low on relatively sparse graphs can be arbitrary high on dense graphs. Therefore, we…

Data Structures and Algorithms · Computer Science 2021-11-04 Chris Aronis

We study the time complexity of induced subgraph isomorphism problems where the pattern graph is fixed. The earliest known example of an improvement over trivial algorithms is by Itai and Rodeh (1978) who sped up triangle detection in…

Computational Complexity · Computer Science 2018-09-25 Markus Bläser , Balagopal Komarath , Karteek Sreenivasaiah