决定两时钟几乎非齐子加权定时游戏的值
计算机科学中的逻辑
2025-08-04 v1
摘要
加权定时游戏（WTGs）的值问题在给定两玩家加权定时游戏、到达目标及有理阈值后，旨在确定该游戏的值是否超过阈值。当限制于非负权重的 WTGs 时，已知三个或更多时钟的加权定时游戏该问题是不可判定的，而单个时钟的 WTGs 则可判定。两时钟非负 WTGs 的值问题已悬置十年之久，此前被证明为不可判定。本文证明，在考虑两时钟几乎非齐子 WTGs 时，值问题可判定。
引用
@article{arxiv.2508.00014,
title = {Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games},
author = {Isa Vialard},
journal= {arXiv preprint arXiv:2508.00014},
year = {2025}
}