全学共通科目講義(1回生~4回生対象)
|
現代の数学と数理解析 |
―― 基礎概念とその諸科学への広がり |
| |
日時: | 2011年5月6日(金) 16:30-18:00 |
場所: | 数理解析研究所 420号室 |
講師: | 照井 一成 准教授 |
題目: | 計算量理論への招待 |
要約: |
「方程式を解く」、「グラフが一筆書きできるかどうかを判定する」等の
計算課題が与えられたとき、
それを遂行するのに必要な計算時間やメモリ量のことを計算量という。
計算量の研究というと、
「問題を0.1秒でも速く解くにはどうしたらよいか」とか
「解法を効率的にコンピュータに実装するにはどうしたらよいか」というような、
とかく実利的な目的によるものと理解されがちである。しかし
理論的にいって本当に面白いのは、計算量という尺度を導入することにより、
一見無関係に見えるさまざまな数学的概念や問題が、
自然に『構造化』されるという点にある。
この概念・問題空間の構造を理解することが計算量研究の一つの眼目であると
言ってよい。
さて、数学におけるある種の定理は、ある種の計算課題に効率的な解法を もたらすことがある。 それまでは解くのに天文学的な時間がかかっていた問題が、定理が証明された後は 一瞬でスパッと解けるようになったりする。 このような定理による計算の高速化は、常に 可能なのであろうか? それともそこには限界があるのだろうか? 大部分の人が後者を予想すると思うが、そのこと自体を証明しようとすると、 とてつもなく難しい。これがいわゆる『P vs NP問題』の本質である。 本講義では、このあたりの事情について、なるべく平易な解説を行う予定である。 |
"http://www.kurims.kyoto-u.ac.jp/ja/special-02.html" |