Элементы Элементы большой науки

Поставить закладку

Напишите нам

Карта сайта

Содержание
Энциклопедия
Новости науки
LHC
Картинка дня
Библиотека
Методология науки
Избранное
Публичные лекции
Лекции для школьников
Библиотека «Династии»
Интервью
Опубликовано полностью
В популярных журналах
Из Книжного клуба
Статьи наших друзей
Статьи лауреатов «Династии»
Выставка
Происхождение жизни
Видеотека
Книжный клуб
Задачи
Масштабы: времена
Детские вопросы
Плакаты
Научный календарь
Наука и право
ЖОБ
Наука в Рунете

Поиск

Подпишитесь на «Элементы»



ВКонтакте
в Твиттере
в Фейсбуке
на Youtube
в Instagram



Новости науки

 
27.07
Рекордные по чувствительности эксперименты LUX и PandaX пока не поймали частицы темной материи

23.07
Млекопитающие с относительно крупным мозгом более уязвимы

15.07
Самки синиц поют при появлении хищника

12.07
Антропогенные факторы стали причиной исчезновения двух видов австралийских грызунов

11.07
Архаичные гены костных ганоидов разнообразнее, чем у более молодых групп позвоночных






Главная / Библиотека / Публичные лекции версия для печати

Владимир Игоревич Арнольд,
Математический институт им. В. А. Стеклова, Москва

Доклад в Московском математическом обществе

Последовательность 001 001 001 001 проще, чем последовательность 01 001 0111 001. Ниже описана формальная математическая теория, придающая этому интуитивно понятному утверждению точный смысл.

Пусть x — последовательность из n нулей и единиц, x = (x1, ..., xn), xj  . Множество M всех 2n таких последовательностей есть множество вершин n-мерного куба. Оно является также n-мерным векторным пространством над полем  из двух элементов: M = .

Для анализа сложности функции x  M мы последуем идее Ньютона и рассмотрим ее первые разности, определив линейный оператор

A : M → M, y = Ax

формулой yj = xj+1  xj. Чтобы разностей получилось n, мы определим xn+1 как x1, т. е. будем считать нашу последовательность x циклической (так, что функция x со значениями xj в точках j будет периодической, с периодом n). Изложенная ниже геометрическая теория доставляет информацию о жордановой нормальной форме этого оператора A над полем .

Отображение A конечного множества M в себя задается графом с 2n вершинами x. Из каждой вершины x в этом графе выходит ровно одно ребро, оно ведет в Ax.

ПРИМЕР. При n = 3 граф имеет 8 вершин и 8 ребер, A(0, 0, 0) = (0, 0, 0), A(1, 1, 1) = (0, 0, 0), A(1, 0, 0) = (1, 0, 1), A(0, 1, 0) = (1, 1, 0), A(0, 0, 1) = (0, 1, 1), A(1, 1, 0) = (0, 1, 1), A(1, 0, 1) = (1, 1, 0), A(0, 1, 1) = (1, 0, 1).

Обозначая последовательность x = (x1, ..., xn) числом в двоичной записи

X = x12n–1 + x22n–2 + ... + xn · 1,

мы записываем предыдущий граф в виде графа с вершинами

являющимися вычетами по модулю 2n = 8. При n = 3 этот граф состоит из двух компонент связности,

Мы будем обозначать символом Om цикл из m циклически соединенных вершин. Знаком T2n будет обозначаться бинарное дерево из 2n вершин:

Знаком (Om  T) будем обозначать цикл из m вершин, оснащенный лесом из m корневых деревьев T, корнями которых являются вершины цикла Om (эти корневые деревья предполагаются состоящими из ориентированных направлениями к корням ребер):

Граф (Om  T2n) имеет, таким образом, m2n вершин.

Граф оператора взятия разностей A : M → M разбивается на компоненты связности. Например, для n = 3 он состоит из двух компонент, (O1  T2) и (O3  T2), изображенных выше.

ТЕОРЕМА 1. Каждая компонента связности графа любого отображения конечного множества в себя имеет цикл, и притом только один.

ДОКАЗАТЕЛЬСТВО. Конечность множества образов x, A(x), A2(x), A3(x), ... влечет существование повторения Ap(x) = Aq(x), а потому существование цикла периода p – q.

