d.y.d. - 最短性をチェックする

17:31 10/01/26 言語雑談会 言語雑談会 なるものに行ってきました。 自分は主に最近のD言語の話題 [PDF] [PPTX] についてと、 最近読んだ Pattern Calculus がイマイチ心に響かなかったという話と、 これも最近読んだ Prolog で SAT ソルバ という論文が格好良すぎて卒倒しそうです、などの話題を雑談していました。 SAT の話をしていてふと突然気づいたんですが、私が今までSATソルバに落としてみたことのある問題は、 すべて割と簡単に CNF（SATソルバがそのまま食べてくれる綺麗な形式の論理式） ができあがる問題だったようです、数独とか。 任意の命題論理式をCNFに変換できる指数爆発しない方法をそういえば知らないぞ俺！としゃべってたら soutaro さんが素晴らしい解説 をして下さいました。ありがたや。 あと shinhさんの 「コンピュータ

[kenichiice]

「返す解が本当に最短であることのチェックまでしてくれる迷路ソルバを作ろう。」

[proto_jp]

100倍遅いプログラムなら100倍時間をかけさえすれば動くけど、

[tanakaBox]

最短性のチェックに関すること。深い。

[yoshihiro503]

迷路の最短経路

[TAKESAKO]

『迷路の最短経路を求めよ』求めるのはいいんだけど、Lv2 ～ Lv4の「最短性のチェック」って何をしろと

[hitode909]

おもしろい

[taroleo]

自重しない大人がここにも(^-^;;

[h-hirai]

レベル高ぇなぁ…

[JSK]

これがレベル5･･･

[eagletmt]

今流行の Coq や Agda

[fuba]

最短性のチェックまでしてくれる迷路ソルバ…