Входные данные:

Матрица, содержащая целые числа в диапазоне [0 - 9] .

Вызов:

Определите, все ли ненулевые элементы связаны друг с другом по вертикали и / или по горизонтали.

Выход:

Значение truthy , если все они связаны, и falsy значение , если есть ненулевые элементы / группы, которые не связаны с другими элементами / групп.

Тестовые случаи:

Тестовые случаи разделены линией. Тестовые случаи могут быть найдены в более удобных форматах здесь ( слава к Дада ).

Следующие все связаны и должны возвращать истинное значение:

0
--- 
0 0
---
1 1 1
0 0 0
---
1 0 0
1 1 1
0 0 1
---
0 0 0 0 0 0
0 0 3 5 1 0
0 1 0 2 0 1
1 1 0 3 1 6
7 2 0 0 3 0
0 8 2 6 2 9
0 0 0 0 0 5

Следующие элементы не связаны и должны возвращать ложное значение:

0 1
1 0
---
1 1 1 0
0 0 0 2
0 0 0 5
---
0 0 5 2
1 2 0 0
5 3 2 1
5 7 3 2
---
1 2 3 0 0 5
1 5 3 0 1 1
9 0 0 4 2 1
9 9 9 0 1 4
0 1 0 1 0 0

Это код-гольф , поэтому выигрывает самая короткая подача на каждом языке. Пояснения приветствуются!

Вдохновленный этим вызовом .

Сетчатка 0.8.2 , 80 77 байт

T`d`@1
1`1
_
+m`^((.)*)(1|_)( |.*¶(?<-2>.)*(?(2)(?!)))(?!\3)[1_]
$1_$4_
^\D+$

Попробуйте онлайн! Редактировать: 1 байт сохранен благодаря @FryAmTheEggman. Объяснение:

T`d`@1

Упростите до массива @s и 1s.

1`1
_

Измените один 1на _.

+m`^((.)*)(1|_)( |.*¶(?<-2>.)*(?(2)(?!)))(?!\3)[1_]
$1_$4_

Наводнение заполните от _соседних 1с.

^\D+$

Проверьте, остались ли какие-либо 1s.

JavaScript (ES6), 136 135 байт

Возвращает логическое значение.

m=>!/[1-9]/.test((g=(y,x=0)=>1/(n=(m[y]||0)[x])&&!z|n?(m[y++][x]=0,z=n)?g(y,x)&g(--y-1,x)&g(y,x+1)||g(y,x-1):g(m[y]?y:+!++x,x):m)(z=0))

Контрольные примеры

let f =

m=>!/[1-9]/.test((g=(y,x=0)=>1/(n=(m[y]||0)[x])&&!z|n?(m[y++][x]=0,z=n)?g(y,x)&g(--y-1,x)&g(y,x+1)||g(y,x-1):g(m[y]?y:+!++x,x):m)(z=0))

console.log('[Truthy]')

console.log(f([
  [0]
]))
console.log(f([
  [0,0]
]))
console.log(f([
  [1,1,1],
  [0,0,0]
]))
console.log(f([
  [1,0,0],
  [1,1,1],
  [0,0,1]
]))
console.log(f([
  [0,0,0,0,0,0],
  [0,0,3,5,1,0],
  [0,1,0,2,0,1],
  [1,1,0,3,1,6],
  [7,2,0,0,3,0],
  [0,8,2,6,2,9],
  [0,0,0,0,0,5]
]))

console.log('[Falsy]')

console.log(f([
  [0,1],
  [1,0]
]))
console.log(f([
  [1,1,1,0],
  [0,0,0,2],
  [0,0,0,5]
]))
console.log(f([
  [0,0,5,2],
  [1,2,0,0],
  [5,3,2,1],
  [5,7,3,2]
]))
console.log(f([
  [1,2,3,0,0,5],
  [1,5,3,0,1,1],
  [9,0,0,4,2,1],
  [9,9,9,0,1,4],
  [0,1,0,1,0,0]
]))

комментарии