Если бы в одной связной компоненте было бы два цикла, то на соединяющей их цепочке ребер (x, ..., w) из какой-либо промежуточной вершины выходило бы два ориентированных ребра — одно к одному, а другое — к другому циклу. Теорема 1 доказана.

Прямые вычисления графов операторов взятия разностей A :  →  при n ≤ 12 приводит к следующим ответам (в наиболее сложном случае n = 12 приходится соединять всего 4096 вершин, и рисунок умещается на одной странице):

ПРИМЕР. Общее число вершин компонент графа с n = 11 есть (3 · 341 + 1)2 = 211.

В графе «соотношение» выписаны алгебраические тождества, получаемые следующим путем. Обозначим через δ :  →  оператор циклического сдвига последовательности: если δx = y, то yj = xj–1 (где x–1 означает xn, поскольку последовательности предполагаются циклически замкнутыми).

Очевидно, линейный оператор δ удовлетворяет тождеству δn = 1. Оператор взятия разностей A связан с ним соотношением A = δ + 1 (для вычетов по модулю 2 разность совпадает с суммой).

Из этих соотношений легко вытекают «соотношения» таблицы. Например, для n = 3 мы находим последовательно:

A = 1 + δA2 = 1 + 2δ + δ2 = 1 + δ2A3 = 1 + δ + δ2 + δ3 = 1 + δ + δ2 + 1 = δ + δ2A4 = δ + δ2 + δ2 + δ3 = δ + 2δ2 + 1 = 1 + δ = A.

Рассматривая приведенную выше таблицу ответов легко обнаружить много эмпирических закономерностей, которые приводят к доказанным ниже общим теоремам и для произвольных значений n (а также к еще большему числу недоказанных гипотез).

В качестве меры сложности последовательности или функции мы будем использовать геометрические свойства графа операции взятия разностей A и положение вершины x в этом графе.

А именно, мы будем считать объект x более сложным, если длина цикла содержащей его компоненты графа больше. В пределах компонент с циклами данной длины вершины будут считаться тем более сложными, чем дальше они удалены от цикла.

Следующие примеры объясняют этот выбор понятия сложности рецептом Ньютона исследования эмпирических последовательностей значений функций. Самые простые функции — это константы x = 0 и x = 1. В этом случае период равен 1, а расстояние до цикла равно 0 в первом и 1 во втором случае (так что константа 0 проще константы 1).

Если функция x — многочлен степени меньше d, то для нее Adx = 0, так что вершина x принадлежит области притяжения аттрактора 0 периода 1.

Обратно, если вершина x притягивается к нулю, т. е. Adx = 0, то функция x — «многочлен» степени меньше d (как доказал Ньютон).

Под «многочленами» здесь понимаются приведенные по модулю 2 функции с целыми значениями

x(t) = a1tr + ... + ar+1,

коэффициенты которых — рациональные числа, а значения, приведенные по модулю 2, образуют последовательность x(1) ≡ x1, x(2) ≡ x2, ... периода n.

ПРИМЕР. Числа сочетаний ,  t ≥ 2 образуют, после приведения по модулю 2, последовательность (1, 1, 0, 0, 1, 1, 0, 0, ...) периода 4. Коэффициенты этого «многочлена»

— не целые, а рациональные числа, но все значения в целых точках целые.

Из теории Ньютона следует, что кольцо всех таких «многочленов» представляет собой компоненту связности (корневое дерево) цикла x = 0 периода 1 в .

Эти деревья «многочленов» периода n приведены для n ≤ 12 в виде последнего слагаемого суммы компонент: (O1  T4) при n = 2,  (O1  T2) при n = 3, ...,  (O1  T16) при n = 12.

ТЕОРЕМА 2. Граф «многочленов» периода n = 2k(2a + 1) является корневым бинарным деревом с 2k этажами, так что содержащая x = 0 компонента графа оператора взятия разностей есть .

ПРИМЕР. При первых значениях n числа  вершин деревьев оказываются такими:

Последняя строка указывает число «многочленов» периода n (приведенных по модулю два многочленов с рациональными коэффициентами и целыми значениями).

Среди 212 = 4096 функций периода n = 12 кольцу «многочленов» принадлежат всего 16 функций, а при периоде n = 16 все 216 = 65536 16-периодических функций являются «многочленами» (степеней 0, ..., 15).

