A1342 | [COCI-2016_2017-contest2]#6 Zamjene

Dominik has envisioned an array of positive integers p1 , …, pn . Let’s denote the sorted version of that array as q1 , …, qn .
Also, he envisioned a set of allowed substitutions. If a pair (X, Y) is a member of the set of allowed substitutions, Dominik can swap the numbers at positions X and Y in array p.
Marin is giving Dominik Q queries, and each of them is of one of the following types:
1. Swap numbers at positions A and B.
2. Add pair (A, B) to the set of allowed substitutions.
Marin can give pair (A, B) that is already in the set of allowed substitutions.
3. See if it’s possible to sort the array using only the allowed substitutions?
The substitutions can be used in an arbitrary order, and each substitution can be made an arbitrary number of times.
4. Let’s call a pair of positions (A, B) linked​ if the number from position A is possible to transfer to position B using only allowed subtitutions.
Let’s call the set of all positions linked to position A the cloud​ of A.
A cloud is good​ if it’s possible for each position j from the cloud to achieve pj = qj using a series of allowed substitutions.
You must answer how many pairs of different positions (A, B) exist such that it holds:
a. Positions A and B are not linked b. Cloud of A is not good and cloud of B is not good c. If we add pair (A, B) to the set of allowed substitutions, the cloud of A (created by linking the cloud of A and cloud of B) becomes good.
Please note: Pairs (A, B) and (B, A) are considered an identical pair.

The first line of input contains integers N and Q (1 ≤ N, Q ≤ 1 000 000).
The second line of input contains N integers p1, …, pn (1 ≤ p1, …, pn ≤ 1 000 000).
Each of the following Q lines contains a query in the following format:
● The first number in the line is the type of query T from the set {1, 2, 3, 4}.
● If the type of query T is 1 or 2, two different integers A and B follow (1 ≤ A, B ≤ N)
that represent the substitution (A, B).

For each query of type 3 or 4, output the answer in its separate line.
The answer to query of type 3 is “DA” (Croatian for yes) or “NE” (Croatian for no), without the quotation marks, and the answer to query of type 4 is a non-negative integer from the task.