結果

問題 No.334 門松ゲーム
ユーザー vain0vain0
提出日時 2016-01-16 15:10:49
言語 F#
(.NET 7)
結果
WA  
実行時間 -
コード長 1,249 bytes
コンパイル時間 14,921 ms
コンパイル使用メモリ 194,376 KB
実行使用メモリ 41,096 KB
最終ジャッジ日時 2023-10-20 00:06:02
合計ジャッジ時間 22,130 ms
ジャッジサーバーID
(参考情報)
judge13 / judge15
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 352 ms
36,904 KB
testcase_01 AC 84 ms
32,540 KB
testcase_02 AC 92 ms
35,160 KB
testcase_03 AC 361 ms
36,852 KB
testcase_04 AC 366 ms
36,876 KB
testcase_05 AC 361 ms
36,892 KB
testcase_06 AC 369 ms
41,096 KB
testcase_07 AC 99 ms
35,052 KB
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 AC 365 ms
38,776 KB
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 AC 360 ms
39,372 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (407 ms)。
MSBuild のバージョン 17.7.3+8ec440e68 (.NET)
  main -> /home/judge/data/code/bin/Release/net7.0/main.dll
  main -> /home/judge/data/code/bin/Release/net7.0/publish/

ソースコード

diff #

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