Konstruieren eines Rechtecks der Größe NX2 mit Dominos und L-förmigen Trominos [Duplikat]

cs.stackexchange https://cs.stackexchange.com/questions/126237

  •  29-09-2020
  •  | 
  •  

Frage

Diese Frage hat bereits eine Antwort hier
geschlossene vor 4 Monaten .

Die Frage ist von DP-Fliesen mit einem 2xN-Fliesen mit L-förmigen Fliesen und 2x1-Fliesen? Ich möchte eine Erklärung zu dieser Frage oder Theorie

War es hilfreich?

Lösung

  • let $ f [m] $ Sei die Anzahl der Möglichkeiten, die unten gezeigte Form zu decken, ein $ M $ von $ 2 $ Rechteck. Unser ultimatives Ziel ist $ F [N] $ .
generasacodicetagpre.
  • let $ g [m] $ Sei die Anzahl der Möglichkeiten, die erste unten gezeigte Form zu decken, ein $ m $ von $ 2 $ Rechteck mit einem zusätzlichen 1x1-Quadrat in der oberen rechten Ecke. Durch Symmetrie, $ g [m] $ ist auch die Anzahl der Möglichkeiten, die zweite unten dargestellte Form abzudecken.
generasacodicetagpre.

Um die Wiederholungsbeziehung zu finden, bedecken Sie den Raum an der rechten Grenze der obigen Formen auf alle möglichen Wege.

Erwägen Sie, $ F [M] $ . Wir haben die folgenden vier Möglichkeiten, um den rechten Platz zu decken.

generasacodicetagpre.

also haben wir $ \ quad \ quad f [m]= f [m - 1] + f [m - 2] + g [m - 2] \ cdot 2 $ für $ m \ ge2 $ .

Betrachten Sie, $ g [m] $ . Wir haben folgende 2 Möglichkeiten, um den rechten Platz der ersten Form abzudecken.

generasacodicetagpre.

wir haben also $ \ quad \ quad g [m]= f [m - 1] + g [m-1] $ für $ M \ GE1 $ .

Anwenden der obigen zwei Wiederholungsgleichungen können wir alle $ F [M] $ und $ g [m] berechnen $ , in der Reihenfolge der zunehmenden $ M $ , beginnend von $ m= 2 $ , Angesichts der Anfangsbedingungen $ f [0]= 1 $ , $ f [1]= 1 $ , $ g [0]= 0 $ und $ g [1]= 1 $ . . generasacodicetagpre.


Hier ist ein Weg, um eine einfachere Rezidivrelation abzuleiten, die nur $ F $ umfasst.

Glorfindels Antwort erläutert, wie die Anzahl der Muster berechnet wird, indem Sie den Rightout-Elementarblock ausschneiden. Um zu rekapieren, gibt es einen Elementarblock der Größe $ 1 \ times2 $ , einem Elementarblock von $ 2 \ times2 $ und zwei Elementarblöcke von $ n \ times2 $ für $ n \ ge3 $ . Lassen Sie $ f (n) $ die Anzahl der Muster für $ 2 \ fimes n $ . Wir haben folgende Basisfälle und Rezidivreinigung, $$ F (0)= 1, \ F (1)= 1, \ F (2)= 2, $$ $$ f (n)= f (n-1) + f (n-2) + 2f (n-3) + 2f (n-4) + \ cdoten + 2f ( 0), \ text {für} n \ ge3 $$

Die obigen Formeln führen zu einem Algorithmus, der $ F (n) $ mit $ O (N ^ 2) berechnet $ Zeitkomplexität und $ o (n) $ Raumkomplexität.

wir können es besser machen. Ersetzen von $ N $ mit $ n-1 $ , haben wir $$ F (N-1)= F (N-2) + F (N-3) + 2F (N-4) + 2F (N-5) + \ CDs + 2f (0), \ text {für} n \ ge4 $$