ЗАМЕЧАНИЕ. Теорему 2 можно сформулировать как описание ядер итераций оператора A,

Эта растущая последовательность векторных подпространств  стабилизируется в виде подпространства Ker(AN) = Ker(AN+1) = ... с достаточно большим N. Это «стабильное ядро» мы будем обозначать Ker(A).

Мы докажем сейчас, что это векторное пространство над полем  имеет размерность 2k:

так что число точек стабильного ядра есть

Эти точки, как мы сейчас докажем, образуют вершины бинарного корневого дерева , о котором идет речь в теореме.

ПРИМЕР. При n = 2 мы получаем k = 1 и дерево (O1 * T22), состоящее из 22 = 4 вершин — «многочленов»

степени меньше 2 от переменной t. Других «многочленов» периода n = 2 не существует.

При n = 12 мы находим k = 2. Стабильное ядро четырхмерно и представляет собой корневое дерево из шестнадцати «многочленов» .

Из 212 = 4096 функций x периода 12 со значениями в  «многочленами» оказываются только эти 16 функций, притягиваемых аттрактором x = 0. Для этих «многочленов» A4x = 0, так что их степени не превосходят 3:

x(t) = a1t3 + a2t2 + a3t + a4.

В качестве базиса четырехмерного векторного пространства «многочленов» периода 12 над  можно взять «многочлены» , доставляющие числа сочетаний из t элементов.

ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ 2. Решение разностного уравнения Ax = w относительно неизвестной функции x доставляется операцией «интегрирования»,

xj+1 = xj + wj (j = 1, 2, ...), если x1 задано.

Выбрав начальное условие x1 = 0 (либо x1 = 1), мы последовательно вычисляем все значения xi неизвестной функции.

Единственная трудность состоит в том, что результирующая функция должна иметь период n, т. е. должно выполняться соотношение xn+1 = x1. Поскольку , мы заключаем, что «интегрирование» доставляет искомое решение если и только если число единиц среди значений wj четно.

Например, единственные 2 решения уравнения Ax = 0 доставляются постоянными функциями x = 0 и x = 1, так как w = 0 не принимает значения 1 и число единиц в w = 0 четно.

Итак, ядро KerA =  состоит из двух постоянных функций 0 и 1.

Для вычисления Ker(A2) приходится решать уравнение Ax = 1 ( KerA). Если число n нечетно, то решений нет, т. е. Ker(A2) = KerA, так как число единиц в последовательности в правой части равно n и нечетно. Если же число n четно, то «интегрирование» доставляет последовательность x = (0, 1, 0, 1, 0, 1, ...) при начальном условии x1 = 0 и последовательность x = (1, 0, 1, 0, ...) при начальном условии x1 = 1.

Продолжая в этом случае «интегрирование» повторно, мы последовательно вычисляем всё большие ядра до тех пор, пока в правой части не появится функция w с нечетным числом значений 1 (у которой нет n-периодического «интеграла»).

Основное утверждение теоремы 2 состоит в том, что это препятствие встретится нам одновременно на всех ветвях бинарного корневого дерева последовательных «интегралов».

Из-за этого стабильное ядро окажется множеством всех вершин бинарного корневого дерева, а не какой-то его части. Мы увидим также, что в момент остановки число этажей получаемого стабильного дерева окажется степенью двойки.

Предположим, что дерево прообразов нуля при r итерациях оператора A содержит цепочку независимых элементов

wr → wr–1 → ... → w2 → w1 → 0,

причем пространство Ker(Ar–1) состоит из 2r–1 функций

Тогда для векторов r-мерного пространства комбинаций

x = λ1w1 + ... + λrwr

мы находим

так что dim Ker(Ar) = r. Итак, зная один элемент wr r-го этажа бинарного дерева «интегралов», мы получаем их полный набор, проектирующийся оператором A в полный набор элементов предыдущего этажа. В каждый элемент r–1-го этажа проектируются два элемента x r-го этажа. Действительно, выбор λ1 = 0 и 1 в x приводит в Ax к одному элементу, поскольку Aw1 = 0.

Остается сосчитать, на каком этаже впервые встретится функция wr с нечетным числом значений 1.

С этой целью мы явно проведем итерированное «интегрирование» функции x ≡ 1 периода n.

Эти интегралы доставляются треугольником Паскаля

