質問編集履歴
1
内容の充実化
test
CHANGED
File without changes
|
test
CHANGED
@@ -12,7 +12,11 @@
|
|
12
12
|
|
13
13
|
このとき,各変数の値に関する制約条件をすべて列挙する形で,この制約充足問題を定式化したいのですが,どのようにするのがよいのでしょうか.
|
14
14
|
|
15
|
+
|
16
|
+
|
15
17
|
個人的には,最初は各変数の値を0で埋めて置き,畳を置いたマスの変数は1にするのようなものを考えたのですが,解を網羅的に求めるプログラムを具体的に考え付くことができていない現状です.
|
18
|
+
|
19
|
+
|
16
20
|
|
17
21
|
CやJava,prologでやり方をご指導いただければ幸いです.
|
18
22
|
|
@@ -61,3 +65,13 @@
|
|
61
65
|
label(Digits).
|
62
66
|
|
63
67
|
```
|
68
|
+
|
69
|
+
|
70
|
+
|
71
|
+
###追記
|
72
|
+
|
73
|
+
何を教えていただきたいのか不明瞭の陽でしたので次の二つに目まとめさせていただきます.
|
74
|
+
|
75
|
+
・例の図における未知数と領域,制約の部分は畳敷き詰め問題だとどうなるのか
|
76
|
+
|
77
|
+
・畳の敷き詰め方を網羅するプログラムの方針(C, Java, prolog)
|