2318. The Sidewinder Sleeps Tonite

单点时限: 2.0 sec

内存限制: 256 MB

Slitherlink is a type of logic puzzle made popular by Nikoli, the same Japanese puzzle company that has made Sudoku popular the world over. Like most good logic puzzles, it has a set of very basic rules that can nonetheless result in devilishly difficult (and delightful!) puzzling experiences.

The rules of Slitherlink are as follows:

1.A Slitherlink board is made up of a lattice of dots; in this problem, it will be a regular rectangular lattice.

2.Some of the boxes (or cells) defined by the lattice have numbers within them; with a regular rectangular lattice, the numbers will be between 0 and 3 inclusive.

3.The goal of a Slitherlink puzzle is to connect adjacent dots (horizontally or vertically, like the sides of boxes) so that there is a single loop that never crosses itself, with no line segments that are not part of the loop (no “dangling” segments or other, separate loops) such that every cell that has a number has exactly that many sides as segments of the loop.

Given a supposedly solved Slitherlink puzzle, your task will be to determine whether or not it is indeed legitimately solved.

输入格式

Input to this problem will begin with a line containing a single integer N (1 ≤ N ≤ 100) indicating the number of data sets. Each data set consists of the following components:

1.A line containing two integers H, W (1 ≤ H,W ≤ 20) representing the height and width of the Slitherlink puzzle by the number of cells (not dots!) per edge;

2.A series of 2H + 1 lines representing the Slitherlink puzzle, using the following non-whitespace characters:

1) 0, 1, 2, 3, ?: The numbers written inside a given cell. A ? represents an empty cell, as in the example graphic above.

2) #: A dot in the lattice.

3) -, |: A horizontal or vertical line segment.

4) .: An empty adjacency between two dots in the lattice.

Note that all Slitherlink puzzles will be fully represented; that is, there is no internal whitespace on a given line to represent empty cells or adjacencies.

输出格式

For each data set, print “VALID” if the solution is a valid solution to the given Slitherlink, or “INVALID” if the solution is not valid.

样例

Input
2
5 5
#-#-#-#-#-#
|?.?.?.1.3|
#.#-#-#.#-#
|?|?.?|?|?.
#-#.#.#.#-#
.2.0.2|?.?|
#-#.#-#.#-#
|?|3|?.?|2.
#.#-#.#-#.#
|?.?.2|?.0.
#-#-#-#.#.#
5 5
#-#-#-#-#-#
|?|?.?.1.3|
#.#-#-#.#-#
|?|?.?|?|?.
#-#.#.#.#-#
.2.0.2|?.?|
#-#.#-#.#-#
|?|3|?.?|2.
#.#-#.#-#.#
|?.?.2|?.0.
#-#-#-#-#.#
Output
VALID
INVALID

3 人解决,4 人已尝试。

4 份提交通过,共有 20 份提交。

8.2 EMB 奖励。

创建: 15 年,8 月前.

修改: 6 年,8 月前.

最后提交: 15 年,8 月前.

来源: 2007 South Central USA Regional Programming Contest

题目标签