| 研究課題/領域番号 |
16092205
|
|---|
| 研究種目 |
特定領域研究
|
| 配分区分 | 補助金 |
|---|
| 審査区分 |
理工系
|
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
伊東 利哉 東京工業大学, 学術国際情報センター, 教授 (20184674)
|
|---|
| 研究分担者 |
上野 修一 東京工業大学, 大学院・理工学研究科, 教授 (30151814)
|
|---|
| 研究期間 (年度) |
2004 – 2007
|
| 研究課題ステータス |
完了 (2007年度)
|
| 配分額 *注記 |
13,800千円 (直接経費: 13,800千円)
2007年度: 2,600千円 (直接経費: 2,600千円)
2006年度: 3,600千円 (直接経費: 3,600千円)
2005年度: 3,700千円 (直接経費: 3,700千円)
2004年度: 3,900千円 (直接経費: 3,900千円)
|
|---|
| キーワード | 最小値独立置換族 / 代数的手法 / 確率的手法 / 最適選好マッチング / 商品価格設定問題 / VLSI計算 / 可逆計算 / 耐故障計算 / アルゴリズム / 情報基礎 / 数理工学 / 応用数学 / ラムゼー数 / オンラインアルゴリズム / 競合比 / 近似アルゴリズム / 直交描画 / 可逆論理回路 / 最小完全テスト集合 / ε-近似k-対独立置換族 / カップリング法 / 多項式近似スキーム / 逐次耐故障診断 / 確率的耐故障診断 |
|---|
| 研究概要 |
本研究では、代数的手法および確率的手法を用いて、置換族の構成、電子商取引、 VLSI計算、可逆計算、および耐故障計算などに関する離散構造の限界を解明した、置換族の構成に関しては、電子文書間の高速な類似性ツールとして応用が知られているκ限定ε近似的最小値独立置換族Fに対して、一般分布上で定義される置換族Fを行列Uにより定式化し、その行列Uの階数を評価することにより置換族Fのサイズの良好な下界を導出した。電子商取引に関しては、最適選好マッチング問題において、顧客集合が複数の重み付きグループに分割されているとき、顧客数n商品数mの比に関して、乱択化最適選好マッチングが存在するためのほほ合致する上界と下界を導出した(これは、既に知られている顧客集合が1つグループである場合の乱択化最適選好マッチングが存在するための顧客数nと商品数mの比に関する上界・下界の拡張である)。まだ、商品価格設定問題に関しては、正価格モデルおよび無損失割引モデルにおいて見積価格が制限された場合に対して、確率的手法を用いることで,グラフ価格設定問題・線状高速道路問題・環状高速道路問題の良好な近似アルゴリズムを提案した。VLSI計算に関しては、3次元チャネル配線問題がNP困難であることを明らかにした。可逆計算に関しては、可逆回路の縮退故障に対する最小完全テスト集合生成問題がNP困難であることを示した。耐故障計算に関しては、様々なネ ットワークに対して効率的な確率的耐故障ネットワークを構成する統一的な手法を提案した。
|
