View Original: | Row-convex-path.svg (2x2) | |||
Download: | Original | Medium | Small | Thumb |
Courtesy of: | commons.wikimedia.org | More Like This | ||
Keywords: Row-convex-path.svg How row convex-ness and path consistency ensure satisfiability for binary constraint networks Each matrix represents the constraint between xi and xk+1 An evaluation a1 ak restrict to a row in each matrix The composition of these rows is a row-convex matrix Strong path consistency ensures the existence of a consistent value ak+1 for xk+1 Constraint satisfaction 2006-02-14 own assumed Tizio |