Os cavalos-marinhos, é claro, precisam de sapatos. No entanto, um cavalo-marinho, com apenas uma cauda, ​​precisa de apenas um sapato. Infelizmente, os sapatos só vêm em pares. O dinheiro é escasso para o governo dos cavalos-marinhos, então eles precisam comprar o menor número possível de pares. Cada cavalo-marinho tem um tamanho de sapato x, onde x é um número inteiro positivo. No entanto, um cavalo-marinho pode usar um sapato do tamanho x - 1 ou x + 1, se necessário.

Sua tarefa é produzir o número mínimo de pares que o governo dos cavalos-marinhos deve comprar para colocar sapatos em todos os seus cavalos-marinhos.

Você pode receber as informações como quiser, brechas padrão etc.

Como esse é o código-golfe , o código mais curto em bytes vence.

Casos de teste

2 4 6 6 8 14 ->        4
2 1 3 1 1 ->           3
4 1 4 9 1 8 9 1 8 4 -> 6
1 2 3 5 7 8 10 12 ->   4

05AB1E , 13 bytes

Usa a abordagem OP descrita nos comentários.

{¥3‹J0¡€gÌ2÷O

Experimente online!

Explicação

{¥3‹J0¡€gÌ2÷O   Argument l
{               Sort l
 ¥              Push deltas
  3‹            Map to lower than 3 (1 for true, 0 for false)
    J0¡         Join and split on 0
       €g       Map to length
         Ì      Each + 2
          2÷    Integer division by 2
            O   Sum

Casca , 15 14 bytes

Γ0(→₀?tI↑<+3)O

Usa o algoritmo ganancioso: classifique e emparelhe da esquerda. Experimente online!

Agradecemos a Leo por economizar 1 byte.

Explicação

Esta é a primeira resposta Husk que usa Γ, a função para o padrão que corresponde a uma lista. Nesse caso de uso, se afor um valor e guma função, Γagcorresponderá à função fdefinida pelo snippet Haskell

f [] = a
f (x:xs) = g x xs

Eu defino o caso base como a = 0e

g x xs = 1 + line0 (if head xs < x+3 then tail xs else xs)

onde line0se refere a toda a linha. No código Husk, xe xssão argumentos implícitos para a função lambda, e line0is ₀. A lista é classificada novamente em cada chamada recursiva, mas isso não importa em um desafio de golfe.

Γ0(→₀?tI↑<+3)O
             O  Sort
Γ               and pattern match
 0              giving 0 for an empty list
  (         )   and applying this function to a non-empty list:
          +3     Add 3 to first argument (x),
         <       make a "test function" for being less than that,
        ↑        take values from second argument (xs) while they pass the test.
     ?           If that prefix is nonempty (next value can be paired),
      t          take tail of xs,
       I         otherwise take xs as is.
    ₀            Apply the main function (line0) to this list
   →             and add 1 for the singleton/pair we just processed.

Python 3 , 69 66 60 bytes

9 bytes graças ao xnor.

f=lambda a:a[1:a.sort()]and-~f(a[1+(a[1]-a[0]<3):])or len(a)

Experimente online!

Geléia , 20 18 bytes

ṢLµIḢ<3+2⁸ṫß‘µLỊ$?

Experimente online!

Garfo da minha resposta Python .

Python 2 , 49 bytes

f=lambda a:a>[a.sort()]and-~f(a[[3+a.pop(0)]>a:])

Experimente online!

Baseado na solução recursiva de Leaky Nun .

Python 2 , 59 bytes

p=c=0
for x in sorted(input()):c+=x>p;p=(x>p)*(x+2)
print c

Experimente online!

Repete os tamanhos xna ordem classificada. Lembra o limite superior pdo tamanho atual ao emparelhado com o anterior. Nesse caso ( x>p), redefina o limite para 0impossibilitar o emparelhamento do próximo. Caso contrário, aumente a contagem de saída ce defina o próximo limite ppara x+2.

O novo limite p=(x>p)*(x+2)é uma expressão inchada. Eu gostaria de encontrar uma maneira de reduzi-lo.

C #, 111 108 137 102 bytes

Isso nunca vai ganhar, mas eu queria resolver o exercício de qualquer maneira:

Array.Sort(a);var c=0;for(var i=0;i<a.Length;i++){c++;i+=a.Length-i>1&&a[i+1]-a[i]<3?1:0;}Console.WriteLine(c);

Graças ao comentário de @grabthefish, eu pude morder mais alguns bytes:

Array.Sort(a);int c=0,i=0;for(;i<a.Length;i++){c++;i+=a.Length-i>1&&a[i+1]-a[i‌​]<3?1:0;}Console.Wri‌​teLine(c);

Seguindo as regras especiais de C # do PC&G:

class P{static void Main(){Array.Sort(a);int c=0,i=0;for(;i<a.Length;i++){c++;i+=a.Length-i>1&&a[i+1]-a[i]<3?1:0;}Console.WriteLine(c);}}

Usando uma função lambda:

a=>{System.Array.Sort(a);int c=0,i=0;for(;i<a.Length;c++)i+=a.Length-i>1&&a[i+1]-a[i]<3?2:1;return c;}

Perl, 113 bytes

say sub{for(1..$#_){$x{$i}++;$i++if$_[$_]-$_[$_-1]>2}$x{$i}++;$-+=$_/2+$_%2for values%x;$-}->(sort{$a<=>$b}@ARGV)

Leva a lista de argumentos da linha de comando (as @ARGV), imprime como STDOUTpadrão.

Em Seahorseville ...

Um bairro é uma sequência de tamanhos de sapatos vizinhos. Quando classificados, cada cavalo-marinho tem vizinhos imediatos que podem compartilhar o mesmo tamanho de sapato. Pode haver vários vizinhos no bairro e nenhum vizinho pode diferir em valor em mais de dois:

por exemplo, 3 3 4 5 5 6é um bairro único, como são 2 4 6 6, e1 2 3 5 7 8 10 12

por exemplo, 1 1 1 4 5 6contém dois bairros: 1 1 1e 4 5 6.

Base do algoritmo

Existem dois tipos de vizinhança:

• Tamanho uniforme

  Para estes, n/2pares é sempre suficiente:

  por exemplo, 3 3 4 5 5 6requer três pares para 3 3, 4 5e5 6

• Tamanho ímpar

  Para estes, ceil(n/2)pares é sempre suficiente:

  por exemplo, 12 13 13 14 15exige três pares de 12 13, 13 14e 15por si só.

Código não jogado para testar o algoritmo

sub pairs {
    @_ = sort { $a <=> $b } @_;
    my @hood;
    my $i = 0;
    for (1..$#_) {
        push @{$hood[$i]}, $_[$_-1];
        $i++ if $_[$_]-$_[$_-1]>2
    }
    push @{$hood[$i]}, $_[$#_];
    my $pairs;
    $pairs += int(@{$hood[$_]} / 2) + @{$hood[$_]} % 2 for 0..$#hood;
    return "$pairs : @{[map qq([@$_]), @hood]}\n";
}

Resultados da amostra

(Bairros fechados [ ] )

4 : [2 4 6 6 8] [14]
3 : [1 1 1 2 3]
6 : [1 1 1] [4 4 4] [8 8 9 9]
4 : [1 2 3 5 7 8 10 12]
17 : [1 2 3] [6 8 9 11 13 13 15 17 19 20 21] [27 28 29 30 32 33 35 35] [38 38 40] [43 45 45 46] [49]
18 : [3 3 3] [8 10 11 11 11 12 14] [18] [21 22 23] [29] [32 33 34 34 34 35 37 38 39 41] [44 46 48 49 49]
18 : [1 2 3] [6] [9] [12 13 15 17 18 19 20 21 21 23 24 25 25] [35 36] [40 41 41 41 43 45 46 46 46] [49]
16 : [1 3] [6 6 6 6] [11 12 14 14 15 17 19 20 20 21 21 22] [25 25 27 29 31 32 33] [38 39] [44 45] [49]
16 : [2 4] [7 7 8 10 12 13 15 16] [22 22 24 24] [27 29 31 31 33 34] [37 38 39] [42 43 43 44 45 46 47]
17 : [2 4 5 6 7] [11 11 13 13 14 15 16 17 17 17 19] [29] [34 35 36] [39 39 41 41 41 42 44 46] [49 49]
18 : [3 4 5 7 7] [10 10 12 12 12 14 15 15 17 18] [21] [24 24] [28] [32] [39 40 41 42 43 44 44] [47 47] [50]
16 : [2 4] [7 7 8 8] [11 11] [14 16 17 17 18 19] [22 24 26 26] [30 31 33 34 34 35] [38 38 39] [42 43] [50]
16 : [1 3 4 5] [11 11] [15 15 17 18 19 21 22 23 23 25 27 27 27 27 28 29 30 30] [33 34] [41 41] [45] [48]
17 : [2 2 3 4 6 6 7] [10 10] [13 14 15 16 17 19] [23 25] [28 30 31 32 33 34 36 37 38] [42] [48 49 50]
17 : [2] [7 9 9 9 9 10 10 12] [16 16] [19 21 21 22 24] [27 27 27] [36 36 36 37 39 39 40 40 40 41] [46]
18 : [1] [5 6 6 8] [11 11 12] [19 19 20 21 22 24 26 26] [29 30 31 32 34 35 35] [38] [42] [45] [48 48 49 49]
16 : [2 4 4 6] [11 12 13 13 13] [21 21 21 23] [30 31 31 33 35] [41 41 41 43 45 46 47 48 48 49 49 50]
16 : [2 2] [8 10 12] [15 15 15 15 16 16] [19 20] [23 24] [28 28 29] [32 34 36 36 36 37 39 41] [44 45 47 48]
17 : [3 3] [6] [9 10 11] [17 18] [21 23 23] [27 28 29 29 30 31 31 33] [37 37 39 39 39 40] [43 44] [47 48 49]
17 : [4] [7 9 10 10] [14 14 14] [17] [21] [25 25 27 27 28 30] [33 35 37 37 38 40 41 43 44 45 47 48 49 50]
18 : [3 4 5 6 7] [10 11 12 12 14 15 16 17] [20] [23 24 25 25 26 26] [31] [35] [38 40 41 42] [45 46 47] [50]
17 : [1 3] [8 10] [16 16 18 19 20 20] [23 23] [26] [30 31 33 34 35] [39 39 39 40 41 42 43] [46 46 47 47 49]
18 : [2 4 4 4 4 6 7 8 8 10 10] [13] [16 17] [20 22 23 25 25] [29 29 29] [33] [39 40 42] [48 48 49 49]
16 : [1 1 3 4] [7 8 10 10] [18 18 20 21] [24 25 26 27 29 31 33 33 34 34] [37 37 39] [45 46 48 49 49]
17 : [1] [4 4] [7 9 9 11 12] [15 16 17 17 18 19 21 21 21 22 23] [27 28 30 31] [37 39] [42] [48 49 49 50]
17 : [3 4 6 7 7 8 9 10 10 11 13 14 14] [21 21 23] [26 27] [31 32] [35 36] [39 40 41 41 41] [44 44] [49]
16 : [1] [4 6 6 8 10 12 13 15] [20 20 21 21] [29 29 30] [34 36 36 37 37 38 38 40] [44 45 46 47 47 48]
17 : [3 4 4 6] [12 14 15 16 17] [20 21 22 22 22 23 24 26 26] [29 30 32] [35 37 37 37 38 39 41 42] [48]
19 : [1] [5] [8 9] [14 14 14 16 16 17 17 17 17] [21] [24 24 24] [30] [34 35 36 37 39 40 40] [45 46 46 47 48]

Mathematica, 67 bytes

Length@Flatten[Partition[#,UpTo@2]&/@Split[Sort@#,Abs[#-#2]<3&],1]&

Experimente na caixa de areia Wolfram .

Perl, 103 bytes

say sub{for(1..$#_+1){$x{$i}++;$i++if$_[$_]-$_[$_-1]>2}@_/2+.5*grep$_%2,values%x}->(sort{$a<=>$b}@ARGV)

Leva a lista de argumentos da linha de comando (as @ARGV), imprime como STDOUTpadrão.

Essa é uma abordagem alternativa, com base no seguinte relacionamento:

Minimum pairs = ( Population size + # Odd neighbourhoods ) / 2

(Vejo esta resposta para saber como bairro é definido)

Javascript, 67 bytes

a=>(a=a.sort((a,b)=>a-b)).filter((n,i)=>m=!m|n-a[i-1]>2,m=0).length

Exemplo de trecho de código:

f=
a=>(a=a.sort((a,b)=>a-b)).filter((n,i)=>m=!m|n-a[i-1]>2,m=0).length

v=[[2,4,6,6,8,14],[2,1,3,1,1],[4,1,4,9,1,8,9,1,8,4],[1,2,3,5,7,8,10,12]]
for(k=0;k<4;k++)
  console.log(`f([${v[k]}])=${f(v[k])}`)