English
Related papers

Related papers: On the Complexity of the Skolem Problem at Low Ord…

200 papers

We study the \emph{order-finding problem} for Read-once Oblivious Algebraic Branching Programs (ROABPs). Given a polynomial $f$ and a parameter $w$, the goal is to find an order $\sigma$ in which $f$ has an ROABP of \emph{width} $w$. We…

Computational Complexity · Computer Science 2024-12-02 Vishwas Bhargava , Pranjal Dutta , Sumanta Ghosh , Anamay Tengse

We revisit the classic combinatorial pattern matching problem of finding a longest common subsequence (LCS). For strings $x$ and $y$ of length $n$, a textbook algorithm solves LCS in time $O(n^2)$, but although much effort has been spent,…

Computational Complexity · Computer Science 2018-03-05 Karl Bringmann , Marvin Künnemann

We give deterministic black-box polynomial identity testing algorithms for multilinear read-once oblivious algebraic branching programs (ROABPs), in n^(lg^2 n) time. Further, our algorithm is oblivious to the order of the variables. This is…

Computational Complexity · Computer Science 2013-09-24 Michael A. Forbes , Ramprasad Saptharishi , Amir Shpilka

A locally testable semigroup S is a semigroup with the property that for some nonnegative integer k, called the order or level of local testability, two words u and v in some set of generators for semigroup S are equal in the semigroup if…

Formal Languages and Automata Theory · Computer Science 2022-05-12 A. N. Trahtman

Motivated by a historical combinatorial problem that resembles the well-known Josephus problem, we investigate circular partition algorithms and formulate problems in deterministic finite automata with practical algorithms. The historical…

Formal Languages and Automata Theory · Computer Science 2026-01-06 Omid Khormali , Ghaya Mtimet , Nuh Aydin

A polynomial identity testing algorithm must determine whether an input polynomial (given for instance by an arithmetic circuit) is identically equal to 0. In this paper, we show that a deterministic black-box identity testing algorithm for…

Computational Complexity · Computer Science 2010-08-02 Pascal Koiran

In the classical linear degeneracy testing problem, we are given $n$ real numbers and a $k$-variate linear polynomial $F$, for some constant $k$, and have to determine whether there exist $k$ numbers $a_1,\ldots,a_k$ from the set such that…

Computational Geometry · Computer Science 2022-12-07 Jean Cardinal , Micha Sharir

We consider a basic computational task of finding $s$ planted rank-1 $m \times n$ matrices in a linear subspace $\mathcal{U} \subseteq \mathbb{R}^{m \times n}$ where $\dim(\mathcal{U}) = R \ge s$. The work of Johnston-Lovitz-Vijayaraghavan…

Data Structures and Algorithms · Computer Science 2025-04-28 Jeshu Dastidar , Tait Weicht , Alexander S. Wein

In this paper, we study the existence of solution for the following class of nonlocal problem, $$ \left\{ \begin{array}{lcl} -\Delta u=\left(\lambda f(x)-\int_{\R^N}K(x,y)|u(y)|^{\gamma}dy\right)u,\quad \mbox{in} \quad \R^{N}, \\…

Analysis of PDEs · Mathematics 2015-09-18 Claudianor O. Alves , Romildo N. de Lima , Marco A. S. Souto

An archetypal problem discussed in computer science is the problem of searching for a given number in a given set of numbers. Other than sequential search, the classic solution is to sort the list of numbers and then apply binary search.…

Computational Complexity · Computer Science 2015-03-20 Philon Nguyen

We study the $\ell_0$-Low Rank Approximation Problem, where the goal is, given an $m \times n$ matrix $A$, to output a rank-$k$ matrix $A'$ for which $\|A'-A\|_0$ is minimized. Here, for a matrix $B$, $\|B\|_0$ denotes the number of its…

Data Structures and Algorithms · Computer Science 2018-10-02 Karl Bringmann , Pavel Kolev , David P. Woodruff

In this paper we study the complexity of the problems: given a loop, described by linear constraints over a finite set of variables, is there a linear or lexicographical-linear ranking function for this loop? While existence of such…

Programming Languages · Computer Science 2025-09-30 Amir M. Ben-Amram , Samir Genaim

We consider the equal sum partition problem, motivated by distance magic graph labeling: Given $n,k \in \N$ such that $k\, | \sum_{i=1}^ni$ and a partition $p_1+\cdots+p_k=n$, when is it possible to find a partition of the set…

Combinatorics · Mathematics 2026-05-08 Shlomo Hoory , Dani Kotlar

This paper investigates two related optimal input selection problems for fixed (non-switched) and switched structured systems. More precisely, we consider selecting the minimum cost of inputs from a prior set of inputs, and selecting the…

Systems and Control · Electrical Eng. & Systems 2022-10-20 Yuan Zhang , Yuanqing Xia , Shenyu Liu , Zhongqi Sun

We consider a large family of problems in which an ordering (or, more precisely, a chain of subsets) of a finite set must be chosen to minimize some weighted sum of costs. This family includes variations of Min Sum Set Cover (MSSC), several…

Data Structures and Algorithms · Computer Science 2021-06-28 Felix Happach , Lisa Hellerstein , Thomas Lidbetter

In the number partitioning problem (NPP) one aims to partition a given set of $N$ real numbers into two subsets with approximately equal sum. The NPP is a well-studied optimization problem and is famous for possessing a…

Statistics Theory · Mathematics 2025-05-28 Rushil Mallarapu , Mark Sellke

Finding the length of the longest increasing subsequence (LIS) is a classic algorithmic problem. Let $n$ denote the size of the array. Simple $O(n\log n)$ algorithms are known for this problem. We develop a polylogarithmic time randomized…

Data Structures and Algorithms · Computer Science 2013-08-06 M. Saks , C. Seshadhri

One of the classic results in scheduling theory is the 2-approximation algorithm by Lenstra, Shmoys, and Tardos for the problem of scheduling jobs to minimize makespan on unrelated machines, i.e., job j requires time p_{ij} if processed on…

Data Structures and Algorithms · Computer Science 2011-03-22 Ola Svensson

The study of Locally Checkable Labelings (LCLs) has led to a remarkably precise characterization of the distributed time complexities that can occur on bounded-degree trees. A central feature of this complexity landscape is the existence of…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-17 Gustav Schmid

We present an algorithm to solve the Simultaneous Unitary Similarity(S.U.S) problem which is to check if there exists a Similarity transformation determined by a Unitary $U$ s.t $UA_lU^*=B_l$, $l \in \{1,...,p\}$, where $A_l$ and $B_l$ are…

Rings and Algebras · Mathematics 2025-12-02 Harikrishna VJ , Vittal Rao , Ramakrishnan K. R