Линейный по времени алгоритм проверки коположительности ациклической матрицы

Вещественная симметричная матрица $A$ называется коположительной, если $(Ax,x)\ge0$ для всякого вектора $x$ с неотрицательными компонентами. В недавней публикации Бомзе предложен линейный по времени алгоритм проверки коположительности для трехдиагональных матриц. Показано, что этот алгоритм может быть перенесен на случай произвольной ациклической матрицы. Библ. 7.