English
Related papers

Related papers: Optimal Monotone Depth-Three Circuit Lower Bounds …

200 papers

We provide improved upper and lower bounds for the Min-Sum-Radii (MSR) and Min-Sum-Diameters (MSD) clustering problems with a bounded number of clusters $k$. In particular, we propose an exact MSD algorithm with running-time $n^{O(k)}$. We…

Data Structures and Algorithms · Computer Science 2025-02-05 Sandip Banerjee , Yair Bartal , Lee-Ad Gottlieb , Alon Hovav

The problem of non-monotone $k$-submodular maximization under a knapsack constraint ($\kSMK$) over the ground set size $n$ has been raised in many applications in machine learning, such as data summarization, information propagation, etc.…

Data Structures and Algorithms · Computer Science 2023-09-22 Dung T. K. Ha , Canh V. Pham , Tan D. Tran , Huan X. Hoang

Following recent advances in combining approximation algorithms with fixed-parameter tractability (FPT), we study FPT-time approximation algorithms for minimum-norm $k$-clustering problems, parameterized by the number $k$ of open…

Data Structures and Algorithms · Computer Science 2026-05-07 Han Dai , Shi Li , Sijin Peng

We reduce non-deterministic time $T \ge 2^n$ to a 3SAT instance $\phi$ of quasilinear size $|\phi| = T \cdot \log^{O(1)} T$ such that there is an explicit circuit $C$ that on input an index $i$ of $\log |\phi|$ bits outputs the $i$th…

Computational Complexity · Computer Science 2014-04-09 Hamid Jahanjou , Eric Miles , Emanuele Viola

We revisit the classic Maximum $k$-Coverage problem: Determine the largest number $t$ of elements that can be covered by choosing $k$ sets from a given family $\mathcal{F} = \{S_1,\dots, S_n\}$ of a size-$u$ universe. A notable special case…

Data Structures and Algorithms · Computer Science 2026-01-26 Nick Fischer , Marvin Künnemann , Mirza Redzic

In this paper we examine the problem of computing majority function $\mathrm{MAJ}_n$ on $n$ bits by depth-two formula, where each gate is a majority function on at most $k$ inputs. We present such formula that gives the first nontrivial…

Computational Complexity · Computer Science 2017-11-29 Gleb Posobin

The study of Dense-$3$-Subhypergraph problem was initiated in Chlamt{\'{a}}c et al. [Approx'16]. The input is a universe $U$ and collection ${\cal S}$ of subsets of $U$, each of size $3$, and a number $k$. The goal is to choose a set $W$ of…

Data Structures and Algorithms · Computer Science 2018-01-25 Amey Bhangale , Rajiv Gandhi , Guy Kortsarz

We consider maximizing an unknown monotonic, submodular set function $f: 2^{[n]} \rightarrow [0,1]$ with cardinality constraint under stochastic bandit feedback. At each time $t=1,\dots,T$ the learner chooses a set $S_t \subset [n]$ with…

Machine Learning · Computer Science 2024-12-13 Artin Tajdini , Lalit Jain , Kevin Jamieson

In a recent work, Esmer et al. describe a simple method - Approximate Monotone Local Search - to obtain exponential approximation algorithms from existing parameterized exact algorithms, polynomial-time approximation algorithms and, more…

Data Structures and Algorithms · Computer Science 2023-08-30 Baris Can Esmer , Ariel Kulik , Daniel Marx , Daniel Neuen , Roohani Sharma

A local search algorithm solving an NP-complete optimisation problem can be viewed as a stochastic process moving in an 'energy landscape' towards eventually finding an optimal solution. For the random 3-satisfiability problem, the…

Statistical Mechanics · Physics 2009-11-11 Sakari Seitz , Mikko Alava , Pekka Orponen

It is shown that the minimal depth of an optimal prefix circuit (i.e., a zero-deficiency circuit) on $N$ inputs with fanout bounded by $k$ is ${\log_{\alpha_k} N \pm O(1)}$, where $\alpha_k$ is the unique positive root of the polynomial…

Data Structures and Algorithms · Computer Science 2025-12-30 Igor S. Sergeev

We consider a basic question on the expressiveness of $k$-CNF formulas: How well can $k$-CNF formulas capture threshold functions? Specifically, what is the largest number of assignments (of Hamming weight $t$) accepted by a $k$-CNF formula…

Computational Complexity · Computer Science 2024-12-31 Mohit Gurumukhani , Marvin Künnemann , Ramamohan Paturi

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

Submodularity is one of the most important properties in combinatorial optimization, and $k$-submodularity is a generalization of submodularity. Maximization of a $k$-submodular function requires an exponential number of value oracle…

Data Structures and Algorithms · Computer Science 2019-07-31 Hiroki Oshima

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

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 show that over the field of complex numbers, \emph{every} homogeneous polynomial of degree $d$ can be approximated (in the border complexity sense) by a depth-$3$ arithmetic circuit of top fan-in at most $d+1$. This is quite surprising…

Computational Complexity · Computer Science 2018-04-11 Mrinal Kumar

Clustering with capacity constraints is a fundamental problem that attracted significant attention throughout the years. In this paper, we give the first FPT constant-factor approximation algorithm for the problem of clustering points in a…

Data Structures and Algorithms · Computer Science 2024-02-21 Sayan Bandyapadhyay , William Lochet , Saket Saurabh

The problem of enumerating all connected induced subgraphs of a given order $k$ from a given graph arises in many practical applications: bioinformatics, information retrieval, processor design,to name a few. The upper bound on the number…

Data Structures and Algorithms · Computer Science 2023-03-16 Shanshan Wang , Chenglong Xiao , Emmanuel Casseau

In their seminal paper from 2004, Kuhn, Moscibroda, and Wattenhofer (KMW) proved a hardness result for several fundamental graph problems in the LOCAL model: For any (randomized) algorithm, there are input graphs with $n$ nodes and maximum…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-10 Corinna Coupette , Christoph Lenzen