COI '16 #1 Ili

View as PDF

Submit solution

Points: 17 (partial)
Time limit: 4.0s
Memory limit: 1G

Problem type

Mirko is building a simple logic circuit in his workshop. The circuit consists of n starting wires denoted with x1,x2,,xn and m logic elements OR denoted with c1,c2,,cm. Each element has exactly two inputs and one output. Each of the inputs is connected to either a starting wire xj or to the output of another element cj. Of course, there are no cycles in a logic circuit and, moreover, it holds that the input of cj can be connected to the output of ci only when it holds i<j.

Each starting wire in the circuit can be set to value 0 or 1, and the value of the output of each element is the logic OR operation of its inputs — the value is 0 if the values of both inputs are 0, otherwise it is 1.

Mirko does not know the initial values of the starting wires, but with careful measurements, he has determined the values of the output of some elements. Find the remaining values of the outputs that can be unambiguously determined based on the measurements.

Input Specification

The first line of input contains the positive integers n and m — the number of starting wires and the number of elements in the circuit. The following line contains a string of exactly m characters that describes the measured value of the output of the element cj, or is equal to ? if Mirko did not perform this measurement. The jth of the following m lines contains labels of two inputs of the circuit cj, each label being either a label of the starting wire in the form of xi where it holds 1in, or a label of the element ci where it holds 1i<j. The two inputs of the element cj may be the same. You can assume that the measured values are mutually consistent.

Output Specification

The first line of output must contain a string of m characters — the jth character in the string must correspond to the value of the output of cj or be ? if that value cannot be unambiguously determined.

Constraints

Subtask Score Constraints
1 7 n15,m20
2 42 n,m500
3 51 n,m10000

Sample Input 1

Copy
4 4
10??
x1 x2
x2 x3
x3 x4
x1 c3

Sample Output 1

Copy
10?1

Explanation for Sample Output 1

Sample Input 2

Copy
4 5
11???
x1 x2
x3 x4
x1 x3
x2 x4
c3 c4

Sample Output 2

Copy
11??1

Comments

There are no comments at the moment.