V článku je prezentováno několik algoritmů pro porovnávání matic v uspořádáních podle grafových homomorfismů s lokálními podmínkami.