Массивная нотация Бауэрса: различия между версиями

→‎Правила: Описал расширенные структуры и правила
(→‎Правила: Описал расширенные структуры и правила)
Метки: правка с мобильного устройства правка из мобильной версии
# <math>\{a,b,1,\ldots,1,c,d,\ldots,n\} = \{a,a,a,\ldots,\{a,b-1,1,\ldots,1,c,d,\ldots,n\},c-1,d,\ldots,n\}</math>.
# Если правила 1—4 не применяются, <math>\{a,b,c,d,\ldots,n\} = \{a,\{a,b-1,c,d,\ldots,n\},c-1,d,\ldots,n\}</math>
 
Можно определить и более общие правила, но для этого нужно ввести понятия:
 
# База - первый элемент в массиве.
# Основание - второй элемент в массиве.
# Пилот - первый элемент после основания в массиве, больший 1.
# Копилот - элемент, сразу предшествующий пилоту, может отсутствовать, если пилот - первый на своей строке.
# Простой блок структуры - первые p элементов в строке, первые p*p элементов в плоскости и так далее.
# Пассажиры - это все предшествующие элементы на строке и простые блоки всех структур.
 
Более общие правила работают для всех массивов - их только три:
 
# Правило основания: если основание равно 1, массив приравнивается базе;
# Правило пилота: если все элементы, кроме двух первых, равны 1, массив равен базе в степени основания;
# Иначе:
## уменьшить пилот на единицу,
## приравнять копилот (если есть) копией массива с основанием, уменьшенным на 1;
## приравнять все пассажиры базе.
 
== Примеры ==