atcoder#ABC243H. [ABC243Ex] Builder Takahashi (Enhanced version)
[ABC243Ex] Builder Takahashi (Enhanced version)
Score : points
Problem Statement
There is a grid with squares. Let denote the square at the -th row from the top and -th column from the left. represents the state of each square. Each square is in one of the following four states.
S
: The starting point. The grid has exactly one starting point.G
: The goal. The grid has exactly one goal..
: A constructible square, where a wall can be built.O
: An unconstructible square, where a wall cannot be built.
Aoki intends to start at the starting point and get to the goal. When he is at , he can go to , , , or . It is not allowed to exit the grid or enter a square with a wall.
Takahashi decides to build a wall on one or more constructible squares of his choice before Aoki starts so that there is no way for Aoki to reach the goal. Here, the starting point and the goal cannot be chosen.
Is it possible for Takahashi to build walls to prevent Aoki from reaching the goal? If it is possible, also compute the two values below:
- the minimum number of walls needed to prevent Aoki from reaching the goal, and
- the number of ways modulo , , to achieve that minimum number of walls.
Constraints
- is
S
,G
,.
, orO
. - Each of
S
andG
appears exactly once in .
Input
Input is given from Standard Input in the following format:
Output
If it is possible to build walls to prevent Aoki from reaching the goal, print the string Yes
and the integers and defined in the Problem Statement, in the following format:
Yes
Otherwise, print No
.
4 3
S..
O..
..O
..G
Yes
3 6
Let #
represent a square to build a wall on. The six ways to achieve the minimum number of walls are as follows:
S#. S.# S.. S.. S.. S..
O#. O#. O## O.# O.# O.#
#.O #.O #.O ##O .#O .#O
..G ..G ..G ..G #.G .#G
3 2
.G
.O
.S
No
Regardless of how Takahashi builds walls, Aoki can always reach the goal.
2 2
S.
.G
Yes
2 1
10 10
OOO...OOO.
.....OOO.O
OOO.OO.OOO
OOO..O..S.
....O.O.O.
.OO.O.OOOO
..OOOG.O.O
.O.O..OOOO
.O.O.OO...
...O..O..O
Yes
10 12