結果

問題 No.360 増加門松列
ユーザー kuuso1kuuso1
提出日時 2016-09-13 00:40:56
言語 F#
(F# 4.0)
結果
AC  
実行時間 140 ms / 2,000 ms
コード長 1,209 bytes
コンパイル時間 8,834 ms
コンパイル使用メモリ 189,476 KB
実行使用メモリ 47,360 KB
最終ジャッジ日時 2024-12-24 04:36:16
合計ジャッジ時間 12,446 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 128 ms
46,324 KB
testcase_01 AC 137 ms
47,068 KB
testcase_02 AC 125 ms
41,344 KB
testcase_03 AC 96 ms
34,176 KB
testcase_04 AC 130 ms
47,360 KB
testcase_05 AC 132 ms
45,568 KB
testcase_06 AC 132 ms
46,592 KB
testcase_07 AC 127 ms
45,824 KB
testcase_08 AC 130 ms
45,696 KB
testcase_09 AC 135 ms
45,428 KB
testcase_10 AC 118 ms
41,704 KB
testcase_11 AC 94 ms
33,660 KB
testcase_12 AC 134 ms
47,360 KB
testcase_13 AC 119 ms
42,480 KB
testcase_14 AC 88 ms
31,744 KB
testcase_15 AC 117 ms
41,856 KB
testcase_16 AC 94 ms
32,128 KB
testcase_17 AC 94 ms
32,896 KB
testcase_18 AC 140 ms
46,836 KB
testcase_19 AC 140 ms
47,104 KB
testcase_20 AC 130 ms
44,904 KB
testcase_21 AC 133 ms
46,464 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (230 ms)。
MSBuild のバージョン 17.9.6+a4ecab324 (.NET)
  main -> /home/judge/data/code/bin/Release/net8.0/main.dll
  main -> /home/judge/data/code/bin/Release/net8.0/publish/

ソースコード

diff # 

open System

let rec insertions x = function
    | []             -> [[x]]
    | (y :: ys) as l -> (x::l)::(List.map (fun x -> y::x) (insertions x ys))

let rec permutations = function
    | []      -> seq [ [] ]
    | x :: xs -> Seq.concat (Seq.map (insertions x) (permutations xs))

let ri () = stdin.ReadLine() |> int
let ria () = stdin.ReadLine().Split() |> Array.map int

let zip3 a b c =
    Seq.zip a b 
    |> Seq.zip c
    |> Seq.map (fun (z,(x,y)) -> (x,y,z) )

let isKadmatsu (x,y,z) = ( x <> y ) && ( y <> z) && (x <> z) && ( ((x < y) && (y > z)) || ((x > y) && (y < z)))
let isAscendingKadomatsu ((x:int),(y:int),(z:int)) = ( isKadmatsu (x,y,z) ) && (x < z)

let isAscendingKadomatsuSeq (a:int list) = 
    let a3 = zip3 a (Seq.skip 1 a) (Seq.skip 2 a)
    a3 |> Seq.map isAscendingKadomatsu |> Seq.reduce (fun x s -> x && s)
    
type Sol() =
    member this.Solve() = 
        let D = ria() |> Array.toList
        let permu = permutations D
        
        let ret = Seq.tryFind  (fun ar -> isAscendingKadomatsuSeq ar ) permu
        if (Option.isSome ret) then "YES" else "NO"
        |> printfn "%s"
                                   
        
        
let mySol = new Sol()
mySol.Solve()
0