English
Related papers

Related papers: Tight lower bound for the channel assignment probl…

200 papers

In pliable index coding, we consider a server with $m$ messages and $n$ clients where each client has as side information a subset of the messages. We seek to minimize the number of broadcast transmissions, so that each client can recover…

Information Theory · Computer Science 2017-08-11 Linqi Song , Christina Fragouli

Allen's interval algebra is one of the most well-known calculi in qualitative temporal reasoning with numerous applications in artificial intelligence. Recently, there has been a surge of improvements in the fine-grained complexity of…

Computational Complexity · Computer Science 2023-05-26 Leif Eriksson , Victor Lagerkvist

We show that any quantum algorithm deciding whether an input function $f$ from $[n]$ to $[n]$ is 2-to-1 or almost 2-to-1 requires $\Theta(n)$ queries to $f$. The same lower bound holds for determining whether or not a function $f$ from…

Computational Complexity · Computer Science 2012-02-01 Paul Beame , Widad Machmouchi

We study the wake-up problem in distributed networks, where an adversary awakens a subset of nodes at arbitrary times, and the goal is to wake up all other nodes as quickly as possible by sending only few messages. We prove the following…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-16 Peter Robinson , Ming Ming Tan

There are distributed graph algorithms for finding maximal matchings and maximal independent sets in $O(\Delta + \log^* n)$ communication rounds; here $n$ is the number of nodes and $\Delta$ is the maximum degree. The lower bound by Linial…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-13 Alkida Balliu , Sebastian Brandt , Juho Hirvonen , Dennis Olivetti , Mikaël Rabie , Jukka Suomela

We propose an algorithm with expected complexity of $\bigO(n\log n)$ arithmetic operations to solve a special shortest vector problem arising in computer-and-forward design, where $n$ is the dimension of the channel vector. This algorithm…

Information Theory · Computer Science 2016-02-02 Jinming Wen , Xiao-Wen Chang

Parity-SAT is the problem of determining whether a given CNF formula has an odd number of satisfying assignments. As a canonical $\oplus$P-complete problem, it represents a fundamental variant of the exact model counting problem (#SAT).…

Data Structures and Algorithms · Computer Science 2026-05-18 Sanjay Jain , Junqiang Peng , Frank Stephan , Haoyun Tang , Mingyu Xiao

We introduce the weighted CFG constraint and propose a propagation algorithm that enforces domain consistency in $O(n^3|G|)$ time. We show that this algorithm can be decomposed into a set of primitive arithmetic constraints without…

Artificial Intelligence · Computer Science 2009-09-25 George Katsirelos , Nina Narodytska , Toby Walsh

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

Cardinality-constrained diameter partitioning asks for a partition of $n$ items into two classes of prescribed sizes that minimizes the larger of the two class diameters. We give an $O(n^2)$ algorithm and a matching $\Omega(n^2)$ lower…

Data Structures and Algorithms · Computer Science 2026-05-06 Chao Xu , Mingdong Yang

In this paper, we introduce an exact algorithm with a time complexity of $O^*(1.325^m)$ for the {\sc weighted mutually exclusive maximum set cover} problem, where $m$ is the number of subsets in the problem. This is an NP-hard motivated and…

Data Structures and Algorithms · Computer Science 2014-01-27 Songjian Lu , Xinghua Lu

We show that for every positive $\epsilon > 0$, unless NP $\subset$ BPQP, it is impossible to approximate the maximum quadratic assignment problem within a factor better than $2^{\log^{1-\epsilon} n}$ by a reduction from the maximum label…

Computational Complexity · Computer Science 2014-04-01 Konstantin Makarychev , Rajsekar Manokaran , Maxim Sviridenko

In the {\em distributed all-pairs shortest paths} problem (APSP), every node in the weighted undirected distributed network (the CONGEST model) needs to know the distance from every other node using least number of communication rounds…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-04-23 Aaron Bernstein , Danupon Nanongkai

Benchmark instances for the unbounded knapsack problem are typically generated according to specific criteria within a given constant range $R$, and these instances can be referred to as the unbounded knapsack problem with bounded…

Data Structures and Algorithms · Computer Science 2024-03-19 Yang Yang

In 2022, Chen et al. proposed an algorithm in \cite{main} that solves the min cost flow problem in $m^{1 + o(1)} \log U \log C$ time, where $m$ is the number of edges in the graph, $U$ is an upper bound on capacities and $C$ is an upper…

Data Structures and Algorithms · Computer Science 2024-07-16 Nithin Kavi

Gimbert and Horn gave an algorithm for solving simple stochastic games with running time O(r! n) where n is the number of positions of the simple stochastic game and r is the number of its coin toss positions. Chatterjee et al. pointed out…

Computer Science and Game Theory · Computer Science 2012-03-21 Rasmus Ibsen-Jensen , Peter Bro Miltersen

The weighted low-rank approximation problem is a fundamental numerical linear algebra problem and has many applications in machine learning. Given a $n \times n$ weight matrix $W$ and a $n \times n$ matrix $A$, the goal is to find two…

Computational Complexity · Computer Science 2025-02-25 Chenyang Li , Yingyu Liang , Zhenmei Shi , Zhao Song

We obtain upper and lower bounds for running times of exponential time algorithms for the detection of weak backdoor sets of 3CNF formulas, considering various base classes. These results include (omitting polynomial factors), (i) a 4.54^k…

Data Structures and Algorithms · Computer Science 2013-07-16 Neeldhara Misra , Sebastian Ordyniak , Venkatesh Raman , Stefan Szeider

We show that any randomised Monte Carlo distributed algorithm for the Lov\'asz local lemma requires $\Omega(\log \log n)$ communication rounds, assuming that it finds a correct assignment with high probability. Our result holds even in the…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-11-04 Sebastian Brandt , Orr Fischer , Juho Hirvonen , Barbara Keller , Tuomo Lempiäinen , Joel Rybicki , Jukka Suomela , Jara Uitto

The ARRIVAL problem is to decide the fate of a train moving along the edges of a directed graph, according to a simple (deterministic) pseudorandom walk. The problem is in $NP \cap coNP$ but not known to be in $P$. The currently best…

Data Structures and Algorithms · Computer Science 2021-04-12 Bernd Gärtner , Sebastian Haslebacher , Hung P. Hoang