🔢 mathematics

Genuine and Spurious Equilibria in the Graph Model for Conflict Resolution under Effective State Exclusion

본 논문은 상태 공간을 제한함으로써 갈등 해결을 위한 그래프 모델(Graph Model for Conflict Resolution)에서 효과적으로 배제된 상태들을 모델링하는 구조적 접근 방법을 제안하며, 이를 통해 평형 예측을 진정한 것, 가짜인 것, F-조건부인 것, 또는 배제된 것으로 분류하고 서로 다른 안정성 개념들이 그러한 배제에 어떻게 반응하는지 특징짓는다.

원저자: Yukiko Kato

게시일 2026-09-17

📖 5 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Yukiko Kato

원본 논문은 CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

갈등은 단순히 두 진영이 하나의 목표를 향해 움직이는 단순한 게임인 경우가 드뭅니다. 현실 세계에서는 판(board) 자체가 변할 수 있습니다. 조약이 특정 군사 기동을 금지할 수도 있고, 새로운 법률이 특정 비즈니스 관행을 불가능하게 만들 수도 있으며, 물리적 장벽이 특정 지역을 접근 불가능하게 만들 수도 있습니다. 이러한 강제적 제약이 나타나면, 기존의 갈등 지도는 쓸모없게 됩니다. 수십 년 동안 전략적 분쟁을 연구하는 전문가들은 갈등이 어떻게 끝나는지 예측하기 위해 '그래프 모델 기반 갈등 해결(Graph Model for Conflict Resolution)'이라는 방법을 사용해 왔습니다. 이 방법은 갈등을 가능한 상황들, 즉 '상태(states)'들의 지도처럼 취급하며, 이 상태들을 연결하는 선들은 누가 어디로 이동할 수 있는지를 보여줍니다. 모델은 관련된 사람들의 선호도(그들이 무엇을 좋아하고 무엇을 두려워하는지)를 분석함으로써, 누구도 자신의 위치를 바꿀 이유가 없는 안정적인 결과인 '균형(equilibria)'을 식별합니다. 이는 국제 외교부터 환경 분쟁에 이르기까지 모든 것을 이해하는 데 강력한 도구가 됩니다.

그러나 이 작업의 배경에는 오랫동안 핵심적인 질문이 남아 있었습니다. 만약 지도의 한 조각이 갑자기 제거된다면, 이러한 예측에는 어떤 일이 벌어질까요? 만약 어떤 상태가 단지 바람직하지 않은 것이 아니라 실질적으로 도달 불가능한 것이 된다면, 기존의 예측이 여전히 유효할까요? 오랫동안 분석가들은 금지된 상태를 모든 이에게 최악의 결과라고 모델에 알려주는 방식으로 이를 처리하려 했습니다. 하지만 이 접근 방식은 논리적 함정을 만듭니다. 갈등의 논리에서, 어떤 상태를 '끔찍한 것'으로 만드는 것은 오히려 그것을 더 강력한 위협으로 만듭니다. 만약 상대방이 당신이 특정 결과에 의해 무너질 것임을 안다면, 그들은 당신을 구석으로 몰아넣기 위해 그 공포를 이용할 수 있습니다. 어떤 상태를 최악이라고 순위를 매김으로써, 당신은 의도치 않게 그 상태가 나쁜 상황을 안정시키는 힘을 강화하게 됩니다. 그 상태는 게임에서 완전히 제거되는 대신, 여전히 레버리지(지렛대)로서 남게 됩니다.

도쿄 과학 대학의 연구자 가토 유키코(Yukiko Kato)는 이제 이를 해결할 방법을 개발했습니다. 사람들이 상태를 얼마나 싫어하는지를 바꾸는 대신, 가토의 연구는 구조적 변화를 제안합니다. 즉, 금지된 상태와 그곳으로 이어지는 모든 경로를 모델에서 단순히 삭제하는 것입니다. 이는 새로운 제한된 버전의 갈등 지도를 만듭니다. 원래의 지도와 제한된 지도를 비교함으로써, 이 연구는 모든 안정적인 결과가 동일하게 만들어지는 것은 아님을 밝혀냅니다. 어떤 예측은 '진정한(genuine)' 것인데, 이는 금지된 상태가 존재하든 존재하지 않든 안정성을 유지함을 의미합니다. 다른 것들은 '가짜(spurious)'인데, 이는 모델이 이제는 불가능해진 위협에 의존했기 때문에 안정적으로 보였을 뿐임을 의미합니다. 또한 '조건부(conditional)' 결과도 있는데, 이는 금지된 상태가 사라졌기 때문에 안정적이 된 결과이며, '배제된(excluded)' 결과는 이전에는 안정적이었으나 이제는 금지 구역의 일부가 된 결과입니다.

