• 検索結果がありません。

こちら

N/A
N/A
Protected

Academic year: 2021

シェア "こちら"

Copied!
9
0
0

読み込み中.... (全文を見る)

全文

(1)

モデリング・数理・

アルゴリズム

物理学・数学・情報科

世の中に存在する様々なデータ

や情報から有用な知見を得る

計算推論とアルゴリズムの数

統計数理研究所 土谷 隆

(2)

最近の研究から

凸最適化(2次錐計画)を用いたリニ

アモーターカー磁気シールド最適設計

問題

( 計算推論+リスク管理 )

再帰的再計算によるスムージング

( 時

間計算量 vs. 領域計算量 )

多項式時間内点法と情報幾何

(計算の

世界の複雑さへの微分幾何学的接近

法)

(より詳しくは HP

http://www.ism.ac.jp/~tsuchiya/

をご訪問下さい。)

(3)

1. 凸最適化を用いた磁気シールド最

適設計問題

凸集合

(許容集合)

最適解(線形目

的関数最小化)

許容解集合の次元:数千から数十万次元

(目的関数(線形)の等高線)

(目的関数

が小さくなる方向)

一般には線形とは限らない

が線形な場合が重要

凸最適化問題

(笹川卓氏(鉄道総研)との共同研究)

(4)

凸最適化(2次錐計画法)によるリニ

アモーターカー磁気シールド最適設計

リニアモーターカー : 超伝導磁石で浮上,推進

車体内部をシールドして,内部に磁場がもれない

ようにする.一方,シールドはできるだけ軽くしたい.

→ 最適設計問題(

2次錐計画

という

凸最適化問題

定式化)

(左の図 http : //www.rtri.or.jp; 右 2 つの図

http://www.pref.yamanashi.jp/

山梨リニア実験線

強力な磁場を発生

(5)

最適化されたシールドの形

問題の大きさ

  主双対変数の数: 5007

  自由度( y の次元): 1669

計算時間 :

1.8 秒

  (反復回数: 21 )

  Pentium 700MHz

解法の利点:高速で安定しているため、

異なる想定で一万回解いてロバストな

シールドを設計できた。

内点法と呼ばれる多項式時間

解法を開発、この問題を解くの

に用いた。

(6)

2.再帰的再計算による新しい ( 粒

子 ) 平滑化法の実装

粒子フィルタにおいて、再帰的再計

算による平滑化法の実装を提案。

日経225株価データのボラティリ

ティ推定に適用。

平滑化に用いる粒子を一気に

20倍

に増やし、従来に比べて格段に分解

能の良い平滑化分布の計算が可能に

なった。

(中村和幸氏(統数研 & JST )との共同研究)

(7)

ボラティリティのスムージン

グ分布(従来法と新しい方法

の比較)

従来法による平滑化分布

新しい方法による平滑化分布

Black Monday

1987

年 1 月から 1990 年8月までの日経 225 株価のボラティリティ平滑化分布

Bubble Crash

各曲線はボラティリティ事後分布の 2.3%, 15.9%, 50%(実線 ), 84.1%, 97.7% 点を示している . 各曲線はボラティリティ事後分布の 2.3%, 50%( 実線 ), 97.7%点を示している . (円 ) (円 ) (日 ) (日 )

(8)

3.情報幾何と内点法

凸最適化のための多項式時間内点法への微分幾何的

アプローチ

『計算複雑度』

という

『情報科学の複雑さ』

『問

題の曲率』

という

『幾何学的複雑さ』

を結び付けて

論じたい。

内点法:中心曲線を辿って最適解を求める。

(小原敦美氏(大阪大学)との共同研究)

(9)

計算複雑度を多様体の埋め込み曲率

で表現する

凸最適化の求解に要する計算量を厳密に微分幾何学

的量(中心曲線上の曲率積分)で表現することに

( 初めて ) 成功。

参照

関連したドキュメント

[r]

Hungarian Method Kuhn (1955) based on works of K ő nig and

of IEEE 51st Annual Symposium on Foundations of Computer Science (FOCS 2010), pp..

情報理工学研究科 情報・通信工学専攻. 2012/7/12

最大消滅部分空間問題 MVSP Maximum Vanishing Subspace Problem.. MVSP:

参考文献 Niv Buchbinder and Joseph (Seffi) Naor: The Design of Com- petitive Online Algorithms via a Primal-Dual Approach. Foundations and Trends® in Theoretical Computer

"A matroid generalization of the stable matching polytope." International Conference on Integer Programming and Combinatorial Optimization (IPCO 2001). "An extension of

Murota: Discrete Convex Analysis (SIAM Monographs on Dis- crete Mathematics and Applications 10, SIAM,