３点タイル張り問題の 解の列挙
DESCRIPTION
３点タイル張り問題の 解の列挙. 2012/3/8 ○ 田中成俊、羽原貴広、 武永康彦 ( 電気通信大学 ). はじめに. ３点タイル 張り問題 １辺が n 個の点からなる 正三角形状の格子 点の個数が３の倍数のとき、 と のみを使って タイル張り可能か すべての点を使用し、また 各点は必ず、ちょうど１つの タイルに使われる. n=9 の時のタイル張りの例. はじめに. 一辺の点の個数 n を、 12 を法として 0,2,9,11 の時のみ、タイル張りが 存在することがわかっている - PowerPoint PPT PresentationTRANSCRIPT
ZDD
2012/3/8()1
n
n=9
2n120,2,9,11J.H.Conway,J.C.Lagarias - 1990
3
OBDDZDD4OBDDZDD(1)1001
OBDDOBDD(Ordered Binary Decision Diagram)
OBDD5OBDDZDD(2)1001
ZDDZDD (Zero-Suppressed BDD)OBDD
ZDD
OBDD
6OBDD(ZDD)
(i , j)TijRTij
TijRTij
(0,0)(0,1)(0,2)(0,3)(0,4)(1,0)(2,0)(3,0)(4,0)ijT00T01T02T03T10T20T30T11T12T21RT00RT01RT02RT10RT11RT208(1)(i , j)
9(2)
10(3)111n921181212147221185,328224,736,5202421,617,45626912,370,744333,688,972,842,502,560()
n=9
146
(1)
15
(2)()()(21)(12)(12)(21)(12)(21)
(3) ()
332112
18
BDD19
33
or
320
()
()
()22
n30n32
23n()()()9101111111212310214990122123,63423,010030,88823587,676593,5280789,420242,722,2662,695,3541123,602,98426113,597,576114,195,932488152,062,11633461,440,189,850,352461,015,410,466,97659,808614,828,807,123,63235433,136361,116,160385,913,3284513,382,425,34424n92111821212214721221185,32830,888224,736,520789,4202421,617,4563,602,98426912,370,744152,062,116333,688,972,842,502,560614,828,807,123,632OBDDZDDOBDDZDDnOBDDZDD9,11,12,140.000.00210.030.17230.050.24240.160.52260.160.623310.8511.01355.395.793645.3437.873816.7414.4545Over 1dayCUDD26n33
n=45
27
n=45()28