機械学習でよくある「最適化問題でモデルを立てているのに,最適解に収束しきる前の解を使う」というのは,最適化の人間としては極めて抵抗があるのだよな.
2018-03-17 20:03:13japan.cnet.com/extra/fujitsu_… 8億年分の計算を1秒で処理 量子のパワーをデジタルに転換した「デジタルアニーラ」の衝撃
2018-03-21 07:09:08最適化問題を「解く」というのには様々な意味があり、この記事はそれらを悪質に混同している。具体的には、スパコンで八億年かかるというときの「解く」は「すべての解を列挙する」の意味で使っており、1秒というときの「解く」は「理論保証の無い解を1つ出力する」の意味で使っている。
2018-03-21 16:41:16@tmaehara たしかにかの記事では「全可能解をチェックしていく列挙法」とヒューリスティックに解くというのを同一視して紹介するという乱暴な記述になってますね。他にも近似解を求める、というべき所を最適解といっちゃってるし
2018-03-21 17:49:39@tmaehara japan.cnet.com/extra/fujitsu_… この記事はPR記事ですね。朝日インタラクティブというところが書いている。専門外の人が書いた?こういう時もきちんと専門の人が書くか、専門の人にチェックしてもらって記事にするのが重要と
2018-03-21 17:51:47「組合せ最適化」はテクニカルタームなので、「組み合わせ最適化」と書いてある記事は専門家がチェックしていないと推察でき、信頼度が落ちるという話です。
2018-03-21 18:02:06「組合せ・組み合わせの差ぐらいで……」「静的型付け言語」「ウッ」「OcamlとHaskel」「アッアッ」「LIMPUCK」「それは根本から違う」
2018-03-22 01:09:06またおかしな比較をしてる、コンプライアンス事案だろこれ twitter.com/pc_watch/statu…
2018-03-23 17:57:07スパコンで8億年かかる計算を1秒で解く富士通の「デジタルアニーラ」~量子現象に着想を得て開発した、これまでにないコンピュータ pc.watch.impress.co.jp/docs/news/1113… pic.twitter.com/ltzHGAyvh4
2018-03-23 17:50:05@plus7 これは大局的に見ると某社が損をしている。量子といわれるアニーラ―ではMAX-CUT問題を扱っていたことに対し、アナログ要素を排することによりサイズは小さいがTSPが解けるシステムで、日本型量子コンピュータの意義を否定する力を持っているが、あのプレスでトンデモ研究の一種と認定された。
2018-03-23 23:20:50うーんこのタイトルはなあ(´・_・`)… / “スパコンで8億年かかる計算を1秒で解く富士通の「デジタルアニーラ」 ~量子現象に着想を得て開発した、これまでにないコンピュータ - PC Watch” htn.to/fEXe44YCqzj
2018-03-23 23:26:44>組み合わせ最適化問題の代表例が(略)「巡回セールスマン問題」だ。(略)30都市だと1京×1京通りと、総当たりだとスパコンでも8億年かかる。これがデジタルアニーラ、アニーリングアプローチだと最適に近いルートを1秒以内に見つけることができる。 同じ問題解いてないのにこの比較はなあ(´・_・`)
2018-03-23 23:33:28まず8億年というのは、ブルートフォースでの話だろうけど、枝狩りをすればはるかに速くなるだろうし、アニーリングで求めるのは実質的には近似解だから、秒数の比較に何の意味があるのだろうとか、スパコンでも疑似焼きなましすればわずか30ノード程度なら普通に1秒でそれなりに良い解出ると思う。
2018-03-23 23:33:29そもそも30ノード程度ならば、DPで厳密解をそれなりに求められるはずなんで、普通のマシンで1分もせずに厳密解が求まるぐらいだと思うんですよね。なんていうか、比較対象を(意図的に?)ずらして、実際の成果をわかりにくくするのは、なんていうか、評価するのも難しくなるだけだと思うんだけど…。
2018-03-23 23:33:29焼きなましの強力さは僕も知ってるし、それがほんとにものすごくブーストされるとすごいうれしいと思うんですが、なんていうかもうちょっと何とかならんのんというか(´・_・`)
2018-03-23 23:35:43pc.watch.impress.co.jp/img/pcw/docs/1… あといつの間にか焼きなましはAIに分類していいことになってるみたいだ(´・_・`)
2018-03-23 23:36:14