結果

問題 No.424 立体迷路
ユーザー ichibanshiboriichibanshibori
提出日時 2016-09-26 21:23:51
言語 OCaml
(5.1.0)
結果
AC  
実行時間 3 ms / 2,000 ms
コード長 2,964 bytes
コンパイル時間 210 ms
コンパイル使用メモリ 20,352 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-04-17 08:34:01
合計ジャッジ時間 958 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 2 ms
6,944 KB
testcase_02 AC 1 ms
6,944 KB
testcase_03 AC 1 ms
6,944 KB
testcase_04 AC 1 ms
6,940 KB
testcase_05 AC 1 ms
6,944 KB
testcase_06 AC 2 ms
6,944 KB
testcase_07 AC 1 ms
6,940 KB
testcase_08 AC 1 ms
6,944 KB
testcase_09 AC 2 ms
6,940 KB
testcase_10 AC 2 ms
6,940 KB
testcase_11 AC 1 ms
6,944 KB
testcase_12 AC 1 ms
6,948 KB
testcase_13 AC 2 ms
6,944 KB
testcase_14 AC 1 ms
6,944 KB
testcase_15 AC 1 ms
6,940 KB
testcase_16 AC 1 ms
6,940 KB
testcase_17 AC 2 ms
6,944 KB
testcase_18 AC 2 ms
6,944 KB
testcase_19 AC 2 ms
6,944 KB
testcase_20 AC 2 ms
6,944 KB
testcase_21 AC 2 ms
6,944 KB
testcase_22 AC 2 ms
6,940 KB
testcase_23 AC 2 ms
6,940 KB
testcase_24 AC 3 ms
6,944 KB
testcase_25 AC 3 ms
6,944 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

open Str

let () =
    let ( @! ) lst n = List.nth lst n
    and ( @> ) arr (i ,j) = arr.(i - 1).(j - 1)
    and choose f lst =
        let rec choose' f lst result =
            match lst with
            | [] -> result
            | x::xs ->
                let nextResult =
                    match f x with
                    | Some v -> v::result
                    | None -> result 
                in
                choose' f xs nextResult
        in
        choose' f lst []
    in
    let h, w = read_line () |>
        Str.split (regexp_string " ") |>
        fun lst -> (int_of_string (lst @! 0), int_of_string (lst @! 1))
    and sx, sy, gx, gy = read_line () |>
        Str.split (regexp_string " ") |>
        fun lst -> (int_of_string (lst @! 0), int_of_string (lst @! 1), int_of_string (lst @! 2), int_of_string (lst @! 3))
    in
    let mapArr = Array.make_matrix w h 0 in
    let readB (x, (line:string)) =
        for y = 1 to w do
            mapArr.(y - 1).(x - 1) <- int_of_char line.[y - 1] - int_of_char '0'
        done
    in
    for x = 1 to h do
        readB (x, read_line ())
    done;
    let searchPath sy sx =
        let chkArr = Array.make_matrix w h false in
        let dxy = [(1, 0); (0, 1); (-1, 0); (0, -1)] in
        
        let canMove1 (cy, cx) (dy, dx) =
            let y, x = cy + dy, cx + dx in
            
            if y >= 1 && y <= w && x >= 1 && x <= h &&
                abs((mapArr @> (y, x)) - (mapArr @> (cy, cx))) <= 1 &&
                not (chkArr @> (y, x))
            then Some (y, x)
            else None
            
        and canMove2 (cy, cx) (dy, dx) = 
            let y1, y2 = cy + dy, cy + dy * 2
            and x1, x2 = cx + dx, cx + dx * 2
            in
            if y2 >= 1 && y2 <= w && x2 >= 1 && x2 <= h &&
                mapArr @> (cy, cx) = mapArr @> (y2, x2) &&
                mapArr @> (cy, cx) > mapArr @> (y1, x1) &&
                not (chkArr @> (y2, x2))
            then Some (y2, x2)
            else None
        in
        let rec searchPath' lst =
            match lst with
            | [] -> false
            |  pos::rest ->
                    let cy, cx = pos in
                    
                    if cy = gy && cx = gx then true
                    else
                        let cand1 = choose (canMove1 (cy, cx)) dxy
                        and cand2 = choose (canMove2 (cy, cx)) dxy
                        in
                        let candLst = cand1 @ cand2 in
                        let nextLst = candLst @ rest in
                        List.iter (fun (y, x) -> chkArr.(y - 1).(x - 1) <- true) candLst;
                        searchPath' nextLst
        in
        searchPath' [(sy, sx)]
    in
    (* let stime = Unix.gettimeofday () in *)
    searchPath sy sx |> (function | true -> "YES" | false -> "NO") |> print_endline (*;
     let etime = Unix.gettimeofday () in
    print_float (etime -. stime) *)
0