ENUMERATING THE PRIME ALTERNATING KNOTS, PART II
Notice bibliographique
Résumé
In [1], we described an efficient inductive scheme which uses a total of four operators to generate all prime alternating knots of a given minimal crossing size. The process is carried out in two steps, where in the first step, two of the four operators are applied to the prime alternating knots of minimal crossing size n to produce approximately 98% of the prime alternating knots of minimal crossing size n+1, while in the second step, the remaining two operators are applied to these newly constructed knots, thereby producing the remaining prime alternating knots of crossing size n+1. The process begins with the prime alternating knot of four crossings, the figure eight knot. In this paper, we provide an actual implementation of our procedure, wherein we spend considerable effort to make the procedure efficient. One very important aspect of the implementation is a new way of encoding a knot. We are able to assign an integer array (which we call the master array) to a prime alternating knot in such a way that each regular diagram of the knot can be constructed from the data in the array. Moreover, two knots are equivalent if and only if their master arrays are identical. We have used this generation scheme to enumerate the prime alternating knots up to and including those of 19 crossings. The knots up to and including 17 crossings produced by our generation scheme concurred with those found by M. Thistlethwaite, J. Hoste and J. Weeks (see [3]). The current implementation of the algorithms involved in the generation scheme allowed us to produce the 1,769,979 prime alternating knots of 17 crossings on a five node beowulf cluster in approximately 2.3 hours, while the time to produce the prime alternating knots up to and including those of 16 crossings totalled approximately 45 minutes. The prime alternating knots at 18 and 19 crossings were enumerated using the 48 node Compaq ES-40 beowulf cluster at the University of Western Ontario (we also received generous support from Compaq at the SC 99 conference). The cluster was shared with other users and so an accurate estimate of the running time is not available, but the generation of the 8,400,285 knots at 18 crossings was completed in 17 hours, and the generation of the 40,619,385 prime alternating knots at 19 crossings took approximately 72 hours. With the improvements that are described in the sequel, we anticipate that the knots at 19 crossings will be generated in not more than 10 hours on a current Pentium III personal computer equipped with 256 megabytes of main memory.
Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.
Comment cette classification a été obtenuedéplier
Prédiction distillée sur la base complète
Imitation des enseignantsNi prévalence calibrée, ni vérité terrain. Validation humaine à venir. Apprise à partir de 10 348 étiquettes directes de Codex et de 10 348 étiquettes directes de Gemma. Le mode candidate est l'union des têtes enseignantes seuillées; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont ni des étiquettes humaines ni des étiquettes directes de modèles de pointe.
Scores Codex et Gemma par catégorie
| Catégorie | Codex | Gemma |
|---|---|---|
| Métarecherche | 0,002 | 0,003 |
| Méta-épidémiologie (sens strict) | 0,000 | 0,000 |
| Méta-épidémiologie (sens large) | 0,000 | 0,000 |
| Bibliométrie | 0,000 | 0,000 |
| Études des sciences et des technologies | 0,001 | 0,000 |
| Communication savante | 0,000 | 0,000 |
| Science ouverte | 0,000 | 0,000 |
| Intégrité de la recherche | 0,000 | 0,000 |
| Charge utile insuffisante (le modèle a refusé de juger) | 0,000 | 0,000 |
Scores machine (provisoires)
Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.
Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.
score_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découleClassification
machine, non validéePrédiction automatique; un appel candidat d’une seule tête enseignante, pas un consensus.
Le détail, modèle par modèle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».