File:BDD simple.svg
出典:ウィキメディア・コモンズ (Wikimedia Commons)
ナビゲーションに移動
検索に移動
![File:BDD simple.svg](https://upload.wikimedia.org/wikipedia/commons/thumb/1/14/BDD_simple.svg/189px-BDD_simple.svg.png?20070305183533)
この SVG ファイルのこの PNG プレビューのサイズ: 189 × 241 ピクセル. その他の解像度: 188 × 240 ピクセル | 376 × 480 ピクセル | 602 × 768 ピクセル | 803 × 1,024 ピクセル | 1,606 × 2,048 ピクセル。
元のファイル (SVG ファイル、189 × 241 ピクセル、ファイルサイズ: 5キロバイト)
ファイル情報
構造化データ
キャプション
キャプション
このファイルの内容を1行で記述してください
概要
[編集]解説BDD simple.svg | BDD graph for the Boolean formula -x1 * -x2 * -x3 + x1 * x2 + x2 * x3 |
日付 | |
原典 | 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 simple.png |
概要
[編集]Other BDD pictures:
-
BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a good variable ordering
-
BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a bad 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 a BDD graph for the formula // !x1 & !x2 & !x3 | x1 & x2 | x2 & x3, // using the variable ordering <x1, x2, x3>. // "crocopat -e BDD_simple.rml" generates a file in dot format. // "dot -Tsvg BDD_simple.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, x2, x3. DOM("0"); DOM("1"); // F is the name of the Boolean formula. F(x1,x2,x3) := (x1="0" & x2="0" & x3="0") | (x1="1" & x2="1") | (x2="1" & x3="1"); // Prints the BDD as graph in GraphViz dot format. PRINT GRAPH( F(x1,x2,x3) ) TO "BDD_simple.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 |
![w:ja:クリエイティブ・コモンズ](https://upload.wikimedia.org/wikipedia/commons/thumb/7/79/CC_some_rights_reserved.svg/90px-CC_some_rights_reserved.svg.png)
![表示](https://upload.wikimedia.org/wikipedia/commons/thumb/1/11/Cc-by_new_white.svg/24px-Cc-by_new_white.svg.png)
![継承](https://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Cc-sa_white.svg/24px-Cc-sa_white.svg.png)
このファイルはクリエイティブ・コモンズ 表示-継承 2.5 一般ライセンスのもとに利用を許諾されています。
- あなたは以下の条件に従う場合に限り、自由に
- 共有 – 本作品を複製、頒布、展示、実演できます。
- 再構成 – 二次的著作物を作成できます。
- あなたの従うべき条件は以下の通りです。
- 表示 – あなたは適切なクレジットを表示し、ライセンスへのリンクを提供し、変更があったらその旨を示さなければなりません。これらは合理的であればどのような方法で行っても構いませんが、許諾者があなたやあなたの利用行為を支持していると示唆するような方法は除きます。
- 継承 – もしあなたがこの作品をリミックスしたり、改変したり、加工した場合には、あなたはあなたの貢献部分を元の作品とこれと同一または互換性があるライセンスの下に頒布しなければなりません。
あなたは上記のライセンスから、どれか一つ以上を選択できます。
ファイルの履歴
過去の版のファイルを表示するには、その版の日時をクリックしてください。
日付と時刻 | サムネイル | 寸法 | 利用者 | コメント | |
---|---|---|---|---|---|
現在の版 | 2007年3月5日 (月) 18:35 | ![]() | 189 × 241 (5キロバイト) | Brighterorange (トーク | 投稿記録) | |
2007年3月5日 (月) 18:18 | ![]() | 512 × 564 (5キロバイト) | Brighterorange (トーク | 投稿記録) | {{Information| |Description = BDD graph for the Boolean formula -x1 * -x2 * -x3 + x1 * x2 + x2 * x3 |Source = self-made using [http://directory.fsf.org/math/CrocoPat.html CrocoPat], a tool for relational programming, and GraphViz dot, a tool for graph |
このファイルは上書きできません。
ファイルの使用状況
以下の 2 ページがこのファイルを使用しています:
グローバルなファイル使用状況
以下に挙げる他のウィキがこの画像を使っています:
- en.wikipedia.org での使用状況
- fr.wikipedia.org での使用状況
- he.wikipedia.org での使用状況
- hi.wikipedia.org での使用状況
- ja.wikipedia.org での使用状況
- nl.wikipedia.org での使用状況
- ru.wikipedia.org での使用状況
- sr.wikipedia.org での使用状況
- uk.wikipedia.org での使用状況