Hide

Problem B
Deterministic Finite Automata - Complement

Accepted submissions to this problem will be granted a score of 12
Languages en is

You are given a deterministic finite automaton that accepts the language L You should output the complement, a deterministic finite automaton that accepts the language L.

Input

The first line of inputs contains two positive integers n, c, s, and f, where n is the number of states, c is the size of the alphabet, s is the initial state, and f is the number of final states. The second line consists of a string Σ=Σ1Σ2Σc of c distinct symbols, each of which is a lowercase english character. The third line consists of f distinct positive integers, the set of final states. Then n lines follow, each with c positive integers, describing the symbol table. The j-th integer on the i-th of those lines represents the state transitioned to from state i upon reading Σj.

Each state is an integer between 1 and n. It is guaranteed that nc100022, 1sn, and 0fn.

Output

Output any deterministic finite automaton representing the complement of the input automaton. Your output is subject to the same format and restrictions as the input.

Sample Input 1 Sample Output 1
3 2 1 1
ab
1
1 2
1 3
3 3
4 2 1 3
ab
2 3 4
1 2
1 3
3 4
4 3
Sample Input 2 Sample Output 2
1 4 1 0
acgt

1 1 1 1
1 4 1 1
acgt
1
1 1 1 1
Hide

Please log in to submit a solution to this problem

Log in