|
Matcom Online Grader
ℹ️ We've recently migrated MOG to a new server with a different grader. As a result, some features—especially those related to submission evaluation—might not work correctly. If you encounter any issues, please report them by clicking the exclamation icon in the bottom right corner of the website.
I - Light Up
Languages: C, C++, Java, Pascal, Haskell, Python, JavaScript, Tiger, C#
Time & Memory limits: (details)
Light Up is a puzzle set in a rectangular board divided in smaller squares. Some squares in the board are “empty” (white squares the figure below), some squares are “barriers” (dark squares in the figure below). A barrier square may have an integer number i associated to it $(0 \leq i \leq 4)$.
In this puzzle the goal is to “light up” all the empty squares by placing lamps in some of them (lamps are depicted as circles in the figure). Each lamp illuminates the square it is on, plus all squares in line with it, horizontally or vertically, up to a barrier square or the board end.
A winning configuration satisfies the following conditions:
- all empty squares must be lit;
- no lamp may be lit by another lamp;
- all numbered barrier squares must have exactly that number of lamps adjacent to them (in the four squares above, below, and to the side);
- non-numbered barrier squares may have any number of lamps adjacent to them.
You must write a program to determine the smallest number of lamps that are needed to reach a winning configuration.
Input
The input contains several test cases. The first line of a test case contains two integers $N$, $M$ indicating respectively the number of rows and the number of columns of the board $(1 \leq N \leq 7, 1 \leq M \leq 7)$. The second line contains one integer $B$ indicating the number of barrier squares $(0 \leq B \leq N \times M)$. Each of the next $B$ lines describe a barrier, containing three integers $R$, $C$ and $K$, representing respectively the row number $(1 \leq R \leq N)$, the column number $(1 \leq C \leq M)$ and the barrier number $(−1 \leq K \leq 4)$; $K = −1$ means the barrier is unnumbered. The end of input is indicated by $N = M = 0$.
The input must be read from standard input.
Output
For each test case in the input your program must produce one line of output, containing either an integer indicating the smallest number of lamps needed to reach a winning configuration, in case such a configuration exists, or the words $\texttt{‘No solution’}$.
The output must be written to standard output.
Sample test(s)
Input
2 2
0
2 2
1
2 2 1
6 7
7
2 3 -1
3 3 0
4 2 1
5 4 3
5 6 2
1 7 -1
6 5 -1
0 0
Output
2
No solution
8