2020-07-01から1ヶ月間の記事一覧
カプレカ数を制約論理プログラム iZ-Cを使って解きます。 --------------------------------------------------------------------------- ./kapreTue Jul 28 05:29:33 2020 100000 10000 1000 100 10 1QR:{1..9}, {0..9}, {0..9}, {0..9}, {0..9}, {0..9}, …
ハノイの塔パズルを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------解答は板がどの棒に刺さっているかが変化してゆきます。 ./hanoi 4 16Sat Jul 25 08:34:08 2020QR:0, 0, 0, 0, …
おしどりあそびを制約論理プログラム iZ-Cを使って解きます。 --------------------------------------------------------------------------- ./oshidori Sat Jul 18 07:05:17 20202, 2, 2, 1, 1, 1, 0, 0, {0..2}, {0..2}, {0..2}, {0..2}, {0..2}, {0..2}…
農夫 山羊 狼 キャベツ の川渡りを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------time ./river 8Fri Jul 17 06:13:43 20200, 0, 0, 0, {0, 1}, {0, 1}, {0, 1}, {0, 1}, {0, 1}, …
魔方陣を制約論理プログラム iZ-Cを使って解きます。-----------------------------------------------------------------------------time ./magicsqure_simp 4 |lessThu Jul 16 06:48:10 2020{0..13}, {0..15}, {0..15}, {1..14}, {0..15}, {0..15}, {0..1…
TSP問題をiZ-Cで解いてみる。------------------------------------------------------------------------------time ./tsp 1 $(seq 0 99 |shuf |head -n 12)Solution 7128: 45, 36, 14, 15, 9, 48, 59, 78, 67, 56, 71, 80 . . . . . . . . . 4 . . . . 2 3…
数独を制約論理プログラム iZ-C を使って解きます。------------------------------------------------------------------time ./suudoku Tue Jul 14 06:01:29 2020 Solution 1 _| 0 1 2 3 4 5 6 7 8 0: 8 7 2 5 1 4 6 3 9 1: 4 6 3 2 7 9 8 5 1 2: 5 9 1 3 …
iZ-Cの導入 はじめに iZ-Cは制約論理プログラムと呼ばれる問題解決プログラムソルバーです。 形式的にはC言語でプログラムしますが問題解決手法は全く違い、問題の 関係性を制約変数、制約式によって記述し問題を解きます。組み合わせの答えを 見つけると言…
