Мир математики. Том 11. Карты метро и нейронные сети. Теория графов

Было интересно прочесть. Книга быстро освежила базовые познания в области теории графов. Однако хотелось бы больше теории, доказательств теорем и практических задач вместо рассказов о том, как применяются графы в повседневной жизни.