Тождество , определяющее треугольник Паскаля, показывает, что разности j-й косой строки образуют предыдущую косую строку (номер j – 1).

Соотношение верно и для вычетов по модулю 2, так что (при фиксированном j).

Поэтому все итерированные «интегралы» (с начальным условием при t = 0) — это приведенные по модулю 2 косые линии треугольника Паскаля, на которых j = 0 для исходной функции , а затем, по мере повторного «интегрирования», ответы w2w3, ... доставляют косые линии с j = 1, 2, ... .

Следовательно, для выяснения того, сколько раз удастся «проинтегрировать» функцию w1 в классе n-периодических функций, остается выяснить, при каких значениях j функция аргумента i будет иметь период n.

ЛЕММА. Если 2k–1 ≤ j < 2k, то наименьший период функции  по i равен 2k.

ПРИМЕР. Приведенный по модулю 2 треугольник Паскаля

показывает при j = (0), (1), (2, 3), (4, 5, 6, 7), 8 периоды (1), (2), (4, 4), (8, 8, 8, 8), 16.

ДОКАЗАТЕЛЬСТВО ЛЕММЫ. Проверим сначала, что число 2k является периодом при j < 2k:

Число есть число монотонно-решеточных путей из O в A. Каждый такой путь пересекает уровень горизонтали i в одной из точек B, для которой расстояние до точки A' равно m, где 0 ≤ m ≤ j < 2k. Числа путей AB и BO суть . Поэтому общее число монотонно-решеточных путей из O в A выражается суммой произведений

Первый сомножитель чётен при 0 < m < 2k, поэтому при j < 2k вся сумма сравнима по модулю два со слагаемым, для которого m = 0:

Итак, число 2k является одним из периодов функции  аргумента i, если j < 2k.

Покажем, что это — наименьший период, если вдобавок 2k–1 ≤ j. Меньший период должен бы быть делителем числа 2k, поэтому мы проверим, что число 2k–1 — не период.

Докажем, что при 2k–1 ≤ i < 2k число сочетаний  четно.

Введем обозначение I = i – 2k–1, так что 0 ≤ I < 2k–1. В этих обозначениях

По формуле ()

где 0 ≤ 2k–1 – m ≤ I, то есть 2k–1 + I ≤ m ≤ 2k–1. Из этих неравенств следует, что 0 < m < 2k. Поэтому биномиальный коэффициент четен, а значит доставляемая формулой () сумма K четна.

С другой стороны, . Поэтому число 2k–1 не является периодом функции по переменной i, когда 2k–1 ≤ j < 2k: при этом условии , .

