Rule R6 is used to unlock an illegal lock. ... when all edges are properly colored and no lock is on any edge, i.e., P1: (∀ node x : ∀ edges (x,y),(x, ...
確定! 回上一頁