这是一个部分答案。显然,这足以表明$[n]=\l种族1,2,3,\ldot,n\r种族$包含在每个n美元$,因为任何有限的正整数集都包含在【n】美元$。我在下面描述了一个算法,我检查了该算法以在每个【n】美元$对于8美元\leq n \leq 20$.
这是算法。它从一个初始有限集开始美元$我们一次增加一个元素,直到到达一个特殊的集合。
步骤1。计算总和$s=\sum_{a\在a}中$.
第2步。计算$X_1=\l种族a\|\a\not\mids \r种族$.如果X_1美元$是空的,那么美元$很特别,我们完成了。否则,让$x_1$是中最小的元素X_1美元$.
步骤3。计算$X_2=在a\|\a\mids\r轨道中的轨道a\r$(所以X_2美元$是的补语X_1美元$在里面美元$). 表示方式1美元$元素的lcm美元$(特别地,$l=1美元$如果X_2美元$为空)。
步骤4。让百万美元$是满足以下三个条件的最小整数:(1)大于美元$,(2)它可以被1美元$,(3)金额$s+M美元$可除以$x_1$(注意,同余条件通过构造是兼容的)。
步骤5。更换美元$具有$A'=A\cup\lbrace M\rbrace$并返回到步骤1。
什么时候?$n=50$例如,该算法最终生成了99个元素的特殊集合
$$[50]\cup\lbrace 1275,2550,30600,35700,142800,2142000,28274400,30630600,1102701600,25607181600,53542288800,2248776129600,69872686884000,7220177644800,5198527904169600,213717258282528000,92005279696283400,43330105530491139600,265632860782891200,123961780169839886825600,3099445042459967064000,4648567536899505960000, 511342343200589456556000, 5113423432005894565560000, 6136108118407073478672000, 269988757209911233061568000, 1129043893786901520075648000, 29637402211906164901985760000, 31048707079139791802080320000, 1241948283165591672083212800000, 24776868249153553858060095360000, 469456451036593652047454438400000, 8424135204712208311740432422400000, 142714761115124470222426149273600000, 2274516505272296244169916754048000000, 33966113145399623912937423527116800000, 473099433096637618787342684841984000000, 6113900366171932304328736234881024000000, 72857312696882193293250773465665536000000, 794807047602351199562735710534533120000000, 7868589771263276875671083534291877888000000, 69943020189006905561520742527038914560000000, 550801283988429381296975847400431452160000000, 3776923090206372900322120096460101386240000000, 22032051359537175251879033896017258086400000000, 105753846525778441209019362700882838814720000000, 396576924471669154533822610128310645555200000000, 1057538465257784412090193627008828388147200000000,158630769788667618135290440513242582220800000000\r种族$$