1) 100+200+300+400+500+600+700+800+900+1000 = 100+900+200+800+300+700+400+600+1000+500=5500
2) 6+12+18+24+30+36+42+48+54+60+66+72+78+84+90+96= (96+24)+(90+30)+(84+36)+(78+42)+(72+48)+(66+54)+(12+18)+60+6= 120+120+120+120+120+120+30+66= 720+96=816
3) 99-97+95-93+91-89+87-85+83-81+79-77+75-73+71-69+67-65+63-61+59-57+55-53+51-49+47-45+43-41+39-37+35-33+31-29+27-25+23-21+19-17+15-13+11-9+7-5+3-1=2*25=50
4) 150+250+350+450+550+650+750+850+950= (850+150)+(750+250)+(650+350)+(550+450)+950=4950
5)5+10+15+20+25+30+35+40+45+50+55+60+65+70+75+80+85+90+95=(95+5)+(90+10)+(85+15)+(80+20)+(75+25)+(70+30)+(65+35)+(60+40)+(55+45)+50=950
6)101-99+97-95+93-91+89-87+85-83+81-79+77-75+73-71+69-67+65-63+61-59+57-55+53-51+49-47+45-43+41-39+37-35+33-31+29-27+25-23+21-19+17-15+13-11+9-7+5-3+1=2*25+1=51
Итак, для ограничения по целым степеням не более 27 по модулю, вычислимыми оказались результаты ~957 млн выводов и среди них 356 являются выводами числа 5479 и ни один вывод (а соответственно ни один вывод с операциями сложения, вычитания, конкатенации, умножения и деления, а также некоторые выводы с этими же операциями и некоторыми целыми степенями) не является выводом числа 10958. В чем его особенность?
Призраки и тени
Для задачи, аналогичной задаче Танежи в восходящем порядке, но с начальными векторами длины 8, такими как $(1, 2, ... , 8)$ и $(2, 3, ... , 9)$ количество вариантов меньше, а с иррациональными, комплексными и длинными целыми значениями элементов векторов (1) — (7) справляются оптимизированные алгоритмы Вольфрам Математики. Так, достоверно известно, что ни один вывод в $(1, 2, ... , 9)$, имеющий на 8-ой итерации оператор конкатенации, сложения или вычитания не может привести к значению 10958. Какие возможности для дальнейшего решения это даёт?
Число 10958 является полупростым. И если последняя итерация вывода не содержит сложение, вычитание и конкатенацию, то один из операндов на 8-ой итерации будет гарантировано включать 5479 в некоторой степени, за исключением двух случаев:
когда операнды кратны некоторым комплексно-сопряжённым
когда один из операндов содержит логарифм, основание или показатель которого кратны 5479