96、异步回溯的最小域排序：原理、算法与实验分析

异步回溯的最小域排序：原理、算法与实验分析

在分布式约束满足问题（DisCSP）的求解中，异步回溯（ABT）是一种重要的算法。本文将深入探讨异步回溯中的排序策略，包括动态排序、异步启发式以及回溯排序启发式等内容，并通过实验评估不同算法的性能。

1. 分布式约束满足问题基础

在DisCSP中，每个代理持有一个变量，代理之间通过发送和接收消息来检查值的分配是否满足非局部约束。通过约束连接的代理被称为邻居，代理的排序被称为优先级，排序靠后的代理被称为“低优先级代理”。通常，在研究DisCSP时会做出以下假设：
- 所有代理恰好持有一个变量。
- 消息在有限时间内到达目的地。
- 代理 $A_i$ 发送给代理 $A_j$ 的消息按发送顺序被 $A_j$ 接收。

2. 动态排序的异步回溯（ABT DO）

在ABT DO中，每个代理持有一个当前顺序（Current order），这是一个由代理ID和计数器组成的有序对列表。每个代理在替换其分配时，可以为低优先级的代理提出新的顺序。提出新顺序的规则如下：
- 优先级高于 $A_i$ 的代理和 $A_i$ 本身，在新顺序中优先级不变。
- 当前顺序中优先级低于 $A_i$ 的代理，在新顺序中可以改变优先级，但不能高于 $A_i$ 本身。

顺序列表中每个代理ID附带的计数器形成一个时间戳。初始时，所有时间戳计数器都设置为零，所有代理从相同的当前顺序开始。每个提出新顺序的代理 $A_i$ 会按以下方式更新顺序对和计数器：
- 根据当前顺序，优先级高于 $A_i$ 的代理的计数器不变。
- $A_i$ 的计数器加一。
- 当前顺序