{-# LANGUAGE OverloadedStrings #-} module Main where import Data.Maybe import qualified Data.ByteString.Char8 as C import Control.Monad(forM_) import Data.Int import Data.List import Data.Array import Data.Word import Data.Bits import qualified Data.IntMap as IntMap import qualified Data.Map as Map import Data.Functor yes :: C.ByteString yes = "YES" no :: C.ByteString no = "NO" getInts :: IO [Int] getInts = do ss <- C.getLine return $ map (fst . fromJust . C.readInt) $ C.words ss getIntss :: Int -> IO [[Int]] getIntss 0 = return [] getIntss n = do xs <- getInts xss <- getIntss (n - 1) return $ xs : xss -- end standard template -- main :: IO () main = do [n,k] <- getInts xs <- getInts let res = solve n k xs C.putStrLn res solve :: Int -> Int -> [Int] -> C.ByteString solve n k xs = if odd t == odd k && t <= k then yes else no where as = listArray (1,n) xs bs = array (1,n) [(i, f i i) | i <- [1..n]] where f s x = if (as ! x) == s then x else if (as ! x) < s then bs ! (as ! x) else min x $ f s (as ! x) t = foldr (\i -> \m -> if bs ! i /= i then m + 1 else m) 0 [1..n]