Introdução

A distância de Hausdorff mede a diferença entre dois subconjuntos de um espaço métrico. Intuitivamente, um espaço métrico é apenas um conjunto com uma função de distância integrada; neste desafio, usaremos números naturais com a distância comum d(a, b) := abs(a - b). A distância de Hausdorff entre dois conjuntos finitos não vazios Ae Bé dada por

max(max(min(d(a, b) for b in B) for a in A),
    max(min(d(a, b) for a in A) for b in B))

em notação semelhante a Python. A distância de Hausdorff pode ser calculada encontrando-se o elemento Apara o qual a distância até o elemento mais próximo Bé máxima e o elemento Bpara o qual a distância até o elemento mais próximo Aé máxima e, em seguida, aproveitando o máximo dessas distâncias. Em outras palavras, se a distância de Hausdorff é d, então todo elemento de Aestá dentro da distância dde algum elemento de Be vice-versa.

Entrada

Sua entrada é uma lista única de números inteiros. Ele contém apenas os elementos 0,1,2,3, o que significa se o índice especificado da lista é um elemento de nem Anem B, somente A, apenas Bou ambos Ae B. Por exemplo, a entrada [0,1,1,0,2,3]significa isso A = {1,2,5}e B = {4,5}, se usarmos a indexação baseada em 0 (o que não faz diferença, pois nossas métricas são invariantes à conversão).

Saída

Sua saída é a distância de Hausdorff entre Ae B; no exemplo acima, é 3. Se um dos conjuntos estiver vazio, a distância não será definida e você retornará -1.

Regras

Você pode escrever um programa completo ou uma função. A menor contagem de bytes vence e as brechas padrão não são permitidas.

Casos de teste

[] -> -1
[0] -> -1
[0,1,0] -> -1
[2,0,0,2] -> -1
[0,1,2,3] -> 1
[0,3,3,0,0,0,0,3] -> 0
[1,0,0,1,0,0,1,3,1] -> 7
[1,0,0,0,0,3,0,0,0,0,2] -> 5
[0,1,1,3,1,3,2,1,1,3,0,3] -> 2
[2,2,2,1,2,0,3,1,3,1,0,3] -> 3
[1,3,0,2,0,2,2,1,0,3,2,1,1,2,2] -> 2
[1,0,1,1,2,0,1,2,3,1,0,0,0,1,2,0] -> 4

CJam, 53 52 46 38 37 bytes

3,q~f{f&:L,{L=},}$~ff{-z}_z+::e<W+:e>

Recebe entrada em STDIN como uma matriz de estilo CJam:

[0 1 2 3]

Aqui está um equipamento de teste que converte todos os casos de teste nesse formato e executa o código neles. Embora os resultados estejam no campo de entrada, eles não são usados ​​pelo código (remova-os se você não confiar em mim :)).

Explicação

Primeiro, analisamos a entrada para obter os dois conjuntos A e B:

3,q~f{f&:L,{L=},}$~
3,                  "Push [0 1 2]. 1 is for A, 2 is for B, and 0 we can luckily ignore
                     as we'll see later.";
  q~                "Read and evaluate the input.";
    f{          }   "Map this block onto the [0 1 2] array, copying in the input for
                     each iteration.";
      f&:L          "Take the bitwise AND with each element of the input and store the
                     result in L.";
          ,{  },    "Get the length N, and filter the range [0 .. N-1] by evaluating
                     the block for each element.";
            L=      "Check if the bitwise AND at that index yielded something non-zero.
                     This gives an empty array for 0, A for 1 and B for 2.";
                 $  "Sort the three arrays. This has two important effects: a) it moves
                     the empty array resulting from 0 to the front, and b) if only one
                     of A and B is empty, it moves the non-empty one to the end.";
                  ~ "Unwrap the array, dumping all three sets on the stack.";

E agora encontramos as diferenças absolutas e selecionamos o máximo de minutos:

