Czy są pierścienie górskie?

14

Wyzwanie

Biorąc pod uwagę macierz dodatnich liczb całkowitych, sprawdź, czy są jakieś „pierścienie” gór. Formalna definicja tego wyzwania brzmi: biorąc pod uwagę macierz dodatnich liczb całkowitych, czy istnieje jakakolwiek dodatnia liczba całkowita, ndla której w matrycy jest zamknięty pierścień komórek, które są ściśle większe niż ntakie, że wszystkie komórki zamknięte w pierścieniu są mniejsze lub równe do n.

Weźmy prawdziwy przykład:

3 4 5 3
3 1 2 3
4 2 1 3
4 3 6 5

Jeśli stawiamy nna 2:

1 1 1 1
1 0 0 1
1 0 0 1
1 1 1 1

Jak możemy wyraźnie zobaczyć, 1s wzdłuż krawędzi tworzą pierścień.

Definiujemy pierścień jako uporządkowany zbiór komórek, w których sąsiednie komórki w kolekcji również sąsiadują (krawędź lub narożnik) na siatce. Ponadto pierścień musi zawierać co najmniej 1 komórkę; to znaczy próba wypełnienia krawędzi tylko BFS zalewaniem całej macierzy z wyłączeniem komórek w kolekcji i nigdy nie przechodzenie przez komórkę w kolekcji musi ominąć co najmniej jedną komórkę.

Prawdziwe przypadki testowe

4 7 6 5 8 -> 1 1 1 1 1
6 2 3 1 5 -> 1 0 0 0 1 (n = 3)
6 3 2 1 5 -> 1 0 0 0 1
7 5 7 8 6 -> 1 1 1 1 1

1 3 2 3 2
1 6 5 7 2
1 7 3 7 4
1 6 8 4 6

1 3 1
3 1 3
1 3 1

7 5 8 7 5 7 8 -> if you have n = 4, you get an interesting ridge shape around the top and right of the grid
8 4 4 2 4 2 7
6 1 8 8 7 2 7
5 4 7 2 5 3 5
5 6 5 1 6 4 5
3 2 3 2 7 4 8
4 4 6 7 7 2 5
3 2 8 2 2 2 8
2 4 8 8 6 8 8

5 7 6 8 6 8 7 -> there is an island in the outer ring (n = 4), but the island is a ring
5 3 2 4 2 4 7
6 3 7 8 5 1 5
8 2 5 2 8 2 7
8 3 8 8 8 4 7
6 1 4 1 1 2 8
5 5 5 5 7 8 7

150 170 150
170 160 170
150 170 150

Falsy Test Cases

1 2 3 2 1 -> this is just a single mountain if you picture it graphcially
2 3 4 3 2
3 4 5 4 3
2 3 4 3 2
1 2 3 2 1

4 5 4 3 2 -> this is an off-centered mountain
5 6 5 4 3
4 5 4 3 2
3 4 3 2 1

1 1 1 1 1 -> this is four mountains, but they don't join together to form a ring
1 2 1 2 1
1 1 1 1 1
1 2 1 2 1
1 1 1 1 1

3 3 3 3 3 -> there is a ring formed by the `3`s, but the `4` in the middle is taller so it doesn't qualify as a mountain ring
3 1 1 1 3
3 1 4 1 3
3 1 1 1 3
3 3 3 3 3

3 4 4 4 3
4 4 3 4 4
3 3 3 3 4
4 4 3 4 4
3 4 4 4 3

1  2  3  4  5
6  7  8  9  10
11 12 13 14 15
16 17 18 19 20
22 23 24 25 26

Zasady

  • Obowiązują standardowe luki
  • To jest , więc najkrótsza odpowiedź w bajtach w każdym języku zostaje ogłoszona zwycięzcą swojego języka. Żadne odpowiedzi nie będą akceptowane.
  • Dane wejściowe można przyjąć jako dowolną rozsądną formę macierzy dodatnich liczb całkowitych
  • Dane wyjściowe można podać jako dowolne dwie rozsądne, spójne, odrębne wartości wskazujące na [prawda] lub [fałsz].
HyperNeutrino
źródło
Bo czy ntrzeci „prawdziwy” przypadek testowy jest rzeczywiście prawdziwy? [1,2] ?
Erik the Outgolfer
@EriktheOutgolfer Pierścień 3s sąsiaduje z rogiem. Więc tak.
user202729

Odpowiedzi:

3

Galaretka , 38 bajtów

Ẇ€Z$⁺Ẏµ,ZẈ>2ẠµƇµḊṖZƊ⁺FṀ<,Z.ịḊṖ$€Ɗ€ƊȦ)Ṁ

