圖walk與simple path有限無向簡單圖的walk要求每對連續頂點相鄰；simple path另要求所有頂點互異。atlas-graph-walk-simple-path · canonical_mko圖walk與simple path前置節點有限簡單無向圖數列二元關係與集合投影