Анализ графов-кактусов с использованием автоматов: свойства и время распознавания

Данная работа посвящена исследованию применения автоматов со стираемыми красками для определения того, является ли произвольный связный плоский простой неориентированный граф кактусом. Приводится алгоритм для определения данного свойства, а также нижняя и верхняя оценки числа шагов, которое должен совершить автомат для завершения обхода.