結果
問題 | No.998 Four Integers |
ユーザー | ikd |
提出日時 | 2020-05-01 18:21:15 |
言語 | F# (F# 4.0) |
結果 |
AC
|
実行時間 | 65 ms / 1,000 ms |
コード長 | 444 bytes |
コンパイル時間 | 13,628 ms |
コンパイル使用メモリ | 203,232 KB |
実行使用メモリ | 30,720 KB |
最終ジャッジ日時 | 2024-06-06 19:40:35 |
合計ジャッジ時間 | 15,124 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 60 ms
30,592 KB |
testcase_01 | AC | 57 ms
30,720 KB |
testcase_02 | AC | 59 ms
30,720 KB |
testcase_03 | AC | 60 ms
30,336 KB |
testcase_04 | AC | 57 ms
30,324 KB |
testcase_05 | AC | 58 ms
30,324 KB |
testcase_06 | AC | 58 ms
30,464 KB |
testcase_07 | AC | 61 ms
30,592 KB |
testcase_08 | AC | 63 ms
30,592 KB |
testcase_09 | AC | 63 ms
30,336 KB |
testcase_10 | AC | 64 ms
30,592 KB |
testcase_11 | AC | 63 ms
30,336 KB |
testcase_12 | AC | 64 ms
30,592 KB |
testcase_13 | AC | 63 ms
30,592 KB |
testcase_14 | AC | 62 ms
30,464 KB |
testcase_15 | AC | 61 ms
30,592 KB |
testcase_16 | AC | 63 ms
30,720 KB |
testcase_17 | AC | 62 ms
30,592 KB |
testcase_18 | AC | 61 ms
30,572 KB |
testcase_19 | AC | 57 ms
30,592 KB |
testcase_20 | AC | 58 ms
30,464 KB |
testcase_21 | AC | 58 ms
30,592 KB |
testcase_22 | AC | 59 ms
30,720 KB |
testcase_23 | AC | 62 ms
30,464 KB |
testcase_24 | AC | 65 ms
30,572 KB |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.fsproj を復元しました (319 ms)。 MSBuild のバージョン 17.9.6+a4ecab324 (.NET) /home/judge/data/code/Main.fs(8,9): warning FS0025: この式のパターン マッチが不完全です たとえば、値 '[|_; _; _; _; _|]' はパターンに含まれないケースを示す可能性があります。 [/home/judge/data/code/main.fsproj] main -> /home/judge/data/code/bin/Release/net8.0/main.dll main -> /home/judge/data/code/bin/Release/net8.0/publish/
ソースコード
// Learn more about F# at http://fsharp.org open System [<EntryPoint>] let main argv = // https://docs.microsoft.com/ja-jp/dotnet/fsharp/language-reference/pattern-matching#array-pattern let [|a; b; c; d|] = stdin.ReadLine().Split() |> Array.map int |> Array.sortBy(id) if a + 1 = b && b + 1 = c && c + 1 = d then printfn "Yes" else printfn "No" 0 // return an integer exit code