atcoder#ARC079D. [ARC079F] Namori Grundy

[ARC079F] Namori Grundy

Score : 800800 points

Problem Statement

There is a directed graph with NN vertices and NN edges. The vertices are numbered 1,2,...,N1, 2, ..., N.

The graph has the following NN edges: (p1,1),(p2,2),...,(pN,N)(p_1, 1), (p_2, 2), ..., (p_N, N), and the graph is weakly connected. Here, an edge from Vertex uu to Vertex vv is denoted by (u,v)(u, v), and a weakly connected graph is a graph which would be connected if each edge was bidirectional.

We would like to assign a value to each of the vertices in this graph so that the following conditions are satisfied. Here, aia_i is the value assigned to Vertex ii.

  • Each aia_i is a non-negative integer.
  • For each edge (i,j)(i, j), aiaja_i \neq a_j holds.
  • For each ii and each integer x(0x<ai)x(0 \leq x < a_i), there exists a vertex jj such that the edge (i,j)(i, j) exists and x=ajx = a_j holds.

Determine whether there exists such an assignment.

Constraints

  • 2N2002 \leq N \leq 200 000000
  • 1piN1 \leq p_i \leq N
  • piip_i \neq i
  • The graph is weakly connected.

Input

Input is given from Standard Input in the following format:

NN

p1p_1 p2p_2 ... pNp_N

Output

If the assignment is possible, print POSSIBLE; otherwise, print IMPOSSIBLE.

4
2 3 4 1
POSSIBLE

The assignment is possible: {aia_i} = {0,1,0,10, 1, 0, 1} or {aia_i} == {1,0,1,01, 0, 1, 0}.

3
2 3 1
IMPOSSIBLE
4
2 3 1 1
POSSIBLE

The assignment is possible: {aia_i} == {2,0,1,02, 0, 1, 0}.

6
4 5 6 5 6 4
IMPOSSIBLE