結果
| 問題 | No.564 背の順 | 
| コンテスト | |
| ユーザー |  guricerin | 
| 提出日時 | 2020-01-07 12:41:55 | 
| 言語 | F# (F# 4.0) | 
| 結果 | 
                                WA
                                 
                             | 
| 実行時間 | - | 
| コード長 | 1,189 bytes | 
| コンパイル時間 | 7,271 ms | 
| コンパイル使用メモリ | 201,348 KB | 
| 実行使用メモリ | 35,176 KB | 
| 最終ジャッジ日時 | 2024-11-23 00:50:46 | 
| 合計ジャッジ時間 | 11,365 ms | 
| ジャッジサーバーID (参考情報) | judge5 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 6 WA * 3 | 
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.fsproj を復元しました (220 ms)。 MSBuild のバージョン 17.9.6+a4ecab324 (.NET) /home/judge/data/code/Main.fs(19,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/
ソースコード
open System
open System.Collections.Generic
[<AutoOpen>]
module Cin =
    let read f = stdin.ReadLine() |> f
    let reada f = stdin.ReadLine().Split() |> Array.map f
    let readChars() = read string |> Seq.toArray
    let readInts() = readChars() |> Array.map (fun x -> Convert.ToInt32(x.ToString()))
[<AutoOpen>]
module Cout =
    let writer = new IO.StreamWriter(new IO.BufferedStream(Console.OpenStandardOutput()))
    let print (s: string) = writer.Write s
    let println (s: string) = writer.WriteLine s
    let inline puts (s: ^a) = string s |> println
let solve() =
    let [| H; N |] = reada int
    let hs = Array.zeroCreate (N - 1)
    for i in 0 .. N - 2 do
        hs.[i] <- read int
    let hs =
        Array.append hs [| H |]
        |> Array.sort
        |> Array.rev
    seq {
        for i in 0 .. N - 1 do
            if H = hs.[i] then yield (i + 1)
    }
    |> Seq.head
    |> function
    | n when n = 1 -> "1st"
    | n when n = 2 -> "2nd"
    | n when n = 3 -> "3rd"
    | n -> sprintf "%dth" n
    |> puts
[<EntryPoint>]
let main _ =
    try
        solve()
    with e -> printfn "%s" (e.ToString())
    writer.Close()
    0 // return an integer exit code
            
            
            
        