이 연구는 이러한 범주들이 단순한 수학적 호기경이 아니라, 실제적인 전략적 변화를 나타낸다는 것을 증명합니다. 예를 들어, 연구는 어떤 유형의 안정성은 취약하다는 것을 보여줍니다. 만약 어떤 안정적인 결과가 금지된 상태를 통과하는 반응의 사슬에 의존했다면, 그 안정성은 상태가 제거되는 즉시 사라집니다. 반대로, 어떤 경우에는 상태를 제거하는 것이 새로운 안정성을 창출할 수도 있습니다. 이는 이전에는 상대방이 금지된 영역으로 이동함으로써 처벌을 피할 수 있었기에 불안정했던 상태가, 그 탈출 경로가 봉쇄됨으로써 처벌이 효과적이 되어 상황이 안정되는 경우에 발생합니다. 논문은 이러한 변화가 갈등을 분석하는 특정 규칙들에 크게 의존하며, 어떤 규칙은 이러한 변화에 면역력이 있는 반면 어떤 규칙은 매우 민감하다는 것을 보여줍니다.

이 아이디어를 테스트하기 위해 저자는 이 프레임워크를 유명한 실제 사례인 1980년대 후반 온타리오주 엘마이라(Elmira)의 지하수 오염 분쟁에 적용했습니다. 이 갈등에서 화학 회사, 정부, 그리고 지역 관리들은 독성 현장을 어떻게 정화할지를 두고 투쟁을 벌였습니다. 회사는 현장을 단순히 버리고 떠날 수 있는 옵션을 가지고 있었는데, 이는 원래의 분석에서 강력한 위협 역할을 했습니다. 연구는 이 방치 옵션이 법적으로 불가능한 시나리오(예를 들어 엄격한 재무 보증이나 책임법에 의한)를 가정했습니다. 이 옵션이 제거된 상태로 모델을 실행했을 때, 결과는 극적으로 변했습니다. 이전에 예측되었던 안정적 결과 중 하나인 '회사가 머물되 명령이 수정되는 상황'은 '가짜(spurious)'임이 드러났습니다. 그것은 떠나겠다는 위협이 작동하고 있었기 때문에 존재했던 것이었습니다. 또 다른 결과, 즉 회사가 수정 없이 원래의 명령을 받아들이는 상황은 탈출 경로가 차단되었기 때문에 비로소 안정적이 되었습니다. 이 '조건부' 안정성은 그 법적 장벽이 유지되는 동안에만 합의가 유지될 것임을 의미했습니다.

또한 이 연구는 두 가지 다른 위협 판단 방식 사이의 흔한 혼동을 명확히 합니다. 한 가지 방식은 위협이 '신뢰할 수 있는지(credible)' 묻는 것입니다. 즉, 위협을 가하는 사람이 그것이 자신에게 이득이 된다면 실제로 실행할 것인가 하는 점입니다. 다른 방식은 위협이 '허용 가능한지(admissible)' 묻는 것입니다. 즉, 그 위협으로 가는 경로가 열려 있는가 하는 점입니다. 연구는 이 둘이 독립적임을 보여줍니다. 위협은 완벽하게 신뢰할 수 있지만(사람이 그것을 하고 싶어 함), 구조적으로는 허용 불가능할 수 있습니다(경로가 막혀 있음). 반대로, 위협은 허용 가능하지만 신뢰할 수 없을 수도 있습니다. 이러한 구분이 중요한 이유는, 신뢰성만을 체크하는 모델은 경로가 물리적 또는 법적으로 절단되었다는 사실을 놓칠 수 있기 때문입니다. 마찬가지로, 연구는 상태가 '안전한지(safe)'(즉, 갈등이 금지 구역으로 흘러 들어갈 수 없음)와 예측이 '건전한지(sound)'(즉, 그 안정성을 증명하는 논리가 금지 구역에 의존하지 않음)를 구분합니다. 상태가 금지 구역으로 빠져드는 것에 대해서는 안전할 수 있지만, 그 안정성의 증명이 해당 구역을 통하는 경로에 의존했다면 그 안정성 증명은 깨질 수 있습니다.

