様式９ +-------------------------------------+----------------+----------------------+ | ｼｽﾃﾑ名(ｺｰﾄﾞ): ＡＬＧＯＰＡＫ | | システム報告書概要 | +-------------------------------------+ +----------------------+ | ﾓｼﾞｭｰﾙ名(ｺｰﾄﾞ): WARSHAL (A602) | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者･学生番号: 増沢善子21SS1159 | 文書作成者･学生番号: 増沢善子21SS1159 | +-------------------------------------+---------------------------------------+ | 作成期間: 62/ 1/ ー / / | 文書作成期間: 62/ 2/ ー / / | +-------------------------------------+---------------------------------------+ | 親モジュール: ＡＬＧＯＳ | 子モジュール: | +-------------------------------------+---------------------------------------+ | 講義名・課題名: 卒業研究 | 参考文献(著者名、書名、出版社、発行年)| +-------------------------------------+ | | 開発形態: 移植 | SARA BAASE,COMPUTER ALGORITHMS, | +-------------------------------------+ | | 形式: サブルーチン | ADDISON WESLEY,1978. | +-------------------------------------+---------------------------------------+ | 利用対象者: 一般 | 格納ﾒﾃﾞｨｱ形式: フロッピーディスク | +-------------------------------------+---------------------------------------+ | 目的（問題解説、機能解説−制限事項）| 格納ﾒﾃﾞｨｱ番号、ﾌｧｲﾙ名: | | +---------------------------------------+ | | 記述言語・走行ＯＳ: TURBO PASCAL | | 行列の推移的閉包を求める +---------------------------------------+ | | 走行条件（ハードウェア、ソフトウェア）| | サブルーチン プログラム | ＰＣ−９８０１，ＭＳ−ＤＯＳ | | | | | | | +-------------------------------------+---------------------------------------+ | キーワード（適用分野、手法など） ： | 分類コード（ＣＲコードを使用） ： | | WARSHALL'S ALGORITHMS | | +-------------------------------------+---------------------------------------+ | 呼び出し法: WARSHAL (N,A,R) | | | +-----------------------------------------------------------------------------+ | 操作手順(ｺﾝﾌﾟﾘｰﾄﾌﾟﾛｸﾞﾗﾑ(ﾒｲﾝﾌﾟﾛｸﾞﾗﾑ)の場合:1.システム起動手順､2.データ入出力 | | 手順と形式､3.終了手順) | | (ｻﾌﾞﾙｰﾁﾝの場合:1.呼び出し形式-引き数の並べ方-､2.親ルーチン､3.子ルー | | チン､4.その他) | | | | | | １． Ｎ （入力）： 行列Ａの次数 （整数型，Ｎ≦10） | | | | Ａij （入力）： 行列Ａのi,j成分 （Ａij=0 or 1，i,j=1,･･･,N) | | | | Ｒij （出力）： Ａの推移的閉包行列Ｒのi,j成分 （Ｒij=0 or 1， | | | | i,j=1,･･･,N） | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 注. システム１つにつき１枚作成 必要な場合モジュール１つにつき１枚作成(ｲﾝﾀｰﾌｪｰｽ仕様書-様式１-に追加) 様式７ +-------------------------------------+----------------+----------------------+ | システム名: ＡＬＧＯＰＡＫ | | 問題解説 | +-------------------------------------+ +----------------------+ | モジュール名: WARSHAL (A602) | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 森木 京子 10SS1249 | 文書作成者: 森木 京子 10SS1249 | +-------------------------------------+---------------------------------------+ | 作成期間: 58/ 7/ ー 58/ 8/ | 文書作成期間: 59/11/ ー 59/12/ | +-------------------------------------+---------------------------------------+ | | | TRANSCLOSと同様、 二項関係を表す行列Ａの推移的閉包Ｒを求めるプログラム。 | | | | TRANSCLOSでは、推移的閉包の考え方をそのままアルゴリズムにしたために 計 | | | | 算量がとても大きくなってしまう。 | | | | そこで 頂点から頂点までの道の経由地点に着目して i,j (i=1,･･･,n,j=1,･･･, | | | | n)間の最短道を求める。この方法だと TRANSCLOSのREPEAT文を削除し、ｋの１か | | | | らｎまでのループ操作をｉのループの外側で行う様にすることにより得られる。 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ＡＬＧＯＰＡＫ | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: WARSHAL (A602) | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 森木 京子 10SS1249 | 文書作成者: 森木 京子 10SS1249 | +-------------------------------------+---------------------------------------+ | 作成期間: 58/ 7/ ー 58/ 8/ | 文書作成期間: 59/11/ ー 59/12/ | +-------------------------------------+---------------------------------------+ | | | | | | | | | | | | | | | ++-------++ +---------+ | | !! WARSH !! ! ! | | !! ALL !!---->! R:=A ! | | !! (A602)!! ^ ! ! | | ++-------++ ! +---------+ | | ! ! | | ! +--------++ +--------++ +--------++ +---------+ | | ! ! FOR !! ! FOR !! ! FOR !! ! ! | | !-! k:=1 !!---->! i:=1 !!---->! j:=1 !!---->! 1 ! | | ! TO N !! ! TO N !! ! TO N !! ! ! | | +--------++ +--------++ +--------++ +---------+ | | | | | | | | | | | | | | T: | | +---------+ +-------+ +---------+ | | ! ! ! IF Rik + ! ! | | ! 1 !---->! =1 AND +---->! Rij:=1 ! | | ! ! ! Rkj=1 + ! ! | | +---------+ +-------+ +---------+ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 様式９ +-------------------------------------+----------------+----------------------+ | ｼｽﾃﾑ名(ｺｰﾄﾞ): ＡＬＧＯＰＡＫ | | システム報告書概要 | +-------------------------------------+ +----------------------+ | ﾓｼﾞｭｰﾙ名(ｺｰﾄﾞ): CWARSHAL (P602) | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者･学生番号: 増沢善子21SS1159 | 文書作成者･学生番号: 増沢善子21SS1159 | +-------------------------------------+---------------------------------------+ | 作成期間: 62/ 1/ ー / / | 文書作成期間: 62/ 2/ ー / / | +-------------------------------------+---------------------------------------+ | 親モジュール: ＡＬＧＯＰＡＫ | 子モジュール: WARSHAL (A602) | +-------------------------------------+---------------------------------------+ | 講義名・課題名: 卒業研究 | 参考文献(著者名、書名、出版社、発行年)| +-------------------------------------+ | | 開発形態: 移植 | SARA BAASE,COMPUTER ALGORITHMS, | +-------------------------------------+ | | 形式: コンプリート | ADDISON WESLEY,1978. | +-------------------------------------+---------------------------------------+ | 利用対象者: 一般 | 格納ﾒﾃﾞｨｱ形式: フロッピーディスク | +-------------------------------------+---------------------------------------+ | 目的（問題解説、機能解説−制限事項）| 格納ﾒﾃﾞｨｱ番号、ﾌｧｲﾙ名: | | +---------------------------------------+ | | 記述言語・走行ＯＳ: TURBO PASCAL | | 行列の推移的閉包を求める +---------------------------------------+ | | 走行条件（ハードウェア、ソフトウェア）| | テスト プログラム | ＰＣ−９８０１，ＭＳ−ＤＯＳ | | | | | | | +-------------------------------------+---------------------------------------+ | キーワード（適用分野、手法など） ： | 分類コード（ＣＲコードを使用） ： | | WARSHALL'S ALGORITHM | | +-------------------------------------+---------------------------------------+ | 呼び出し法: CWARSHAL | | データ | +-----------------------------------------------------------------------------+ | 操作手順(ｺﾝﾌﾟﾘｰﾄﾌﾟﾛｸﾞﾗﾑ(ﾒｲﾝﾌﾟﾛｸﾞﾗﾑ)の場合:1.システム起動手順､2.データ入出力 | | 手順と形式､3.終了手順) | | (ｻﾌﾞﾙｰﾁﾝの場合:1.呼び出し形式-引き数の並べ方-､2.親ルーチン､3.子ルー | | チン､4.その他) | | １．＞ ＣＷＡＲＳＨＡＬ．ＳＲＣ 　　　　　 | | | | 　　　　　　　　　　　　　　　　　　　　　　　　　 | | | | 　　　　　　　　　　 | | | | データ | | | | ２．1)入力データ | | | | Ｎ：行列Ａの次数 （整数型，Ｎ≦10 ） | | | | Ａij：行列Ａのi,j成分 （Ａij=0 or 1，i,j=1,･･･,N） | | | | 2)出力データ | | | | Ａ：もとの行列 | | | | Ｒ：Ａの推移的閉包行列 | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 注. システム１つにつき１枚作成 必要な場合モジュール１つにつき１枚作成(ｲﾝﾀｰﾌｪｰｽ仕様書-様式１-に追加)