1990 Fiscal Year Annual Research Report

離散構造の効率的処理アルゴリズムに関する総合的研究

Research Project

Project/Area Number	02302047
Research Institution	Tohoku University
Principal Investigator	西関隆夫東北大学, 工学部, 教授 (80005545)
Co-Investigator(Kenkyū-buntansha)	渡辺治東京工業大学, 工学部, 助教授 (80158617) 安浦寛人京都大学, 工学部, 助教授 (80135540) 梅尾博司大阪電気通信大学, 教授 (80132356) 五十嵐善英群馬大学, 工学部, 教授 (60006260) 浅野孝夫上智大学, 工学部, 助教授 (90124544)
Keywords	アルゴリズム / 並列処理 / 組合せ問題 / 離散構造 / 計算幾何学 / ネットワ-ク / 分散処理
Research Abstract	平成2年5月より,数度の研究打ち合せ会を行い,強力な研究体制を組織した.同時に,離散構造を処理するアルゴリズムについて種々の観点から調査・検討を行い,その上で9月に仙台にて全体的な研究発表会を行った.その発表と活発な討論によって,現在のアルゴリズムの限界や新しいアルゴリズム論に関する知見を得るに至った.特に並列・分散アルゴリズムに関して現状の調査・検討が重点的に行われ,新しいアルゴリズムの設計のための土台が築かれた. 1.網目結合並列計算機は,規則正しい単純なグリッド構造を持つためVLSI化に適している.しかしこの計算機モデル上のいかなるアルゴリズムもプロセッサ配列の通信直径に比例した時間を必要とする.そこで網目結合に第2の通信路として共通グロ-バル・バスを備えたブロ-ドキャスト計算機が提案されている.本研究ではその計算機モデルの上のアルゴリズムを整理し,またモデルの能力の限界を明らかにした. 2.網目結合計算機上で幾何学的問題を効率良く解く並列アルゴリズムを与えた.再帰曲線(シェルピンスキ-曲線やヒルベルト曲線)を認識する問題と平面上の長方形図形を圧縮する問題を扱った. 3.N個のプロセッサからなるネットワ-クにおいて,情報源プロセッサから他の全てのプロセッサに情報を〓logN〓時間でブロ-ドキャストする手法を与えた.この手法を用いると1個のプロセッサが故障している場合でも〓logN〓+1時間でブロ-ドキャストを終了する.いずれに要する時間も下界になっており,最適な手法である. 4.平面上のN点と角度θ及び自然数bが与えられたときに,傾きがθの等間隔のb+1本の直線で,与えられたN個の点をできるだけ均一に分割するO((n^2+bn)logN)時間のアルゴリズムを与えた.

Research Products
(19 results)

All Other

All Publications (19 results)

[Publications] T.Nishizeki: "On the 1.1 edgeーcoloring of multigraphs" SIAM J.Disk.Math.3. 391-410 (1990)
[Publications] S.Nakano: "On the fgーcoloring of graphs" Combinatorica. 10. 67-80 (1990)
[Publications] M.Chrobak: "Improved edgeーcoloring algorithms" J.Algorithms. 11. 102-116 (1990)
[Publications] T.Nishizeki: "Planar graph problems" Computing. Supp.7. 53-68 (1990)
[Publications] T.Asano: "Solving semiーdynamic geometric problems" 電子情報通信学会英文誌. Eー73. 265-269 (1990)
[Publications] T.Asano: "Algorithms for projecting points to give the most uniform distribution with applications to hashing" Algorithmica.
[Publications] T.Asano: "Circuit partitioning algorithms:Graph model vs geometry model" International Journal on Computational Geometry and Applications.
[Publications] S.Osawa: "Language families generated by oneーletter languages and inclusion relation" 電子情報通信学会英文誌. Eー73. 724-728 (1990)
[Publications] Y.Igarashi: "Time lower bounds for sorting roughly sorted sequences" 電子情報通信学会英文誌. Eー73. 1893-1898 (1990)
[Publications] 梅尾博司: "ブロ-ドキャスト機能を備えた網目結合並列計算機のためのアルゴリズムに関する最近の研究" 情報処理. 31. 906-912 (1990)
[Publications] 梅尾博司: "並列計算機のためのアルゴリズムとア-キテクチャ" bit. 22. 617-623 (1990)
[Publications] H.Suzuki: "Edgeーdisjoint paths in a grid bounded by two nested rectangles" Discrete Applied Mathematics. 27. 157-178 (1990)
[Publications] 鈴木均: "3ー連結グラフの3分割アルゴリズム" 情報処理. 31. 584-592 (1990)
[Publications] 萩原兼一: "分散アルゴリズム" 情報処理. 31. 1245-1256 (1990)
[Publications] 萩原兼一: "分散アルゴリズム" 人工知能学会誌. 5. 430-440 (1990)
[Publications] M.Ogiwara: "On polynomial time bounded truthーtable reducibility of NP sets to sparse sets" ACM STOC. 22. 457-467 (1990)
[Publications] O.Watanabe: "A formal study of learning via queries" ICALP. 17. 139-152 (1990)
[Publications] O.Watanabe: "A framework for polynomial time query learnability" Math.Syst.Theory.
[Publications] 浅野哲夫: "計算幾何学" 朝倉書店, 231 (1990)

