HANGLET - Hang or not to hang
Little Tom is learning how to program. He has just written some programs but is afraid to run them, because he does not know if they will ever stop. Please write a program to help him. This task is not as easy as it may seem, because Tom's programs are possibly not deterministic. Given a program written by Tom, your program should tell him whether his program can stop and if so, what is the shortest possible time before it stops.
Tom's computer consists of 32 1-bit registers and the program consists of n instructions. The registers are numbered from 0 to 31 and the instructions are numbered from 0 to n-1.
Below, MEM[a] stands for the contents of the a-th register, 0 <= a, b < 32, 0 <= x < n, 0 <= c <= 1.
The instruction set is as follows:
Instruction Semantics AND a b MEM[a] := MEM[a] and MEM[b] OR a b MEM[a] := MEM[a] or MEM[b] XOR a b MEM[a] := MEM[a] xor MEM[b] NOT a MEM[a] := not MEM[a] MOV a b MEM[a] := MEM[b] SET a c MEM[a] := c RANDOM a MEM[a] := random value (0 or 1) JMP x jump to the instruction with the number x JZ x a jump to the instruction with the number x if MEM[a] = 0 STOP stop the program
The last instruction of a program is always STOP (although there can be more than one STOP instruction). Every program starts with the instruction number 0. Before the start, the contents of the registers can be arbitrary values. Each instruction (including STOP) takes 1 processor cycle to execute.
Task
Write a program that:
- reads the program,
- computes the shortest possible running time of the program,
- writes the result.
Input
The input begins with the integer t, the number of test cases. Then t test cases follow.
For each test case the first line of the input contains an integer n (1 <= n <= 16) being the number of instructions of the program. Each of the next n lines contains one instruction of the program in the format given above. You may assume that the only white characters in the program are single spaces between successive tokens of each instruction.
Output
For each test case the first and only line of the output should contain the shortest possible running time of the program, measured in processor cycles. If the program cannot stop, output should contain the word HANGS.
Example
Input: 2 5 SET 0 1 JZ 4 0 RANDOM 0 JMP 1 STOP 5 MOV 3 5 NOT 3 AND 3 5 JZ 0 3 STOP Output: 6 HANGS
hide comments
Ehor Nechiporenko:
2012-08-23 11:11:56
Nice. This problem has good solution, when using "extended", not boolean logic. |
Added by: | adrian |
Date: | 2004-06-26 |
Time limit: | 3s |
Source limit: | 50000B |
Memory limit: | 1536MB |
Cluster: | Cube (Intel G860) |
Languages: | All |
Resource: | ACM Central European Programming Contest, Warsaw 2003 |