様式９ +-------------------------------------+----------------+----------------------+ | ｼｽﾃﾑ名(ｺｰﾄﾞ): ＡＬＧＯＰＡＫ | | システム報告書概要 | +-------------------------------------+ +----------------------+ | ﾓｼﾞｭｰﾙ名(ｺｰﾄﾞ): TRANS (A601) | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者･学生番号: 増沢善子21SS1159 | 文書作成者･学生番号: 増沢善子21SS1159 | +-------------------------------------+---------------------------------------+ | 作成期間: 62/ 1/ ー / / | 文書作成期間: 62/ 2/ ー / / | +-------------------------------------+---------------------------------------+ | 親モジュール: ＡＬＧＯＳ | 子モジュール: | +-------------------------------------+---------------------------------------+ | 講義名・課題名: 卒業研究 | 参考文献(著者名、書名、出版社、発行年)| +-------------------------------------+ | | 開発形態: 移植 | SARA BAASE,COMPUTER ALGORITHMS, | +-------------------------------------+ | | 形式: サブルーチン | ADDISON WESLEY,1978. | +-------------------------------------+---------------------------------------+ | 利用対象者: 一般 | 格納ﾒﾃﾞｨｱ形式: フロッピーディスク | +-------------------------------------+---------------------------------------+ | 目的（問題解説、機能解説−制限事項）| 格納ﾒﾃﾞｨｱ番号、ﾌｧｲﾙ名: 　　　 | | +---------------------------------------+ | | 記述言語・走行ＯＳ: TURBO PASCAL | | 行列の推移的閉包を求める +---------------------------------------+ | | 走行条件（ハードウェア、ソフトウェア）| | サブルーチン プログラム | ＰＣ−９８０１，ＭＳ−ＤＯＳ | | | | | | | +-------------------------------------+---------------------------------------+ | キーワード（適用分野、手法など） ： | 分類コード（ＣＲコードを使用） ： | | TRANSITIVE CLOSURE | | +-------------------------------------+---------------------------------------+ | 呼び出し法: TRANS (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） | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 注. システム１つにつき１枚作成 必要な場合モジュール１つにつき１枚作成(ｲﾝﾀｰﾌｪｰｽ仕様書-様式１-に追加) 様式７ +-------------------------------------+----------------+----------------------+ | システム名: ＡＬＧＯＰＡＫ | | 問題解説 | +-------------------------------------+ +----------------------+ | モジュール名: TRANS (A601) | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 森木 京子 10SS1249 | 文書作成者: 森木 京子 10SS1249 | +-------------------------------------+---------------------------------------+ | 作成期間: 58/ 7/ ー 58/ 8/ | 文書作成期間: 59/11/ ー 59/12/ | +-------------------------------------+---------------------------------------+ | | | ｎ＊ｎ行列｛ａij｝：ａij ＝ １ ：siＡsj で表現された有限集合Ｓ上の二項 | | | | 関係Ａが存在するとき その推移的閉包(transitive closure)Ｒを求める問題。 | | | | (ここで siＡsjとは、siからsjへの間に関係Ａがあることを示す。 | | | | Ａの推移的閉包Ｒは | | | | siＲsj <=> siＡsj or ｍ≧２,si=t1,t2,･･･,tm=sj,tkＡtk+1,１≦ｋ≦ｍ-１ | | | | で定義される。 | | | | つまり Ａを推移的に拡張していき、各要素がそれ以上変化しなくなったものが | | | | Ｒである。 | | | | 例 Ａ= /０ １ ０ ０､ | | ､０ ０ １ ０､ | | ､０ ０ ０ １､ | | ､０ ０ ０ ０/ | | | | Ｒ= /０ １ １ １､ | | ､０ ０ １ １､ | | ､０ ０ ０ １､ | | ､０ ０ ０ ０/ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ＡＬＧＯＰＡＫ | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: TRANS (A601) | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 森木 京子 10SS1249 | 文書作成者: 森木 京子 10SS1249 | +-------------------------------------+---------------------------------------+ | 作成期間: 58/ 7/ ー 58/ 8/ | 文書作成期間: 59/11/ ー 59/12/ | +-------------------------------------+---------------------------------------+ | | | ++-------++ +---------+ | | !! TRANS !! ! ! | | !! CLOS !!---->! R:=A ! | | !! (A601)!! ^ ! ! | | ++-------++ ! +---------+ | | ! ! | | ! +--------++ +--------++ +--------++ +---------+ | | ! ! !! ! FOR !! ! FOR !! ! ! | | !-! REPEAT !!---->! i:=1 !!---->! j:=1 !!---->! 1 ! | | ! !! ^ ! TO N !! ! TO N !! ! ! | | +--------++ ! +--------++ +--------++ +---------+ | | ! ! T: | | ! +-----------------------+ +---------+ | | ! ! UNTIL + ! ! | | !-!no entry of R changes d +---->! EXIT ! | | !uring one complete pass + ! ! | | +-----------------------+ +---------+ | | | | | | | | | | | | | | T: | | +---------+ +--------++ +-------+ +---------+ | | ! ! ! FOR !! ! IF Rik + ! ! | | ! 1 !---->! k:=1 !!---->! =1 AND +---->! Rij:=1 ! | | ! ! ! TO N !! ! Rkj=1 + ! ! | | +---------+ +--------++ +-------+ +---------+ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 様式９ +-------------------------------------+----------------+----------------------+ | ｼｽﾃﾑ名(ｺｰﾄﾞ): ＡＬＧＯＰＡＫ | | システム報告書概要 | +-------------------------------------+ +----------------------+ | ﾓｼﾞｭｰﾙ名(ｺｰﾄﾞ): CTRANS (P601) | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者･学生番号: 増沢善子 21SS1159 | 文書作成者･学生番号: 増沢善子21SS1159 | +-------------------------------------+---------------------------------------+ | 作成期間: 62/ 1/ ー / / | 文書作成期間: 62/ 2/ ー / / | +-------------------------------------+---------------------------------------+ | 親モジュール: ＡＬＧＯＰＡＫ | 子モジュール: TRANS (A601) | +-------------------------------------+---------------------------------------+ | 講義名・課題名: 卒業研究 | 参考文献(著者名、書名、出版社、発行年)| +-------------------------------------+ | | 開発形態: 移植 | SARA BAASE,COMPUTER ALGORITHMS, | +-------------------------------------+ | | 形式: コンプリート | ADDISON WESLEY,1978. | +-------------------------------------+---------------------------------------+ | 利用対象者: 一般 | 格納ﾒﾃﾞｨｱ形式: フロッピーディスク | +-------------------------------------+---------------------------------------+ | 目的（問題解説、機能解説−制限事項）| 格納ﾒﾃﾞｨｱ番号、ﾌｧｲﾙ名: 　　　 | | +---------------------------------------+ | | 記述言語・走行ＯＳ: TURBO PASCAL | | 行列の推移的閉包を求める +---------------------------------------+ | | 走行条件（ハードウェア、ソフトウェア）| | テスト プログラム | ＰＣ−９８０１，ＭＳ−ＤＯＳ | | | | | | | +-------------------------------------+---------------------------------------+ | キーワード（適用分野、手法など） ： | 分類コード（ＣＲコードを使用） ： | | TRANSITIVE CLOSURE | | +-------------------------------------+---------------------------------------+ | 呼び出し法: CTRANS | | データ | +-----------------------------------------------------------------------------+ | 操作手順(ｺﾝﾌﾟﾘｰﾄﾌﾟﾛｸﾞﾗﾑ(ﾒｲﾝﾌﾟﾛｸﾞﾗﾑ)の場合:1.システム起動手順､2.データ入出力 | | 手順と形式､3.終了手順) | | (ｻﾌﾞﾙｰﾁﾝの場合:1.呼び出し形式-引き数の並べ方-､2.親ルーチン､3.子ルー | | チン､4.その他) | | １．＞ ＣＴＲＡＮＳ．ＳＲＣ　　　　　 | | | | 　　　　　　　　　　　　　　　　　　　　　　　 | | | | 　　　　　　　 | | | | データ | | | | ２．1)入力データ | | | | Ｎ：行列Ａの次数 （整数型，Ｎ≦10 ） | | | | Ａij：行列Ａのi,j成分 （Ａij=0 or 1，i,j=1,･･･,N） | | | | 2)出力データ | | | | Ａ：もとの行列 | | | | Ｒ：Ａの推移的閉包行列 | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 注. システム１つにつき１枚作成 必要な場合モジュール１つにつき１枚作成(ｲﾝﾀｰﾌｪｰｽ仕様書-様式１-に追加)