ff{-z}_z+::e<W+:e>
ff{-z}             "Turn A and B into a matrix of absolute differences.";
      _z           "Duplicate and transpose.";
        +          "Add the two together, so I've got one row of distances for
                    each element in either A or B.";
         ::e<      "Find the minimum of each row.";
             W+    "Add a -1 in case one set was empty.";
               :e> "Get the overall maximum.";

Observe que mantivemos a matriz vazia resultante da inicial 0na parte inferior da pilha o tempo todo, mas matrizes vazias não contribuem com nada para a saída.

CJam, 57 56 52 bytes

Eu acho que isso pode ser um pouco de golfe, mas aqui vai:

q~ee_{W=2%},\{W=1>},]0ff=_W%]{~ff-{:z$1<~}%W+$W=}/e>

A entrada entra como uma lista com estilo CJam, por exemplo.

[1 0 0 0 0 3 0 0 0 0 2]

5

Como funciona :

O código é dividido em duas partes:

Analisando a entrada nas listas Ae B:

q~ee_{W=2%},\{W=1>},]0ff=_W%]
q~                               "Eval the input array";
  ee                             "Enumerate and prepend index with each element. For ex:
                                  [5 3 6]ee gives [[0 5] [1 3] [2 6]]";
    _{W=2%},                     "Make a copy and filter out elements with value 1 or 3";
            \{W=1>},             "On the original, filter elements with value 2 or 3";
                    ]            "Wrap stack in an array. Stack right now contains
                                  enumerated A and B in an array";
                     0ff=        "Get the index of the enumerated arrays. Stack is [A B]";
                         _W%     "Make a copy and swap order. Stack is now [A B] [B A]";
                            ]    "Wrap this in an array";

Executando as ações necessárias nos dois pares de Ae B:

{~ff-{:z$1<~}%W+$W=}/e>
{                  }/            "Run this loop for both the pairs, [A B] and [B A]"
 ~ff-                            "Unwrap [A B] and take difference of every pair";
     {      }%                   "For each row in the matrix difference";
      :z$                        "abs each term and then sort";
         1<~                     "Take only the first element of the array";
              W+                 "Add -1 to compensate for an empty array";
                $W=              "Take max";
                     e>          "Take max of the two maximums";

Experimente online aqui

Lua, 235 bytes

Definitivamente não é um vencedor, mas pelo menos um desafio divertido.

