#arc079d. [arc079_d]Namori Grundy

[arc079_d]Namori Grundy

题目描述

高桥君有一个NN个点NN条边的有向图,点的的编号从11NN

高桥君的图有NN条边,形如:(p1,1),(p2,2),...,(pN,N)(p_1,1),(p_2,2),...,(p_N,N),保证图是弱连通的。其中,(u,v)(u,v)表示一条从点uuvv的单向边。“弱连通”是指:假如所有的边都是双向边,则图是连通图

高桥君为每个点设置了一个权值,aia_i表示点ii的权值。他希望图满足如下性质:

所有aia_i都是非负整数

对于每条边(i,j)(i,j),满足aiaja_i≠a_j

对于所有i,x(0x<ai)i,x(0\le x\lt a_i),存在一条边(i,j)(i,j)满足x=ajx=a_j

请你帮高桥君判断一下,这样图是否存在呢?

输入格式

NN

p1p_1 p2p_2 p3p_3 ...... pNp_N

输出格式

如果存在这样的图,输出POSSIBLE

否则输出IMPOSSIBLE

说明

2N2000002 \leq N \leq 200000

1piN1 \leq p_i \leq N

piip_i \ne i

保证给定的图是弱联通的