用状态机决定哪里需要 Agent

Deque<Integer> queue = new ArrayDeque<>();
queue.addLast(start); visited[start] = true; // 入队时标记，避免循环重复入队。
while (!queue.isEmpty()) {
    int node = queue.removeFirst();
    for (int next : graph.get(node)) if (!visited[next]) {
        visited[next] = true; queue.addLast(next); // 队列只保存尚待展开的可达节点。
    }
}

import java.util.*;
public class Main {
    static boolean[] reach(List<List<Integer>> graph,Collection<Integer> starts){
        boolean[] seen=new boolean[graph.size()];Deque<Integer> q=new ArrayDeque<>();
        for(int s:starts)if(!seen[s]){seen[s]=true;q.addLast(s);}
        while(!q.isEmpty())for(int v:graph.get(q.removeFirst()))if(!seen[v]){
            seen[v]=true;q.addLast(v); // 入队时标记，每个节点最多展开一次。
        }
        return seen;
    }
    static List<Integer> trapped(int n,int[][] edges,int start,Set<Integer> terminal){
        if(n<=0||start<0||start>=n)throw new IllegalArgumentException("start");
        List<List<Integer>> g=new ArrayList<>(),r=new ArrayList<>();for(int i=0;i<n;i++){g.add(new ArrayList<>());r.add(new ArrayList<>());}
        for(int t:terminal)if(t<0||t>=n)throw new IllegalArgumentException("terminal");
        for(int[] e:edges){if(e.length!=2||e[0]<0||e[0]>=n||e[1]<0||e[1]>=n)throw new IllegalArgumentException("edge");g.get(e[0]).add(e[1]);r.get(e[1]).add(e[0]);}
        boolean[] fromStart=reach(g,List.of(start)),toEnd=reach(r,terminal); // 反向搜索表示存在终态路径。
        List<Integer> out=new ArrayList<>();for(int i=0;i<n;i++)if(fromStart[i]&&!toEnd[i])out.add(i);
        return out; // 空结果只排除结构无出口，不保证策略一定终止。
    }
    static void eq(List<Integer> e,List<Integer> a){if(!e.equals(a))throw new AssertionError(a);}
    public static void main(String[] args){
        eq(List.of(0,1),trapped(3,new int[][]{{0,1},{1,1}},0,Set.of(2)));
        eq(List.of(),trapped(3,new int[][]{{0,1},{1,1},{1,2}},0,Set.of(2)));
        eq(List.of(),trapped(3,new int[][]{{0,1}},0,Set.of(1)));// 孤立2不影响当前起点。
        eq(List.of(0),trapped(1,new int[][]{},0,Set.of()));
        eq(List.of(),trapped(1,new int[][]{},0,Set.of(0)));
        try{trapped(2,new int[][]{{0,2}},0,Set.of(1));throw new AssertionError();}catch(IllegalArgumentException expected){}
        System.out.println("PASS 6 tests");
    }
}