Рекурсивная функция g () сначала ищет ненулевую ячейку (при условии, что глобально определенный флаг z установлен в 0 ), а затем начинает заполнение флудом оттуда (как только z! = 0 ).

m =>                               // given the input matrix m
  !/[1-9]/.test((                  // test whether there's still a non-zero digit
    g = (y, x = 0) =>              //   after recursive calls to g(), starting at (x=0,y=0):
      1 / (n = (m[y] || 0)[x]) &&  //     n = current cell; if it is defined:
      !z | n ? (                   //       if z is zero or n is non-zero:
          m[y++][x] = 0,           //         we set the current cell to zero
          z = n                    //         we set z to the current cell
        ) ?                        //         if z is non-zero:
          g(y, x) &                //           flood-fill towards bottom
          g(--y - 1, x) &          //           flood-fill towards top
          g(y, x + 1) ||           //           flood-fill towards right
          g(y, x - 1)              //           flood-fill towards left
        :                          //         else:
          g(m[y] ? y : +!++x, x)   //           look for a non-zero cell to start from
      :                            //       else:
        m                          //         return the matrix
    )(z = 0)                       //   initial call to g() + initialization of z
  )                                // end of test()

MATL , 7 байт

4&1ZI2<

Это дает матрицу, содержащую все как достоверного вывода, или матрицу, содержащую по крайней мере ноль в качестве ложного . Попробуйте онлайн!

Вы также можете проверить правдивость / ложность, добавив ветку if- elseв нижний колонтитул; попробуй тоже!

Или проверьте все тестовые случаи .

объяснение

4       % Push 4 (defines neighbourhood)
&       % Alternative input/output specification for next function
1ZI     % bwlabeln with 2 input arguments: first is a matrix (implicit input),
        % second is a number (4). Nonzeros in the matrix are interpreted as
        % "active" pixels. The function gives a matrix of the same size
        % containing positive integer labels for the connected components in 
        % the input, considering 4-connectedness
2<      % Is each entry less than 2? (That would mean there is only one
        % connected component). Implicit display

Wolfram Language (Mathematica) , 54 байта

Сохранено 2 байта благодаря пользователю 202729.

