Os 9 bilhões de nomes de Deus é um conto de Arthur C. Clarke. É sobre um grupo de monges tibetanos cuja ordem é dedicada a escrever todos os nomes possíveis de Deus, escritos em seu próprio alfabeto. Essencialmente, eles são dedicados a escrever todas as permutações possíveis de seu alfabeto, restritas por algumas regras. Na história, o mosteiro contrata alguns engenheiros para escrever um programa para fazer todo o trabalho para eles. Seu objetivo é escrever esse programa.

Regras:

• O alfabeto do monge usa 13 caracteres (de acordo com minhas estimativas). Você pode usar ABCDEFGHIJKLMou outro conjunto de 13 caracteres.

• O comprimento mínimo de um nome possível é de 1 caractere. O comprimento máximo é de 9 caracteres.

• Nenhum personagem pode repetir mais de 3 vezes seguidas. AAABAé um nome válido, mas AAAABnão é.

• Seu programa deve imprimir (em um arquivo) todos os nomes possíveis em sequência de Apara MMMLMMMLM, separados por qualquer caractere que não esteja no alfabeto (novas linhas, ponto e vírgula, qualquer que seja).

• Isso é código-golfe e você pode usar qualquer idioma. A solução mais curta até 1º de junho de 2014 vence.

Editar: Os nomes devem começar Ae terminar com MMMLMMMLM, progredindo por todos os bilhões de nomes sequencialmente. Mas a sequência específica é com você. Você pode imprimir todos os 1-letra nomes em primeiro lugar, em seguida, todos os nomes de 2 letras, etc. Ou você pode imprimir todos os nomes que começam com A, em seguida, todos aqueles que começam com B, ou algum outro padrão. Mas um humano deve ser capaz de ler o arquivo e confirmar se está tudo lá e na ordem lógica que você escolher, supondo que ele tenha tempo.

Ruby, 46

?A.upto(?M*9){|s|s[/(.)\1{3}|[N-Z]/]||puts(s)}

Minha solução original e semelhante foi mais longa e errada (produziu números de base13, que não são todos eles devido a zeros à esquerda), mas deixarei aqui porque ele obteve votos de qualquer maneira.

1.upto(13**9){|i|(s=i.to_s 13)[/(.)\1{3}/]||puts(s)}

C 140 177 235

Bom e velho estilo processual, sem fantasia.
Conta (sem gravação) 11.459.252.883 nomes em 8 minutos.
A seguir edite com o tempo de execução e o tamanho do arquivo de nomes. Assista ao céu ...
Tempo de execução 57 minutos, tamanho do arquivo 126.051.781.713 (9 caracteres + crlf por linha). Diga-me o endereço de e-mail dos monges, para que eu possa enviar o arquivo compactado, para verificação manual ...

Editar Golfed um pouco mais, reformulou o cheque para repetir letras.
Ainda não é o mais curto, mas pelo menos este termina e gera a saída necessária.
Tempo de execução 51 min, tamanho do arquivo 113.637.155.697 (sem espaços em branco desta vez)

Uma observação: obviamente, o arquivo de saída é muito compressível, ainda assim eu tive que matar o 7zip, depois de trabalhar 36 horas, estava em 70%. Esquisito.

char n[]="@@@@@@@@@@";p=9,q,r;main(){while(p)if(++n[p]>77)n[p--]=65;else for(r=q=p=9;r&7;)(r+=r+(n[q]!=n[q-1])),n[--q]<65&&puts(n+q+1,r=0);}

Ungolfed

char n[]="@@@@@@@@@@";
p=9,q,r;
main()
{
    while (p)
    {
        if (++n[p] > 77)
        {
            n[p--] = 65; // when max reached, set to min and move pointer to left
        }
        else 
        {
            for (r=q=p=9; r & 7 ;) // r must start as any odd number
            {
                r += r+(n[q]!=n[q-1])); // a bitmap: 1 means a difference, 000 means 4 letters equal
                n[--q] < 65 && puts(n+q+1,r=0);
            }
        }
    }
}

Golfscript, 58 47 caracteres