Из доказанного выделенного выше утверждения следует, что число 2k–1 не является периодом ни при каком j ≥ 2k–1 (ведь если бы число 2k–1 было периодом, то и число 2k'–1, где k' > k, было бы периодом, вопреки выделенному утверждению с нужным k' вместо k).

Теорема 2 вытекает из доказанных утверждений следующим образом. Если n = 2k(2a + 1), то построение бинарного дерева Ker(Ar), описанного выше, будет успешным до тех пор, пока «j-кратные интегралы» от w ≡ 1 будут оставаться n—периодическими функциями от аргумента i.

Из доказанных сравнений видно, что наименьший период указанной функции переменной i равен 2r при 2r–1 ≤ j < 2r. Чтобы эта функция была n—периодической, нужно, чтобы число n = 2k(2a + 1) делилось на наименьший период, т. е. чтобы r ≤ k. Стало быть, стабильное ядро есть , что и доказывает теорему 2.

ТЕОРЕМА 3. Дерево, притягиваемое каждой точкой каждого цикла графа оператора взятия разностей A :  → , изоморфно дереву, притягиваемому точкой x = 0 (т. е. бинарному дереву  компоненты теоремы 2).

ЗАМЕЧАНИЕ 1. В частности, оснащение циклов всех компонент графа лесами аттракторов однородно: все оснащающие цикл корневые деревья одинаковы и всякая компонента графа имеет вид , когда n = 2k(2a + 1).

ЗАМЕЧАНИЕ 2. Число всех вершин всех циклов графа является степенью двойки: по теореме 3,

ПРИМЕР. При n = 11 мы получаем k = 0 и на четырех циклах 3 · 341 + 1 = 1024 = 211–1 вершин.

При n = 12 = 22 · 3 имеем k = 2, 2k = 4, n – 2k = 8. Число вершин всех 24 циклов таблицы есть

20 · 12 + 2 · 6 + 1 · 3 + 1 · 1 = 256 = 28.

ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ 3. Объединение всех циклов есть векторное подпространство, к которому стабилизируется убывающая последовательность образов

Обозначая этот «стабильный образ» через Im(A), мы видим, что

что и доказывает утверждение замечания 2.

Для доказательства теоремы 3 заметим, что для любого линейного оператора L : V → W решения неоднородного уравнения являются аффинными подпространствами, параллельными ядру оператора:

L–1(w) = v + KerL, если Lw = v.

Для каждой точки x цикла 

C : ... → w2 → w1 → x → ...

графа оператора взятия разностей мы находим прообразы, являющиеся аффинными подпространствами

A–1x = w1 + KerA,

A–1sx = ws + Ker(As),

откуда видно, что весь бассейн, притягиваемый циклом C, расслоен на аффинные подпространства

В этом смысле мы можем ввести на бассейне цикла C  Om координаты и y  Ker(A). Действие оператора A записывается в этих координатах так:

A(sy) = ((s – 1), Ay).

Иными словами, на прямом произведении оператор действует перекошенным образом, причем подграф графа оператора взятия разностей на бассейне цикла Cm (т. е. компонента связности этого цикла в полном графе) изоморфен произведению , если n = 2k(2a + 1).

ПРИМЕР. Перекошенное действие изображено ниже (для m = 5, k = 1) двойными стрелками:

В этом примере A(w2z) = (w1y), A(w1y) = (x, 0), A2(w2z) = x.

Мы описали таким образом изоморфизм притягиваемого корнем x  C дерева стандартному бинарному дереву Ker(A), чем теорема 3 и доказана (вместе с замечанием 1 об однородности оснащения циклов лесами, составляющими их бассейны).

ЗАМЕЧАНИЕ. Аналогичное утверждение об однородности было доказано ранее [1] для операции x → x2 в произвольной конечной группе. Я не знаю общего результата, содержащего теорему 3 вместе с этим фактом теории конечных групп.

Таблица подсказывает много других общих утверждений, кроме доказанных выше теорем 2 и 3. Например, наибольшая из длин циклов компонент Om графа оператора взятия разностей делится (в каждом из рассмотренных в таблице случаев) на n.

ПРИМЕР. При n = 11 получается удивительный факт 341 = 11 · 31, опровергающий древне-китайскую гипотезу, согласно которой 2u – 2 делится на u только при простых u.

Делимость при простых u есть утверждение малой теоремы Ферма, число u = 341 является первым (наименьшим) контрпримером к попытке обращения этой теоремы Ферма.

ЗАМЕЧАНИЕ. Делимость на n наибольшего периода m > 1 цикла Om может объясняться симметрией δ порядка n, действующей на всём графе операции взятия разностей A = 1 + δ ввиду коммутирования  = δA.

Однако я не нашел ни объяснения тому факту, что частное от деления наибольшего периода m > 1 на величину n оказывается уменьшенной на 1 степенью двойки, m/n = 2q(n) – 1, ни разумной гипотезы о величине числа q(n): по таблице при n ≤ 12 имеем

Упомянутая выше делимость числа 2341 – 2 на 341 вытекает из делимости периода m = 341 на n = 11 так:

25 ≡ –1(11), 25 ≡ 1(31).

Поэтому 210 ≡ 1(11) и 210 ≡ 1(31), так что 231 ≡ 2(11), 231 ≡ 2(31), 211 ≡ 2(11), 211 ≡ 2(31). Значит по модулю 31 имеем 2341 ≡ (211)31 ≡ 231 ≡ 2 и по модулю 11 имеем 2341 ≡ (231)11 ≡ 211 ≡ 2.

Поэтому число 2341 – 2 делится и на 31, и на 11, а значит делится и на 341.

ЗАМЕЧАНИЕ. Если наибольший (при данном n) период есть m, то периоды m' > 1 остальных циклов таблицы с этим n являются делителями длины m длиннейшего цикла.

Частные m/m' в большинстве случаев (например, при n = 12) являются степенями двойки, но для n = 9 таблица дает m/m' = 63/3 = 21, поэтому я не решаюсь формулировать общих гипотез об этих частных (целочисленность которых уже не очевидна).

Все эти вопросы касаются, естественно, жордановых нормальных форм линейных операторов A в конечных векторных пространствах.

ПРИМЕР. Определим при n = p – 1, где p простое, специальную арифметически-логарифмическую функцию l   со значениями (при k = 1, 2, ..., n)

Наши таблицы показывают, что сложность этой функции достигает наибольшего или почти наибольшего значения (среди всех функций со значениями 0 и 1 периода n).

Для упрощения записи орбит мы будем считать последовательность x = (x1, ..., xn  бинарной записью числа X = x12n–1 + x22n–2 + ... + xn.

Ниже для p = 3, 5, 7, 11 и 13 (т. е. n = 2, 4, 6, 10, 12) приведены компоненты связности арифметического логарифма l.

СЛУЧАЙ p = 3, n = 2. Имеем log21 = 0, log22 = 1, поэтому l = (0, 1), L = 0 · 2 + 1 = 1.

Единственная компонента (O1  T4) имеет (в обозначениях X) вид

.

Арифметический логарифм L = 1 — самая сложная точка графа (наиболее удаленная от цикла).

СЛУЧАЙ p = 5, n = 4. Имеем по модулю 5

21 ≡ 2, 22 ≡ 4, 23 ≡ 3, 24 ≡ 1.

Поэтому log21 = 4, log22 = 1, log23 = 3, log24 = 2. Итак, арифметический логарифм есть последовательность l = (0, 1, 1, 0), L = 6.

Единственная компонента (O1  T16) графа оператора A для n = 4 есть бинарное корневое дерево (многочленов степени меньше 4), которое в X-обозначениях имеет вид

Обведенная кружком вершина L является почти самой сложной точкой графа (расстояние до цикла почти максимально).

СЛУЧАЙ p = 7, n = 6. Вычисления, аналогичные приведенным выше (для логарифмов по основанию первообразного вычета, например для log3) проводят к арифметическому логарифму L = 11. Его компонента графа, O6  T4 — самая сложная (см. таблицу), и орбита точки L состоит, в X-обозначениях, из следующих вершин:

Таким образом, логарифмическая вершина L = 11 — самая сложная точка графа (она наиболее удалена от цикла и принадлежит наибольшей компоненте графа).

СЛУЧАЙ p = 11, n = 10. Здесь вычет 2 первообразен, и поэтому годятся двоичные логарифмы. Геометрическая прогрессия вычетов степеней двойки по модулю 11 доставляет последовательность (2, 4, 8, 5, 10, 9, 7, 3, 6, 1). Следовательно, арифметический логарифм есть функция l = (0, 1, 0, 0, 0, 1, 1, 1, 0, 1), так что L = 256 + 16 + 8 + 4 + 1 = 285.

Его компонента графа, O30  T4 — самая сложная при n = 10. Орбита арифметического логарифма L = 285 состоит из следующих 32 точек (в X-обозначениях):

Логарифм L имеет максимальную сложность среди всех функций периода n = 10: вершина принадлежит наибольшей компоненте и наиболее удалена от цикла.

СЛУЧАЙ p = 13, n = 12. Вычет 2 (mod 13) первообразен, геометрическая прогрессия степеней двойки доставляет арифметические логарифмы вычетов k = 1, 2, ... 12 равные

log2k = (12, 1, 4, 2, 9, 5, 11, 3, 8, 10, 7, 6),

т. е.

l = (0, 1, 0, 0, 1, 1, 1, 1, 0, 0, 1, 0),

откуда L = 1266. Эта вершина принадлежит наибольшей компоненте графа, имеющей вид (O12  T16). Орбита логарифмической функции L состоит из следующих 15 вершин:

Логарифмическая функция L оказывается почти наиболее сложной среди всех 4096 функций периода 12 со значениями 0 и 1: вершина L принадлежит наибольшей компоненте связности и расположена на одном из деревьев ее леса на почти максимальном удалении от корня.

Список литературы

[1] В. И. Арнольд, Топология и статистика арифметических и алгебраических формул, Успехи математических наук 58 (2003), № 4, 3–28 (особенно §6, с. 15–18).


Комментарии (37)


 


при поддержке фонда Дмитрия Зимина - Династия