A={}B={}c={}d={}m=math p=m.min q=m.max u=unpack for k=1,#arg do for h=0,1 do if
arg[k]/2^h%2>=1 then A[#A+1]=k for i=1,#B do l=m.abs(B[i]-k)d[i]=p(d[i]or
l,l)c[#A]=p(c[#A]or l,l)end end A,B=B,A c,d=d,c end end
print(q(q(-1,u(c)),u(d)))

A entrada funciona assim:

lua hausdorff.lua <space-separated-sequence>

... e aqui está um script de teste:

local testcase = arg[1] or 'hausdorff.lua'
print('testing '..testcase)
local function run(args) 
    return function(expected)
        local result = tonumber(
            io.popen('lua.exe '..testcase..' '..args):read'*a':match'%S+')
        print(args..' -> '..expected..' :: '..result)
        assert(result == expected,
            ("for input %q expected %s but got %s"):format(
                args, expected, result))
    end
end
run''(-1)
run'0'(-1)
run'0 1 0'(-1)
run'2 0 0 2'(-1)
run'0 1 2 3'(1)
run'0 3 3 0 0 0 0 3'(0)
run'1 0 0 1 0 0 1 3 1'(7)
run'1 0 0 0 0 3 0 0 0 0 2'(5)
run'0 1 1 3 1 3 2 1 1 3 0 3'(2)
run'2 2 2 1 2 0 3 1 3 1 0 3'(3)
run'1 3 0 2 0 2 2 1 0 3 2 1 1 2 2'(2)
run'1 0 1 1 2 0 1 2 3 1 0 0 0 1 2 0'(4)

... produz ...

testing hausdorff.lua
 -> -1 :: -1
0 -> -1 :: -1
0 1 0 -> -1 :: -1
2 0 0 2 -> -1 :: -1
0 1 2 3 -> 1 :: 1
0 3 3 0 0 0 0 3 -> 0 :: 0
1 0 0 1 0 0 1 3 1 -> 7 :: 7
1 0 0 0 0 3 0 0 0 0 2 -> 5 :: 5
0 1 1 3 1 3 2 1 1 3 0 3 -> 2 :: 2
2 2 2 1 2 0 3 1 3 1 0 3 -> 3 :: 3
1 3 0 2 0 2 2 1 0 3 2 1 1 2 2 -> 2 :: 2
1 0 1 1 2 0 1 2 3 1 0 0 0 1 2 0 -> 4 :: 4

Pitão, 43 40 39 38 bytes

J+m0yQQLq3.|Fb?eS.e&Yfy:J-kT+hkT0JyJ_1

Meu algoritmo opera diretamente na string de entrada e nunca converte esse número. Ele calcula apenas uma vez no máximo e nunca no mínimo.

Agradecemos a @isaacg por salvar um byte.

Experimente online: Pyth Compiler / Executor

Explicações:

Primeiro, insiro muitos zeros na frente da entrada.

          implicit: Q = input()
    yQ    powerset(Q)
  m0yQ    map each element of the powerset to 0 (creates 2^Q zeros, I said lots)
 +    Q   zeros + Q
J         assign to J

Em seguida, defino uma função auxiliar y, que informa se os índices de uma lista (como o de entrada) aparecem nos conjuntos A e BEg y([0, 1, 0, 0, 1, 1]) = False, mas y([0, 1, 0, 2]) = y([3]) = True.

Lq3.|Fb
L          define a function y(b), which returns _
   .|Fb       fold b by bitwise or
 q3            == 3

Depois, primeiro verifico se o resultado é -1.

?...yJ_1   print ... if numbers appear in both sets (`yJ`) else -1   

Agora, o interessante:

  .e              J    map each pair k,Y in enumerate(J) to:
    &Y                   Y and ... (acts as 0 if Y == 0 else ...)
      f          0       find the first number T >= 0, where:
       y                    indices appear in both sets in the substring
        :J-kT+hkT           J[k-T:k+T+1]
eS                     sort and take last element (maximum)

Observe que sempre vou encontrar um número T, pois já sei que os índices aparecem nos dois conjuntos da lista J. O número é máximo length(Q). Esse também é o motivo para inserir os zeros. Se houver pelo menos length(Q)zeros inseridos, k-Té sempre >= 0, o que é necessário para o fatiamento da lista. Então, por que insiro 2^length(Q)zeros em vez de length(Q)zeros? No caso de teste, []preciso de pelo menos 1 zero, caso contrário yJ, retornará um erro.

Mathematica, 88 bytes

Max[Min/@#,Min/@Thread@#,-1]/.∞->-1&@Outer[Abs[#-#2]&,p=Position;p[#,1|3],p[#,2|3],1]&

Haskell, 145 126 124 bytes

s t x=[e|(e,i)<-zip[0..]x,t i]
d#e=maximum[minimum[abs$i-j|j<-e]|i<-d]
[]%_= -1
_%[]= -1
d%e=max(d#e)$e#d
f x=s(>1)x%s odd x

Execução de teste:

*Main> map f [[], [0], [0,1,0], [2,0,0,2], [0,1,2,3],
              [0,3,3,0,0,0,0,3], [1,0,0,1,0,0,1,3,1],
              [1,0,0,0,0,3,0,0,0,0,2], [0,1,1,3,1,3,2,1,1,3,0,3],
              [2,2,2,1,2,0,3,1,3,1,0,3],
              [1,3,0,2,0,2,2,1,0,3,2,1,1,2,2],
              [1,0,1,1,2,0,1,2,3,1,0,0,0,1,2,0]]

[-1,-1,-1,-1,1,0,7,5,2,3,2,4]

sfiltra os números naturais de acordo com um predicado te a lista de entrada x. #calcula a distância máxima de seus parâmetros dee . %pega conjuntos vazios A ou B ou pega o máximo final de d#ee e#d. fé a principal função que chama %com os conjuntos A e B.

Edit: O @Zgarb encontrou muitos bytes para salvar; @ ali0sha outro 2. Obrigado!

Perl, 56 55

Adicionado +2 para -lp.

A lista de entrada deve ser fornecida no stdin sem espaços, por exemplo:

echo 1011201231000120 | perl -lp hausdorf.pl

hausdorf.pl:

s%%$z=$_&=$p|=$'|P.$p;$q+=!!y/12/3/%eg;$_=$z=~3?$q:-1

Para suportar espaços entre os elementos da lista de entrada, basta dividir a final $qpor 2 por um custo de 2 pinceladas

Python 2, 124

Definitivamente, isso parece subótimo. Ah bem.

lambda a,E=enumerate:-min([1]+[~l*(n<3)for i,n in E(a)for l,_ in E(a)if{0}|set(n*a+n/3*[5])>{0,n}>=set(a[max(i-l,0):i-~l])])

APL (49)

{(⊂⍬)∊∆←(↓2 2⊤⍵)/¨⊂⍳⍴⍵:¯1⋄⌈/{⌈/⌊/⍵}¨(+,⍉¨)|∘.-/∆}

Casos de teste:

      ({(⊂⍬)∊∆←(↓2 2⊤⍵)/¨⊂⍳⍴⍵:¯1⋄⌈/{⌈/⌊/⍵}¨(+,⍉¨)|∘.-/∆} ¨ testcases) ,⍨ '→',⍨ ↑ ⍕¨testcases
                               → ¯1
0                              → ¯1
0 1 0                          → ¯1
2 0 0 2                        → ¯1
0 1 2 3                        →  1
0 3 3 0 0 0 0 3                →  0
1 0 0 1 0 0 1 3 1              →  7
1 0 0 0 0 3 0 0 0 0 2          →  5
0 1 1 3 1 3 2 1 1 3 0 3        →  2
2 2 2 1 2 0 3 1 3 1 0 3        →  3
1 3 0 2 0 2 2 1 0 3 2 1 1 2 2  →  2
1 0 1 1 2 0 1 2 3 1 0 0 0 1 2 0→  4

Explicação:

• ⍳⍴⍵: obtém uma lista de números de 1 ao comprimento da lista de entrada
• ↓2 2⊤⍵: para cada valor na lista de entrada, obtenha o primeiro byte e o segundo byte
• ∆←(... )/⊂⍳⍴⍵: para as duas listas de bytes, selecione os valores correspondentes em ⍳⍴⍵. Guarde-os em ∆.

• (⊂⍬)∊∆... :¯1: se esta lista contiver a lista vazia, retorne -1. De outra forma:

• |∘.-/∆: obtenha a diferença absoluta entre cada par de valores, fornecendo uma matriz

• (+,⍉¨): obtenha uma cópia rotacionada e não rotacionada dessa matriz
• {⌈/⌊/⍵}: para ambas as matrizes, obtenha o máximo dos mínimos das linhas
• ⌈/: então obtenha o máximo disso

Perl, 189 176 157B

Agora com 500% mais estado.

use List::Util qw'max min';@I=<>;sub f{$n=($n%2)+1;map{$I[$_]&$n?$_:()}0..$#I}sub i{@t=f;max map{$b=$_;min map{abs$_-$b}@t}f}$r=max i,i;print defined$r?$r:-1

Legível:

use List::Util qw'max min';
@I=<>;
sub f {
    $n = ($n%2) + 1;
    map { $I[$_] & $n ? $_ : () } 0..$#I
}
sub i {
    @t = f;
    max map {
        $b = $_;
        min map { abs $_ - $b } @t
    } f
}
$r = max i,i;
print defined $r ? $r : -1

Exemplo de uso:

entrada

0
1
2
3

perl golf.pl < input

Clojure, 167 bytes

#(let[P apply F(fn[I](filter(fn[i](I(% i)))(range(count %))))A(F #{1 3})B(F #{2 3})d(fn[X Y](P min(for[x X](P max(for[y Y](P -(sort[x y])))))))](-(min(d A B)(d B A))))

Deve haver uma maneira mais curta ... Existe?