https://1library.org/document/yev5jlk7-algorithms-determining-node-disjoint-path-visiting-specified-nodes.html