Базовый перенос статьи про MS-CFPQ от Арсения.

Author: gsvgit

book_structure.md

@@ -222,13 +222,15 @@
   - ⚠️ Подраздел "Примеры"
   - ⚠️ Подраздел "Свойства алгоритма"
     - Планируемое содержание: Схема доказательства корректности, оценки временной и пространственной сложности
-- ❌ Раздел "Матричный алгоритм для нескольких источников" — `04_MatrixMultiSource.tex`
-  - ❌ Вводная часть раздела: история вопроса, обзор, мотивация
-  - ❌ Подраздел "Описание алгоритма"
-    - Планируемое содержание: Описание, Псевдокод
-  - ❌ Подраздел "Примеры"
-  - ❌ Подраздел "Свойства алгоритма"
-    - Планируемое содержание: Схема доказательства корректности, оценки временной и пространственной сложности
+- ⚠️ Раздел "Матричный алгоритм для нескольких источников" — `04_MatrixMultiSource.tex`
+  - ⚠️ Вводная часть раздела: мотивация, связь с базовым матричным алгоритмом
+  - ⚠️ Подраздел "Описание алгоритма"
+    - Описание, Псевдокод наивной версии и версии с кэшированием, пояснение TSrc-матриц
+  - ⚠️ Подраздел "Пример работы"
+    - Полный пример на графе из 6 вершин и грамматике в ОНФХ
+  - ⚠️ Подраздел "Формальные свойства и доказательства"
+    - Корректность, оценка сложности
+  - Интегрированы материалы из статьи `papers_src/Multiple_source_CFPQ/full`: основной алгоритм из `matrix_single_source_algo.tex`, пример из Evaluation (§ Example), обзор CFPQ из `introduction.tex` добавлен во вводную часть главы 12.
 - ❌ Раздел "Алгоритм для нескольких источников на основе рекурсивных автоматов и BFS" — `05_TensorMultiSource.tex`
   - ❌ Вводная часть раздела: история вопроса, обзор, мотивация
   - ❌ Подраздел "Описание алгоритма"

tex/FormalLanguageConstrainedReachabilityLectureNotes.bib

@@ -1794,6 +1794,50 @@ @inproceedings{Terekhov2021MultipleSourceCP
   url       = {https://api.semanticscholar.org/CorpusID:232284054}
 }
 
+@article{hellingsPathQuerying,
+  title     = {Querying for Paths in Graphs using Context-Free Path Queries},
+  author    = {Hellings, Jelle},
+  journal   = {arXiv preprint arXiv:1502.02242},
+  year      = {2015}
+}
+
+@article{DBLP:journals/corr/Hellings15,
+  author    = {Jelle Hellings},
+  title     = {Path Results for Context-free Grammar Queries on Graphs},
+  journal   = {CoRR},
+  volume    = {abs/1502.02242},
+  year      = {2015},
+  url       = {http://arxiv.org/abs/1502.02242},
+  archivePrefix = {arXiv},
+  eprint    = {1502.02242}
+}
+
+@inproceedings{10.1007/978-3-319-91662-0_17,
+  author    = {Santos, Fred C. and Costa, Umberto S. and Musicante, Martin A.},
+  editor    = {Mikkonen, Tommi and Klamma, Ralf and Hern{\'a}ndez, Juan},
+  title     = {A Bottom-Up Algorithm for Answering Context-Free Path Queries in Graph Databases},
+  booktitle = {Web Engineering},
+  year      = {2018},
+  publisher = {Springer International Publishing},
+  address   = {Cham},
+  pages     = {225--233},
+  isbn      = {978-3-319-91662-0}
+}
+
+@inproceedings{10.1145/3398682.3399163,
+  author    = {Terekhov, Arseniy and Khoroshev, Artyom and Azimov, Rustam and Grigorev, Semyon},
+  title     = {Context-Free Path Querying with Single-Path Semantics by Matrix Multiplication},
+  year      = {2020},
+  publisher = {Association for Computing Machinery},
+  address   = {New York, NY, USA},
+  url       = {https://doi.org/10.1145/3398682.3399163},
+  doi       = {10.1145/3398682.3399163},
+  booktitle = {Proceedings of the 3rd Joint International Workshop on Graph Data Management Experiences \& Systems (GRADES) and Network Data Analytics (NDA)},
+  articleno = {5},
+  location  = {Portland, OR, USA},
+  series    = {GRADES-NDA'20}
+}
+
 @article{10.1145/321239.321249,
   author     = {Brzozowski, Janusz A.},
   title      = {Derivatives of Regular Expressions},