궁극적으로, 이 작업은 정책 입안자와 분석가들에게 진단 도구를 제공합니다. 이를 통해 그들은 새로운 규칙이 도입될 때 어떤 예측이 살아남을지, 어떤 것이 붕괴할지, 그리고 어떤 새로운 합의가 가능해질지를 정확히 볼 수 있습니다. 이는 단순히 새로운 지도에 맞춰 답을 다시 계산하는 것을 넘어, 변화의 메커니즘을 설명합니다. 연구는 상태를 제거하는 것이 단순히 그래프에서 선 하나를 지우는 문제가 아니라, 레버리지와 탈출의 경로를 끊음으로써 전략적 지형을 근본적으로 변화시킨다는 것을 확인시켜 줍니다. 연구는 이러한 구조적 배제가 특정 옵션을 제거하는 법을 통과하는 것과 같이, 금지된 상태로 이어지는 전이를 차단함으로써 현실 세계에서 구현될 수 있다고 결론짓습니다. 이 프레임워크는 이러한 변화를 만드는 가장 저렴한 방법을 찾는 문제를 해결하지는 않지만, 그러한 변화가 갈등의 결과에 실제로 무엇을 할 것인지 이해하는 데 필요한 어휘를 제공합니다. 플레이어의 선호도와 구조적 실체를 분리함으로써, 이 연구는 게임의 규칙이 변할 때 갈등이 어떻게 해결되는지에 대한 더 명확하고 정직한 관점을 제시합니다.

기술 요약: 효과적 상태 배제 하의 그래프 모델에서의 진정한 평형과 가짜 평형

문제 정의
그래프 갈등 해결 모델(GMCR)에서 평형 예측은 의사결정자(DM)의 선호와 행동 가정뿐만 아니라, 모델링된 상태 공간과 전이 구조에도 조건부적이다. 많은 실제 갈등 상황에서 특정 상태들은 단순히 바람직하지 않은 것이 아니라, 규제 체제, 조약 준수, 물리적 제약 또는 정책적 반사실(counterfactuals)로 인해 실질적으로 이용 불가능한 상태가 된다. 표준 GMCR 모델링은 이러한 상태를 선호 목록의 최하단에 배치함으로써 바람직하지 않음을 처리한다. 그러나 본 논문은 이러한 접근 방식이 '실질적 배제(effective exclusion)'를 포착하는 데 실패한다고 주장한다. 제재 기반 안정성 분석(예: 일반 메타 합리성 또는 대칭 메리타 합리성) 하에서, 상태를 낮게 순위 매기는 것은 해당 상태를 분석에서 제거하는 것이 아니라 오히려 제재로서의 역할을 강화할 뿐이다. 따라서, 구조적으로 이용 불가능한 상태와 단순히 선호도가 낮은 상태를 구분하고, 상태 집합( $F$ )의 배제가 선호 기반의 신뢰성과 구조적 허용성을 혼동하지 않으면서 어떻게 평형 예측을 변화시키는지 결정하는 프레임워크가 필요하다.

방법론
본 논문은 두 가지 그래프 모델의 비교를 기반으로 하는 구조적 진단 프레임워크를 제안한다.

원본 모델 ( $G$ ): 전체 상태 집합 $S$ 와 전이를 포함하는 표준 그래프 모델.
제한된 모델 ( $G \upharpoonright F$ ): 지정된 제외 상태 집합 $F \subseteq S$ 와 그에 인접한 모든 아크(arc)를 제거하여 얻은 모델. 이 제한은 $F$ 에서 끝나는 제재뿐만 아니라, $F$ 를 통과하는 모든 제재 경로(sanctioning sequences)까지도 제거한다.

