3点タイル張り問題の 解の列挙
Post on 02-Jan-2016
53 Views
Preview:
DESCRIPTION
TRANSCRIPT
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
top related