"A"13
9?,{13base{65+}%n+}%{`{\4*/,}+78,1/%1-!},

Graças a Peter Taylor, sou poupado do seppuku por não vencer a solução Ruby! Execute o código até 10 você mesmo , e aqui está a prova de que ele ignora os números quatro em linha .

Utilitários de linha de comando Bash + Linux, 43 bytes

jot -w%x $[16**9]|egrep -v "[0ef]|(.)\1{3}"

Este usa uma técnica semelhante à minha resposta abaixo, mas apenas conta na base 16, e retira todos os "nomes" que contêm 0, eou fbem aqueles com mais de 3 mesmos dígitos consecutivos.

Converta no alfabeto do monge da seguinte maneira:

jot -w%x $[16**9]|egrep -v "[0ef]|(.)\1{3}" | tr 1-9a-d A-M

Bash + coreutils (dc e egrep), 46 bytes

Editar - versão corrigida

dc<<<Edo9^[p1-d0\<m]dsmx|egrep -v "0|(.)\1{3}"

Vai demorar um pouco para funcionar, mas acho que está correto.

dcconta para baixo de 14 ^ 9 para 1 e sai na base 14. egrep filtra os números com mais de 3 mesmos dígitos consecutivos. Também filtramos quaisquer nomes com dígitos "0", para obter o conjunto correto de letras nos nomes.

A pergunta especifica que qualquer alfabeto pode ser usado, por isso estou usando [1-9] [AD]. Mas para o teste, isso pode ser transformado para [AM] usando tr:

dc<<<Edo9^[p1-d0\<m]dsmx|egrep -v "0|(.)\1{3}" | tr 1-9A-D A-M

Isso produz a sequência:

MMMLMMMLM MMMLMMMLL MMMLMMMLK ... AC AB AA M L K ... C B A

Observe que este dccomando requer recursão de cauda para funcionar. Isso funciona na versão dc 1.3.95 (Ubuntu 12.04), mas não na 1.3 (OSX Mavericks).

APL (59)

↑Z/⍨{~∨/,↑⍷∘⍵¨4/¨⎕A[⍳13]}¨Z←⊃,/{↓⍉⎕A[1+(⍵/13)⊤¯1⌽⍳13*⍵]}¨⍳9

Escrito em seu próprio alfabeto :) É um pouco longo. Também leva muito tempo para executar 9, tente com um número menor para testar se você deseja.

Explicação:

• {... }¨⍳9: para cada número ⍵de 1 a 9:
  • ⍳13*⍵: obtenha todos os números de 1 a 13^⍵
  • ¯1⌽: Rodar a lista para a esquerda por 1 (por isso temos 13^⍵, 1, 2, ..., 13^⍵-1, que se transforma em 0, 1, 2 ...modulo 13^⍵).
  • (⍵/13)⊤: codifique cada número na base 13 usando ⍵dígitos
  • ⎕A[1+... ]: adicione uma (as matrizes são indexadas a 1) e procure ⎕A(o alfabeto)
  • ↓⍉: transforme a matriz em um vetor de vetores ao longo das colunas.
• Z←⊃,/: junte cada vetor interno de vetores, fornecendo uma lista de nomes possíveis (mas ainda não atende às regras).
• {... }¨: para cada nome, teste se ele atende à regra de 4 caracteres repetidos:
  • 4/¨⎕A[⍳13]: para cada caractere, gere uma sequência de 4 desse caractere
  • ⍷∘⍵¨: para cada sequência, teste se está presente em ⍵
  • ∨/,↑: faça o lógico ou de todos esses testes,
  • ~: e inverta-o, o que 1significa que ele atende às regras e 0significa que não.
• Z/⍨: selecione entre Ztodos os elementos que atendem às ruínas
• ↑: exibir cada um em uma linha separada

Perl, 70 68 66 50 caracteres

$"=",";map/(.)\1{3}/||say,glob$i.="{@a}"for@a=A..M

Uso:

$ perl -E 'code' > output_file

O bom é que as impressões são armazenadas em buffer, para que você obtenha todas as soluções de 1 caractere primeiro, seguidas de palavras de 2 caracteres e assim por diante.

Perl - 35 bytes

#!perl -l
/(.)\1{3}|[N-Z]/||print for A..1x9

Contando o shebang como um byte.

Esta é uma tradução solta da resposta do histocrata .

A..1x9é um pouco estranho; isso é uma abreviação para 'A'..'111111111'. O acumulador nunca alcançará o valor do terminal (ele contém apenas letras maiúsculas), mas ainda será encerrado quando tiver mais de 9 caracteres. Isso pode ser testado, por exemplo, usando-o 1x4.

Pyg (Waaay muito longo, para um idioma feito para jogar golfe)

sussurros : 101 ...

Pe(*ItCh(((J(x)for x in ItPr("ABCDEFGHIJKLM",repeat=j)if not An((i*3 in x)for i in x))for j in R(14))))

Mesmo que isso esteja próximo de como eu realmente faria isso em Python:

from itertools import *
for i in range(14):
    for j in ("".join(k) for k in product("ABCDEFGHIJKLM",repeat=i) if not any((i*3 in k) for i in k)):
        print j

Menos a complicação de linha longa, é claro;)

Pitão , 34 caracteres

Kf<T"n"GJKFbJI>lb9Bb~Jm+bdfXVb*Y3K

Explicação:

Kf<T"n"G        K = list of letters in the alphabet before n.
JK              J = copy of K
FbJ             For b in J:
I>lb9B          If length of b > 9: break
b               print(b)
~J              J+=
~Jm+bd          J+=map(lambda d:b+d,
       XVb*Y3   index of Y*3 in reversed(b)
      fXVb*Y3K  filter for non-zero for Y in K on function index of Y*3 in reversed(b)
~Jm+bdfXVb*Y3K  J+=map(lambda d:b+d, filter(lambda Y:index of Y*3 in reversed(b), K))

Python 2 - 212 bytes

from itertools import chain,product as p
a='ABCDEFGHIJKLM'
q={c*4 for c in a}
c=0
for n in chain(*(p(*([a]*l)) for l in range(1,10))):
 n=''.join(n)
 if not any(u in n for u in q):print n
 c+=1
 if c==10**9:break

Japonês , 21 bytes

Ep9 osE kè/0|(.)\1{3}

Experimente online! (o link calcula apenas até 14**4.)

Como funciona

Ep9 osE kè/0|(.)\1{3}/

Ep9  14**9
osE  Range from 0 to n (exclusive), mapped through base-14 conversion
kè   Remove elements that match at least once...
/0|(.)\1{3}/  the regex that matches a zero or four times same char.

Assume uma implementação padrão do ECMAScript 2017 como a camada JS (e memória suficiente para armazenar a matriz), em que um Arrayobjeto pode ter o 2**53-1comprimento máximo .