1978羅伯特·弗洛伊德 Robert w Floyd 設計出Floyd--Warshall算法可在0(n) 時間內算出所有點間的最短路徑。 在程序驗證中使用了《邏輯斷言》 Robert W Floyd (Logical assertion),在他1967年的 羅伯特·弗洛伊德 出生 1936年6月8日 論文《如何確定程序的意義》Assigning 美國狂约 逝世 2001年9月25日(65藏) Meanings to Programs中首先提出，之 國籍 美國 計算接科學 後演化為霍爾邏輯(Hoare1ogic)。 研究領域 任職於 卡内基梅隆大學 史丹福大婴 著名成就 弗洛伊德算法 獲费 团签黄1978 羅伯特 · 弗洛伊德 Robert W Floyd ● 設計出 Floyd-Warshall 算法可在 O(n3 ) 時間內算出所有點間的最短路徑。 ● 在程序驗證中使用了《邏輯斷言》 (Logical assertion) ，在他 1967 年的 論文《如何確定程序的意義》 Assigning Meanings to Programs 中首先提出，之 後演化為霍爾邏輯 (Hoare logic)