핵심 방법론은 **비교 평형 진단(Comparative Equilibrium Diagnosis)**이다. 주어진 안정성 개념 $\sigma$ 에 대해 $G$ 의 평형 집합 $Eq_\sigma(G)$ 와 $G \upharpoonright F$ 의 평형 집합 $Eq_\sigma(G \upharpoonright F)$ 를 비교함으로써, 모든 평형 예측은 다음 네 가지 범주 중 하나로 분류된다:

진정한(Genuine): $G$ 의 평형 중 $G \upharpoonright F$ 에서도 여전히 평형으로 남는 것.
가짜(Spurious): $G$ 의 평형( $F$ 외부)이지만, $G \upharpoonright F$ 에서는 더 이상 평형이 아니게 되는 것.
F-조건부(F-conditional): $G$ 에서는 평형이 아니었으나, $G \upharpoonright F$ 에서는 평형이 되는 상태.
제외된(Excluded): $G$ 내에 존재하는 평형 중 $F$ 에 속하는 것.

분석은 국소성 원리(Locality Principle)(보조정리 3.4)에 의존하며, 이는 안정성 검증이 전방 도달 가능(forward-reachable) 부분 모델에만 의존한다는 것을 확립한다. 이 원리를 통해 저자는 만약 허용된 상태에서 $F$ 로 향하는 아크가 없다면, 배제가 안정성 검증에 영향을 미치지 못함을 증명할 수 있다.

주요 기여
본 논문의 주요 기여는 다음과 같다:

일반 진단 프레임워크: 임의의 안정성 개념에 적용 가능한 집합론적 분류(진정한, 가짜, F-조건부, 제외됨)를 정의하며, 이는 우발적 상태 배제에 따라 예측이 어떻게 변하는지에 대한 의미론을 제공한다.
안정성 특화 이론: 네 가지 표준 안정성 개념에 대해 이러한 변화를 유도하는 메커니즘을 규명한다:
- 내쉬 안정성(Nash Stability): 내쉬 평형은 결코 가짜(spurious)가 될 수 없다. 배제는 개선된 이동(improving moves)을 제거함으로써 새로운 내쉬 평형을 생성할 수는 있지만, 기존의 평형을 파괴할 수는 없다.
- 일반 메타 합리성(GMR) 및 순차적 안정성(SEQ): 이 개념들은 가짜 평형을 생성할 수 있다. 이는 배제가 필요한 제재 경로(단순히 제외된 집합 $F$ 를 통과하는 경로를 포함하여)를 제거할 때 발생한다(이는 세 명 이상의 DM이 있는 갈등에서 유효하다).
- 대칭 메타 합리성(SMR): SMR은 뚜렷한 비대칭성을 보인다. "제재 측면"(제재의 상실)은 가짜 평형을 생성할 수 있는 반면, "탈출 측면"( $F$ 로의 탈출 경로 상실)은 F-조건부 안정성을 생성할 수 있다.
개념적 분리: 갈등 분석에서 흔히 혼동되는 세 가지 속성을 공식적으로 구분한다:
- 선호적 신뢰성(Preferential Credibility): 제재가 제재를 가하는 DM에게 개선된 이동인지 여부.
- 궤적 안전성(Trajectory Safety): 합리적이거나 임의적인 궤적이 주어진 상태로부터 $F$ 에 도달할 수 있는지 여부.
- 검증 건전성(Verification Soundness): 안정성 인증이 $F$ 의 구조적 배제에서도 생존하는지 여부.
  저자는 신뢰성과 허용성이 독립적임을 증명한다(제재는 신뢰할 수 있으나 구조적으로 배제될 수 있음). 또한, 개선된 궤적 하에서의 궤적 안전성이 검증 건전성을 보장하지는 않는다는 점을 밝힌다.
