import java.util.*; public class Main { static int mod = 1000000007; static int size = 200000; static long[] fac = new long[size]; static long[] finv = new long[size]; static long[] inv = new long[size]; static int INF = Integer.MAX_VALUE; static boolean[] visited; static ArrayList[] edges; static int count = 0; public static void main(String[] args){ Scanner scanner = new Scanner(System.in); int n = scanner.nextInt(); long k = scanner.nextLong(); int[] d = new int[n]; for(int i = 0; i < n; i++){ d[i] = scanner.nextInt()-1; } edges = new ArrayList[n]; for(int i = 0; i < n; i++){ edges[i] = new ArrayList(); } for(int i = 0; i < n; i++){ edges[i].add(new E(d[i])); } visited = new boolean[n]; int tmp = 0; for(int i = 0; i < n; i++){ if(!visited[i]){ count = 0; dfs(i); tmp += count; } } if((k-tmp) % 2 == 0 && k - tmp >= 0){ System.out.println("YES"); }else{ System.out.println("NO"); } //System.out.println(tmp); } //頂点vから始めて何頂点移動できるか?をreturn public static int dfs(int v){ if(!visited[v]){ visited[v] = true; } for(E e : edges[v]){ if(!visited[e.to]){ dfs(e.to); count++; } } return count; } static class Pair implements Comparable{ int x, y; Pair(int a, int b){ x = a; y = b; } @Override public boolean equals(Object o){ if (this == o) return true; if (!(o instanceof Pair)) return false; Pair p = (Pair) o; return x == p.x && y == p.y; } @Override public int compareTo(Pair p){ //return x == p.x ? y - p.y : x - p.x; //xで昇順にソート //return (x == p.x ? y - p.y : x - p.x) * -1; //xで降順にソート //return y == p.y ? x - p.x : y - p.y;//yで昇順にソート return (y == p.y ? x - p.x : y - p.y)*-1;//yで降順にソート } } static class E{ int to; E(int to){ this.to = to; } } static class Edge implements Comparable{ int from; int to; int cost; Edge(int from, int to,int cost){ this.from = from; this.to = to; this.cost = cost; } public int compareTo(Edge e) { return this.cost - e.cost; } } //繰り返し二乗法 public static long pow(long x, long n){ long ans = 1; while(n > 0){ if((n & 1) == 1){ ans = ans * x; ans %= mod; } x = x * x % mod; n >>= 1; } return ans; } //fac, inv, finvテーブルの初期化、これ使う場合はinitComb()で初期化必要 public static void initComb(){ fac[0] = finv[0] = inv[0] = fac[1] = finv[1] = inv[1] = 1; for (int i = 2; i < size; ++i) { fac[i] = fac[i - 1] * i % mod; inv[i] = mod - (mod / i) * inv[(int) (mod % i)] % mod; finv[i] = finv[i - 1] * inv[i] % mod; } } //nCk % mod public static long comb(int n, int k){ return fac[n] * finv[k] % mod * finv[n - k] % mod; } //n! % mod public static long fact(int n){ return fac[n]; } //(n!)^-1 with % mod public static long finv(int n){ return finv[n]; } static class UnionFind { int[] parent; public UnionFind(int size) { parent = new int[size]; Arrays.fill(parent, -1); } public boolean unite(int x, int y) { x = root(x); y = root(y); if (x != y) { if (parent[y] < parent[x]) { int tmp = y; y = x; x = tmp; } parent[x] += parent[y]; parent[y] = x; return true; } return false; } public boolean same(int x, int y) { return root(x) == root(y); } public int root(int x) { return parent[x] < 0 ? x : (parent[x] = root(parent[x])); } public int size(int x) { return -parent[root(x)]; } } public static int upperBound(long[] a,long val){ return upperBound(a,0,a.length,val); } public static int upperBound(long[] a,int l,int r,long val){ if(r-l==1){ if(a[l]>val) return l; return r; } int mid=(l+r)/2; if(a[mid]>val){ return upperBound(a,l,mid,val); }else{ return upperBound(a,mid,r,val); } } public static int lowerBound(long[] a,long val){ return lowerBound(a,0,a.length,val); } public static int lowerBound(long[] a,int l,int r,long val){ if(r-l==1){ if(a[l] n) return gcd(m,n); if(m == 0) return n; return gcd(m, n%m); } }