Connection Status:
Competition Arena > BearDestroys
SRM 671 · 2015-08-31 · by Errichto · Dynamic Programming
Class Name: BearDestroys
Return Type: int
Method Name: sumUp
Arg Types: (int, int, int)
Problem Statement

Problem Statement

Limak is a big grizzly bear. He is now going to destroy an entire forest.


Limak's forest is a rectangular grid that consists of W columns by H rows of cells. At the beginning a single tree grows in each cell. The forest is aligned with the major compass directions: row numbers increase towards the South and column numbers increase towards the East.


Limak will destroy the forest by pushing some of the trees. Whenever Limak pushes a tree, the tree will fall down and remain lying both in the current cell and in the next cell in the direction in which it was pushed. For example, if Limak pushes the tree that grows in the cell (r,c) southwards, he will obtain a toppled tree that lies in the cells (r,c) and (r+1,c).


When pushing the trees, Limak always follows a few rules:

  • He only pushes trees in two directions: either southwards or eastwards.
  • He will never push a tree in a way that would cause it to fall out of the forest. For example, he will never push a tree in the last column eastwards.
  • He will never push a tree in a way that would produce two fallen trees lying on the same cell.


There is a single letter written on each of the trees. Each of these letters is either S or E (representing South and East, respectively). When pushing a tree, Limak will prefer the direction that is written on the tree. For example, if a tree has the letter S, Limak will push it southwards if possible.


Limak is going to visit each cell in the forest exactly once, in row major order. I.e., first he will visit all the cells in the first row from left to right, then the cells in the second row from left to right, and so on. In each cell he will act according to the following algorithm:


  1. Is there a fallen tree in the current cell? If yes, there is no room here to do anything, so I'll just move to the next cell.
  2. Can I push the tree in the direction that is given by the letter written on the tree? If yes, I'll do so and move to the next cell.
  3. Can I push the tree in the other direction? If yes, I'll do so and move to the next cell.
  4. I'll move to the next cell without pushing the tree.


See Example 0 for a sample execution of Limak's algorithm.


You are given the ints W, H, and MOD. There are 2^(W*H) different forests with these dimensions. (Different forests have different assignments of letters S and E to the trees.) For each of these forests, compute the number of trees Limak would topple. Return the sum of those 2^(W*H) numbers, modulo MOD.

Constraints

  • W will be between 1 and 30, inclusive.
  • H will be between 1 and 13, inclusive.
  • MOD will be between 3 and 10^9, inclusive.
  • MOD will be prime.
Examples
0)
4
3
999999937
Returns: 24064

There are 2^(4*3) = 2^12 = 4096 different forests with W=4 columns and H=3 rows. One of those forests looks as follows: SEEE ESSS EESS When destroying this forest, Limak will push five trees. In the scheme below, the final locations of the toppled trees are shown using the numbers 1 through 5. The trees are numbered in the order in which Limak pushed them. The two cells that do not contain a fallen tree at the end are denoted by underscores. 1223 1453 _45_ It can be shown that for these dimensions there are exactly 512 forests in which Limak would topple exactly 5 trees. In each of the remaining (4096-512) forests Limak would topple 6 trees. Thus, the return value is 512 * 5 + (4096-512) * 6.

1)
3
4
999999937
Returns: 24576

For these dimensions of the forest Limak will always topple exactly 6 trees. The return value is 6 * 2^12.

2)
20
2
584794877
Returns: 190795689

For these dimensions of the forest Limak will always topple exactly 20 trees. The return value is (20 * 2^40) modulo MOD.

3)
10
5
3
Returns: 1
4)
1
1
19
Returns: 0

Submissions are judged against all 79 archived test cases, of which 5 are shown here. Case numbers match the judge’s.

Coding Area

Language: C++17 · define a public class BearDestroys with a public method int sumUp(int W, int H, int MOD) · 79 test cases · 2 s / 256 MB per case

Submitting as anonymous