73、禁忌搜索求解加权反馈顶点集问题及n - 立方体上的割相关研究

禁忌搜索求解加权反馈顶点集问题及n - 立方体上的割相关研究

1. 加权反馈顶点集问题的禁忌搜索算法

加权反馈顶点集问题（Weighted Feedback Vertex Set Problem）是计算机科学多个领域的重要问题，如电路测试、死锁解决、光网络中转换器的放置、组合割设计等。为解决该问题，提出了迭代禁忌搜索（Iterative Tabu Search, ITS）算法。

1.1 单一插入算子（Single - Insert）

单一插入算子的伪代码如下：

Procedure: Single−Insert(G,F, F∗)
Set W(I∗z ) ←∞, W(O∗z) ←0
for all z ∈F do
    Step 1. Insert z in G[ ¯F] and reduce the obtained graph to produce the k - diamond DR;
    Step 2. Set Iz ←F∗ ¯z (DR);
    Step 3. Find the set of redundant nodes Oz, add z to Oz, and set Fnew ←Iz ∪{F \Oz};
    Step 4. if W(Fnew) < W(F∗) do
        // aspiration criterion //
        I∗z ←Iz,O∗z ←Oz;
    else if W(Iz)−W(Oz) < W(I∗z )−W(O∗z) and (Iz,Oz) is not tabu do
        I∗z ←Iz,O