Número de nós primos com n cruzamentos

9

Um nó principal é:

um nó não trivial que não pode ser escrito como a soma do nó de dois nós não triviais.

Explicação de uma soma de nós: coloque os dois nós adjacentes,

insira a descrição da imagem aqui

... desenhe duas linhas entre elas, no mesmo fio de cada lado, e remova a parte entre as linhas que você acabou de desenhar. Esta composição de dois nós formará um novo nó não primo.

insira a descrição da imagem aqui

Aqui estão todos os nós primos com 7 ou menos cruzamentos (o Unknot não é primo):

insira a descrição da imagem aqui

Você precisa produzir o número de nós primos exclusivos para um determinado número de cruzamentos.

1   0
2   0
3   1
4   1
5   2
6   3
7   7
8   21
9   49
10  165
11  552
12  2176
13  9988
14  46972
15  253293
16  1388705

Eu não acho que os valores sejam conhecidos por entradas maiores que 16, mas, se receberem essa entrada, seu código precisará encontrar o resultado correto com tempo suficiente.

OEIS - A002863

mbomb007
fonte
11
Talvez alguém ache esta biblioteca do Mathematica útil.
mbomb007

Respostas:

2

Mathematica + KnotTheory` , 13 bytes

NumberOfKnots

Eu não sabia que essa função interna existia quando comentei que o pacote poderia ser útil. Todos os outros tiveram a mesma chance de encontrá-lo, já que eu comentei sobre a biblioteca. Encontrei-o na lista de Recursos levemente documentados . Ainda assim, não aceitarei esta resposta, pois quero ver respostas de outras pessoas.

mbomb007
fonte
11
Como a documentação é muito ruim, você tem certeza de que isso funciona para números maiores que 16?
Ad Hoc Garf Hunter
@WheatWizard Não, não sei ao certo como contar. Levaria muito tempo para ser concluído. Existe uma maneira de descobrir como é implementado?
mbomb007
11
Você já tentou executá-lo? Pode apenas retornar um erro. Não posso executar o mathematica no momento, mas verificaria se ele paralisa quando você tenta executá-lo.
Ad Hoc Garf Hunter
@WheatWizard Também não posso verificar. Deixe-me saber se você tentar.
mbomb007
Na verdade, procurei um pouco pelo código fonte, procurando por ele, mas não encontrei a definição. O repositório está disponível ao público. katlas.math.toronto.edu/svn/KnotTheory/trunk/KnotTheory
mbomb007