用序理论方法刻画由优先与响应约束定义的过程的迹
组合数学
2025-02-21 v2 离散数学
摘要
在本文中，我们考虑一个可发生亦可不发生的一般活动系统。该系统由一组包含两类约束的集合支配：优先（precedence）与响应（response）。优先约束规定一个活动仅当其已被某个其他指定活动 precede 时才能发生。响应约束类似地定义。系统的一次执行是按活动发生顺序列出且满足所有约束的清单。这些清单被称为迹（traces）。此类系统自然出现在理论计算机科学与决策科学领域。活动可自由发生的后果是存在许多不同的可能执行，而获得关于这些执行的组合洞察是一个非平凡问题。我们刻画了此类系统可执行的所有方式。我们的方法使用序理论，通过由约束集构造的偏序集的线性扩展进行分类。该刻画对于计算由第一作者开发的、允许对此类系统/过程进行定量比较的干系人效用度量是关键的。它也使得能更好地理解这些过程的序理论支柱。
引用
@article{arxiv.2311.12218,
title = {Characterizing traces of processes defined by precedence and response constraints: an order theory approach},
author = {Mark Dukes and Anton Sohn},
journal= {arXiv preprint arXiv:2311.12218},
year = {2025}
}
备注
15 pages