就是n的元素給定m個關系求他們之間的關系。 eg. ∵a>b and b>c ∴a>c emmmm 若要知道n個元素的絕對關系，則需知道C(n,2)個關系。 例題：POJ3 ...

弗洛伊德算法-Floyd(Floyd-Warshall)-求多源最短路徑，求傳遞閉包Floyd算法又稱為插點法，是一種利用動態規划的思想尋找給定的加權圖中多源點之間最短路徑的算法， 與Dijkstra算法類似。該算法名稱以創始人之一、1978年圖靈獎獲得者、斯坦福大學計算機科學系教授羅伯特 ...

傳遞閉包 在數學中，在集合 X 上的二元關系 R 的傳遞閉包是包含 R 的 X 上的最小的傳遞關系。 例如，如果 X 是(生或死)人的集合而 R 是關系“為父子”，則 R 的傳遞閉包是關系“x 是 y 的祖先”。再比如，如果 X 是空港的集合而關系 xRy 為“從空港 x 到空港 y ...

徑，則將T[i,j]設置為1，否則設置為0；有向圖的傳遞閉包表示從鄰接矩陣A出發，求的所有節點間的路徑可達情 ...

整除性 輾轉相除 整除及其性質 定義5.1.1 ：設a和b是任意整數，若存在整數c，使得a=bc，則稱a是b的倍數，b是a的因數。或者稱a被b整除，而b整除a。記為b|a。 注意： （1）任意整數 ...

二元關系 設S是一個非空集合,R是關於S的元素的一個條件.假設對S中隨意一個有序元素對（a,b）,我們總能確定a與b是否滿足條件R,就稱R是S的一個關系（relation）.假設a與b滿足 ...

一.實驗內容 （1）求任意一個命題公式的真值表。 （2）利用真值表求任意一個命題公式的主范式。 （3）利用真值表進行邏輯推理。 注：（2）和（3）可在（1）的基礎上完成。 二.實驗目的 真值表是命題邏輯中的一個十分重要的概念，利用它幾乎可以解決命題邏輯中的所有問題。例如，利用命題公式 ...