과 관련됨. ) 입문 수업에 종종 등장합니다. 이는 통신 장애가 발생할 수 있는 모든 종류의 양자간 통신에 적용될 수 있습니다. 인식론적 논리의 핵심 개념에서 이 문제는 상식의 중요성을 강조합니다. 일부 저자는 이것을 2 장군 패러독스 ( Two Generals Paradox ), 2 군대 문제 ( Two Armies Problem ) 또는 협조 된 공격 문제 ( Coordinated Attack Problem ) 라고 합니다. 두 장군 문제는 해결할 수 없는 것으로 판명된 최초의 컴퓨터 통신 문제였습니다. 이 증명의 중요한 결과는 비잔틴 장군 문제와 같은 일반화가 임의의 통신 실패에도 불구하고 해결 될 수 없다는 것이다. 이와 같이, 모든 분산 일관성 프로토콜 ( distributed consistency protocols ) 에 대한 실질적인 기대치를 제공한다. 목차 1
에 이상이 있다면 직접 편집하시거나, 해당 글의 토론 문서에 의견을 남겨주세요. ( 2018년 7월 ) 컴퓨팅 영역에서 두 장군 문제는 신뢰할 수 없는 링크를 통해 의사 소통함으로써 행동을 조정하려는 설계 과제와 함정을 설명하기 위한 사고 실험이다. 이것은 좀 더 일반적인 비잔틴 장군 문제 ( Byzantine Generals Problem ) 와 관련이 있으며 컴퓨터 네트워킹 ( 특히, TCP가 종단간 상태 일관성을 보장할 수 없는지와 이유에 대한 전송 제어 프로토콜 ( Transmission Control Protocol ) ( Transmission Control Protocol ) 과 관련됨. ) 입문 수업에 종종 등장합니다. 이는 통신 장애가 발생할 수 있는 모든 종류의 양자간 통신에 적용될 수 있습니다. 인식론적 논리의 핵심 개념에서 이 문제는 상식의 중요성
두 장군 문제 - 위키백과, 우리 모두의 백과사전 두 장군 문제 위키백과, 우리 모두의 백과사전. ( 두장군문제에서 넘어옴 ) 둘러보기로 가기 검색하러 가기 이 문서의 내용은 출처가 분명하지 않습니다. 이 문서를 편집하여, 신뢰할 수 있는 출처를 표기해 주세요. 검증되지 않은 내용은 삭제될 수도 있습니다. 내용에 대한 의견은 토론 문서에서 나누어 주세요. ( 2018년 7월 ) 이 문서는 다른 언어판 위키백과의 문서 ( en : Two Generals'Problem ) 를 번역 중이며, 한국어로 좀 더 다듬어져야 합니다. 번역에 이상이 있다면 직접 편집하시거나, 해당 글의 토론 문서에 의견을 남겨주세요. ( 2018년 7월 ) 컴퓨팅 영역에서 두 장군 문제는 신뢰할 수 없는 링크를 통해 의사 소통함으로써 행동을
, 두 장군이 통신 할 수 있는 유일한 방법은 메신저를 계곡을 통해 보내는 것입니다. 불행히도, 계곡은 도시의 군대에 의해 점령되고 있으며, 계곡을 통해 보내진 어떤 사자는 붙잡힐 가능성이 있습니다. 두 장군은 공격에는 동의했지만 공격 시간을 합의하지 않았습니다. 두 명의 장군은 그들의 공격이 성공하기 위해서는 도시를 동시에 공격해야 합니다. 그렇지 않으면, 단독으로 공격을 시도한 군대가 죽을 것입니다. 따라서, 그들은 공격 할 시간을 결정하고 그 시간에 공격에 동의하기 위해 서로 의사 소통해야 하며, 각 장군은 상대방이 공격 계획에 동의했음을 알고 있어야 합니다. 메시지 수신 확인은 원래 메시지만큼 쉽게 손실 될 수 있으므로 잠재적으로 무한한 일련의 메시지가 합의에 도달해야 합니다. 사고 실험은 그들이 어떻게 합의에 도달할 지를 고려하
마지막 메시지가 성공적으로 전달되지 않았다면 적어도 한 장군은 ( 아마도 수신측 ) 이 공격을 하지 않을 것으로 결정할 것이다. 마지막 메시지의 발신자 관점에서, 그러나, 보내지고 전달된 메시지의 순서는 그 메시지가 전달되었거나 되었던 것과 똑같은 것입니다. 프로토콜이 결정적이기 때문에, 마지막 메시지를 보내려는 장군은 여전히 공격하기로 결정합니다. 우리는 제안된 프로토콜이 한 장군을 공격하고 다른 공격자는 공격하지 않도록 상황을 만들었습니다. 프로토콜이 문제의 해결책이라는 가정과 모순됩니다. 비결정적이고 가변길이의 프로토콜의 경우 [ 편집 ] 가변 메시지 수를 갖는 비 결정적 프로토콜은 유한 트리와 비교 될 수 있는데, 트리의 각 리프 또는 브랜치 ( 노드 ) 는 지정된 포인트까지 탐색 된 예제를 나타냅니다.
임의의 통신 실패에도 불구하고 해결 될 수 없다는 것이다. 이와 같이, 모든 분산 일관성 프로토콜 ( distributed consistency protocols ) 에 대한 실질적인 기대치를 제공한다. 목차 1 정의 2 문제의 설명 3 증명 3. 1 정해진 수의 메세지를 갖는 결정적 프로토콜의 경우 3. 2 비결정적이고 가변길이의 프로토콜의 경우 4 공학적 접근법 정의 [ 편집 ] 다른 장군이 이끌고 있는 두 군대는 요새화된 도시를 공격 할 준비를 하고 있습니다. 군대는 도시 근처, 각각 계곡에 자리 잡고 있습니다. 세 번째 계곡은 두 언덕을 갈라 놓고, 두 장군이 통신 할 수 있는 유일한 방법은 메신저를 계곡을 통해 보내는 것입니다. 불행히도, 계곡은 도시의 군대에 의해 점령되고 있으며, 계곡을 통해 보내진 어떤 사자는 붙잡힐 가능성이
의 경우 [ 편집 ] 가변 메시지 수를 갖는 비 결정적 프로토콜은 유한 트리와 비교 될 수 있는데, 트리의 각 리프 또는 브랜치 ( 노드 ) 는 지정된 포인트까지 탐색 된 예제를 나타냅니다. 이 트리의 루트에는 가능한 시작 메시지가 표시되며이 루트에서 나오는 분기 노드에는 가능한 다음 메시지가 표시됩니다. 리프 노드는 마지막 메시지를 보낸 후 끝나는 예제를 나타냅니다. 메시지를 보내기 전에 종료되는 프로토콜은 null 트리로 표시됩니다. 문제를 해결하는 비 결정적 프로토콜이 있다고 가정합니다. 그런 다음 모든 절점을 제거하여 다른 절점에서 얻을 수있는 이전 절의 결정적인 예와 비슷한 인수에 의해 결정적 프로토콜이 문제를 해결해야합니다. 비 결정적 프로토콜은 유한하므로, 빈 트리가 나타내는 프로토콜이 문제를 해결할
동의했음을 알고 있어야 합니다. 메시지 수신 확인은 원래 메시지만큼 쉽게 손실 될 수 있으므로 잠재적으로 무한한 일련의 메시지가 합의에 도달해야 합니다. 사고 실험은 그들이 어떻게 합의에 도달할 지를 고려하는 것입니다. 가장 간단한 형태로, 지도자인 것으로 알려진 한 장군이, 공격 시기를 결정하고, 이 시간을 다른 장군에게 알려야 합니다. 이 문제는 메시지를 보내고, 받은 메시지를 처리하는 등 장군이 사용할 수 있는 알고리즘을 도출해 내고 올바르게 결론을 내릴 수 있어야 합니다. 예, 두 장군은 합의된 시간에 함께 공격할 것입니다. 장군이 공격 할 시간에 동의하게하는 것이 매우 간단하다는 것을 허용하면 ( 즉, 성공적인 승인을 가진 하나의 성공적인 메시지 ), 두 장군 문제의 미묘함은 장군들 위의 진술에 안전하게 동의하기 위해 사용하는 알고리즘을
in the proof, however, neither can be certain that the attack will be coordinated. There's no algorithm that they can use ( e. g. attack if more than four messages are received ) which will be certain to prevent one from attacking without the other. Also, the first general can send a marking on each message saying it is message 1, 2, 3... of n. This method will allow the second general to know how reliable the channel is and send an appropriate number of messages back to ensure a high probability of at least one message be
로그인하지 않음토론기여계정 만들기로그인 이름공간 문서토론 변수 보기 읽기편집역사 보기 더 보기 검색 둘러보기 대문사용자 모임요즘 화제최근 [UNK] 문서 보기임의 문서로도움말기부 도구 여기를 가리키는 문서가리키는 글의 최근 [UNK] 올리기특수 문서 목록고유 링크문서 정보위키데이터 항목이 문서 인용하기 인쇄 / 내보내기 책 만들기PDF로 다운로드인쇄용 판 다른 언어 [UNK] 日 本 語 [UNK] 링크 편집 이 문서는 2018년 7월 17일 ( 화 ) 16 : 52에 마지막으로 편집되었습니다. 모든 문서는 크리에이티브 커먼즈 저작자표시 - 동일조건변경허락 3. 0에 따라 사용할 수 있으며, 추가적인 조건이 적용될 수 있습니다. 자세한 내용은 이용 약관을 참고하십시오. [UNK] 미국 및 다른 국가에
두 장군 문제(영어: Two Generals' Problem)는 컴퓨팅 영역에서 신뢰할 수 없는 링크를 통해 의사 소통할 때, 행동을 조작하려는 시도의 위험과 설계 과제를 설명하기 위한 사고 실험이다. 이 실험에서 두 장군은 전략 구성을 위해 적진을 통과하여 서로 상대방에게 전령을 보내게 된다. 이 실험은 그들이 보낸 전령이 잡힐 수도 있다는 것을 알면서도 공격을 시작할 시간에 대해 어떻게 합의에 도달할 수 있는지 묻는다. 이것은 일반적인 예시인 비잔티움 장군 문제와 관련이 있으며 컴퓨터 네트워크 과목 입문에서 종종 등장한다(특히 전송 제어 프로토콜(Transmission Control Protocol)(Transmission Control Protocol) 와 관련하여, TCP가 네트워크 종단 간의 상태의 일관성을 보장할 수 없는 지와 그 이유를 보여준다.). 이는 통신 장애가 발생할 수 있는 모든 종류의 양방향 통신에 적용된다. 인식론적 논리의 핵심 개념에서 이 문제는 상식의 중요성을 강조한다. 일부 저자는 이것을 2 장군 패러독스(Two Generals Paradox), 2 군대 문제(Two Armies Problem) 또는 협조 된 공격 문제(Coordinated Attack Problem)라고 한다. 두 장군 문제는 해결할 수 없는 것으로 판명된 최초의 컴퓨터 통신 문제였다. 이 증명의 중요한 결과는 비잔틴 장군 문제와 같은 일반화 또한 임의의 통신 실패로 인해 해결 될 수 없다는 것이다. 이와 같이, 모든 분산 일관성 프로토콜(distributed consistency protocols)에 대한 실질적인 기대의 기반을 제공한다.