File:Row-convex-path.svg
From Infogalactic: the planetary knowledge core
Size of this PNG preview of this SVG file: 207 × 180 pixels. Other resolution: 276 × 240 pixels.
Original file (SVG file, nominally 207 × 180 pixels, file size: 6 KB)
Summary
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
Licensing
Lua error in package.lua at line 80: module 'strict' not found.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 11:06, 5 January 2017 | | 207 × 180 (6 KB) | 127.0.0.1 (talk) | <p>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 </p> |
- You cannot overwrite this file.
File usage
The following page links to this file:
