在放置操作中,每一行有 w 个位置,因此每行状态可表示为 0 到 2^w - 1 的整数。

当前行的状态 s 由前一行状态 s' 转换而来。对于该行位置 j,状态转换规则如下:

  • 若前一行位置 j 为 0,则该位置可以竖放,状态转换:0 -> 1
  • 若前一行连续两个位置为 0,则这两个位置可以横放,状态转换:00 -> 00
  • 若前一行位置 j 为 1,则该位置不可再放,状态转换:1 -> 0