测试 k-二项式等价性
形式语言与自动机理论
2017-01-19 v2
摘要
若单词 w₁ 和 w₂ 的字母表上每个长度不超过 k 的非空单词 x 作为分散因子在 w₁ 中出现的次数恰好等于其在 w₂ 中出现的次数,则称 w₁ 和 w₂ 是 k-二项式等价的。我们给出了两个不同的多项式时间算法来测试两个单词的 k-二项式等价性。第一个是确定性的(但对应多项式的次数过高),第二个是随机化的(更直接、更高效)。这些是已知的首个对该问题运行于多项式时间的算法。
引用
@article{arxiv.1509.00622,
title = {Testing k-binomial equivalence},
author = {Dominik D. Freydenberger and Pawel Gawrychowski and Juhani Karhumäki and Florin Manea and Wojciech Rytter},
journal= {arXiv preprint arXiv:1509.00622},
year = {2017}
}