A Boolean visited array is used to mark the visited vertices. For simplicity, it is assumed that all vertices are reachable from the starting vertex. BFS uses a queue ...

Abstract: Industry 5.0 promotes the transformation of manufacturing toward flexibility, personalization, and sustainability. As a critical component of closed-loop manufacturing systems, disassembly ...

let rec has_frontier_neighbor (n: nat) (adj: Seq.seq int) (frontier: Seq.seq bool) (v: nat) (scan: nat) : Tot bool (decreases (if scan < n then n - scan else 0)) = let prev_visited = visited_after n ...

Abstract: To address the issues of insufficient solution diversity and weak adaptability in complex constrained optimization problems, this paper proposes an innovative multitask optimization ...