2025-11-16T16:01:12.088600

Exact bounds for efficient consistent matrices obtained from a reciprocal matrix

Furtado, Johnson

For a given reciprocal matrix A, we give a union of matrix intervals in which any consistent matrix obtained from an efficient vector for A lies, and, conversely, any consistent matrix in this union comes from an efficient vector for A. The maximal sets of entries in the lower and upper bound matrices of each interval that are attainable by some consistent matrix in the interval are described. This allows us to understand which subsets of the alternatives lie above which other subsets in all efficient orders for each interval. As a result, the partial order on the alternatives dictated by the efficient vectors follows. Then, we use the tools developed to also show that, when the n-by-n reciprocal matrices A,B are simple perturbed consistent matrices, or n=4, the sets of efficient vectors for A and B coincide only if A=B.

academic

역행렬로부터 얻은 효율적 일관성 행렬의 정확한 경계

기본 정보

논문 ID: 2510.12358
제목: Exact bounds for efficient consistent matrices obtained from a reciprocal matrix
저자: Susana Furtado (Universidade do Porto), Charles R. Johnson (Williamsburg, VA)
분류: math.CO (조합론)
발표 시간: 2025년 10월 15일
논문 링크: https://arxiv.org/abs/2510.12358

초록

주어진 역행렬 A에 대해, 본 논문은 A의 효율적 벡터로부터 얻은 모든 일관성 행렬이 포함되는 행렬 구간의 합집합을 제시한다. 역으로, 이 합집합에 포함된 모든 일관성 행렬은 A의 효율적 벡터로부터 나온다. 논문은 각 구간의 하한 및 상한 행렬에서 구간 내 어떤 일관성 행렬에 의해 도달 가능한 최대 항목 집합을 설명한다. 이를 통해 각 구간의 모든 효율적 순서에서 어떤 대안 부분집합이 다른 부분집합 위에 위치하는지 파악할 수 있다. 따라서 효율적 벡터에 의해 결정되는 대안의 부분순서 관계가 확정된다. 그 후 논문은 개발된 도구를 이용하여 n×n 역행렬 A, B가 단순 섭동 일관성 행렬이거나 n=4일 때, A와 B의 효율적 벡터 집합이 일치하는 것과 A=B인 것이 동치임을 증명한다.

연구 배경 및 동기

문제의 중요성

다중 기준 의사결정 분석: 다중 기준 의사결정 모델에서 역행렬(쌍대비교 행렬이라고도 함)은 n개의 대안 간 쌍대 비율 비교를 나타내며, 상대 가중치를 나타내는 기수 순서 벡터를 결정해야 한다.
일관성 문제: 이상적으로 행렬이 모든 삼중항 $1 \leq i,j,k \leq n$ 에 대해 $a_{ij}a_{jk} = a_{ik}$ 를 만족하면 행렬은 일관성이 있다. 그러나 실제로는 일관성 행렬이 드물게 나타나므로, 일관성 행렬을 통해 불일관성 역행렬을 근사해야 한다.
효율적 벡터 이론: Saaty는 초기에 우측 Perron 고유벡터를 기수 순서 벡터로 사용할 것을 권장했지만, 행렬이 불일관성일 때 이는 최선의 선택이 아닐 수 있다. 따라서 Pareto 최적성을 만족하는 효율적 벡터를 찾아야 한다.

기존 방법의 한계

단일 행렬 구간의 부정확성: 이전 연구12는 단일 행렬 구간을 제시했지만, 이 구간은 효율적 벡터로부터 나오지 않은 일관성 행렬을 포함할 수 있다.
정확한 경계 부재: 기존 방법은 어떤 일관성 행렬이 실제로 효율적 벡터로부터 나오는지, 어떤 것이 아닌지를 정확히 설명할 수 없다.
부분순서 관계의 불명확성: 기존 방법은 대안 간 부분순서 관계를 정확히 설명하기 어렵다.

핵심 기여

정확한 행렬 구간 합집합: 최대 $(n-1)!/2$ 개의 행렬 구간의 합집합을 제시하며, 일관성 행렬이 이 합집합에 포함되는 것과 효율적 벡터로부터 나오는 것이 동치이다.
최대 도달 가능 항목 집합: 각 구간의 하한 및 상한 행렬에서 구간 내 일관성 행렬에 의해 도달 가능한 최대 항목 집합을 설명한다.
부분순서 관계 특성화: 효율적 벡터에 의해 결정되는 대안의 부분순서 관계를 완전히 설명하여, 어떤 대안이 모든 효율적 순서에서 다른 대안 위에 위치하는지를 결정한다.
유일성 결과: A, B가 단순 섭동 일관성 행렬이거나 n=4일 때, E(A)=E(B)가 A=B를 함축함을 증명한다.

방법 상세 설명

작업 정의

n×n 역행렬 $A=[a_{ij}]$ (단, $a_{ji}=1/a_{ij}$ )가 주어졌을 때, 효율적 벡터 $w \in \mathbb{R}^n_+$ 를 찾아 대응하는 일관성 행렬 $W=ww^{(-T)}=[\frac{w_i}{w_j}]$ 가 특정 경계 조건을 만족하도록 한다.

핵심 개념

1. 역행렬과 일관성 행렬

역행렬: $PC_n$ 은 모든 n×n 원소별 양수이고 $a_{ji}=1/a_{ij}$ 를 만족하는 행렬의 집합
일관성 행렬: $a_{ij}a_{jk}=a_{ik}$ 를 만족하는 역행렬로, $A=ww^{(-T)}$ 로 표현 가능

2. 효율적 벡터

벡터 $w \in \mathbb{R}^n_+$ 는 행렬 A의 효율적 벡터이다. 만약 $|A-vv^{(-T)}| \leq |A-ww^{(-T)}|$ (원소별 절댓값)이 $v$ 와 $w$ 가 비례함을 함축한다면.

3. 해밀턴 회로와 경로 행렬

해밀턴 회로: $\tau: \tau_1\tau_2\cdots\tau_n\tau_1$
회로 곱: $\tau(A) = a_{\tau_1\tau_2}a_{\tau_2\tau_3}\cdots a_{\tau_n\tau_1}$
경로 행렬: $P_{A,\tau}=[p_{ij}]$ , 여기서 $p_{ij}=P_{A,\tau}(i,j)$ 는 회로 $\tau$ 를 따라 i에서 j로 가는 경로의 곱

경로 행렬 방법: 경로 행렬 $P_{A,\tau}$ 를 도입하여 각 효율적 벡터 부분집합 $E_\tau(A)$ 에 대응하는 일관성 행렬의 경계를 정확히 특성화한다.
최대 도달 가능 집합 이론: 집합 $S_k^{(\tau)}$ 를 정의하여 경로 행렬에서 효율적 벡터에 의해 정확히 도달 가능한 최대 항목 집합을 설명한다.
지배되지 않는 조건: $(A,S)$ -지배되지 않는 개념을 도입하여 효율적 벡터 집합의 극값점을 식별한다.