V článku je předveden polynomiální algoritmus, který rozhoduje, zdali existuje lokálně prostý nebo lokálně na homomorfismus mezi dvěma univerzálními nakrytími grafů. Tato univerzální nakrytí jsou zakódována pomocí stupňových matic.