Wypróbuj online!

Wyjście 1, jeśli macierz zawiera łańcuchy górskie, w przeciwnym razie 0 .

Jak to działa (nieco nieaktualne)

Być może uda mi się trochę skrócić kod, więc ta sekcja prawdopodobnie zostanie poddana ciężkiej edycji.

Link pomocnika

,Z.ịḊṖ$€Ɗ€ – Helper link. Let S be the input matrix.
,Z         – Pair S with its transpose.
        Ɗ€ – For each matrix (S and Sᵀ), Apply the previous 3 links as a monad.
  .ị       – Element at index 0.5; In Jelly, the ị atom returns the elements at
             indices floor(x) and ceil(x) for non-integer x, and therefore this
             returns the 0th and 1st elements. As Jelly is 1-indexed, this is the
             same as retrieving the first and last elements in a list.
    ḊṖ$€   – And for each list, remove the first and last elements.

Na przykład, biorąc pod uwagę macierz w postaci:

A(1,1) A(1,2) A(1,3) ... A(1,n)
A(2,1) A(2,2) A(2,3) ... A(2,n)
A(3,1) A(3,2) A(3,3) ... A(3,n)
...
A(m,1) A(m,2) A(m,3) ... A(m,n)

Zwraca tablice (kolejność nie ma znaczenia):

A(1,2), A(1,3), ..., A(1,n-1)
A(m,2), A(m,3), ..., A(m,n-1)
A(2,1), A(3,1), ..., A(m-1,1)
A(2,n), A(3,n), ..., A(m-1,n)

Krótko mówiąc, generuje to najbardziej zewnętrzne rzędy i kolumny, z usuniętymi narożnikami.

Główny link

Ẇ€Z$⁺Ẏµ,ZẈ>2ẠµƇµḊṖZƊ⁺FṀ<ÇȦ)Ṁ – Main link. Let M be the input matrix.
Ẇ€                           – For each row of M, get all its sublists.
  Z$                         – Transpose and group into a single link with the above.
    ⁺                        – Do twice. So far, we have all contiguous sub-matrices.
     Ẏ                       – Flatten by 1 level.
      µ      µƇ              – Filter-keep those that are at least 3 by 3:
       ,Z                      – Pair each sub-matrix S with Sᵀ.
         Ẉ                     – Get the length of each (no. rows, no. columns).
          >2                   – Element-wise, check if it's greater than 2.
            Ạ                  – All.
               µ          )  – Map over each sub-matrix S that's at least 3 by 3
                ḊṖ           – Remove the first and last elements.
                  ZƊ         – Zip and group the last 3 atoms as a single monad.
                    ⁺        – Do twice (generates the inner cells).
                     FṀ      – Flatten, and get the maximum.
                       <Ç    – Element-wise, check if the results of the helper
                               link are greater than those in this list.
                         Ȧ   – Any and all. 0 if it is empty, or contains a falsey
                               value when flattened, else 1.
                           Ṁ – Maximum.
Pan Xcoder
źródło
2

Czysty , 224 ... 161 bajtów

import StdEnv,StdLib
p=prod
~ =map
^ =reverse o$
@ =transpose o~(^o^)
$l=:[h:t]|h>1=l=[1: $t]
$e=e
?m=p[p(~p(limit(iterate(@o@)(~(~(\a|a>b=2=0))m))))\\n<-m,b<-n]

Wypróbuj online!

Definiuje funkcję ? :: [[Int]] -> Int, zwracając, 0jeśli jest dzwonek, i 1inaczej.

Działa, zamieniając macierz na 2s dla gór i 0s dla dolin, a następnie zalewa 1s, aż wynik przestanie się zmieniać. Jeśli 0nadal istnieją jakieś s dla dowolnej wysokości góry, produktem będzie 0.

Obrzydliwe
źródło
1

JavaScript (Node.js) , 302 bajty

a=>a.some((b,i)=>b.some((n,j)=>(Q=(W=(i,j,f)=>[a.map((b,I)=>b.map((t,J)=>I==i&J==j)),...a+0].reduce(A=>A.map((b,I)=>b.map((t,J)=>f(I)(J)&&(A[I-1]||b)[J]|(A[I+1]||b)[J]|b[J-1]|b[J+1]|t))))(i,j,I=>J=>a[I][J]<=n)).some((b,i)=>b.some((d,j)=>d&&!i|!j|!Q[i+1]|b[j+1]==b.b))<!/0/.test(W(0,0,I=>J=>!Q[I][J]))))

Wypróbuj online!

Sprawdza, czy przepływ z punktu nie może dotrzeć do granicy, a granica może dojść do każdego punktu

l4m2
źródło