中文
相关论文

相关论文: On the Hopcroft's minimization algorithm

200 篇论文

We revisit two well-known algorithmic problems on strings: computing a shortest unique substring (SUS) and a shortest absent substring (SAS) of a string $S$ of length $n$. Both problems admit folklore $\mathcal{O}(n)$-time solutions using…

数据结构与算法 · 计算机科学 2026-05-07 Panagiotis Charalampopoulos , Manal Mohamed , Solon P. Pissis , Hilde Verbeek , Wiktor Zuba

In fixed budget bandit identification, an algorithm sequentially observes samples from several distributions up to a given final time. It then answers a query about the set of distributions. A good algorithm will have a small probability of…

机器学习 · 统计学 2023-07-03 Rémy Degenne

We show that the Word Problem in finitely generated subgroups of $\textsf{GL}_d(\mathbb{Z})$ can be solved in linear average-case complexity. This is done under the bit-complexity model, which accounts for the fact that large integers are…

群论 · 数学 2025-09-17 Frédérique Bassino , Cyril Nicaud , Pascal Weil

In this paper, we study the tradeoff between the approximation guarantee and adaptivity for the problem of maximizing a monotone submodular function subject to a cardinality constraint. The adaptivity of an algorithm is the number of…

数据结构与算法 · 计算机科学 2018-11-01 Alina Ene , Huy L. Nguyen

We consider the clustering aggregation problem in which we are given a set of clusterings and want to find an aggregated clustering which minimizes the sum of mismatches to the input clusterings. In the binary case (each clustering is a…

计算复杂性 · 计算机科学 2023-11-10 Jiehua Chen , Danny Hermelin , Manuel Sorge

Submodular maximization is a classic algorithmic problem with multiple applications in data mining and machine learning; there, the growing need to deal with massive instances motivates the design of algorithms balancing the quality of the…

We provide sharp worst-case evaluation complexity bounds for nonconvex minimization problems with general inexpensive constraints, i.e.\ problems where the cost of evaluating/enforcing of the (possibly nonconvex or even disconnected)…

最优化与控制 · 数学 2021-05-31 Coralia Cartis , Nick I. M. Gould , Philippe L. Toint

We study the problems of finding a shortest synchronizing word and its length for a given prefix code. This is done in two different settings: when the code is defined by an arbitrary decoder recognizing its star and when the code is…

形式语言与自动机理论 · 计算机科学 2018-06-19 Andrew Ryzhikov , Marek Szykuła

We give the first algorithm for adaptive alphabetic prefix-free coding that is worst-case optimal in terms of time and compression when $\sigma \in o \left( \frac{n^{1 / 2}}{\log n} \right)$, where $\sigma$ is the size of the alphabet and…

数据结构与算法 · 计算机科学 2026-01-08 Travis Gagie

The \emph{state complexity} of a regular language $L_m$ is the number $m$ of states in a minimal deterministic finite automaton (DFA) accepting $L_m$. The state complexity of a regularity-preserving binary operation on regular languages is…

形式语言与自动机理论 · 计算机科学 2018-12-13 Janusz Brzozowski , Lila Kari , Bai Li , Marek Szykuła

In this paper, the monotone submodular maximization problem (SM) is studied. SM is to find a subset of size $\kappa$ from a universe of size $n$ that maximizes a monotone submodular objective function $f$. We show using a novel analysis…

数据结构与算法 · 计算机科学 2021-07-07 Victoria G. Crawford

We study optimal distributed first-order optimization algorithms when the network (i.e., communication constraints between the agents) changes with time. This problem is motivated by scenarios where agents experience network malfunctions.…

最优化与控制 · 数学 2019-12-02 Alexander Rogozin , César A. Uribe , Alexander Gasnikov , Nikolay Malkovsky , Angelia Nedić

Given a graph $G=(V, E)$ and and a proper labeling $f$ from $V$ to $\{1, ..., n\}$, we define $B(f)$ as the maximum absolute difference between $f(u)$ and $f(v)$ where $(u,v)\in E$. The bandwidth of $G$ is the minimum $B(f)$ for all $f$.…

数据结构与算法 · 计算机科学 2012-11-02 Hao-Hsiang Hung

In this work we advance the understanding of the fundamental limits of computation for Binary Polynomial Optimization (BPO), which is the problem of maximizing a given polynomial function over all binary points. In our main result we…

离散数学 · 计算机科学 2022-12-15 Alberto Del Pia , Silvia Di Gregorio

Most slowly synchronizing automata over binary alphabets are circular, i.e., containing a letter permuting the states in a single cycle, and their set of synchronizing words has maximal state complexity, which also implies complete…

形式语言与自动机理论 · 计算机科学 2020-12-01 Stefan Hoffmann

We present an elementary branch and bound algorithm with a simple analysis of why it achieves worstcase optimality for join queries on classes of databases defined respectively by cardinality or acyclic degree constraints. We then show that…

数据库 · 计算机科学 2024-09-24 Florent Capelli , Oliver Irwin , Sylvain Salvati

The uniqueness of an optimal solution to a combinatorial optimization problem attracts many fields of researchers' attention because it has a wide range of applications, it is related to important classes in computational complexity, and an…

数据结构与算法 · 计算机科学 2023-12-19 Takashi Horiyama , Yasuaki Kobayashi , Hirotaka Ono , Kazuhisa Seto , Ryu Suzuki

Temporal logic is often used to describe temporal properties in AI applications. The most popular language for doing so is Linear Temporal Logic (LTL). Recently, LTL on finite traces, LTLf, has been investigated in several contexts. In…

形式语言与自动机理论 · 计算机科学 2021-09-20 Shufang Zhu , Lucas M. Tabajara , Geguang Pu , Moshe Y. Vardi

We study the optimal lower and upper complexity bounds for finding approximate solutions to the composite problem $\min_x\ f(x)+h(Ax-b)$, where $f$ is smooth and $h$ is convex. Given access to the proximal operator of $h$, for strongly…

最优化与控制 · 数学 2023-08-15 Zhenyuan Zhu , Fan Chen , Junyu Zhang , Zaiwen Wen

Suffix arrays and LCP arrays are one of the most fundamental data structures widely used for various kinds of string processing. We consider two problems for a read-only string of length $N$ over an integer alphabet $[1, \dots, \sigma]$ for…

数据结构与算法 · 计算机科学 2019-07-16 Keisuke Goto