結果

問題 No.3252 Constrained Moving
コンテスト
ユーザー kou_kkk
提出日時 2026-08-19 17:13:41
言語 F#
(F# 10.0)
コンパイル:
fsharp_c _filename_
実行:
/usr/bin/dotnet_wrap
結果
AC  
実行時間 236 ms / 2,000 ms
+ 774µs
コード長 576 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 10,271 ms
コンパイル使用メモリ 223,572 KB
実行使用メモリ 62,344 KB
最終ジャッジ日時 2026-08-19 17:14:02
合計ジャッジ時間 15,997 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge2_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 30
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (173 ミリ秒)。
/home/judge/data/code/Main.fs(1,5): warning FS0025: この式のパターン マッチが不完全です たとえば、値 '[|_; _; _; _; _|]' はパターンに含まれないケースを示す可能性があります。 [/home/judge/data/code/main.fsproj]
  main -> /home/judge/data/code/bin/Release/net10.0/main.dll
  main -> /home/judge/data/code/bin/Release/net10.0/publish/

ソースコード

diff #
raw source code 

let [| n; s; t; k |] =
    stdin.ReadLine().Split()
    |> Array.map int

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

let f (xs: int array) (idx: int) : int =
    let mutable result = 1e9 |> int
    for i in 0 .. xs.Length - 1 do
        if i <> idx then
            if result > xs.[i] then
                result <- xs.[i]
    result

if arr.[s - 1] + arr.[t - 1] <= k then
    1
else
    let m = f arr (s - 1)
    let cond1 = m + arr.[s - 1] <= k
    let cond2 = m + arr.[t - 1] <= k

    if cond1 && cond2 then
        2
    else
        -1
|> printfn "%d"
0