結果

問題 No.22 括弧の対応
コンテスト
ユーザー tanson
提出日時 2026-04-10 00:22:55
言語 Standard ML
(MLton 20241230)
コンパイル:
mlton_wrapper _filename_
実行:
./main
結果
AC  
実行時間 2 ms / 5,000 ms
コード長 1,074 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 6,499 ms
コンパイル使用メモリ 705,324 KB
実行使用メモリ 7,972 KB
最終ジャッジ日時 2026-04-10 00:23:20
合計ジャッジ時間 4,387 ms
ジャッジサーバーID
（参考情報） 		judge3_1 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 19
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

fun member x nil = false
  | member x (h::tl) =
    if x = h
    then true
    else member x tl


fun readInt () =
    valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn)


fun readStr () =
    let
        fun scan reader stream = SOME (StringCvt.splitl (not o Char.isSpace) reader (StringCvt.skipWS reader stream))
    in
        valOf (TextIO.scanStream scan TextIO.stdIn)
    end


fun findAns k s =
    let
        fun makePairs _ [] _ = []
          | makePairs i (h::tl) stack = 
            if h = #"(" then makePairs (i + 1) tl (i :: stack)
            else (* #")" *) [List.hd stack, i] :: makePairs (i + 1) tl (List.tl stack)

        val pairs = makePairs 1 (String.explode s) []
        val included = valOf (List.find (fn pair => member k pair) pairs)
    in
        if List.hd included = k then List.nth (included, 1)
        else List.nth (included, 0)
    end


val () =
    let
        val n = readInt ()
        val k = readInt ()
        val s = readStr ()

        val ans = findAns k s
    in
        print (Int.toString ans ^ "\n")
    end
0