Зап. научн. сем. ПОМИ, 2020, том 497

ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив

2020, том 497

Содержание

Комбинаторика и теория графов. XII

	Алгоритм последовательного построения остовных минимальных ориентированных лесов В. А. Буслов		5
	Точная оценка на количество правильных $3$-раскрасок рёбер связного кубического графа М. П. Иванов		26
	Критерий наличия такого цикла, что множество не входящих в него вершин независимо Н. А. Кароль		53
	On semi-reconstruction of graphs of connectivity $2$ D. V. Karpov		80
	О разбиении плоских множеств на $6$ частей малого диаметра В. О. Коваль		100
	Верхние и нижние оценки высот секвенциальных доказательств в интуиционистском исчислении В. П. Оревков		124