In this paper we revisit the approaches to the solution of parity games based on progress measures and show how the notion of quasi dominions can be integrated with those approaches. The idea is that, while progress measure based techniques typically focus on one of the two players, little information is gathered on the other player during the solution process. Adding quasi dominions provides additional information on this player that can be leveraged to accelerate convergence to a progress measure. To accommodate quasi dominions, however, a non trivial refinement of the approach is necessary. In particular, we need to introduce a novel notion of measure and a new approach to prove correctness of the resulting solution technique.

中文翻译：

---

从准自治领到进步措施

在本文中，我们重新审视了基于进度度量的平价博弈解决方案，并展示了准统治的概念如何与这些方法相结合。这个想法是，虽然基于进度度量的技术通常专注于两个参与者之一，但在解决方案过程中收集到的关于另一个参与者的信息很少。添加准自治领提供了有关此参与者的附加信息，可用于加速收敛到进度度量。然而，为了适应准统治，必须对该方法进行非平凡的改进。特别是，我们需要引入一种新的度量概念和一种新方法来证明所得求解技术的正确性。