バイオインフォ学生あれこれ
id:ut-bioinformatic
<NP 完全性 (Karp's Reduction)>3-SAT から Vertex Cover への多項式時間還元について(polynomial reduction 3-SAT to VC)
はじめに 大学で学んだ多項式時間還元について、日本語記事でわかりやすいものが見つからなかったため、ここに記す。数ヶ月後におそらく試験で出題されるので、その試験対策としても。 blog 末尾でも述べるつもりであるが、Garey と Johnson による黒い本 Computers and intractability. を参考にしている。 解くべき問題…