東大 生物情報学科、学部生の備忘録

東京大学の学生です。日々の気づき、学び、つまづいたことをメモにします。

MENU

2022-12-20から1日間の記事一覧

MinMax Theorem の証明。レイリー商と対称行列の固有値についての考察

今回扱う定理について 今回示す問題は、固有値にまつわる有名な定理であり、 Min-Max Theorem と呼ばれている。 Min-Max Theorem: 定理の紹介 はレイリー商と呼ばれている。 証明に入る前にレイリー商の性質について述べる。レイリー商は、引数が 行列 の固…

<NP 完全性 (Karp's Reduction)>3-SAT から Vertex Cover への多項式時間還元について(polynomial reduction 3-SAT to VC)

はじめに 大学で学んだ多項式時間還元について、日本語記事でわかりやすいものが見つからなかったため、ここに記す。数ヶ月後におそらく試験で出題されるので、その試験対策としても。 blog 末尾でも述べるつもりであるが、Garey と Johnson による黒い本 Co…