結果

問題 No.13 囲みたい！
コンテスト
ユーザー vain0
提出日時 2015-10-23 21:43:55
言語 F#
(F# 4.0)
結果
AC  
実行時間 94 ms / 5,000 ms
コード長 1,343 bytes
コンパイル時間 10,674 ms
コンパイル使用メモリ 199,744 KB
実行使用メモリ 37,888 KB
最終ジャッジ日時 2024-10-13 10:47:53
合計ジャッジ時間 8,501 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 16
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (259 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 #
raw source code 

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