File:Solving-tree-decomposition-2.svg

Original file (SVG file, nominally 189 × 171 pixels, file size: 3 KB)

Summary

Description On the tree decomposition of Image:Solving-tree-decomposition-1.svg, a first constraint is sent from a leaf to its parent. This constraint is b>0 because of the assumption that all variables have ___domain {0,...,10}. The next steps of the algorithm in Image:Solving-tree-decomposition-3.svg.
Date 18 February 2006 (original upload date)
Source No machine-readable source provided. Own work assumed (based on copyright claims).
Author No machine-readable author provided. Tizio assumed (based on copyright claims).

Licensing

Public ___domain I, the copyright holder of this work, release this work into the public ___domain. This applies worldwide.
In some countries this may not be legally possible; if so:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current13:53, 18 February 2006Thumbnail for version as of 13:53, 18 February 2006189 × 171 (3 KB)TizioOn the tree decomposition of Image:Solving-tree-decomposition-1.svg, a first constraint is sent from a leaf to its parent. The next steps of the algorithm in Image:Solving-tree-decomposition-3.svg. Category:Constraint satisfaction

The following page uses this file: