Skip to content

Commit 3071fad

Browse files
gsvgitgsvgit
committed
Раздел про приклвдные особенности линейной алгебры перемещён в графы.
1 parent 6e71fc7 commit 3071fad

6 files changed

Lines changed: 12 additions & 10 deletions

File tree

‎book_structure.md‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@
2727
2828
### Глава 1. Некоторые понятия линейной алгебры — `tex/part_01_Prep/chapter_01_LinearAlgebra/main.tex` — ⚠️
2929

30-
> Ввод определений бинарных операций, полугрупп, моноидов, групп, полуколец, колец, матриц и векторов. Обсуждаются прикладные аспекты разреженных матриц и GraphBLAS.
30+
> Ввод определений бинарных операций, полугрупп, моноидов, групп, полуколец, колец, матриц и векторов.
3131
3232
- ✅ Раздел "Бинарные операции и их свойства" — `01_BinaryOperations.tex`
3333
- ✅ Раздел "Полугруппа" — `02_Semigroup.tex`
@@ -36,13 +36,6 @@
3636
- ✅ Раздел "Полукольцо" — `05_Semiring.tex`
3737
- ✅ Раздел "Кольцо" — `06_Ring.tex`
3838
- ✅ Раздел "Матрицы и вектора" — `07_MatricesAndVectors.tex`
39-
- ⚠️ Раздел "Прикладные особенности" — `08_AppliedAspects.tex`
40-
> Разреженные матрицы и представление значений: связь `\Opt{L}` с Option/Maybe.
41-
> Поэлементные операции и проблема нулей: тип AtLeastOne.
42-
> map2 — универсальная поэлементная операция (сложение, умножение, маска).
43-
> mxm — обобщённое матричное умножение, параметризованное op\_mult/op\_add/zero.
44-
> GraphBLAS: стандарт, моноиды/полукольца, SuiteSparse:GraphBLAS.
45-
- Интегрированы материалы из статьи `papers_src/GraphBLAS_in_functional_style_КИО`: типы для разреженных матриц, проблема явных/неявных нулей, map2 и mxm, обзор GraphBLAS.
4639

4740
### Глава 2. Некоторые понятия теории множеств — `tex/part_01_Prep/chapter_02_SetTheory/main.tex` — ✅
4841

@@ -60,6 +53,13 @@
6053
- ⚠️ Раздел "Задачи поиска путей" — `02_PathProblems.tex`
6154
- ⚠️ Раздел "Анализ путей в графе и линейная алгебра" — `03_PathAlgebra.tex`
6255
- Планируемое содержание раздела: общие сведения об Algebraic Path Problems, примеры (транзитивное замыкание, APSP)
56+
- ⚠️ Раздел "Прикладные особенности" — `05_AppliedAspects.tex`
57+
> Разреженные матрицы и представление значений: связь `\Opt{L}` с Option/Maybe.
58+
> Поэлементные операции и проблема нулей: тип AtLeastOne.
59+
> map2 — универсальная поэлементная операция (сложение, умножение, маска).
60+
> mxm — обобщённое матричное умножение, параметризованное op\_mult/op\_add/zero.
61+
> GraphBLAS: стандарт, моноиды/полукольца, SuiteSparse:GraphBLAS.
62+
- Интегрированы материалы из статьи `papers_src/GraphBLAS_in_functional_style_КИО`: типы для разреженных матриц, проблема явных/неявных нулей, map2 и mxm, обзор GraphBLAS.
6363
- ⚠️ Раздел "Обход графа в ширину" — `04_BFS.tex`
6464
- Задачи
6565
- Перестроить раздел "Анализ путей в графе и линейная алгебра".

‎tex/part_01_Prep/chapter_01_LinearAlgebra/main.tex‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,4 +20,3 @@ \chapter{Некоторые понятия линейной алгебры}
2020
\input{part_01_Prep/chapter_01_LinearAlgebra/05_Semiring}
2121
\input{part_01_Prep/chapter_01_LinearAlgebra/06_Ring}
2222
\input{part_01_Prep/chapter_01_LinearAlgebra/07_MatricesAndVectors}
23-
\input{part_01_Prep/chapter_01_LinearAlgebra/08_AppliedAspects}

tex/part_01_Prep/chapter_01_LinearAlgebra/08_AppliedAspects.tex renamed to tex/part_01_Prep/chapter_03_GraphTheoryIntro/05_AppliedAspects.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
\section{Прикладные особенности}
2-
\tikzsetfigurename{LinearAlgebra_Applied_}
2+
\tikzsetfigurename{GraphTheory_Applied_}
33

44
В предыдущих разделах мы определили полугруппы, моноиды, группы, полукольца и кольца как <<честные>> алгебраические структуры: сформулировали аксиомы, которым они должны удовлетворять, и привели примеры.
55
На практике же при реализации алгоритмов анализа графов эти аксиомы часто соблюдаются лишь частично, а на первый план выходят вопросы представления данных, эффективности операций и удобства программного интерфейса.

‎tex/part_01_Prep/chapter_03_GraphTheoryIntro/main.tex‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,4 +10,5 @@ \chapter{Некоторые сведения из теории графов}
1010
\input{part_01_Prep/chapter_03_GraphTheoryIntro/01_BasicDefinitions}
1111
\input{part_01_Prep/chapter_03_GraphTheoryIntro/02_PathProblems}
1212
\input{part_01_Prep/chapter_03_GraphTheoryIntro/03_PathAlgebra}
13+
\input{part_01_Prep/chapter_03_GraphTheoryIntro/05_AppliedAspects}
1314
\input{part_01_Prep/chapter_03_GraphTheoryIntro/04_BFS}

‎tex/part_02_Foundations/chapter_04_FormalLanguageTheoryIntro/03_Recognizers.tex‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
\section{Распознаватели}
22
\tikzsetfigurename{FLT_Recognizers_}
33

4+
\mytodo{Классические примеры практических распознователей. И это не только парсеры. Валидатор паролей и адресов почты. И т.д.}
45
Распознаватель может быть сконструирован как некоторая формальная машина (вычислитель), которая принимает или отвергает те или иные слова, записанные на входной ленте.
56
Таким образом, язык задаваемый некоторым вычислителем~--- это множество принимаемых им слов.
67
\mytodo{Как увязать с иерархией Хомского, которая обсуждается далее?}

‎tex/part_02_Foundations/chapter_04_FormalLanguageTheoryIntro/04_Generators.tex‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
\section{Генераторы}
22
\tikzsetfigurename{FLT_Generators_}
33

4+
\mytodo{Сноска про примеры генераторов. Генерароры паролей и почт. Генераторы запросов. И т.д.}
45
Один из базовых способов задать генератор языка опирается на \emph{системы переписывания строк}, из которых, в дальнейшем, можно получить так называемые \emph{порождающие грамматики}.
56

67
\mytodo{Указать, что наше определение отличается от машин Маркова.}

0 commit comments

Comments
 (0)