Обсуждение.

[E.K.]

Кстати, Вольфрам глючит на этой цифре

 

А вот так = правильно:

[E.K.]

Всё поправил, настало время 7 ->

 

7xx                   7+"01" = 8                                             not "01" = 22.

 

Но с ними как-то туго... И Xandr опять куда-то пропал...

 

aaa-not-008-7xx.xods

 

 

 

[E.K.]

Восьмёрок всего восемь, но они хороши:

8xx                   8*"01" = V(8^"02") = 8                         not "01,02" = 8.

 

aaa-not-008-8xx.xods

 

 

[E.K.]

885  

 

 

[E.K.]

Итого, "не-008" = 99 95 штук. Публикую их в главной ветке-008.

[E.K.]

А поскольку нам, как мне очень уверенно кажется, придётся работать с четвёртым измерением по аналогии с трёхмерным, то потребуются также: "не" -> 008-009, 008-009-010, 008-009-010--011, 008-010. Поскольку оставшихся вариантов для перебора уже не так много, то можно этим заняться достаточно смело.

 

"Не-008-009" =>

[santax]

725:        V(7+2)+5 = 8

[santax]

782, 784:        V((7!/8!)^-2) = V((7!/8!)^-V(4)) = 8

[santax]

858:     VV( 8^5/8 ) = 8

[E.K.]

278:   V(V(V((2+7)^8))) = 9

[E.K.]

"Не-008-009" считается решённым, результат публикуется там.

Там же "Не-008-009-010" и "Не-008-009-010--011" - делаются легко, подглядывае в уже решённые "не-010" и "не-009--011".

 

Но поскольку у двузнаков потребовался "не-08-10", то, видимо, надо почистить и -

"Не-008-010". Очевидно, тоже подглядывая в "не-010". Скучновато, но надо сделать...

[E.K.]

Сделано. "Не-008-010" = 43 штуки. Муторновато... Есть ли какая-то автоматизация для наложения "не-010" на "не-00x"?..

 

Дальше = "не-007". Как-то вот так фильтруется:

 

0xx-1xx            1+"06" = 1*"07" = -1+"08" = 7             not "06,07,08" = 15.
2xx-4xx            2+"05" = -2+"09" = 7                             not "05,09" = 46.
3xx-6xx-9xx    6+"01" = 7                                                not "01" = 22.
5xx                   5+"02" = 7                                                not "02" = 32.
7xx                   7*"01" = V(7^"02") = 7!/"06"! = 7          not "01,02,06" = пусто!
8xx                   8-"01" = 7                                                 not "01" = 22.

[santax]

21 минуту назад, E.K. сказал:

Есть ли какая-то автоматизация для наложения "не-010" на "не-00x"?..

ИИ ?

 

24 минуты назад, E.K. сказал:

7xx                   7*"01" = V(7^"02") = 7                      not "01,02" = 8.

7!/"06"! = 7

[E.K.]

0xx-1xx            1+"06" = 1*"07" = -1+"08" = 7             not "06,07,08" = 15.

 

Как-то без сюрпризов...   Есть оптимизация! 055,155 вычёркивается.

UPD: 075,175 тоже.

 

 

aaa-not-007-0xx-1xx.xods

 

[santax]

055, 155:     V(-0!+5)+5 = 7