首页/论文/1205.2174

arXiv 1205.21742012-05cs.FLcs.CC

P（l）aying for Synchronization

P(l)aying for Synchronization

Födor Fominykh, Pavel Martyugin, Mikhail Volkov

备注：: Version 1 (by Födor Fominykh and Mikhail Volkov): 12 pages, 5 figures, close to the version published in the Proceedings of the 17th International Conference on Implementation and Application of Automata (LNCS 7381). Version 2: 19 pages, 7 figures, one of the problems left open in Version 1 solved, submitted
发表信息：: Int. J. Found. Comput. Sci. 24 (2013), 765-780
DOI：: 10.1142/S0129054113400170

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

两个主题：同步游戏和同步成本。在一个确定性有限自动机上的同步博弈中，有两个参与者，爱丽丝和鲍勃，他们的行动交替进行。爱丽丝想同步给定的自动机，而鲍勃的目标是使她的任务尽可能困难。我们回答一些与此类游戏相关的自然问题。谈到同步成本，我们考虑确定性自动机，其中每个转换都有一定的价格。问题是给定的自动机是否可以在给定的预算内同步。我们确定这个问题的复杂性。我们还提出了一些开放性问题。

英文摘要：

Two topics are presented: synchronization games and synchronization costs. In a synchronization game on a deterministic finite automaton, there are two players, Alice and Bob, whose moves alternate. Alice wants to synchronize the given automaton, while Bob aims to make her task as hard as possible. We answer a few natural questions related to such games. Speaking about synchronization costs, we consider deterministic automata in which each transition has a certain price. The problem is whether or not a given automaton can be synchronized within a given budget. We determine the complexity of this problem. We also formulate a few open questions.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

循环半花自动机的同步

On the Synchronization of Circular Semi-Flower Automata

Pin证明了每个状态数为素数且包含非置换的循环自动机都是同步的。本文研究了循环半花自动机的同步问题。我们首先证明了每一个半花自动机是一个单簇自动机。随后，我们证明了每一个包含1-圈的半花自动机是同步的。进一步，我们证明了每一个状态数为奇数的循环半花自动机都是同步的。

2018-08-06cs.FL

线性期望时间内自动机同步性检验算法的实现

Implementation of the algorithm for testing an automaton for synchronization in linear expected time

Berlinkov提出了一种算法，该算法在给定确定性有限自动机$\mathcal{A}$的情况下，验证$\mathcal{A}$是否在线性（状态和字母的数量）预期时间内同步。我们提出了一个修改的Berlinkov的算法，我们已经实施和测试。我们的实验表明，实现优于标准的二次算法，即使是适度的大小的自动机，并允许我们给一个统计上准确的近似的比例，非同步自动机之间的所有自动机与给定数量的状态。

2017-09-30cs.FL

本原自动机的同步性

Synchronization of primitive automata

本研究针对本原自动机的同步性问题，提出新的判定条件，证明含亏格1字母或秩2字的本原自动机必然具备同步性，推进了自动机同步理论研究。

2023-07-21cs.FL

随机自动机的快速同步

Fast Synchronization of Random Automata

一个自动机的同步字是一个使自动机进入同一状态的字，而不管它的起始位置。Cerny在1964年提出，如果一个n态确定性自动机有一个同步字，那么它的同步字的大小最多为（n-1）^2。Berlinkov最近在同步的概率分析方面取得了突破，他证明了自动机有一个同步字的概率很高。在这篇文章中，我们证明了一个自动机以很高的概率允许一个长度小于n^（1+ε）的同步字，因此Cerny猜想以很高的概率成立。

2014-09-01cs.DMcs.FL

交换自动机与简单幂等元自动机的约束同步

Constrained Synchronization for Commutative Automata and Automata with Simple Idempotents

对于一般的输入自动机，存在正则约束语言，使得在约束语言中询问给定的输入自动机是否允许同步字是PSPACE-完全的或NP-完全的。在这里，我们研究这个问题的交换自动机在任意字母表和自动机与简单的幂等元在一个二进制字母作为输入自动机。例如，后一个类包含Čern家族的自动机。我们发现，对于交换输入自动机，问题总是在多项式时间内可解的，对于任何约束语言。对于二进制字母表上具有简单幂等元的输入自动机和由具有多达三个状态的部分自动机给出的约束语言，约束同步问题也可以在多项式时间内求解。

2021-09-06cs.CCcs.FL

同步测试

Testing for Synchronization

我们考虑的第一个问题，出现在任何应用程序的同步自动机，即，问题的决定是否给定的$n$ -状态$k$ -字母自动机同步。首先，我们推广了\cite{RandSynch}，\cite{On2Problems}中强连通部分自动机的结果。具体来说，对于$k>1$，我们表明，一个自动机同步概率$1-O(\frac{1}{n^{0.5k}})$，并提出了一个算法与线性$n$预期的时间，而最知名的算法是二次在每个实例。这些结果在有限状态信息源的同步中有很好的应用。在此之后，我们考虑了可达部分自动机的同步，在计算生物学中的剪接系统的应用。对于这种情况下，我们证明了测试一个给定的自动机同步的问题是NP-完全的。

2014-05-02cs.FL

