5-3. 연결 종류 요약
약한 링크 (Weak Link)
두 후보 숫자가 서로를 바라볼(영향을 미칠) 때마다, 그들은 약하게 연결됩니다.
그중 하나 [파란색 숫자]가 참이면, 다른 하나 [노란색 숫자]는 반드시 거짓이어야 합니다.
그들이 바라볼 수 있는 세 번째 [주황색 숫자] 후보가 있는 경우, 둘 다 거짓이 될 수도 있습니다.
강한 링크 (Strong Link)
강한 링크는 후보 숫자 중 하나가 거짓이면 다른 하나는 반드시 참이어야 함을 의미합니다. 이는 바이-밸류(bi-values)나 바이-로컬(bi-locals)에서 자주 발생하지만, 다른 형태에서도 나타날 수 있습니다.
따라서 강하게 연결되어 있다고 해서 반드시 약하게 연결되어 있는 것은 아닙니다. 강하게 연결된 후보 숫자 둘 다 참이 될 수 있는 상황도 있습니다. (예: 후보 숫자가 그룹으로 묶인 경우)
(저는 강한 링크를 나타낼 때 이 두 가지 시각적 기호를 모두 사용할 것입니다.)
이중 링크 / 양자택일 링크 (Dual Link / Either-Or Link)
약하면서 동시에 강한 링크를 이중 링크(dual link) 또는 양자택일 링크(either-or link)라고 부릅니다. 두 후보 숫자 중 하나는 거짓이 되고, 다른 하나는 참이 됩니다.
바이-밸류와 바이-로컬이 바로 이 경우에 해당합니다.
즉, 기본적으로 약한 링크와 강한 링크가 결합된 형태입니다.
체인을 만들 때 우리는 이중 링크의 '강한 특성'을 사용할지, 아니면 '약한 특성'을 사용할지 자유롭게 선택할 수 있습니다.
요약 (Summarised)
약한 링크 (Weak Link)
- [파란색 5]가 참이면, [노란색 5]는 반드시 거짓이어야 합니다.
강한 링크 (Strong Link)
- [파란색 5]가 거짓이면, [노란색 5]는 반드시 참이어야 합니다.
이중 링크 / 양자택일 링크 (Dual Link / Either-Or Link)
- [파란색 5]가 참이면, [노란색 5]는 반드시 거짓이어야 합니다.
- [파란색 5]가 거짓이면, [노란색 5]는 반드시 참이어야 합니다.
정보 (Info)
링크는 항상 양방향으로 작동합니다.
화살표 머리는 단순히 우리 체인의 시작과 끝 후보 숫자를 더 쉽게 볼 수 있도록 도와줄 뿐입니다.