2009-09-14から1日間の記事一覧
Lance Fortnow の論文リストを見ていたらこんな論文が. Lance Fortnow "A simple proof of Toda's theorem," Theory of Computing, 5(7):135-140, 2009. 所謂 "Toda's Theorem" というのは "" という結果ですが,この論文ではその前半部分である "" を半ペ…
Lance Fortnow の論文リストを見ていたらこんな論文が. Lance Fortnow "A simple proof of Toda's theorem," Theory of Computing, 5(7):135-140, 2009. 所謂 "Toda's Theorem" というのは "" という結果ですが,この論文ではその前半部分である "" を半ペ…