English
Related papers

Related papers: Some lower bounds in parameterized ${\rm AC}^0$

200 papers

The k-Clique problem is a canonical hard problem in parameterized complexity. In this paper, we study the parameterized complexity of approximating the k-Clique problem where an integer k and a graph G on n vertices are given as input, and…

Computational Complexity · Computer Science 2025-01-28 Karthik C. S. , Subhash Khot

We investigate computational problems involving large weights through the lens of kernelization, which is a framework of polynomial-time preprocessing aimed at compressing the instance size. Our main focus is the weighted Clique problem,…

Data Structures and Algorithms · Computer Science 2021-07-07 Bart M. P. Jansen , Shivesh K. Roy , Michał Włodarczyk

In the study of deterministic distributed algorithms it is commonly assumed that each node has a unique $O(\log n)$-bit identifier. We prove that for a general class of graph problems, local algorithms (constant-time distributed algorithms)…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-12-24 Mika Göös , Juho Hirvonen , Jukka Suomela

A grounded 1-bend string graph is an intersection graph of a set of polygonal lines, each with one bend, such that the lines lie above a common horizontal line $\ell$ and have exactly one endpoint on $\ell$. We show that the problem of…

Computational Geometry · Computer Science 2021-07-13 J. Mark Keil , Debajyoti Mondal , Ehsan Moradi , Yakov Nekrich

MapReduce (and its open source implementation Hadoop) has become the de facto platform for processing large data sets. MapReduce offers a streamlined computational framework by interleaving sequential and parallel computation while hiding…

Computational Complexity · Computer Science 2019-04-22 Sungjin Im , Benjamin Moseley

An identifying code is a subset of vertices of a graph such that each vertex is uniquely determined by its neighbourhood within the identifying code. If $\M(G)$ denotes the minimum size of an identifying code of a graph $G$, it was…

Discrete Mathematics · Computer Science 2012-09-24 Florent Foucaud , Guillem Perarnau

We consider limit probabilities of first order properties in random graphs with a given degree sequence. Under mild conditions on the degree sequence, we show that the closure set of limit probabilities is a finite union of closed…

Combinatorics · Mathematics 2024-05-24 Alberto Larrauri , Guillem Perarnau

Frick and Grohe [J. ACM 48 (2006), 1184-1206] introduced a notion of graph classes with locally bounded tree-width and established that every first order logic property can be decided in almost linear time in such a graph class. Here, we…

Data Structures and Algorithms · Computer Science 2011-08-30 Tomas Gavenciak , Daniel Kral , Sang-il Oum

The local minimum degree of a graph is the minimum degree reached by means of a series of local complementations. In this paper, we investigate on this quantity which plays an important role in quantum computation and quantum error…

Computational Complexity · Computer Science 2016-10-11 Jérôme Javelle , Mehdi Mhalla , Simon Perdrix

We investigate the problem of identifying planted cliques in random geometric graphs, focusing on two distinct algorithmic approaches: the first based on vertex degrees (VD) and the other on common neighbors (CN). We analyze the performance…

Probability · Mathematics 2026-04-10 Konstantin Avrachenkov , Andrei Bobu , Nelly Litvak , Riccardo Michielan

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

Given a real matrix A with n columns, the problem is to approximate the Gram product AA^T by c << n weighted outer products of columns of A. Necessary and sufficient conditions for the exact computation of AA^T (in exact arithmetic) from c…

Numerical Analysis · Mathematics 2014-05-16 John T. Holodnak , Ilse C. F. Ipsen

The implicit graph conjecture states that every sufficiently small, hereditary graph class has a labeling scheme with a polynomial-time computable label decoder. We approach this conjecture by investigating classes of label decoders defined…

Computational Complexity · Computer Science 2018-02-02 Maurice Chandoo

This work initiates the study of memory-query tradeoffs for graph problems, with a focus on correlation clustering. Correlation clustering asks for a partition of the vertices that minimizes disagreements: non-edges inside clusters plus…

Computational Complexity · Computer Science 2026-05-25 Sumegha Garg , Songhua He , Periklis A. Papakonstantinou

We study uniformity conditions for parameterized Boolean circuit families. Uniformity conditions require that the infinitely many circuits in a circuit family are in some sense easy to construct from one shared description. For shallow…

Computational Complexity · Computer Science 2025-09-12 Steef Hegeman , Jan Martens , Alfons Laarman

This manuscript provides a comprehensive review of the Maximum Clique Problem, a computational problem that involves finding subsets of vertices in a graph that are all pairwise adjacent to each other. The manuscript covers in a simple way…

Artificial Intelligence · Computer Science 2024-03-18 Raffaele Marino , Lorenzo Buffoni , Bogdan Zavalnij

This article is devoted to propose some lower and upper bounds for the coupled-tasks scheduling problem in presence of compatibility constraints according to classical complexity hypothesis ($\mathcal{P} \neq \mathcal{NP}$,…

Computational Complexity · Computer Science 2017-06-08 Rodolphe Giroudeau , Jean-Claude König , Benoit Darties , Gilles Simonin

Let $K\_{[k,t]}$ be the complete graph on $k$ vertices from which a set of edges, induced by a clique of order $t$, has been dropped. In this note we give two explicit upper bounds for $R(K\_{[k\_1,t\_1]},\dots, K\_{[k\_r,t\_r]})$ (the…

Combinatorics · Mathematics 2014-12-15 Jonathan Chappelon , Luis Pedro Montejano , Jorge Luis Ramírez Alfonsín

Many promising quantum algorithms in economics, medical science, and material science rely on circuits that are parameterized by a large number of angles. To ensure that these algorithms are efficient, these parameterized circuits must be…

Quantum Physics · Physics 2025-07-09 Neil J. Ross , Scott Wesley

It is well-known that the graph isomorphism problem can be posed as an equivalent problem of determining whether an auxiliary graph structure contains a clique of specific order. However, the algorithms that have been developed so far for…

Data Structures and Algorithms · Computer Science 2019-10-29 Giannis Nikolentzos , Michalis Vazirgiannis
‹ Prev 1 8 9 10 Next ›