Verificatore numeri abbondanti

Il verificatore di numeri abbondanti risponde a una domanda classica di teoria dei numeri: la somma dei divisori propri positivi di n supera n stesso? Fornisci un intero positivo n e lo strumento restituisce la somma aliquota, la quantità di eccedenza (somma aliquota meno n) e un flag booleano abundant che è true esattamente quando quella differenza è positiva. Il motore usa divisione per tentativi deterministica fino alla radice quadrata di n, così il risultato è esatto, privo di derive in virgola mobile e identico a ogni esecuzione. Non chiama mai la rete, non campiona mai casualità e non dipende mai dall'orologio.

Cosa significa abbondante e cosa contiene la risposta

Un intero positivo n è abbondante quando la sua somma aliquota — la somma di tutti i divisori positivi di n escluso n stesso — è strettamente maggiore di n. Equivalentemente, la quantità di eccedenza definita come somma aliquota meno n è un intero positivo. Il più piccolo numero abbondante è dodici: i divisori propri uno, due, tre, quattro e sei sommano a sedici, quindi l'eccedenza è quattro.

Diciotto è abbondante con somma aliquota ventuno ed eccedenza tre. Al contrario sei è perfetto perché i suoi divisori propri sommano esattamente a sei, e dieci è difettivo perché uno più due più cinque fa otto. Gli input perfetti e difettivi sono quindi risposte valide con abundant false e abundance minore o uguale a zero; non sono errori.

Uno ha un insieme vuoto di divisori propri, quindi la sua somma aliquota è zero ed è difettivo. Se ti servono i fattori primi di un singolo intero invece della classificazione di abbondanza, usa uno strumento di fattorizzazione; questa pagina risponde solo alla domanda sui numeri abbondanti con la quantità di eccedenza.

Come vengono letti gli input e come la somma aliquota resta esatta

Il segno più iniziale opzionale è ammesso per valori positivi; spazi incorporati, prefissi esadecimali e notazione esponenziale vengono respinti così che una cella sbagliata non diventi un flag errato. Gli interi negativi e lo zero vengono respinti perché l'abbondanza è definita su interi positivi in questo verificatore. Il motore resta entro gli interi sicuri di JavaScript, il che è più che sufficiente per problemi in classe, gare di programmazione e la maggior parte delle verifiche applicate su n moderatamente grandi.

Internamente i divisori propri vengono raccolti tramite divisione per tentativi: percorri d da due fino alla parte intera della radice quadrata di n, e ogni volta che d divide n aggiungi sia d sia n diviso d quando quei partner sono distinti e nessuno dei due è uguale a n, contando sempre uno per n maggiore di uno. Questa procedura richiede solo un pugno di verifiche modulari per input ordinari e non approssima mai.

Non c'è alcun passaggio in virgola mobile che potrebbe arrotondare un quasi-intero in una falsa dichiarazione di abbondanza.

Dove si usano i controlli di abbondanza nello studio, nelle dimostrazioni di ricerca e nel codice

Gli studenti incontrano i numeri abbondanti imparando i loro compagni perfetti e difettivi, esplorando la struttura altamente composita, e leggendo sulle catene socievoli e amichevoli che iniziano dalle mappe aliquote. Gli insegnanti possono generare chiavi di risposta per schede di esercizi senza fidarsi di app di calcolo opache che nascondono la somma dei divisori.

Gli sviluppatori usano lo stesso contratto per validare dati campione per librerie di teoria dei numeri, per bloccare test di proprietà su generatori di interi casuali, o per pre-verificare che un seme rientri nella classe abbondante prima di un passaggio di simulazione. La pratica in gare ha spesso bisogno di una fonte veloce e offline di risposte sull'abbondanza così le soluzioni possono essere verificate senza scaricare tabelle OEIS.

Abbinalo alla fattorizzazione in primi quando ti servono le potenze prime dietro un singolo intero, a un verificatore di coprimalità quando ti servono test di MCD a coppie, e a uno strumento per l'n-esimo primo quando ti servono ranghi invece di somme di divisori.