File:Tree-decomposition-4.svg

Original file (SVG file, nominally 261 × 225 pixels, file size: 5 KB)

Summary

Description Every node of the tree in Image:Tree-decomposition-2.svg is made a variable. Its ___domain is the set of all solutions of the relative subproblem, found as for example in Image:Tree-decomposition-3.svg. The constraint of this new problem equates all copies of the old variables. In this example, only equality of y between the root and its right child is shown, but equality of x and z between the root and its left child is also enforced.
Date 14 April 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

14 April 2006

File history

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

Date/TimeThumbnailDimensionsUserComment
current12:27, 14 April 2006Thumbnail for version as of 12:27, 14 April 2006261 × 225 (5 KB)TizioEvery node of the tree in Image:Tree-decomposition-2.svg is made a variable. Its ___domain is the set of all solutions of the relative subproblem, found as for example in Image:Tree-decomposition-3.svg. The constraint of this new problem equates a

The following page uses this file: