关于有限动力系统上“伪单射”多项式方程的求解

我们考虑抽象有限动力系统的半环，包含等价于异构变换的 alternative 和同步执行操作。我们继续寻找高效求解形如 $P(X) = B$ 的多项式方程的方法，其中常数侧 B 为常数，旨在将复杂行为分解为更简单的系统。借鉴基于动力系统上单射多项式 P 的特征化方法（其基于其系数限制循环长度的条件），我们引入一种更一般的伪单射概念，通过放宽这一约束来实现。我们证明，相关方程可以在高效甚至在输入以指数级更紧凑方式编码的特定情况下求解。