MétaCan
Menu
← Retour à la cohorte
Enregistrement W1526628995 · doi:10.1090/s0025-5718-09-02237-6

An algorithm for finding a nearly minimal balanced set in đ”œ_{𝕡}

2009· article· lv· W1526628995 sur OpenAlex
Zhivko Nedev

Pourquoi ce travail est dans la base

Une base qui oublie comment elle a trouvĂ© un travail ne peut pas ĂȘtre vĂ©rifiĂ©e. Voici les voies qui ont admis celui-ci.

affAu moins un auteur déclare une institution canadienne dans l'instantané OpenAlex épinglé.
fundUn bailleur canadien est enregistré sur le travail.

Notice bibliographique

RevueMathematics of Computation · 2009
Typearticle
Languelv
DomaineMathematics
ThématiqueFinite Group Theory Research
Établissements canadiensUniversity of Victoria
Organismes subventionnairesUniversity of Waterloo
Mots-clésAlgorithmAnnotationComputer scienceType (biology)Artificial intelligenceMathematicsBiology

Résumé

récupéré en direct d'OpenAlex

For a prime <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="p"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding="application/x-tex">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> , we call a non-empty subset <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper S"> <mml:semantics> <mml:mi>S</mml:mi> <mml:annotation encoding="application/x-tex">S</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of the group <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="double-struck upper F Subscript p"> <mml:semantics> <mml:msub> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">F</mml:mi> </mml:mrow> <mml:mi>p</mml:mi> </mml:msub> <mml:annotation encoding="application/x-tex">\mathbb {F}_p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> balanced if every element of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper S"> <mml:semantics> <mml:mi>S</mml:mi> <mml:annotation encoding="application/x-tex">S</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is the midterm of a three-term arithmetic progression, contained in <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper S"> <mml:semantics> <mml:mi>S</mml:mi> <mml:annotation encoding="application/x-tex">S</mml:annotation> </mml:semantics> </mml:math> </inline-formula> . A result of Browkin, Diviƥ and Schinzel implies that the size of a balanced subset of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="double-struck upper F Subscript p"> <mml:semantics> <mml:msub> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">F</mml:mi> </mml:mrow> <mml:mi>p</mml:mi> </mml:msub> <mml:annotation encoding="application/x-tex">\mathbb {F}_p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is at least <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="log Subscript 2 Baseline p plus 1"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>log</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mn>2</mml:mn> </mml:mrow> </mml:msub> <mml:mo> ⁥ </mml:mo> <mml:mi>p</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> <mml:annotation encoding="application/x-tex">\log _{2} p + 1</mml:annotation> </mml:semantics> </mml:math> </inline-formula> . In this paper we present an efficient algorithm which yields a balanced set of size <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="left-parenthesis 1 plus o left-parenthesis 1 right-parenthesis right-parenthesis log Subscript 2 Baseline p"> <mml:semantics> <mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mn>1</mml:mn> <mml:mo>+</mml:mo> <mml:mi>o</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy="false">)</mml:mo> <mml:mo stretchy="false">)</mml:mo> <mml:msub> <mml:mi>log</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mn>2</mml:mn> </mml:mrow> </mml:msub> <mml:mo> ⁥ </mml:mo> <mml:mi>p</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">(1 + o(1)) \log _{2} p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> as <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="p"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding="application/x-tex">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> grows.

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.

Prédiction distillée sur la base complÚte

Imitation des enseignants

Ni 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.

score de la tĂȘte « metaresearch » (Codex)0,003
score de la tĂȘte « metaresearch » (Gemma)0,001
Version: codex-gemma-dda1882f352aStatut de validation: machine_predicted_unvalidated
Catégories candidatesMéta-épidémiologie (sens strict)
Catégories consensuellesaucune
DomaineSignal candidat: aucune · Signal consensuel: aucune
Devis d'étudeSignal candidat: Théorique ou conceptuel · Signal consensuel: aucune
GenreSignal candidat: Empirique · Signal consensuel: aucune
Score de désaccord entre enseignants0,615
Score d'incertitude au seuil1,000

Scores Codex et Gemma par catégorie

CatégorieCodexGemma
Métarecherche0,0030,001
Méta-épidémiologie (sens strict)0,0000,000
Méta-épidémiologie (sens large)0,0010,000
Bibliométrie0,0010,001
Études des sciences et des technologies0,0000,000
Communication savante0,0000,000
Science ouverte0,0010,000
Intégrité de la recherche0,0000,000
Charge utile insuffisante (le modÚle a refusé de juger)0,0000,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.

TĂȘte enseignante Opus0,077
TĂȘte enseignante GPT0,389
Écart entre enseignants0,312 · la distance entre les deux tĂȘtes enseignantes sur ce seul travail
Statut de validationscore_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écoule