Jumlah simpul utama dengan n persimpangan

9

Sebuah simpul utama adalah:

simpul non-trivial yang tidak dapat ditulis sebagai simpul dari dua simpul non-trivial.

Penjelasan dari simpul-jumlah : letakkan dua simpul yang berdekatan,

masukkan deskripsi gambar di sini

... lalu gambar dua garis di antara mereka, ke untaian yang sama di setiap sisi, dan lepaskan bagian di antara garis yang baru saja Anda gambar. Komposisi dua simpul ini akan membentuk simpul baru yang bukan prime.

masukkan deskripsi gambar di sini

Berikut ini semua simpul utama dengan 7 atau lebih sedikit penyeberangan (Unknot bukan prime):

masukkan deskripsi gambar di sini

Anda perlu menampilkan jumlah simpul utama unik untuk jumlah penyeberangan tertentu.

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

Saya tidak berpikir nilainya dikenal untuk input lebih besar dari 16, tetapi jika diberi input seperti itu, kode Anda akan perlu menemukan hasil yang benar diberikan waktu yang cukup.

OEIS - A002863

mbomb007
sumber
1
Mungkin seseorang akan menemukan perpustakaan Mathematica ini berguna.
mbomb007

Jawaban:

2

Mathematica + KnotTheory` , 13 byte

NumberOfKnots

Saya tidak tahu fungsi bawaan ini ada ketika saya berkomentar bahwa paket itu mungkin berguna. Semua orang memiliki kesempatan yang sama untuk menemukannya, karena saya berkomentar tentang perpustakaan. Saya menemukannya dalam daftar Fitur yang Didokumentasikan Secara Ringan . Namun, saya tidak akan menerima jawaban ini, karena saya ingin melihat jawaban oleh orang lain.

mbomb007
sumber
1
Melihat dokumentasinya sangat buruk, Anda yakin ini bekerja untuk angka lebih dari 16?
Ad Hoc Garf Hunter
@WheatWizard Tidak, saya tidak yakin bagaimana cara mengatakannya. Butuh waktu terlalu lama untuk berjalan sampai selesai. Apakah ada cara untuk mengetahui bagaimana penerapannya?
mbomb007
1
Sudahkah Anda mencoba menjalankannya? Mungkin saja mengembalikan kesalahan. Saya tidak dapat menjalankan mathatica sekarang, tetapi saya akan memeriksa apakah macet ketika Anda mencoba menjalankannya.
Ad Hoc Garf Hunter
@WheatWizard saya tidak bisa memeriksa. Beritahu saya jika Anda mencobanya.
mbomb007
Saya benar-benar melihat melalui kode sumber sebentar, mencarinya, tetapi saya tidak menemukan definisi. Repositori tersedia untuk umum. katlas.math.toronto.edu/svn/KnotTheory/trunk/KnotTheory
mbomb007