用于电路故障诊断的带特殊驱动器的量子退火

我们提出了一种非常通用的量子退火协议构造方法，用于求解组合电路故障诊断（CCFD）问题，该构造将演化限制于有效诊断的空间内。这是通过使用特殊的局部驱动器实现的，这些驱动器在可行构型空间上诱导出一个对于每个给定电路拓扑都正则且与实例无关的转移图。对小实例的分析表明能隙具有通用形式，且最小能隙出现在演化的最后三分之一阶段。我们利用这些特征构造了改进的退火调度，并通过封闭系统模拟对其性能进行了基准测试。我们发现简并性有助于量子退火的性能，尤其是对于在其最小故障诊断中含有较多故障的实例。这与工业界用于大规模电路的基于暴力搜索的经典方法的性能形成对比。