結果

問題 No.13 囲みたい！
ユーザー vain0vain0
提出日時 2015-10-23 21:43:55
言語 F#
(F# 4.0)
結果
AC  
実行時間 78 ms / 5,000 ms
コード長 1,343 bytes
コンパイル時間 6,606 ms
コンパイル使用メモリ 199,884 KB
実行使用メモリ 38,144 KB
最終ジャッジ日時 2024-04-21 12:22:02
合計ジャッジ時間 9,057 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 64 ms
33,280 KB
testcase_01 AC 64 ms
33,276 KB
testcase_02 AC 66 ms
32,896 KB
testcase_03 AC 74 ms
37,248 KB
testcase_04 AC 68 ms
33,536 KB
testcase_05 AC 78 ms
38,144 KB
testcase_06 AC 69 ms
34,048 KB
testcase_07 AC 78 ms
35,820 KB
testcase_08 AC 75 ms
35,968 KB
testcase_09 AC 76 ms
36,224 KB
testcase_10 AC 66 ms
33,280 KB
testcase_11 AC 71 ms
35,072 KB
testcase_12 AC 65 ms
33,408 KB
testcase_13 AC 68 ms
33,664 KB
testcase_14 AC 69 ms
34,304 KB
testcase_15 AC 68 ms
33,024 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (197 ms)。
MSBuild のバージョン 17.9.6+a4ecab324 (.NET)
/home/judge/data/code/Main.fs(11,7): 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/

ソースコード

diff # 

open System
open System.Text
open System.Collections.Generic

module Str =
  let split (delim: string) (s: string) =
    s.Split ([| delim |], StringSplitOptions.RemoveEmptyEntries)

[<EntryPoint>]
let main argv =
  let [| w; h |] =
      Console.ReadLine () |> Str.split " " |> Array.map (Int32.Parse)
  let board =
    [| for i in 0..(h - 1) do
        let s = Console.ReadLine ()
        yield s |> Str.split " " |> Array.map (Int32.Parse)
        |]

  let containsCycle () =
    let neighbors4 = [(1, 0); (0, 1); (-1, 0); (0, -1)]
    let visited = Array2D.init h w (fun _ _ -> false)

    let rec dfs backstep (i0, j0) =
        if visited.[i0, j0]
        then true
        else
          visited.[i0, j0] <- true
          Seq.exists id (seq {
            for (di, dj) in neighbors4 do
              let (i, j) = (i0 + di, j0 + dj)
              if  0 <= i && i < h && 0 <= j && j < w
                && (i, j) <> backstep 
                && board.[i].[j] = board.[fst backstep].[snd backstep]
              then
                yield dfs (i0, j0) (i, j)
            })

    Seq.exists id (seq {
      for i in 0..(h - 1) do
        for j in 0..(w - 1) do
          if not visited.[i, j] then
            yield dfs (i, j) (i, j)
      })

  printfn "%s"
    <| if containsCycle () then "possible" else "impossible"

  //exit code
  0
0