subtrahieren Sie die obigen beiden Gleichungen, erhalten wir $$ F (N) -F (N-1)= F (N-1) + F (N-3) $$ Also haben wir für $ n \ gE4 $ , $$ F (N)= 2F (N-1) + F (N-3) \ Tag {Simple} $$ Da $ F (3)= 5= 2f (2) + F (0) $ , gilt das obige Wiederauftrittsrelation für alle $ n \ ge3 $ . Dies führt zu einem Algorithmus, der berechnet $ F (n) $ mit $ o (n) $ Time- Komplexität und $ O (1) $ Raumkomplexität.

generasacodicetagpre.


Wir können auch die einfache Wiederholungsbeziehung direkt aus den ersten beiden gegenseitigen rekursiven Beziehungen zwischen $ F $ und $ g ableiten $ .

Die Gleichheit $ g [m]= f [m - 1] + g [m-1] $ sagt uns $ f [m-1]= g [m] -g [m-1] $ , und daher $ f [m]= g [m + 1] -g [M] $ und $ F [M-2]= G [M-1] -G [M-2] $ . Anwenden, um sie zu entfernen, um $ F $ in $ f [m]= f [m - 1] + f [m - 2] + g [m - 2] \ cdot 2 $ , wir erhalten $ g [m + 1]= 2g [m] + g [m-2] $ .

Da $ f [m] $ ist eine lineare Kombination von $ g [m + 1] $ und $ g [m] $ , $ F $ zufrieden

Es ist die gleiche Art von Rezidivrelation, d. H. $ F [M]= 2f [M-1] + F [M-3] $ .Überprüfen des gültigen Bereichs des Index $ M $ , sehen wir, dass es Wert für alle $ M \ GE3 $ .

Andere Tipps

Eine Möglichkeit, daran zu denken, dass es elementare Blöcke sind, d. H. Blöcke, die nicht geteilt werden können, indem sie sie vertikal geschnitten werden können.

  • Es gibt einen elementaren Block der Größe 1x2 (eine vertikale B).
  • Es gibt einen elementaren Block der Größe 2x2 (zwei horizontale BS).
  • Es gibt zwei Elementarblöcke der Größe 3x2 (die letzten beiden in Ihrer Figur, Beispiel I).
  • Es gibt zwei Elementarblöcke der Größe 4x2 (beide erscheinen in dem letzten Muster von Beispiel II).
  • Im Allgemeinen gibt es zwei Elementarblöcke der Größe $ n \ times 2 $ , $ n \ ge 3 $ .

Nun, ein $ n \ times 2 $ Rechteck kann in zwei kleinere Blöcke unterteilt werden, indem der rechte Elementarblock geschnitten wird. (Dazu gehört der Fall, in dem der Elementarblock das gesamte Rechteck ist).

  • ein 0x2-Rechteck kann in 1-Way gefliest werden.
  • Von einem 1x2-Rechteck, können wir den rechten Elementarblock schneiden (wir haben 1 davon) und wir sind mit einem 0x2-Rechteck übrig, sodass es in 1-Wege gefliest werden kann. < li>
  • von einem 2x2-Rechteck, können wir entweder einen 2x2-Block (1-Wege) schneiden oder einen 1x2-Block schneiden und mit einem 1x2-Rechteck (1 * 1= 1-Wege) für insgesamt 2-Arten wiedergeben < / stark>.
  • von einem 3x2-Rechteck:
    • Schneiden Sie einen 3x2-Block (2 Wege)
    • Schneiden Sie einen 2x2-Block (1 Weg) und lassen Sie mit einem 1x2-Rechteck (1 Wege)
    • zurück
    • Schneiden Sie einen 1x2-Block (1 Weg) ab und bleiben mit einem 2x2-Rechteck (2 Arten)
    • insgesamt: 2 + 1 * 1 + 1 * 2= 5 Wege .

Auf diese Weise können Sie bis zu 10x2 arbeiten.

Nachdem ich einige Bedingungen berechnet habe, fand ich die Sequenz gefunden, ist A052980 in der Online-Enzyklopädie der ganzzahligen Sequenzen :

a (n) ist die Anzahl der möglichen Fliesen einer 2 x N-Karte mit Dominos und L-förmigen Trominos. - Michael Tulskikh, 21. August 2019

also ist die endgültige Antwort 1255 für $ n= 10 $ .

Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit cs.stackexchange
scroll top