1990 Fiscal Year Annual Research Report

離散構造の効率的処理アルゴリズムに関する総合的研究

Principal Investigator

西関 隆夫 東北大学, 工学部, 教授 (80005545)

Research Products

[Publications] T.Nishizeki: "On the 1.1 edgeーcoloring of multigraphs" SIAM J.Disk.Math.3. 391-410 (1990)

[Publications] S.Nakano: "On the fgーcoloring of graphs" Combinatorica. 10. 67-80 (1990)

[Publications] M.Chrobak: "Improved edgeーcoloring algorithms" J.Algorithms. 11. 102-116 (1990)

[Publications] T.Nishizeki: "Planar graph problems" Computing. Supp.7. 53-68 (1990)

[Publications] T.Asano: "Solving semiーdynamic geometric problems" 電子情報通信学会 英文誌. Eー73. 265-269 (1990)

[Publications] T.Asano: "Algorithms for projecting points to give the most uniform distribution with applications to hashing" Algorithmica.

[Publications] T.Asano: "Circuit partitioning algorithms:Graph model vs geometry model" International Journal on Computational Geometry and Applications.

[Publications] S.Osawa: "Language families generated by oneーletter languages and inclusion relation" 電子情報通信学会 英文誌. Eー73. 724-728 (1990)

[Publications] Y.Igarashi: "Time lower bounds for sorting roughly sorted sequences" 電子情報通信学会 英文誌. Eー73. 1893-1898 (1990)

[Publications] 梅尾 博司: "ブロ-ドキャスト機能を備えた網目結合並列計算機のためのアルゴリズムに関する最近の研究" 情報処理. 31. 906-912 (1990)

[Publications] 梅尾 博司: "並列計算機のためのアルゴリズムとア-キテクチャ" bit. 22. 617-623 (1990)

[Publications] H.Suzuki: "Edgeーdisjoint paths in a grid bounded by two nested rectangles" Discrete Applied Mathematics. 27. 157-178 (1990)

[Publications] 鈴木 均: "3ー連結グラフの3分割アルゴリズム" 情報処理. 31. 584-592 (1990)

[Publications] 萩原 兼一: "分散アルゴリズム" 情報処理. 31. 1245-1256 (1990)

[Publications] 萩原 兼一: "分散アルゴリズム" 人工知能学会誌. 5. 430-440 (1990)

[Publications] M.Ogiwara: "On polynomial time bounded truthーtable reducibility of NP sets to sparse sets" ACM STOC. 22. 457-467 (1990)

[Publications] O.Watanabe: "A formal study of learning via queries" ICALP. 17. 139-152 (1990)

[Publications] O.Watanabe: "A framework for polynomial time query learnability" Math.Syst.Theory.

[Publications] 浅野 哲夫: "計算幾何学" 朝倉書店, 231 (1990)

西関隆夫東北大学, 工学部, 教授 (80005545)

[Publications] T.Asano: "Solving semiーdynamic geometric problems" 電子情報通信学会英文誌. Eー73. 265-269 (1990)

[Publications] S.Osawa: "Language families generated by oneーletter languages and inclusion relation" 電子情報通信学会英文誌. Eー73. 724-728 (1990)

[Publications] Y.Igarashi: "Time lower bounds for sorting roughly sorted sequences" 電子情報通信学会英文誌. Eー73. 1893-1898 (1990)

[Publications] 梅尾博司: "ブロ-ドキャスト機能を備えた網目結合並列計算機のためのアルゴリズムに関する最近の研究" 情報処理. 31. 906-912 (1990)

[Publications] 梅尾博司: "並列計算機のためのアルゴリズムとア-キテクチャ" bit. 22. 617-623 (1990)

[Publications] 鈴木均: "3ー連結グラフの3分割アルゴリズム" 情報処理. 31. 584-592 (1990)

[Publications] 萩原兼一: "分散アルゴリズム" 情報処理. 31. 1245-1256 (1990)

[Publications] 萩原兼一: "分散アルゴリズム" 人工知能学会誌. 5. 430-440 (1990)

[Publications] 浅野哲夫: "計算幾何学" 朝倉書店, 231 (1990)