arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2211.11721

The Berlekamp-Massey Algorithm revisited

Nadia Ben Atti·Gema M. Diaz--Toca·Henri Lombardi
View original source ↗Read source document ↗Export metadata ↓

Abstract

We propose a slight modification of the Berlekamp-Massey Algorithm for obtaining the minimal polynomial of a given linearly recurrent sequence. Such a modification enables to explain it in a simpler way and to adapt it to lazy evaluation.

Explore related subjects

cs.DSmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nadia Ben Atti, Gema M. Diaz--Toca, Henri Lombardi. 2025-02-15. The Berlekamp-Massey Algorithm revisited. https://doi.org/10.1007/s00200-005-0190-z

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

An Approximation Algorithm for Monotone Submodular Cost Allocation

In this paper, we consider the minimum submodular cost allocation (MSCA) problem. The input of MSCA consists of $k$ nonnegative submodular functions $f_1,f_2,\ldots,f_k$ on the ground set $N$ given by evaluation oracles, and the goal is to partition $N$ into $k$ (possibly empty) sets $S_1,S_2,\ldots,S_k$ so that $\sum_{i=1}^k f_i(S_i)$ is minimized. In this paper, we focus on the case when $f_1,f_2,\ldots,f_k$ are monotone, which coincides with the facility location problem with submodular facility costs introduced by Svitkina and Tardos. We show that the integrality gap of a natural LP-relaxation for MSCA with monotone submodular functions is at most $k/2$, yielding a $k/2$-approximation algorithm. For fixed $k$, we also provide a matching lower bound on the integrality gap and prove a matching hardness result via an approximation preserving reduction from the minimum vertex cover problem in a $k$-partite hypergraph. We further provide applications of our results to the dual linear program of weighted $k$-polymatroid intersection and the minimum-weight $b$-vertex cover problem in a $k$-partite hypergraph.

cs.DS↗
arXiv2026

Systematic Data Structure Lower Bounds via the Query-with-Sketch Model

We study data structure lower bounds for the Approximate Matrix Powering (AMP) problem. Given a substochastic, symmetric matrix $\mathbf{M}\in\mathbb{R}^{n\times n}$ and parameters $k$ and $α$, the goal is to preprocess $\mathbf{M}$ so as to answer entry queries $(u,v)\mapsto \mathbf{M}^{k}[u,v]$ up to additive error $1/n^α$. We focus on AMP in the succinct and systematic regime, in which the data structure stores $\mathbf{M}$ verbatim, uses an additional $r$ bits of redundancy, and must answer queries by probing only a small number of entries of $\mathbf{M}$. Our main conceptual contribution is a general framework for proving probe--redundancy trade-offs for systematic data structures. We introduce the query-with-sketch model and develop a min-entropy-based approach that lifts conditional min-entropy bounds in the absence of redundancy to probe lower bounds in the presence of redundancy. We then establish these min-entropy bounds using problem-specific analytic and algebraic tools, for the downstream applications to AMP and its variants. As a consequence, our results provide new unconditional evidence toward a conjecture of Patrascu and Roditty (2010) on the space required for constant-time set-disjointness queries.

cs.DS↗
arXiv2026

Serial-batch scheduling to minimise the total weighted late work

We study the problem of scheduling jobs on a serial-batch machine with the aim of minimising the total weighted late work. In a serial-batch setting, jobs within a batch are processed sequentially, and none are removed from the machine until the last job in the batch completes its processing. The processing time of a batch is the sum of the processing times of the jobs within it, and the completion time for each job in the batch is equal to the makespan of the jobs in the batch. When a new batch begins, a constant setup time is required for the machine. We show that minimising the total weighted late work in this environment is $NP$-hard even if all jobs have a common due date and unit weight. For the general problem, we present a pseudo-polynomial time dynamic programming algorithm. Additionally, we explore two special cases, i.e., one with a common due date and another with an agreeable condition among due dates, processing times and weights. For both special cases, we develop specialised pseudo-polynomial time dynamic programming algorithms. The proposed approaches are equipped with specialised acceleration techniques to enhance their computational performance. The extended experiments demonstrate that the dynamic programming algorithms outperform Gurobi in time efficiency.

cs.DS↗