9429: ABC211 —— E - Red Polyomino
[Creator : ]
Description
You are given a grid with $N$ rows and $N$ columns, where the square at the $i$-th row from the top and $j$-th column from the left is painted black if $S_{i, j}$ is `#` and white if $S_{i, j}$ is `.`.
You will choose $K$ of the white squares and paint them red. How many such ways to paint the grid satisfy the following condition?
- The squares painted red will be connected. That is, you will be able to get from any red square to any red square by repeatedly moving horizontally or vertically while only visiting red squares.
You will choose $K$ of the white squares and paint them red. How many such ways to paint the grid satisfy the following condition?
- The squares painted red will be connected. That is, you will be able to get from any red square to any red square by repeatedly moving horizontally or vertically while only visiting red squares.
Input
Input is given from Standard Input in the following format:
```
$N$
$K$
$S_{1, 1}S_{1, 2} \dots S_{1, N}$
$S_{2, 1}S_{2, 2} \dots S_{2, N}$
$\vdots$
$S_{N, 1}S_{N, 2} \dots S_{N, N}$
```
```
$N$
$K$
$S_{1, 1}S_{1, 2} \dots S_{1, N}$
$S_{2, 1}S_{2, 2} \dots S_{2, N}$
$\vdots$
$S_{N, 1}S_{N, 2} \dots S_{N, N}$
```
Output
Print the answer.
Constraints
- $1 \leq N \leq 8$
- $1 \leq K \leq 8$
- Each $S_{i, j}$ is `#` or `.`.
- $N$ and $K$ are integers.
- $1 \leq K \leq 8$
- Each $S_{i, j}$ is `#` or `.`.
- $N$ and $K$ are integers.
Sample 1 Input
3
5
#.#
...
..#
Sample 1 Output
5
We have five ways to satisfy the condition as shown below, where @ stands for a red square.
Note that the way shown below does not satisfy the connectivity requirement since we do not consider diagonal adjacency.
#.# #@# #@# #@# #@# @@@ .@@ @@. @@@ @@@ @@# @@# @@# .@# @.#
Note that the way shown below does not satisfy the connectivity requirement since we do not consider diagonal adjacency.
#@# @.@ @@#
Sample 2 Input
2
2
#.
.#
Sample 2 Output
0
There is no way to satisfy the condition.
Sample 3 Input
8
8
........
........
........
........
........
........
........
........
Sample 3 Output
64678