有限集合上求解差分约束系统的复杂性
摘要：鱼泉开发了一个算法来解决一个包含$m$个差分约束条件的系统，其中$n$个未知数必须取自一个包含$k$个实数的集合 [用有限集合限制变量的差分约束系统求解，信息处理通信 82 (3) (2002) 143-144]。我们提供了鱼泉算法的一个实现，其运行时间为$O(n+km)$。
作者：Santiago Cifuentes and Francisco J. Soulignac and Pablo Terlisky
论文ID：2211.05259
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2022-11-11