[B! puzzle] yowaのブックマーク

Nurikabe (Japanisches Logikrätsel)

Nurikabe (ぬりかべ) ist ein japanisches Logikrätsel: Schwärzen sie einige Felder, sodass Inseln gegebener Größe entstehen. — Viele Rätsel interaktiv/online lösen oder ausdrucken, mit Lösungen, verschiedene Schwierigkeitsgrade und Diagrammgrößen, Lösungstechniken, Links, Literatur. Schwärzen Sie einige Felder des Diagramms [Papier] bzw. färben Sie die grauen Felder des Diagramms schwarz oder weiß [inte

yowa 2008/10/07

ぬりかべ問題集

puzzle

リンク

ruby-minisat とパズルのソルバ - まめめも

minisat という SAT ソルバの ruby バインディングを作ってみました。1.8.5 と 1.9.0 で動作確認してます。 http://dame.dyndns.org/misc/misc/ruby-minisat-1.14.0.tar.bz2 例えばという SAT 問題を解くときはこんな風にします。 require "minisat" solver = MiniSat::Solver.new # 問題定義 a = solver.new_var b = solver.new_var solver << [a, b] << [-a, b] << [a, -b] # 解の探索 p solver.solve #=> true (satisfiable) # 解の表示 p solver[a] #=> true p solver[b] #=> true リテラルの配列で表現した clau

yowa 2008/01/07

> minisat を含む世の SAT ソルバは驚くほど速いです。／大抵の人が下手に自力でソルバを書くよりは、SAT 問題にエンコードして SAT ソルバに解かせた方が (動作速度的にも開発速度的にも) 速いです。

リンク

NyanBazic TopPage

LAST UPDATE:08/09/14 このサイトについて NyanBazic Web よ〜こそいらっしゃいましたぁ☆ 「にゃんばず」こと，にゃんこばずうかですぅ。よろしくっスぅ！(^^)/ ふていきき・くろす (08/09/14) 日記の不定期版で「不定期記」。ペンシルパズルのことと，日常のこと。旅日記も。へやわけのおへや (03/02/01) へやわけについてあれこれと。メインはへやわけ用語の基礎知識。２００３年は実験なんかもしてみちゃったりして。でぼっぷ(DBOP) (03/09/11) 過去の「オモパ」たちを網羅したデータベース。のんびり気長に創っていきます。 →旧ヴァージョン(旧にゃんばずサイト内)

yowa 2007/02/08

にゃんこばずうか氏のサイト。へやわけなど。