[go: up one dir, main page]

login
Search: a065235 -id:a065235
     Sort: relevance | references | number | modified | created      Format: long | short | data
Weird numbers: abundant (A005101) but not pseudoperfect (A005835).
(Formerly M5339)
+10
70
70, 836, 4030, 5830, 7192, 7912, 9272, 10430, 10570, 10792, 10990, 11410, 11690, 12110, 12530, 12670, 13370, 13510, 13790, 13930, 14770, 15610, 15890, 16030, 16310, 16730, 16870, 17272, 17570, 17990, 18410, 18830, 18970, 19390, 19670
OFFSET
1,1
COMMENTS
OProject@Home in subproject Weird Engine calculates and stores the weird numbers.
There are no odd weird numbers < 10^17. - Robert A. Hearn (rah(AT)ai.mit.edu), May 25 2005
From Alois P. Heinz, Oct 30 2009: (Start)
The first weird number that has more than one decomposition of its divisors set into two subsets with equal sum (and thus is not a member of A083209) is 10430:
1+5+7+10+14+35+298+10430 = 2+70+149+745+1043+1490+2086+5215
2+70+298+10430 = 1+5+7+10+14+35+149+745+1043+1490+2086+5215. (End)
There are no odd weird numbers < 1.8*10^19. - Wenjie Fang, Sep 04 2013
S. Benkowski and P. Erdős (1974) proved that the asymptotic density W of weird numbers is positive. It can be shown that W < 0.0101 (see A005835). - Jaycob Coleman, Oct 26 2013
No odd weird number exists below 10^21. This search was done on the volunteer computing project yoyo@home. - Wenjie Fang, Feb 23 2014
No odd weird number with abundance less than 10^14 exists below 10^28. See Odd Weird Search link. - Wenjie Fang, Feb 25 2015
A weird number k multiplied by a prime p > sigma(k) is again weird. Primitive weird numbers (A002975) are those which are not a multiple of a smaller term, i.e., don't have a weird proper divisor. Sequence A065235 lists odd numbers that can be written in only one way as sum of their divisors, and A122036 lists those which are not in A136446, i.e., not sum of proper divisors > 1. - M. F. Hasler, Jul 30 2016
REFERENCES
J.-M. De Koninck, Ces nombres qui nous fascinent, Entry 70, p. 24, Ellipses, Paris 2008.
R. K. Guy, Unsolved Problems in Number Theory, B2.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
David Wells, The Penguin Dictionary of Curious and Interesting Numbers. Penguin Books, NY, 1986, Revised edition 1987. See p. 129.
LINKS
Donovan Johnson, Table of n, a(n) for n = 1..10000 (first 4901 terms from Lukasz Swierczewski)
Gianluca Amato, Maximilian Hasler, Giuseppe Melfi, and Maurizio Parton, Primitive weird numbers having more than three distinct prime factors, Riv. Mat. Univ. Parma, 7(1), (2016), 153-163, arXiv:1803.00324 [math.NT], 2018.
S. Benkoski, Are All Weird Numbers Even?, Problem E2308, Amer. Math. Monthly, 79 (7) (1972), 774.
S. J. Benkoski and P. Erdős, On weird and pseudoperfect numbers, Math. Comp., 28 (1974), pp. 617-623. Alternate link; 1975 corrigendum.
David Eppstein, Eqyptian Fractions.
Wenjie Fang, Searching on the boundary of abundance for odd weird numbers, arXiv:2207.12906 [math.NT], 2022.
H. J. Hindin, Quasipractical numbers, IEEE Communications Magazine, March 1980, pp. 41-45.
Odd Weird Search, Report on the recently completed batch, Feb 23 2015.
J. Sandor and B. Crstici, Handbook of number theory II, chapter 1.8. [Broken link]
Eric Weisstein's World of Mathematics, Weird Number.
Wikipedia, Weird number.
MAPLE
isA006037 := proc(n)
isA005101(n) and not isA005835(n) ;
end proc:
for n from 1 do
if isA006037(n) then
print(n);
end if;
end do: # R. J. Mathar, Jun 18 2015
MATHEMATICA
(* first do *) Needs["DiscreteMath`Combinatorica`"] (* then *) fQ[n_] := Block[{d, l, t, i}, If[ DivisorSigma[1, n] > 2n && Mod[n, 6] != 0, d = Take[Divisors[n], {1, -2}]; l = 2^Length[d]; t = Table[ NthSubset[j, d], {j, l - 1}]; i = 1; While[i < l && Plus @@ t[[i]] != n, i++ ]]; If[i == l, True, False]]; Select[ Range[ 20000], fQ[ # ] &] (* Robert G. Wilson v, May 20 2005 *)
PROG
(PARI) is_A006037(n, d=divisors(n), s=vecsum(d)-n, m=#d-1)={ m||return; while(d[m]>n, s-=d[m]; m--); d[m]<n && if(s>n, is_A006037(n-d[m], d, s-d[m], m-1) && is_A006037(n, d, s-d[m], m-1), s<n && m<#d-1)} \\ M. F. Hasler, Mar 30 2008; improved and updated to current PARI syntax by M. F. Hasler, Jul 15 2016
(PARI) is_A006037(n, d=divisors(n)[^-1], s=vecsum(d))={s>n && !is_A005835(n, d, s)} \\ Equivalent but slightly faster than the self-contained version above.-- For efficiency, ensure that the argument is even or add "!bittest(n, 0) && ..." to check this first. - M. F. Hasler, Jul 17 2016
(PARI) t=0; A006037=vector(100, i, until( is_A006037(t+=2), ); t) \\ M. F. Hasler, Mar 30 2008
(Haskell)
a006037 n = a006037_list !! (n-1)
a006037_list = filter ((== 0) . a210455) a005101_list
-- Reinhard Zumkeller, Jan 21 2013
CROSSREFS
KEYWORD
nonn,nice
EXTENSIONS
More terms from Jud McCranie, Oct 21 2001
STATUS
approved
Let S(n) = set of divisors of n, excluding n; sequence gives n such that there is a unique subset of S(n) that sums to n.
+10
16
6, 20, 28, 78, 88, 102, 104, 114, 138, 174, 186, 222, 246, 258, 272, 282, 304, 318, 354, 366, 368, 402, 426, 438, 464, 474, 490, 496, 498, 534, 572, 582, 606, 618, 642, 650, 654, 678, 748, 762, 786, 822, 834, 860, 894, 906, 940, 942, 978, 1002, 1014, 1038
OFFSET
1,1
COMMENTS
Perfect numbers (A000396) are a proper subset of this sequence. Weird numbers (A006037) are numbers whose proper divisors sum to more than the number, but no subset sums to the number.
Odd elements are rare: the first few are 8925, 32445, 351351, 442365; there are no more below 100 million. See A065235 for more details.
A065205(a(n)) = 1. - Reinhard Zumkeller, Jan 21 2013
LINKS
Giovanni Resta, Table of n, a(n) for n = 1..10000 (terms 1..200 from T. D. Noe, terms 201..5000 from Amiram Eldar)
EXAMPLE
Proper divisors of 20 are 1, 2, 4, 5 and 10. {1,4,5,10} is the only subset that sums to 20, so 20 is in the sequence.
MATHEMATICA
okQ[n_]:= Module[{d=Most[Divisors[n]]}, SeriesCoefficient[Series[ Product[ 1+x^i, {i, d}], {x, 0, n}], n] == 1]; Select[ Range[ 1100], okQ] (* Harvey P. Dale, Dec 13 2010 *)
PROG
(Haskell)
a064771 n = a064771_list !! (n-1)
a064771_list = map (+ 1) $ elemIndices 1 a065205_list
-- Reinhard Zumkeller, Jan 21 2013
CROSSREFS
A005835 gives n such that some subset of S(n) sums to n. Cf. A065205.
Cf. A027751.
KEYWORD
nonn,nice
AUTHOR
Jonathan Ayres (jonathan.ayres(AT)btinternet.com), Oct 19 2001
EXTENSIONS
More terms from Don Reble, Jud McCranie and Naohiro Nomoto, Oct 22 2001
STATUS
approved
Numbers k such that exactly two subsets of proper divisors of k sum to k.
+10
2
12, 18, 42, 56, 66, 100, 176, 196, 208, 348, 372, 444, 460, 492, 516, 550, 564, 580, 636, 708, 732, 736, 738, 774, 804, 812, 820, 846, 852, 868, 876, 928, 948, 954, 968, 992, 996, 1036, 1062, 1068, 1098, 1148, 1164, 1204, 1206, 1212, 1236, 1278, 1284, 1308
OFFSET
1,1
LINKS
EXAMPLE
k = 12: proper divisors of 12 = {1,2,3,4,6} and 12 = 2 + 4 + 6 = 1 + 2 + 3 + 6.
MATHEMATICA
spdQ[n_]:=Module[{pds=Most[Divisors[n]]}, Length[Select[Subsets[ pds, Length[ pds]], Total[#] == n&]]==2]; Select[Range[1400], spdQ] (* Harvey P. Dale, Jan 23 2015 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Zak Seidov, Oct 29 2009
STATUS
approved
Numbers k such that exactly three subsets of proper divisors of k sum to k.
+10
1
30, 40, 54, 350, 380, 414, 500, 532, 544, 558, 608, 620, 644, 666, 726, 740, 1372, 2002, 2190, 2368, 2370, 2490, 2624, 2670, 2910, 3030, 3090, 3162, 3210, 3250, 3270, 3390, 3410, 3430, 3810, 3880, 3930, 4040, 4110, 4120, 4170, 4280, 4360, 4470, 4520, 4530
OFFSET
1,1
COMMENTS
Or numbers k such that A065205(k) = 3.
LINKS
EXAMPLE
The proper divisors of 30 = {1,2,3,5,6,10,15} and 30 = 5+10+15 = 2+3+10+15 = 1+3+5+6+15.
MATHEMATICA
seqQ[n_] := Module[{d = Most[Divisors[n]]}, SeriesCoefficient[Series[Product[1 + x^d[[i]], {i, Length[d]}], {x, 0, n}], n] == 3]; Select[Range[1000], seqQ[#] &] (* Amiram Eldar, Jan 13 2020 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Zak Seidov, Oct 29 2009
STATUS
approved

Search completed in 0.009 seconds