結果

問題 No.334 門松ゲーム
コンテスト
ユーザー vain0
提出日時 2016-01-16 15:10:49
言語 F#
(F# 4.0)
結果
WA  
実行時間 -
コード長 1,249 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 10,627 ms
コンパイル使用メモリ 186,032 KB
実行使用メモリ 39,720 KB
最終ジャッジ日時 2024-09-19 19:58:20
合計ジャッジ時間 15,108 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 7 WA * 6
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (250 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 #
raw source code 

open System

let is_kadomatsu (x, y, z) =
    x <> y && y <> z
    && (x < y || y < z)
    && (x > y || y > z)

let rec tails = function
    | [] -> []
    | x :: xs -> (x, xs) :: tails xs

// 部分門松列の列挙
let enum_subkadomatsus xs =
    xs |> tails |> List.collect (fun (x, ys) ->
    ys |> tails |> List.collect (fun (y, zs) ->
        zs
        |> List.map (fun z -> (x, y, z))
        |> List.filter is_kadomatsu
    ))

// ある部分門松列を消して絶対に勝てるなら、それを返す
let rec fr_turn ks =
    enum_subkadomatsus ks
    |> List.tryFind (fun (x, y, z) ->
        let ks' = ks |> List.filter (fun k -> k <> x && k <> y && k <> z)
        en_turn ks'
        )

and en_turn ks =
    enum_subkadomatsus ks
    |> List.forall (fun (x, y, z) ->
        let ks' = ks |> List.filter (fun k -> k <> x && k <> y && k <> z)
        fr_turn ks' |> Option.isSome
        )

[<EntryPoint>]
let main _ =
  let _ = Console.ReadLine() |> int
  let ks = Console.ReadLine().Split(' ') |> Array.map int |> Array.toList

  match fr_turn ks with
  | Some (x, y, z) ->
      let i x = ks |> List.tryFindIndex ((=) x) |> Option.get
      printfn "%d %d %d" (i x) (i y) (i z)
  | None ->
      printfn "-1"

  //exit code
  0
0