"Записки научных семинаров ПОМИ"
Том 497
"Комбинаторика и теория графов. XII"
редакторы Д. В. Карпов и А. В. Пастор
Contents
- Буслов В. А. Алгоритм последовательного построения остовных минимальных ориентированных лесов ....... 5
Аннотация
Полный текст(.pdf)
- Иванов М. П. Точная оценка на количество правильных 3-раскрасок рёбер связного кубического графа ....... 26
Аннотация
Полный текст(.pdf)
- Кароль Н. А. Критерий наличия такого цикла, что множество не входящих в него вершин независимо ....... 53
Аннотация
Полный текст(.pdf)
- Карпов Д. В. О реконструкции графов связности 2 ....... 80
Аннотация
Полный текст(.pdf)
- Коваль В. О. О разбиении плоских множеств на 6 частей малого диаметра ....... 100
Аннотация
Полный текст(.pdf)
- Оревков В. П. Верхние и нижние оценки высот секвенциальных доказательств
в интуиционистском исчислении ....... 124
Аннотация
Полный текст(.pdf)
-
Рефераты ....... 170
(.pdf)
Contents
- Buslov V. A. Algorithm for sequential construction of spanning minimal directed forests ....... 5
- Ivanov M. P. An exact bound on the number of proper 3-edge-colorings of a connected cubic graph ....... 26
- Karol' N. A. Criterion for the existence of such a cycle that vertices beyond this cycle are independent ....... 53
- Karpov D. V. On semi-reconstruction of graphs of connectivity 2 ....... 80
- Koval' V. O. Partitioning of plane sets into 6 subsets of small diameter ....... 100
- Orevkov V. P. Upper and lower bounds on the height of proofs in sequent calculus for intuitionistic logic ....... 124
Reviews ....... 170
Paging: 171 pp.
-
Back to the Petersburg Department of
Steklov Institute of Mathematics