質問編集履歴
1
内容の充実化
title
CHANGED
|
File without changes
|
body
CHANGED
|
@@ -5,7 +5,9 @@
|
|
|
5
5
|
ここに1*2の長方形の畳を4枚敷き詰める方法を全て見つけようとしています．
|
|
6
6
|
例えば，(a, b), (d, e), (g, h), (c, f)といった感じで置くなどです．
|
|
7
7
|
このとき，各変数の値に関する制約条件をすべて列挙する形で，この制約充足問題を定式化したいのですが，どのようにするのがよいのでしょうか．
|
|
8
|
+
|
|
8
9
|
個人的には，最初は各変数の値を0で埋めて置き，畳を置いたマスの変数は1にするのようなものを考えたのですが，解を網羅的に求めるプログラムを具体的に考え付くことができていない現状です．
|
|
10
|
+
|
|
9
11
|
CやJava，prologでやり方をご指導いただければ幸いです．
|
|
10
12
|
|
|
11
13
|
###制約条件の定式化の例
|
|
@@ -29,4 +31,9 @@
|
|
|
29
31
|
all_different(Digits),
|
|
30
32
|
|
|
31
33
|
label(Digits).
|
|
32
|
-
```
|
|
34
|
+
```
|
|
35
|
+
|
|
36
|
+
###追記
|
|
37
|
+
何を教えていただきたいのか不明瞭の陽でしたので次の二つに目まとめさせていただきます．
|
|
38
|
+
・例の図における未知数と領域，制約の部分は畳敷き詰め問題だとどうなるのか
|
|
39
|
+
・畳の敷き詰め方を網羅するプログラムの方針(C, Java, prolog)
|