Max@MorphologicalComponents[#,CornerNeighbors->1<0]<2&

Попробуйте онлайн!

C 163 байта

Спасибо @ user202729 за сохранение двух байтов!

*A,N,M;g(j){j>=0&j<N*M&&A[j]?A[j]=0,g(j+N),g(j%N?j-1:0),g(j-N),g(++j%N?j:0):0;}f(a,r,c)int*a;{A=a;N=c;M=r;for(c=r=a=0;c<N*M;A[c++]&&++r)A[c]&&!a++&&g(c);return!r;}

Проходит по матрице, пока не найдет первый ненулевой элемент. Затем на некоторое время прекращает цикл и рекурсивно устанавливает каждый ненулевой элемент, связанный с найденным элементом, на ноль. Затем проходит по всей матрице, проверяя, равен ли каждый элемент нулю.

Попробуйте онлайн!

раскатали:

*A, N, M;

g(j)
{
    j>=0 & j<N*M && A[j] ? A[j]=0, g(j+N), g(j%N ? j-1 : 0), g(j-N), g(++j%N ? j : 0) : 0;
}

f(a, r, c) int*a;
{
    A = a;
    N = c;
    M = r;

    for (c=r=a=0; c<N*M; A[c++] && ++r)
        A[c] && !a++ && g(c);

    return !r;
}

Perl, 80 79 78 73 70 байт

Включает +2в себя для0a

Дайте входную матрицу без пробелов в STDIN (или фактически как строки, разделенные пробелами любого вида)

perl -0aE 's%.%$".join"",map chop,@F%seg;s%\b}|/%z%;y%w-z,-9%v-~/%?redo:say!/}/'
000000
003510
010201
110316
720030
082629
000005
^D

Легче читать, если положить в файл:

#!/usr/bin/perl -0a
use 5.10.0;
s%.%$".join"",map chop,@F%seg;s%\b}|/%z%;y%w-z,-9%v-~/%?redo:say!/}/

Java 8, 226 байт

m->{int c=0,i=m.length,j;for(;i-->0;)for(j=m[i].length;j-->0;)if(m[i][j]>0){c++;f(m,i,j);}return c<2;}void f(int[][]m,int x,int y){try{if(m[x][y]>0){m[x][y]=0;f(m,x+1,y);f(m,x,y+1);f(m,x-1,y);f(m,x,y-1);}}catch(Exception e){}}

Это заняло довольно много времени, поэтому я рад, что это работает сейчас ..

Объяснение:

Попробуйте онлайн.

m->{                   // Method with integer-matrix parameter and boolean return-type
  int c=0,             //  Amount of non-zero islands, starting at 0
      i=m.length,j;    //  Index integers
  for(;i-->0;)         //  Loop over the rows
    for(j=m[i].length;j-->0;)
                       //   Inner loop over the columns
      if(m[i][j]>0){   //    If the current cell is not 0:
        c++;           //     Increase the non-zero island counter by 1
        f(m,i,j);}     //     Separate method call to flood-fill the matrix
  return c<2;}         //  Return true if 0 or 1 islands are found, false otherwise

void f(int[][]m,int x,int y){
                        // Separated method with matrix and cell input and no return-type
  try{if(m[x][y]>0){    //  If the current cell is not 0:
    m[x][y]=0;          //   Set it to 0
    f(m,x+1,y);         //   Recursive call south
    f(m,x,y+1);         //   Recursive call east
    f(m,x-1,y);         //   Recursive call north
    f(m,x,y-1);}        //   Recursive call west
  }catch(Exception e){}}//  Catch and swallow any ArrayIndexOutOfBoundsExceptions
                        //  (shorter than manual if-checks)

APL (Dyalog Unicode) , 36 байтов ^SBCS

{2≥≢∪0,,(⍉××3⌈/0,,∘0)⍣2⍣≡⍵}××⍴⍴⍳∘≢∘,

Попробуйте онлайн!

Желе , 23 байта

FJṁa@µ«Ḋoµ€ZUµ4¡ÐLFQL<3

Попробуйте онлайн!

Объяснение.

Программа помечает каждый морфологический компонент различными номерами, а затем проверяет, есть ли меньше 3 номеров. (в том числе0 ).

Рассмотрим строку в матрице.

«Ḋo   Given [1,2,3,0,3,2,1], return [1,2,3,0,2,1,1].
«     Minimize this list (element-wise) and...
 Ḋ      its dequeue. (remove the first element)
      So min([1,2,3,0,3,2,1],
             [2,3,0,3,2,1]    (deque)
      ) =    [1,2,0,0,2,1,1].
  o   Logical or - if the current value is 0, get the value in the input.
         [1,2,0,0,2,1,1] (value)
      or [1,2,3,0,3,2,1] (input)
      =  [1,2,3,0,2,1,1]

Повторно применяйте эту функцию для всех строк и столбцов в матрице, во всех порядках, в конце концов все морфологические компоненты будут иметь одинаковую метку.

µ«Ḋoµ€ZUµ4¡ÐL  Given a matrix with all distinct elements (except 0),
               label two nonzero numbers the same if and only if they are in
               the same morphological component.
µ«Ḋoµ          Apply the function above...
     €           for €ach row in the matrix.

      Z        Zip, transpose the matrix.
       U       Upend, reverse all rows in the matrix.
               Together, ZU rotates the matrix 90° clockwise.
         4¡    Repeat 4 times. (after rotating 90° 4 times the matrix is in the
               original orientation)
           ÐL  Repeat until fixed.

И наконец...

FJṁa@ ... FQL<3   Main link.
F                 Flatten.
 J                Indices. Get `[1,2,3,4,...]`
  ṁ               ṁold (reshape) the array of indices to have the same
                  shape as the input.
   a@             Logical AND, with the order swapped. The zeroes in the input
                  mask out the array of indices.
      ...         Do whatever I described above.
          F       Flatten again.
           Q      uniQue the list.
            L     the list of unique elements have Length...
             <3   less than 3.

Haskell , 132 байта

 \m->null.snd.until(null.fst)(\(f,e)->partition(\(b,p)->any(==1)[(b-d)^2+(p-q)^2|(d,q)<-f])e).splitAt 1.filter((/=0).(m!)).indices$m

извлечено из Solve Hitori Puzzles

indices mперечисляет (line,cell)местоположения входной сетки.

filter((/=0).(m!)) отфильтровывает все местоположения с ненулевыми значениями.

splitAt 1 разбивает первого члена на одноэлементный список рядом со списком остальных.

any(==1)[(b-d)^2+(p-q)^2|(d,q)<-f]говорит, если (b,p)касается границы f.

\(f,e)->partition(\(b,p)->touches(b,p)f)e отделяет прикосновения от еще не [прикосновений].

until(null.fst)advanceFrontier повторяет это до тех пор, пока граница не сможет продвигаться дальше.

null.snd смотрит на результат, были ли достигнуты все локации.

Попробуйте онлайн!

Грязь , 37 байт

C=[,0]&<e/\0{/e\0*0$e|CoF^0oX
e`C|:\0

Отпечатки 1для матча и 0без матча. Попробуйте онлайн!

объяснение

Нетерминал Cсоответствует любому ненулевому символу, связанному с первым ненулевым символом матрицы в английском порядке чтения.

C=[,0]&<e/\0{/e\0*0$e|CoF^0oX
C=                             A rectangle R matches C if
  [,0]                         it is a single character other than 0
      &                        and
       <                       it is contained in a rectangle S which matches this pattern:
        e/\0{/e\0*0$e           R is the first nonzero character in the matrix:
        e                        S has an edge of the matrix over its top row,
         /0{/                    below that a rectangle of 0s, below that
             e\0*0$e             a row containing an edge, then any number of 0s,
                                 then R (the unescaped 0), then anything, then an edge.
                    |CoF^0oX    or R is next to another match of C:
                     CoF         S is a match of C (with fixed orientation)
                        ^0       followed by R,
                          oX     possibly rotated by any multiple of 90 dergees.

Некоторое объяснение: eсоответствует прямоугольнику нулевой ширины или высоты, который является частью края входной матрицы, и $является «подстановочным знаком», который соответствует чему угодно. Выражениеe/\0{/e\0*0$e может быть визуализировано следующим образом:

+-e-e-e-e-e-e-e-+
|               |
|      \0{      |
|               |
+-----+-+-------+
e \0* |0|   $   e
+-----+-+-------+

Выражение CoX^0oXфактически анализируется как ((CoF)0)oX; oFи oXоператоры Постфиксные и конкатенации лексем средств по горизонтали конкатенации. При этом ^сопоставление имеет более высокий приоритет oX, поэтому поворот применяется ко всему подвыражению. oFКорректирует ориентацию Cпосле того, как он поворачивается oX; в противном случае он может совпадать с первой ненулевой координатой в порядке чтения на английском языке.

e`C|:\0
e`       Match entire input against pattern:
    :    a grid whose cells match
  C      C
   |     or
     \0  literal 0.

Это означает, что все ненулевые символы должны быть связаны с первым. Спецификатор сетки :технически является постфиксным оператором, но C|:\0является синтаксическим сахаром для (C|\0):.

Perl 5 , 131 129 + 2 ( -ap) = 133 байта

push@a,[@F,0]}{push@a,[(0)x@F];$\=1;map{//;for$j(0..$#F){$b+=$a[$'][$j+$_]+$a[$'+$_][$j]for-1,1;$\*=$b||!$a[$'][$j];$b=0}}0..@a-2

Попробуйте онлайн!

Python 2 , 211 163 150 байт

m,w=input()
def f(i):a=m[i];m[i]=0;[f(x)for x in(i+1,i-1,i+w,i-w)if(x>=0==(i/w-x/w)*(i%w-x%w))*a*m[x:]]
f(m.index((filter(abs,m)or[0])[0]))<any(m)<1>q

Попробуйте онлайн!

Выход через код выхода. Ввод в виде 1d списка и ширины матрицы.