有理数プレスブルガー文真偽判定の高速処理系

1999 Fiscal Year Annual Research Report

• Project/Area Number: 11780219
• Research Institution: Osaka University
• Principal Investigator: 岡野 浩三 大阪大学, 大学院・基礎工業研究科, 講師 (70252632)
• Keywords: プレスブルガー文真偽判定 / 有理数 / 計算幾何学

Research Abstract

本年度は,冠頭標準形の有理数のプレスブルガー文に対する真偽判定アルゴリズムに対して以下の研究を行なった.
1.すでに提案している基本アルゴリズムおよび計算幾何学を応用した平均的計算実行時間を高速化する手法を,実際に判定処理系に組み込み,その効果を測定した.
この結果は,平成11年11月に行なわれた電子情報通信学会のコンピュテーション研究会で発表した.
2.関連研究として,整数プレスブルガー文の真偽判定の複数の通常計算機を用いたネットワーク上での並列処理による高速化手法について、その手法の提案,実装を行なった.
さらに,今まで現実時間で解けなかった実用例題に対して評価した結果を平成12年3月に行なわれる情報処理学会の全国大会の発表予定である.

Research Products

• [Publications] 辻川竜宏: "全称子で束縛された冠頭標準形プレスブルガー文の真偽判定の分散実行"情報処理学会第60回(平成12年度前期)全国大会講演論文集. (発表予定). (2000)
• [Publications] 柴田直樹: "多面体分割を用いた有理数プレスブルガー文真偽判定アルゴリズムとその実装"電子情報通信学会技術研究報告. COMP99-49. 1-8 (1999)
• [Publications] 柴田直樹: "有理数プレスブルガー文真偽判定のための多面体分割を用いたアルゴリズムとその実装"情報処理学会第59回(平成11年後期)全国大会講演論文集. 1-171-1-172 (1999)