二者択一

二者択一とは、例えば特定の行動を取るか取らないかといった2つの選択肢の中から選ぶことです。^[1]

二者択一の決定は多くの分野の基本です。例には以下が含まれます。

数学的論理における真理値、およびコンピュータサイエンスにおける対応するブールデータ型。真または偽のいずれかとして選択できる値を表します。^[2]
コンピュータサイエンスにおける条件文（if-thenまたはif-then-else）は、次にどのコード部分を実行するかに関する二者択一の決定です。^[3]
決定木と二分決定図は二分決定のシーケンスを表現する。^[4]
二者択一、二者択一の結果に関する統計モデル。^[5]

二分決定図

バイナリ決定図（BDD）はブール関数を視覚的に表現する方法です。BDDの応用分野の一つは、CADソフトウェアやデジタル回路解析で、ブール関数を効率的に表現し操作する方法として利用されています。^[6]

ブール関数の値は、BDD 内のパスをたどって末端まで進み、各ノードでバイナリ決定を行うことで決定できます。このとき、ノードの変数の値が true の場合は実線が、false の場合は点線が示されます。テストされる変数の順序が固定されている場合、BDD は「順序付き」であると言われます。次の 2 つの条件が true の場合、BDD は「簡約付き」であると言われます。

各ノードの後継ノードはそれぞれ異なります。
同じ変数に同じ後継者を持つ2つの異なるノードは存在しない。^[7]^[8]

順序付けされ簡約された BDD は、簡約順序二分決定図 (ROBDD) と呼ばれます。ROBDD の例は、関数を表す右の図です。任意のパスに沿った変数の順序は常に、であるため、すべてのノードには異なる後続ノードがあり、同じ変数と同じ後続ノードが 2 つ存在することはありません。 $f(x_{1},x_{2},x_{3})={\bar {x}}_{1}{\bar {x}}_{2}{\bar {x}}_{3}+x_{1}x_{2}+x_{2}x_{3}$ $x_{1}$ $x_{2}$ $x_{3}$

条件文

コンピュータサイエンスでは、条件文は二者択一の決定を行うために使用されます。^[9] プログラムは、特定のブール値が真か偽かに応じて、異なる計算やアクションを実行できます。

if-then-else 構造は、ブール式の値に応じて 2 つのコードブロックのいずれかを実行する制御フローステートメントであり、その構造は次のようになります。

条件が
    コードブロック1
それ以外
    コードブロック2
終わり

条件式はでありcondition、それが真であればがcode block 1実行され、そうでない場合はcode block 2が実行されます。else-if 構造を使用して複数の条件を組み合わせることもできます。

条件1の場合
    コードブロック1
条件2の場合
    コードブロック2
それ以外
    コードブロック3
終わり

これは、右側のフロー図で表すことができます。 1 つの条件が真であると判断された場合、残りの条件はスキップされるため、上記の 3 つのコードブロックのうち 1 つだけが実行されます。

while ループは、ブール式が false になるまでコードブロックを繰り返し実行し、各ループの前に繰り返しを続行するかどうかを決定する制御フローステートメントです。これは if-then 構造に似ていますが、コードブロックを複数回実行できます。

参照

騎士のツアー

参考文献

^ スノー、ロバータ・M.; フィリップス、ポール・H. (2007)、「重要な意思決定：非営利組織のための実践ガイド」、ジョン・ワイリー・アンド・サンズ、p. 44、ISBN 978-0-470-18503-2。
^ Dixit, JB (2009)、コンピュータの基礎とC言語によるプログラミング、ファイアウォールメディア、p. 61、ISBN 978-81-7008-882-0。
^ エドワード・ユアドン（1975年3月19日）「明確な思考が重要：ネストされたIFはプログラムのバグにつながる悪意のある計画ではない」Computerworld：15。
^ Clarke, EM; Grumberg, Orna ; Peled, Doron (1999)、Model Checking、MIT Press、p. 51、ISBN 978-0-262-03270-4。
^ ベン・アキバ、モシェ・E.、ラーマン、スティーブン・R.（1985）、離散選択分析：理論と旅行需要への応用、交通研究、第9巻、MITプレス、p.59、ISBN 978-0-262-02217-0。
^ Kukreja, Jyoti. 「デジタル回路解析におけるバイナリ決定図の応用」(PDF)。南カリフォルニア大学。S2CID 13980719。2003年 9 月 28 日のオリジナル(PDF)からアーカイブ。
^ Pfenning, Frank (2010年10月28日). 「二分決定図に関する講義ノート」(PDF)。カーネギーメロン大学コンピュータサイエンス学部。2014年3月9日時点のオリジナルよりアーカイブ(PDF) 。 2020年5月26日閲覧。
^ 「二分決定図」（PDF）。ヴェローナ大学コンピューターサイエンス学部。 2016年4月18日時点のオリジナルよりアーカイブ（PDF）。 2020年5月26日閲覧。
^ 「プログラミング - 条件文」www.cs.utah.edu . 2020年5月26日閲覧。

[1] スノー、ロバータ・M.; フィリップス、ポール・H. (2007)、「重要な意思決定：非営利組織のための実践ガイド」、ジョン・ワイリー・アンド・サンズ、p. 44、ISBN 978-0-470-18503-2。

[2] Dixit, JB (2009)、コンピュータの基礎とC言語によるプログラミング、ファイアウォールメディア、p. 61、ISBN 978-81-7008-882-0。

[3] エドワード・ユアドン（1975年3月19日）「明確な思考が重要：ネストされたIFはプログラムのバグにつながる悪意のある計画ではない」Computerworld：15。

[4] Clarke, EM; Grumberg, Orna ; Peled, Doron (1999)、Model Checking、MIT Press、p. 51、ISBN 978-0-262-03270-4。

[5] ベン・アキバ、モシェ・E.、ラーマン、スティーブン・R.（1985）、離散選択分析：理論と旅行需要への応用、交通研究、第9巻、MITプレス、p.59、ISBN 978-0-262-02217-0。

[6] Kukreja, Jyoti. 「デジタル回路解析におけるバイナリ決定図の応用」(PDF)。南カリフォルニア大学。S2CID 13980719。2003年 9 月 28 日のオリジナル(PDF)からアーカイブ。

[7] Pfenning, Frank (2010年10月28日). 「二分決定図に関する講義ノート」(PDF)。カーネギーメロン大学コンピュータサイエンス学部。2014年3月9日時点のオリジナルよりアーカイブ(PDF) 。 2020年5月26日閲覧。

[8] 「二分決定図」（PDF）。ヴェローナ大学コンピューターサイエンス学部。 2016年4月18日時点のオリジナルよりアーカイブ（PDF）。 2020年5月26日閲覧。

[9] 「プログラミング - 条件文」www.cs.utah.edu . 2020年5月26日閲覧。