论文标题
通过完全订购的团体的能源游戏
Energy Games over Totally Ordered Groups
论文作者
论文摘要
Kopczyński(ICALP 2006)猜想,在有限的工会下,与前缀无关的半姿势获胜条件是封闭的。我们在有限的竞技场上驳斥了这种猜想。为此,我们介绍了一类新的与完全有序的组相比,称为能量条件的新型前缀前缀的双位置获胜条件。我们举例说明了两个这样的条件,它们的结合不是半位置。我们还猜想,每个独立的双位置获胜条件都与周期性序列完全有序的组相吻合。
Kopczyński (ICALP 2006) conjectured that prefix-independent half-positional winning conditions are closed under finite unions. We refute this conjecture over finite arenas. For that, we introduce a new class of prefix-independent bi-positional winning conditions called energy conditions over totally ordered groups. We give an example of two such conditions whose union is not half-positional. We also conjecture that every prefix-independent bi-positional winning condition coincides with some energy condition over a totally ordered group on periodic sequences.