File:BDD Variable Ordering Bad.svg
Aus Wikimedia Commons, dem freien Medienarchiv
Zur Navigation springen
Zur Suche springen
Größe der PNG-Vorschau dieser SVG-Datei: 638 × 435 Pixel. Weitere Auflösungen: 320 × 218 Pixel | 640 × 436 Pixel | 1.024 × 698 Pixel | 1.280 × 873 Pixel | 2.560 × 1.745 Pixel.
Originaldatei (SVG-Datei, Basisgröße: 638 × 435 Pixel, Dateigröße: 29 KB)
Dateiinformationen
Strukturierte Daten
Bildtexte
Beschreibung
[Bearbeiten]BeschreibungBDD Variable Ordering Bad.svg | BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a bad variable ordering |
Datum | |
Quelle | self-made using CrocoPat, a tool for relational programming, and GraphViz dot, a tool for graph layout |
Urheber | Dirk Beyer |
Genehmigung (Weiternutzung dieser Datei) |
GFDL and cc-by-sa-2.5 |
Andere Versionen |
From [1]; PNG version at image:BDD_Variable_Ordering_Bad.png. |
Other BDD pictures for similar formulas:
-
BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a good variable ordering
-
Visualization of the BDD for the Boolean formula x1 * x2 + x3 * x4 + ... + x19 * x20 using a bad variable ordering
The following is the RML (Relational Manipulation Language) code that I fed to CrocoPat to produce the GraphViz dot files:
// RML program to generate BDD graphs for the formula // x1 & x2 | x3 & x4 | x5 & x6 | x7 & x8, // using two different variable orderings. // "crocopat -e BDD_Variable_Ordering.rml" generates two files in dot format. // "dot -Tsvg BDD_Variable_Ordering_Bad.dot -o BDD_Variable_Ordering_Bad.svg" // generates a file in SVG format from the file in dot format. // There are two ('Boolean') values for the variables x1, ..., x8. DOM("0"); DOM("1"); // F is the name of the Boolean formula. F(x1,x2,x3,x4,x5,x6,x7,x8) := (x1="1" & x2="1") | (x3="1" & x4="1") | (x5="1" & x6="1") | (x7="1" & x8="1"); // Prints the BDD as graph in GraphViz dot format, // using a good variable ordering resulting in linear size of the graph. PRINT GRAPH( F(x1,x2,x3,x4,x5,x6,x7,x8) ) TO "BDD_Variable_Ordering_Good.dot"; // Prints the BDD as graph in GraphViz dot format, // using a bad variable ordering resulting in exponential size of the graph. // The first term of the conjunction sets the variable ordering. PRINT GRAPH( TRUE(x1,x3,x5,x7,x2,x4,x6,x8) & F(x1,x2,x3,x4,x5,x6,x7,x8) ) TO "BDD_Variable_Ordering_Bad.dot";;
Lizenz
[Bearbeiten]Ich, der Urheberrechtsinhaber dieses Werkes, veröffentliche es hiermit unter der folgenden Lizenz:
Es ist erlaubt, die Datei unter den Bedingungen der GNU-Lizenz für freie Dokumentation, Version 1.2 oder einer späteren Version, veröffentlicht von der Free Software Foundation, zu kopieren, zu verbreiten und/oder zu modifizieren; es gibt keine unveränderlichen Abschnitte, keinen vorderen und keinen hinteren Umschlagtext.
Der vollständige Text der Lizenz ist im Kapitel GNU-Lizenz für freie Dokumentation verfügbar.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue |
Diese Datei ist unter der Creative-Commons-Lizenz „Namensnennung – Weitergabe unter gleichen Bedingungen 3.0 nicht portiert“ lizenziert. | ||
| ||
Diese Lizenzmarkierung wurde auf Grund der GFDL-Lizenzaktualisierung hinzugefügt.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue |
Diese Datei ist unter der Creative-Commons-Lizenz „Namensnennung – Weitergabe unter gleichen Bedingungen 2.5 generisch“ (US-amerikanisch) lizenziert.
- Dieses Werk darf von dir
- verbreitet werden – vervielfältigt, verbreitet und öffentlich zugänglich gemacht werden
- neu zusammengestellt werden – abgewandelt und bearbeitet werden
- Zu den folgenden Bedingungen:
- Namensnennung – Du musst angemessene Urheber- und Rechteangaben machen, einen Link zur Lizenz beifügen und angeben, ob Änderungen vorgenommen wurden. Diese Angaben dürfen in jeder angemessenen Art und Weise gemacht werden, allerdings nicht so, dass der Eindruck entsteht, der Lizenzgeber unterstütze gerade dich oder deine Nutzung besonders.
- Weitergabe unter gleichen Bedingungen – Wenn du das Material wiedermischst, transformierst oder darauf aufbaust, musst du deine Beiträge unter der gleichen oder einer kompatiblen Lizenz wie das Original verbreiten.
Du darfst es unter einer der obigen Lizenzen deiner Wahl verwenden.
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
Version vom | Vorschaubild | Maße | Benutzer | Kommentar | |
---|---|---|---|---|---|
aktuell | 18:34, 5. Mär. 2007 | 638 × 435 (29 KB) | Brighterorange (Diskussion | Beiträge) | ||
18:23, 5. Mär. 2007 | 512 × 353 (29 KB) | Brighterorange (Diskussion | Beiträge) | == Summary == {{Information| |Description = BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a bad variable ordering |Source = self-made using CrocoPat, a tool for relational programming, and GraphViz dot, a tool for graph lay |
Du kannst diese Datei nicht überschreiben.
Dateiverwendung
Die folgenden 3 Seiten verwenden diese Datei:
Globale Dateiverwendung
Die nachfolgenden anderen Wikis verwenden diese Datei:
- Verwendung auf de.wikipedia.org
- Verwendung auf en.wikipedia.org
- Verwendung auf fr.wikipedia.org
- Verwendung auf ja.wikipedia.org
- Verwendung auf ru.wikipedia.org
- Verwendung auf sr.wikipedia.org
- Verwendung auf uk.wikipedia.org