File:BDD Variable Ordering Bad.svg
出典:ウィキメディア・コモンズ (Wikimedia Commons)
ナビゲーションに移動
検索に移動
この SVG ファイルのこの PNG プレビューのサイズ: 638 × 435 ピクセル. その他の解像度: 320 × 218 ピクセル | 640 × 436 ピクセル | 1,024 × 698 ピクセル | 1,280 × 873 ピクセル | 2,560 × 1,745 ピクセル。
元のファイル (SVG ファイル、638 × 435 ピクセル、ファイルサイズ: 29キロバイト)
ファイル情報
構造化データ
キャプション
概要
[編集]解説BDD Variable Ordering Bad.svg | BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a bad variable ordering |
日付 | |
原典 | self-made using CrocoPat, a tool for relational programming, and GraphViz dot, a tool for graph layout |
作者 | Dirk Beyer |
許可 (ファイルの再利用) |
GFDL and cc-by-sa-2.5 |
その他のバージョン |
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";;
ライセンス
[編集]この作品の著作権者である私は、この作品を以下のライセンスで提供します。
この文書は、フリーソフトウェア財団発行のGNUフリー文書利用許諾書 (GNU Free Documentation License) 1.2またはそれ以降のバージョンの規約に基づき、複製や再配布、改変が許可されます。不可変更部分、表紙、背表紙はありません。このライセンスの複製は、GNUフリー文書利用許諾書という章に含まれています。http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue |
このファイルはクリエイティブ・コモンズ 表示-継承 3.0 非移植ライセンスのもとに利用を許諾されています。 | ||
| ||
このライセンスのテンプレートは、GFDLのライセンス・アップデートによりこのファイルに追加されたものです。http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue |
このファイルはクリエイティブ・コモンズ 表示-継承 2.5 一般ライセンスのもとに利用を許諾されています。
- あなたは以下の条件に従う場合に限り、自由に
- 共有 – 本作品を複製、頒布、展示、実演できます。
- 再構成 – 二次的著作物を作成できます。
- あなたの従うべき条件は以下の通りです。
- 表示 – あなたは適切なクレジットを表示し、ライセンスへのリンクを提供し、変更があったらその旨を示さなければなりません。これらは合理的であればどのような方法で行っても構いませんが、許諾者があなたやあなたの利用行為を支持していると示唆するような方法は除きます。
- 継承 – もしあなたがこの作品をリミックスしたり、改変したり、加工した場合には、あなたはあなたの貢献部分を元の作品とこれと同一または互換性があるライセンスの下に頒布しなければなりません。
あなたは上記のライセンスから、どれか一つ以上を選択できます。
ファイルの履歴
過去の版のファイルを表示するには、その版の日時をクリックしてください。
日付と時刻 | サムネイル | 寸法 | 利用者 | コメント | |
---|---|---|---|---|---|
現在の版 | 2007年3月5日 (月) 18:34 | 638 × 435 (29キロバイト) | Brighterorange (トーク | 投稿記録) | ||
2007年3月5日 (月) 18:23 | 512 × 353 (29キロバイト) | Brighterorange (トーク | 投稿記録) | == 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 |
このファイルは上書きできません。
ファイルの使用状況
以下の 3 ページがこのファイルを使用しています:
グローバルなファイル使用状況
以下に挙げる他のウィキがこの画像を使っています:
- de.wikipedia.org での使用状況
- en.wikipedia.org での使用状況
- fr.wikipedia.org での使用状況
- ja.wikipedia.org での使用状況
- ru.wikipedia.org での使用状況
- sr.wikipedia.org での使用状況
- uk.wikipedia.org での使用状況