Number distance D | O(a,b,c) | |||||
---|---|---|---|---|---|---|
X c=0 + | c=1 +* | c=2 +*^ | horizon |
... | ... | ... | ... | + * ^ ^^ Stats! |
% gain: | ... | ... | ... |
Eerder
hadden we gezien dat er getallen achter de horizon van wiskundige expressies verborgen liggen. Sommige getallen tussenin hele grote, nog construeerbare waarden verdwijnen zo uit zicht.
Om precies te kunnen bepalen waar de grens van onze expressie ligt, introduceer ik vandaag een ruimer begrip van afstand:
Gewoonlijks wordt tussen twee getallen X > Y
de afstand
dX,Y
berekend door: Y + d = X
Als Y = 0
dan is de afstand dX
het aantal enen in een geneste constructie van X
met enkel de optel operator:
O(a,b) = a+b
Dan geldt: D0X
= dX = X
Bijvoorbeeld: 5 = 3+2 = ((1+1)+1)+(1+1) = O(O(O(1,1),1),O(1,1)) # 5
Maar we kunnen ook andere operator functies { +, *, ^, ^^, ^^^... }
gebruiken om sneller getallen te maken.
De natuurlijke getalsafstand DnX
definieer ik als het minimale aantal enen in een geneste constructie van X
met de operator functie
O(a,b,c)
waarbij 0<=c<=n
.
De natuurlijke getalshorizon
D∞X = DX
definieer ik als een getalsafstand waarbij alle operatoren c>=0
toegestaan zijn.
Bijvoorbeeld: als c=1
dan is de getalsafstand D1X
het minimale aantal enen in een geneste constructie van X
met optellen en vermenigvuldigen.
Het getal X = 9
heeft dan getalsafstand
D19 = 7
omdat:
9 = 3*3 = O(3,3,1) = O(O(O(1,1,0),1,0),O(O(1,1,0),1,0),1) # 7
De getalshorizon van 9 is ook 7, omdat
9 = 3^2 = O(3,2,2) = O(O(O(1,1),1),O(1,1),O(1,1)) # D=7
In de tabel hieronder staan de afstanden van alle getallen van 0 t/m 100.
In de rode kolommen het extra effect van het toelaten van negatieve getallen, wanneer we -1 tellen als 1.
Getalsafstanden D | O(a,b,c) | -D extra | ||||
---|---|---|---|---|---|---|
X c=0 + | c=1 +* | c=2 +*^ | horizon | c=1 -+* | Z-horizon | |
X<7 | X | X | X | |||
7 | 7 | 7 | 7 | 4,3,0 | ||
8 | 7 | 7 | 7 | 4,2,1 | ||
9 | 7 | 7 | 7 | 3,3,1 | ||
10 | 8 | 8 | 8 | 5,2,1 | ||
11 | 9 | 9 | 9 | 9,2,0 | ||
12 | 8 | 8 | 8 | 4,3,1 | ||
13 | 9 | 9 | 9 | 12,1,0 | ||
14 | 10 | 10 | 10 | 7,2,1 | ||
15 | 9 | 9 | 9 | 5,3,1 | ||
16 | 9 | 8 | 8 | 2,3,3 | ||
17 | 10 | 9 | 9 | 16,1,0 | ||
18 | 10 | 10 | 10 | 6,3,1 | ||
19 | 11 | 11 | 11 | 16,3,0 | ||
20 | 10 | 10 | 10 | 5,4,1 | ||
21 | 11 | 11 | 11 | 7,3,1 | ||
22 | 12 | 12 | 12 | 11,2,1 | ||
23 | 13 | 13 | 13 | 20,3,0 | 12 | 11 |
24 | 11 | 11 | 11 | 6,4,1 | 10 | |
25 | 11 | 9 | 9 | 5,2,2 | ||
26 | 12 | 10 | 10 | 25,1,0 | 9 | |
27 | 11 | 8 | 8 | 3,3,2 | ||
28 | 12 | 9 | 9 | 27,1,0 | ||
29 | 13 | 10 | 10 | 27,2,0 | ||
30 | 12 | 11 | 11 | 27,3,0 | ||
31 | 13 | 12 | 12 | 27,4,0 | 10 | |
32 | 12 | 9 | 9 | 2,5,2 | ||
33 | 13 | 10 | 10 | 32,1,0 | ||
34 | 13 | 11 | 11 | 32,2,0 | ||
35 | 13 | 12 | 12 | 32,3,0 | 11 | |
36 | 12 | 10 | 10 | 6,2,2 | ||
37 | 13 | 11 | 11 | 36,1,0 | ||
38 | 14 | 12 | 12 | 36,2,0 | ||
39 | 13 | 13 | 13 | 13,3,1 | ||
40 | 13 | 13 | 13 | 8,5,1 | ||
41 | 14 | 14 | 14 | 40,1,0 | ||
42 | 14 | 14 | 14 | 7,6,1 | ||
43 | 15 | 15 | 15 | 42,1,0 | ||
44 | 14 | 14 | 14 | 11,4,1 | ||
45 | 13 | 13 | 13 | 9,5,1 | ||
46 | 14 | 14 | 14 | 45,1,0 | ||
47 | 15 | 15 | 15 | 45,2,0 | 14 | 13 |
48 | 13 | 12 | 12 | 16,3,1 | ||
49 | 14 | 11 | 11 | 7,2,2 | ||
50 | 14 | 12 | 12 | 25,2,1 | ||
51 | 14 | 13 | 13 | 17,3,1 | ||
52 | 14 | 13 | 13 | 26,2,1 | 12 | |
53 | 15 | 14 | 14 | 52,1,0 | 12 | |
54 | 14 | 11 | 11 | 27,2,1 | ||
55 | 15 | 12 | 12 | 54,1,0 | ||
56 | 15 | 12 | 12 | 28,2,1 | ||
57 | 15 | 13 | 13 | 56,1,0 | ||
58 | 16 | 13 | 13 | 29,2,1 | ||
59 | 17 | 14 | 14 | 58,1,0 | 15 | |
60 | 14 | 14 | 14 | 12,5,1 | 13 | |
61 | 15 | 15 | 15 | 60,1,0 | 12 | |
62 | 16 | 15 | 15 | 31,2,1 | 11 | |
63 | 15 | 15 | 15 | 9,7,1 | 10 | |
64 | 14 | 9 | 9 | 4,3,2 | ||
65 | 15 | 10 | 10 | 64,1,0 | ||
66 | 16 | 11 | 11 | 64,2,0 | ||
67 | 17 | 12 | 12 | 64,3,0 | 16 | |
68 | 15 | 13 | 13 | 64,4,0 | ||
69 | 16 | 14 | 14 | 64,5,0 | ||
70 | 16 | 15 | 15 | 35,2,1 | 14 | |
71 | 17 | 16 | 16 | 64,7,0 | 16 | 14 |
72 | 15 | 13 | 13 | 36,2,1 | ||
73 | 16 | 14 | 14 | 72,1,0 | ||
74 | 16 | 14 | 14 | 37,2,1 | ||
75 | 15 | 13 | 13 | 25,3,1 | ||
76 | 16 | 14 | 14 | 75,1,0 | ||
77 | 17 | 15 | 15 | 75,2,0 | 13 | |
78 | 16 | 14 | 14 | 26,3,1 | 12 | |
79 | 17 | 15 | 15 | 78,1,0 | 16 | 11 |
80 | 15 | 14 | 14 | 16,5,1 | 10 | |
81 | 15 | 9 | 9 | 3,4,2 | ||
82 | 16 | 10 | 10 | 81,1,0 | ||
83 | 17 | 11 | 11 | 81,2,0 | ||
84 | 16 | 12 | 12 | 81,3,0 | ||
85 | 16 | 13 | 13 | 81,4,0 | ||
86 | 17 | 14 | 14 | 81,5,0 | ||
87 | 17 | 14 | 14 | 29,3,1 | ||
88 | 17 | 15 | 15 | 87,1,0 | ||
89 | 18 | 16 | 16 | 81,8,0 | 17 | |
90 | 16 | 15 | 15 | 30,3,1 | ||
91 | 17 | 16 | 16 | 90,1,0 | ||
92 | 17 | 17 | 17 | 46,2,1 | 15 | |
93 | 17 | 16 | 16 | 31,3,1 | 14 | |
94 | 18 | 17 | 17 | 93,1,0 | 17 | 15 |
95 | 17 | 17 | 17 | 19,5,1 | 14 | |
96 | 16 | 13 | 13 | 32,3,1 | ||
97 | 17 | 14 | 14 | 96,1,0 | ||
98 | 17 | 14 | 14 | 49,2,1 | ||
99 | 17 | 15 | 15 | 98,1,0 | 13 | |
100 | 16 | 12 | 12 | 10,2,2 |
Dus: DnX <= DnX-1 + 1
De rijen met wiite/roze achtergrond zijn bovenste grenzen.
Een Java of misschien JavaScript programmaatje zou voor de rest wel handig zijn.
C
:Da+Db+Dc = D
steeds door D++
Da,Db,Dc
in deze volgorde: elk eerst nabij D/3
en (secundair) eerst Da >= Db >= Dc
Dc,Db
zodat deze niet op voorhand te groot zijn(A,B,C) = (Da,Db,Dc)
X = O(A,B,C) <= Xmax
een opgegeven laatste X
, D
in de Array[C][X]
C
aan in Array[C][X]
als de nieuwe D
kleiner is dan in de kolom(A,B,C)
kolom voor getal X
aan,
als D
ook kleiner is dan de horizon waardeX
aan de tabel toe,
totdat Xmax
is bereikt
De natuurlijke getalsafstand DX,Y
tussen twee getallen X en Y definieer ik als het aantal enen in een mathematische constructie met positieve operatoren O(a,b,c)
die verplicht één maal gebruik maakt van het kleinste getal om uit te komen bij het grootste.
Het programma kan later eventueel met een optioneel getal Y
, of zelfs met meerdere gegeven getallen worden uitgebreid, om relatieve afstandstabellen te maken.