점들을 연결할 수 있습니까?

이 과제는 Flow Free를 기반으로합니다. 온라인 버전은 http://www.moh97.us/에서 확인할 수 있습니다 .

퍼즐이 주어지며 1퍼즐을 풀 수 있거나 0그렇지 않은 경우 반환해야합니다 .

퍼즐을 풀기 위해 플레이어는 모든 빈 사각형을 정확히 한 번 사용하여 각 숫자 쌍을 연결하는 경로를 만들어야합니다.

정사각형의 치수로 전달 된 다음 각 점의 x, y, c (여기서 c는 색상을 나타내는 숫자)로 전달됩니다. 예를 들면 다음과 같습니다.

5,5 0,0,0 3,0,1 1,1,2 1,2,2 4,2,1 4,4,0전달 된 경우 다음을 나타냅니다.

0..1.
.2...
.2..1
....0

그리고 1을 반환해야합니다.

5,2 2,0,1 0,1,2 4,1,2 나타냅니다 :

..1..
2...2

1 만 있기 때문에 해결할 수 없습니다 1.

4,2 0,0,0 3,0,0 0,1,0 3,1,0 나타냅니다 :

0..0
0..0

2 0초 이상을 포함하므로 해결할 수 없습니다 .

8,6 0,0,1 7,5,1 나타냅니다 :

1.......
........
........
........
........
.......1

모든 사각형을 사용할 수 없으므로 해결할 수 없습니다.

2,5 0,0,1 2,0,6 4,0,6 0,1,4 3,1,4 4,1,1 나타냅니다 :

1.6.6
4..41

1을 연결할 수 없기 때문에 해결할 수 없습니다.

6,3 1,0,4 5,0,1 0,1,4 1,1,3 5,1,3 0,2,2 3,2,2 5,2,1 나타냅니다 :

.4...1
43...3
2..2.1

두 경로가 반드시 교차해야하기 때문에 1 (또는 3)을 연결할 수 없기 때문에 해결할 수 없습니다.

5,2 0,0,1 3,0,1 0,1,3 4,1,1 나타냅니다 :

1..1.
3...3

경로를 만드는 데 모든 사각형을 사용할 수 없기 때문에 해결할 수 없습니다.

2,2 0,0,0 1,1,0 나타냅니다 :

1.
.1

여기에 모든 사각형을 사용할 수 없기 때문에 해결할 수 없습니다

몇 가지 테스트가 더 있습니다 :

5,5 0,3,0 0,4,1 1,2,2 1,3,1 2,0,0 3,0,4 3,1,2 3,3,5 3,4,4 4,4,5 1을 반환해야합니다

13,13 1,1,0 9,1,1 10,1,2 11,1,3 1,2,4 2,2,5 5,2,6 7,2,7 3,3,0 5,4,6 6,4,1 9,6,3 4,7,8 5,8,9 12,8,8 11,9,10 2,10,4 4,10,2 9,10,5 11,10,7 1,11,9 12,12,10 1을 반환해야합니다

7,7 0,0,0 0,1,1 1,1,2 2,1,3 4,2,4 0,3,1 5,3,3 0,4,4 2,4,5 5,4,2 0,5,0 1,5,5 3,5,6 3,7,6 0을 반환해야합니다

하스켈

import Data.List.Split
import qualified Data.Sequence as Q
import Data.List
import Control.Monad

data A a = S a | E a | P a | X deriving Eq

sc = foldr1 (Q.><)
sp b x y p = Q.update y (Q.update x p $ b `Q.index` y) b
dt b c | S c `elem` sc b = E c
       | otherwise = S c
ad b [x, y, c] = sp b x y (dt b c)

ep b [x, y, c] = do
  let nps = filter ob [(x+1, y), (x-1, y), (x, y+1), (x, y-1)]
      ns = map gp nps
  [b | E c `elem` ns] ++ do
    (x', y') <- filter ((== X) . gp) nps
    ep (sp b x' y' (P c)) [x', y', c]
  where ob (u, v) = 0 <= u && u < length (b `Q.index` 0) && 0 <= v && v < length b
        gp (u, v) = b `Q.index` v `Q.index` u

rd i = let [c, r] : ps = (map read . splitOn ",") <$> words i :: [[Int]]
           e = Q.replicate r $ Q.replicate c X
           cs = map last ps
           ss = nubBy (\[_,_,c1] [_,_,c2] -> c1 == c2) ps
           b = foldl ad e ps
           bs = foldM ep b ss
       in if even (length cs) && length ss == length cs `div` 2 &&
             (all (\[j,k] -> j==k) . chunksOf 2 . sort $ cs) &&
             any (null . Q.elemIndicesL X . sc) bs
           then 1
           else 0

main = rd <$> getContents >>= print

키

• sc : 시퀀스 연결
• sp : 위치 설정
• dt : 도트 유형 (즉, 줄의 시작 또는 끝)
• 광고 : 점 추가
• ep : 경로 확장
• rd : 런 도트 (기본 순수 알고리즘)