Вступ

Відстань Хаусдорфа вимірює різницю між двома підмножинами метричного простору. Інтуїтивно зрозумілий, метричний простір - це лише деякий набір із вбудованою функцією відстані; у цьому виклику ми будемо використовувати натуральні числа зі звичайною відстані d(a, b) := abs(a - b). Відстань Хаусдорфа між двома не порожніми кінцевими множинами Aі Bзадається числом

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))

в Python-подібних позначеннях. Відстань Хаусдорфа можна обчислити, знайшовши елемент, Aдля якого відстань до найближчого елемента Bмаксимум, і елемент, Bдля якого відстань до найближчого елемента Aмаксимум, і потім взяти максимум цих відстаней. Іншими словами, якщо відстань Хаусдорфа є d, то кожен елемент елемента Aзнаходиться в межах відстані dякогось елемента B, і навпаки.

Вхідні дані

Ваш вхід - це єдиний список цілих чисел. Він містить лише елементи 0,1,2,3, які означають, чи даний індекс списку є елементом ні, Aні B, тільки A, тільки B, або і те Aі інше B. Наприклад, введення [0,1,1,0,2,3]означає, що, A = {1,2,5}і B = {4,5}якщо ми використовуємо індексацію на основі 0 (це не має значення, оскільки наші показники є інваріантними перекладами).

Вихідні дані

Ваш вихід - відстань Хаусдорфа між Aі B; у наведеному прикладі це так 3. Якщо будь-який набір порожній, то відстань не визначається, і ви повернетесь -1.

Правила

Ви можете написати повну програму або функцію. Виграє найменший кількість байтів, а стандартні лазівки заборонені.

Випробування

[] -> -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 байт

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

Приймає дані про STDIN як масив стилів CJam:

[0 1 2 3]

Ось тестовий джгут, який перетворює всі тестові випадки у цей формат і запускає код на них. Хоча результати знаходяться у полі введення, вони не використовуються кодом (видаліть їх, якщо ви мені не довіряєте :)).

Пояснення

Спочатку ми аналізуємо вхід, щоб отримати два набори A і 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.";

А тепер ми знаходимо абсолютні різниці і вибираємо максимум хвилин:

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.";

Зауважте, що ми весь час зберігали порожній масив, що був результатом початкового 0в нижній частині стека, але порожні масиви нічого не сприяють виводу.

CJam, 57 56 52 байти

Я думаю, що це можна трохи пограти в гольф, але ось що:

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

Введення надходить як список зі стилем CJam, наприклад.

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

5

Як це працює :

Код розділений на дві частини:

Розбиття введення в списки Aта 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";

Виконання необхідних дій над двома парами Aта 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";

Спробуйте його онлайн тут

Луа, 235 байт

Однозначно не переможець, але принаймні веселе завдання.

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)))

Введення працює так:

lua hausdorff.lua <space-separated-sequence>

... і ось тестовий сценарій:

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)

... виробляє ...

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

Pyth, 43 40 39 38 байт

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

Мій алгоритм працює безпосередньо на вхідному рядку і ніколи не перетворює це число. Він обчислює лише один раз максимум, а ніколи мінімум.

Завдяки @isaacg за збереження одного байта.

Спробуйте в Інтернеті: компілятор / виконавець Pyth

Пояснення:

Спочатку я вставлю багато нулів перед входом.

          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

Потім я визначаю хелперну функцію y, яка повідомляє, чи відображаються індекси списку (як вхідний) в обох наборах A і BEg y([0, 1, 0, 0, 1, 1]) = False, але 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

Потім спочатку перевіряю, чи є результат -1.

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

Тепер до цікавого матеріалу:

  .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)

Зауважте, що я завжди знайду число T, оскільки я вже знаю, що індекси відображаються в обох наборах у списку J. Число максимальне length(Q). Це також є причиною вставки нулів. Якщо є щонайменше length(Q)нулі, k-Tце завжди >= 0, що необхідно для нарізки списку. То чому я вставляю 2^length(Q)нулі замість length(Q)нулів? У тестовому випадку []мені потрібно щонайменше 1 нуль, інакше yJповернеться помилка.

Математика, 88 байт

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

Haskell, 145 126 124 байт

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

Пробіг:

*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]

sфільтрує натуральні числа відповідно до присудка tта списку введення x. #обчислює максимальну відстань його параметрів dі e. %ловить порожні множини A або B або приймає остаточний максимум d#eі e#d. fє основною функцією, яка викликає %набір A і B.

Редагувати: @ Zgarb знайшов багато байтів, щоб зберегти; @ ali0sha ще 2. Дякую!

Перл, 56 55

Додано +2 для -lp.

Список вводу має бути вказаний на stdin без пробілів, наприклад:

echo 1011201231000120 | perl -lp hausdorf.pl

hausdorf.pl:

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

Для підтримки пробілів між елементами вхідного списку просто розділіть остаточний $qна 2 за вартістю 2 штрихи

Пітон 2, 124

Це, безумовно, відчуває себе неоптимальним. Ну добре.

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⋄⌈/{⌈/⌊/⍵}¨(+,⍉¨)|∘.-/∆}

Тести:

      ({(⊂⍬)∊∆←(↓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

Пояснення:

• ⍳⍴⍵: отримати список номерів від 1 до довжини вхідного списку
• ↓2 2⊤⍵: для кожного значення в списку вводу отримуйте перший байт і другий байт
• ∆←(... )/⊂⍳⍴⍵: для обох списків байт виберіть відповідні значення з ⍳⍴⍵. Зберігайте їх у ∆.

• (⊂⍬)∊∆... :¯1: якщо цей список містить порожній список, поверніться -1. Інакше:

• |∘.-/∆: отримують абсолютну різницю між кожною парою значень, даючи матрицю

• (+,⍉¨): отримати обернену та не обернену копію цієї матриці
• {⌈/⌊/⍵}: для обох матриць отримайте максимум мінімумів рядків
• ⌈/: тоді отримайте максимум цього

Перл, 189 176 157B

Зараз на 500% більше штату.

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

Розбірливий:

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

Приклад використання:

вхід

0
1
2
3

perl golf.pl < input

Clojure, 167 байт

#(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))))

Повинен бути коротший шлях ... Чи є?