DP on Broken Profile
Author: Andi Qu
Dynamic programming on grid boundary states.
Prerequisites
Resources
Resources | ||||
---|---|---|---|---|
Pavel Mavrin | ||||
cp-algo | ||||
CF |
Broken profile DP is a subset of bitmask DP. Problems falling under this category generally have the following properties:
- They're about filling a 2D grid.
- One of the dimensions is much smaller than the other.
- When filling the grid, each cell depends only on adjacent cells.
- The cells don't have many possible values (usually only 2).
The third property is especially important, as it means that we can process the cells column-by-column (imagine a snake wrapping around the grid). We then only need to care about the rightmost processed cell in each row (hence the name "broken profile").
The fourth property suggests that we should use a bitmask to represent that broken profile.
Warning!
Note that the bitmask doesn't necessarily have to represent the state of the cells. In some problems (e.g. CEOI 2006 Connect), it can represent the state of the cell borders instead.
Focus Problem – try your best to solve this problem before continuing!
Tutorial
We'll process the grid cells column-by-column, row-by-row. Let and denote the row and column of the current cell we are considering, and be the number of ways to tile the grid so that:
- All cells from cell to cell are covered.
- All cells from cell to cell are empty.
- represents whether each of the remaining cells are empty, with the -th bit corresponding to the cell in row .
For example, the following state would contribute toward
:
The answer will be .
We now have three cases when calculating :
- The -th bit of the mask is 0, meaning that cell is covered.
- Case 1: we used a horizontal tile to cover it.
- Cell must have been empty, so there are ways to do this.
- Case 2: we used a vertical tile to cover it.
- This is only possible if .
- Cell must have been covered and cell must have been empty, so there are ways to do this.
- This corresponds to
if (i && !(mask & (1 << i)) && !(mask & (1 << i - 1)))
in the code below.
- The -th bit of the mask is 1, meaning that cell is empty.
- Cell must have been covered, so there are ways to do this.
- This is the same as case 1 of when the -th bit of the mask is 0, so we handle them simultaneously in the code below.
Note that the indices we need to use may become negative and will thus require wrapping. To simplify calculations and bypass this, simply drop the first two dimensions of the DP array, as depends only on .
Implementation
Time Complexity:
C++
#include <bits/stdc++.h>using namespace std;const int MOD = 1e9 + 7;int dp[1 << 10][2];int main() {int n, m;cin >> n >> m;
Problems
Status | Source | Problem Name | Difficulty | Tags | |
---|---|---|---|---|---|
CF | Normal | Show TagsBroken Profile | |||
COCI | Normal | Show TagsBroken Profile | |||
CEOI | Hard | ||||
Platinum | Very Hard | Show TagsBroken Profile |
Module Progress:
Join the USACO Forum!
Stuck on a problem, or don't understand a module? Join the USACO Forum and get help from other competitive programmers!