구조적 구현 가능성(Structural Implementability): 본 논문은 제외 반사실(exclusion counterfactual)이 구조적으로 구현 가능하다는 것을 보여준다. 허용된 상태에서 $F$ 로 향하는 모든 아크를 삭제하는 "경계 개입(boundary intervention)"을 수행함으로써, 선호를 변경하지 않고도 허용된 상태 집합 상에서 제한된 모델의 예측을 재현할 수 있다.

결과

변화의 메커니즘: 내쉬 평형은 가짜 평형으로부터 면역력이 있음을 증명한다. GMR 및 SEQ 평형은 편차를 위한 모든 제재 경로( $F$ 에서 끝나거나 $F$ 를 통과하는 경로 모두)가 상실될 때에만 가짜 평형이 된다. SMR 평형은 제재 상실을 통해 가짜가 되거나, $F$ 로의 탈출을 막는 탈출 경로의 제거를 통해 F-조건부 평형이 될 수 있다.
축의 독립성: "역-에스컬레이션 게임(Counter-escalation game)"과 "엘미라 지하수 갈등(Elmira groundwater conflict)"을 통해, 제재가 완전히 신뢰할 수 있음에도(제재자에게 개선된 이동임에도) 구조적으로 배제되어 SEQ 평형을 가짜로 만들 수 있음을 보여준다. 반대로, 어떤 상태가 개선된 궤적( $\nu_{imp}$ ) 하에서 $F$ 에 도달할 수 없어 안전하더라도, 그 안정성을 뒷받받는 제재가 $F$ 를 통과하기 때문에 가짜 평형이 될 수 있음을 입증한다.
엘미라 사례 연구: 엘미라 지하수 갈등에 적용한 결과:
- 상태 4(고전적 평형)는 포기(abandonment)의 위협(상태 9)에 전적으로 의존하기 때문에 GMR/SMR 하에서 **가짜(spurious)**이다.
- 상태 7(공공 행위자들이 공동으로 선호함)은 **F-조건부(F-conditional)**이다. 즉, 포기 옵션이 구조적으로 제거될 때에만 안정해진다.
- 상태 5와 8은 진정한(genuine) 상태로, 제외 여부와 상관없이 안정성을 유지한다.
- 이 분석은 신뢰성 정교화(예: St1 vs. St4) 하에서는 동일해 보이지만, 제외 집합에 대한 구조적 의존성 측면에서 근본적으로 다른 상태들을 구분해낸다.

의의 및 범위
본 논문은 이 작업을 설계 알고리즘이라기보다 구조적 진단 도구로 위치시킨다. 그 의의는 평형 예측이 단순히 선호도가 아니라 상태의 *허용성(admissibility)*에 민고하다는 점을 명확히 하는 데 있다. 이 프레임워크를 통해 분석가는 예측된 해결책이 제도적 변화에 견고한지(진정한), 취약하여 무효화될 가능성이 높은지(가짜), 또는 특정 체제에 전적으로 의존하는지(F-조건부) 판단할 수 있다.

저자는 다음과 같이 논문의 범위를 명시적으로 제한한다:

본 프레임워크는 외생적 제외 집합의 결과를 진단하는 것이지, 그 집합 자체를 생성하거나 정당화하는 것이 아니다.
상태가 존재하거나 제외된다는 이진적 허용성을 가정하며, 점진적 또는 확률적 제외를 모델링하지 않는다.
제외가 구조적으로 구현 가능하다는 점은 확립하지만, 특정 결과를 달성하기 위한 최소 비용 개입을 찾는 최적화 문제를 해결하지는 않는다.
분석은 구조적 채널을 격리하기 위해 선호를 고정하며, 실제 세계의 체제가 가치 평가를 어떻게 변화시키는지 모델링하지 않는다.

본 논문은 경계 개입이 제외를 구현하기에 충분하다는 결론을 내리지만, 최소 개입 및 최적의 구조적 설계 문제는 향후 연구를 위한 복합적인 조합론적 과제로 남아 있다. 본 논문의 일차적 기여는 특정 체제를 설계하려고 시도하기 전에, 보존된, 무효화된, 혹은 유도된 예측을 구분하는 데 필요한 어휘와 이론적 토대를 제공하는 것이다.

유사한 논문