이항결정

이항 결정은 예를 들어 어떤 특정한 조치를 취하든지 하지 않든지 간에 두 가지 대안 사이의 선택이다.^[1]

이항 결정은 많은 분야에서 기본이다.예를 들면 다음과 같다.

• 수학적 논리의 진실 값과 컴퓨터 과학의 해당 부울 데이터 유형으로, 참 또는 거짓으로 선택될 수 있는 값을 나타낸다.^[2]
• 컴퓨터 과학의 조건부 문장(만약에 또는 그 다음에 어떤 코드를 실행할지에 대한 이진 결정).^[3]
• 의사결정 나무와 이진 결정도, 이진 결정의 순서에 대한 표현.^[4]
• 이항 선택, 이항 결정 결과에 대한 통계 모델.^[5]

이진 결정도

이진 결정도(BDD)는 부울 함수를 시각적으로 나타내는 방법이다.BDD의 한 가지 적용은 CAD 소프트웨어와 디지털 회로 분석에서 부울 함수를 표시하고 조작하는 효율적인 방법이다.^[6]

부울함수의 값은 BDD의 경로를 따라 단자로 내려가면서, 노드의 변수 값이 참일 경우 솔리드 라인이 따르고, 거짓일 경우 점선이 따르는 각 노드에서 이진 결정을 하여 결정할 수 있다.BDD는 시험한 변수의 순서가 고정되어 있으면 '순서'라고 한다.다음의 두 조건이 사실이라면 BDD는 '감소'된다고 한다.

• 각 노드의 각 후속 노드는 구별된다.
• 동일한 변수의 두 개의 구별되는 노드가 동일한 계승자를 가지고 있지 않다.^[7][8]

주문 및 축소된 BDD를 ROBDD(Reduced Ordered Binary Decision Diagraphy, ROBDD)라고 할 수 있다.An example of a ROBDD is the figure to the right, which represents the function ${\displaystyle f(x_{1},x_{2},x_{3})={\bar {x}}_{1}{\bar {x}}_{2}{\bar {x}}_{3}+x_{1$$}x_{2}+x_{2$$}}x_{3$ .어떤 경로를 따라든 변수의 순서는 항상 ${\displaystyle {x\mathrm{}}_{}}$ 1 ${\$ x ${\displaystyle {2\mathrm{}}_{}}$ ${\$ ${\displaystyle {x\mathrm{}}_{}}$ 3 ${\$이며$,$ 모든 노드는 고유한 계승자를 가지며, 동일한 변수와 동일한 계승자의 두 개의 노드가 없다.

조건문

컴퓨터 과학에서 조건부 진술은 이항적인 결정을 하는데 사용된다.^[9]프로그램은 특정 부울 값이 참으로 평가되는지 거짓으로 평가되는지에 따라 다른 계산이나 동작을 수행할 수 있다.

if-ten-else 구성은 부울식 값에 따라 두 개의 코드 블록 중 하나를 실행하는 제어 흐름 문이며 그 구조는 다음과 같다.

조건일 경우 코드 블록 1 다른 코드 블록 2 끝

조건부 표현은condition, 그리고 그것이 사실이라면,code block 1실행 중, 그렇지 않은 경우code block 2실행된다.또한 여러 조건을 다른 경우 구성과 결합할 수도 있다.

조건 1의 경우 코드 블록 1의 경우 코드 블록 1의 경우 조건 2의 경우 코드 블록 2의 경우 코드 블록 3의 끝

이것은 오른쪽의 흐름도로 나타낼 수 있다.하나의 조건이 참인 것으로 판명되면 나머지는 생략하므로 위의 세 가지 코드 블록 중 하나만 실행할 수 있다.

A while loop은 부울 식이 거짓이 될 때까지 코드 블록을 반복적으로 실행하는 제어 흐름 문으로, 각 루프 전에 반복 여부를 결정한다.이는 if-then 구성과 유사하지만 코드 블록을 여러 번 실행할 수 있다.

참고 항목

• 나이트 투어

참조