文章基本信息

标题：On Minimizing Regular Expressions Without Kleene Star
本地全文：下载
作者：Hermann Gruber ; Markus Holzer ; Simon Wolfsteiner 等
期刊名称：Electronic Colloquium on Computational Complexity
印刷版ISSN：1433-8092
出版年度：2020
卷号：2020
页码：1-17
出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
摘要：Finite languages lie at the heart of literally every regular expression. Therefore, we investigate the approximation complexity of minimizing regular expressions without Kleene star, or, equivalently, regular expressions describing finite languages. On the side of approximation hardness, given such an expression of size s, we prove that it is impossible to approximate the minimum size required by an equivalent regular expression within a factor of O s (log s) 2 δ if the running time is bounded by a quasipolynomial function depending on δ, for every δ > 0, unless the exponential time hypothesis (ETH) fails. For approximation ratio O(s 1−δ ), we prove an exponential time lower bound depending on δ, assuming ETH. The lower bounds apply for alphabets of constant size. On the algorithmic side, we show that the problem can be approximated in polynomial time within O( s log log s log s ), with s being the size of the given regular expression. For constant alphabet size, the bound improves to O( s log s ). Finally, we devise a familiy of superpolynomial approximation algorithms that attain the performance ratios of the lower bounds, while their running times are only slightly above those excluded by the ETH.