設二個隨機變數X1 和X2，所可能的發生值分別為{1,…,I}和{1,…,J}。條件機率分配模型為二個I × J 的矩陣A 和B，分別代表在X2 給定的條件下X1的條件機率分配和在X1 給定的條件下X2的條件機率分配。若存在一個聯合機率分配，而且它的二個條件機率分配剛好就是A 和B，則稱A和B相容。我們透過圖形表示法，提出新的二個離散條件機率分配會相容的充分必要條件。另外，我們證明，二個相容的條件機率分配會有唯一的聯合機率分配的充分必要條件為:所對應的圖形是相連的。我們也討論馬可夫鏈與相容性的關係。 / For two discrete random variables X1 and X2 taking values in {1,…,I} and {1,…,J}, respectively, a putative conditional model for the joint distribution of X1 and X2 consists of two I × J matrices representing the conditional distributions of X1 given X2 and of X2 given X1. We say that two conditional distributions (matrices) A and B are compatible if there exists a joint distribution of X1 and X2 whose two conditional distributions are exactly A and B. We present new versions of necessary and sufficient conditions for compatibility of discrete conditional distributions via a graphical representation. Moreover, we show that there is a unique joint distribution for two given compatible conditional distributions if and only if the corresponding graph is connected. Markov chain characterizations are also presented.

給定兩個隨機變數的條件機率矩陣A和B，相容性問題的主要課題包 含：(一)如何判斷他們是否相容？若相容，則如何檢驗聯合分配的唯一性 或找出所有的聯合分配；(二)若不相容，則如何訂定測量不相容程度的方 法並找出最近似聯合分配。目前的文獻資料有幾種解決問題的途徑，例 如Arnold and Press (1989)的比值矩陣法、Song et al. (2010)的不可約 化對角塊狀矩陣法及Arnold et al. (2002)的數學規劃法等，經由這些方法 的啟發，本文發展出創新的特徵向量法來處理前述的相容性課題。 當A和B相容時，我們觀察到邊際分配分別是AB′和B′A對應特徵值1的 特徵向量。因此，在以邊際分配檢驗相容性時，特徵向量法僅需檢驗滿足 特徵向量條件的邊際分配，大幅度減少了檢驗的工作量。利用線性代數中 的Perron定理和不可約化對角塊狀矩陣的概念，特徵向量法可圓滿處理相 容性問題(一)的部份。 當A和B不相容時，特徵向量法也可衍生出一個測量不相容程度的簡單 方法。由於不同的測量方法可得到不同的最近似聯合分配，為了比較其優 劣，本文中提出了以條件分配的偏差加上邊際分配的偏差作為評量最近似 聯合分配的標準。特徵向量法除了可推導出最近似聯合分配的公式解外， 經過例子的驗證，在此評量標準下特徵向量法也獲得比其他測量法更佳的 最近似聯合分配。由是，特徵向量法也可用在處理相容性問題(二)的部份。 最後，將特徵向量法實際應用在兩人零和有限賽局問題上。作業研究的 解法是將雙方採取何種策略視為獨立，但是我們認為雙方可利用償付值表 所提供的資訊作為決策的依據，並將雙方的策略寫成兩個條件機率矩陣， 則賽局問題被轉換為相容性問題。我們可用廣義相容的概念對賽局的解進 行分析，並在各種測度下討論賽局的解及雙方的最佳策略。 / Given two conditional probability matrices A and B of two random variables, the issues of the compatibility include: (a) how to determine whether they are compatible? If compatible, how to check the uniqueness of the joint distribution or find all possible joint distributions; (b) if incompatible, how to measure how far they are from compatibility and find the most nearly compatible joint distribution. There are several approaches to solve these problems, such as the ratio matrix method(Arnold and Press, 1989), the IBD matrix method(Song et al., 2010) and the mathematical programming method(Arnold et al., 2002). Inspired by these methods, the thesis develops the eigenvector approach to deal with the compatibility issues. When A and B are compatible, it is observed that the marginal distributions are eigenvectors of AB′ and B′A corresponding to 1, respectively. While checking compatibility by the marginal distributions, the eigenvector approach only checks the marginal distributions which are eigenvectors of AB′ and B′A. It significantly reduces the workload. By using Perron theorem and the concept of the IBD matrix, the part (a) of compatibility issues can be dealt with the eigenvector approach. When A and B are incompatible, a simple way to measure the degree of incompatibility can be derived from the eigenvector approach. In order to compare the most nearly compatible joint distributions given by different measures, the thesis proposes the deviation of the conditional distributions plus the deviation of the marginal distributions as the most nearly compatible joint distribution assessment standard. The eigenvector approach not only derives formula for the most nearly compatible distribution, but also provides better joint distribution than those given by the other measures through the validations under this standard. The part (b) of compatibility issues can also be dealt with the eigenvector approach. Finally, the eigenvector approach is used in solving game problems. In operations research, strategies adopted by both players are assumed to be independent. However, this independent assumption may not be appropriate, since both players can make decisions through the information provided by the payoffs for the game. Let strategies of both players form two conditional probability matrices, then the game problems can be converted into compatibility issues. We can use the concept of generalized compatibility to analyze game solutions and discuss the best strategies for both players in a variety of measurements.