更多相关论文收起更多论文

关于部分自动机的同步

On synchronization of partial automata

本文的一个目的是介绍一种新的结构的自动机与最短的同步字的长度$O(d^{\frac{n}{d}})$，其中$d \in \mathbb{N}$和$n$是该自动机的状态数。此外，我们还介绍了从$n$状态的任意可同步DFA或谨慎可同步PFA到$d \cdot n$状态的谨慎可同步PFA的新的转换，其同步字长度为$Ω(d^{\frac{n}{d}})$。

2020-06-22cs.DMcs.FL

单调自动机中的子集同步

Subset Synchronization in Monotonic Automata

本文研究单调自动机中子集的极值问题和算法问题以及谨慎同步问题。我们表明，几个同步问题，在一般的自动机是很难解决的多项式时间在单调自动机，即使不知道一个线性顺序的过渡所保持的状态。我们提供渐近紧边界上的最短字同步状态的一个子集中的单调自动机和最短字仔细同步部分单调自动机的最大长度。我们提供了一个复杂性框架，用于处理问题的单调弱无环自动机在一个三个字母的字母表，并使用它来证明NP-完全性和不可逼近的问题，如{ \sc有限自动机交}和计算问题的一个子集的状态在这个类的秩。我们还表明，检查是否单调的部分自动机在一个四个字母的字母表仔细同步是NP-难的。最后，我们给出了一个简单的必要和充分条件时，一个强连通有向图的一个选定的子集的顶点可以转化为一个确定性自动机，其中相应的子集的状态是同步的。

2017-11-23cs.DMcs.FL

使用Sat求解器解决非确定自动机中的同步问题

Using Sat solvers for synchronization issues in non-deterministic automata

我们接近的问题，计算一个$D_{3}$同步字的最小长度为一个给定的不确定自动机通过其编码为SAT的实例，并调用SAT求解器。我们还介绍了一些实验结果。

2018-01-16cs.FL

理想分离与约束同步的一般定理及其在小约束自动机中的应用

Ideal Separation and General Theorems for Constrained Synchronization and their Application to Small Constraint Automata

在约束同步问题中，我们问一个给定的自动机是否承认来自固定的正则约束语言的同步字。我们表明，交叉一个给定的约束语言与一个理想的语言降低了计算复杂性。此外，我们的状态定理PSPACE硬度，广泛推广以前使用的结构和结果如何结合语言的连接得到多项式时间可解的约束同步问题。我们使用这些结果给小约束自动机的复杂性景观的分类多达三个国家。

2021-03-18cs.CCcs.FL

有限自动机子类上同步博弈的获胜策略

Winning Strategies for the Synchronization Game on Subclasses of Finite Automata

本研究针对同步自动机的同步博弈问题，提出了同步器的获胜策略，适用范围为转移幺半群中正规D-类构成子半群的所有同步自动机。

2024-09-11cs.FLcs.GT

使用Sat求解器解决部分确定性自动机中的同步问题

Using Sat solvers for synchronization issues in partial deterministic automata

我们的方法的任务计算一个仔细的同步字的最小长度为一个给定的部分确定性自动机，编码的问题作为一个实例的SAT和调用SAT求解器。我们的实验结果表明，这种方法给出了令人满意的结果，自动机多达100个状态，即使使用非常温和的计算资源。

2019-03-25cs.FL

部分确定有限自动机的谨慎同步

Careful synchronization of partial deterministic finite automata

我们的方法的任务计算一个仔细的同步字的最佳长度为一个给定的部分确定性自动机，编码的问题作为一个实例的SAT和调用SAT求解器。我们的实验表明，这种方法给出了令人满意的结果，自动机多达100个状态，即使使用非常温和的计算资源。我们将所得结果与第一作者关于精确同步的结果进行了比较，并得出了一些理论结论。

2020-05-17cs.FL

代数同步准则与计算复位字

Algebraic synchronization criterion and computing reset words

我们改进了一个统一的代数方法推导上界同步自动机的复位阈值。用线性代数的方法给出了自动机同步的条件，并得到了小秩短字自动机的复位阈值的上界。研究结果被应用于该领域的几个改进。我们改进了有限前缀码（霍夫曼码）的复位阈值的最佳一般上界：我们表明，$n$状态同步解码器具有长度至多为$O(n \log^3 n)$的复位字。除此之外，我们证明了一个均匀随机同步二进制$n$状态解码器的期望复位阈值至多是$O(n \log n)$。我们还表明，对于任何非一元字母存在解码器的复位阈值是在$\varTheta(n)$。证明了一个字母秩至多为$\sqrt[3]{6n-6}$的$n$ -状态自动机的Černandt猜想.在另一个推论中，根据Nicaud最近的结果，我们证明了对于随机同步二进制自动机，Černandi猜想不成立的概率在状态数方面是指数小的，并且$n$状态随机同步二进制自动机的复位阈值的期望值至多是$n^{3/2+o(1)}$。此外，在我们所有的范围内的长度的复位字是可计算的多项式时间。我们提出了合适的算法，这一任务的各类自动机，如（准）一簇和（准）欧拉自动机，我们的结果可以应用。

2015-12-18cs.FL