Гомоморфизм графов
- Гомоморфизм графов — отображение между двумя графами, соответствующее их структуре.
- Гомоморфизмы обобщают различные представления о раскрасках графов и позволяют выразить важные классы проблем.
- Гомоморфизмы приводят к богатым алгебраическим структурам, таким как предварительный порядок, дистрибутивная решетка и категория.
- Вычислительная сложность нахождения гомоморфизма между заданными графами в целом высока, но известны особые случаи, разрешимые за полиномиальное время.
- Графы и ориентированные графы могут рассматриваться как частный случай реляционных структур.
- Гомоморфизмы графов образуют категорию, в которой графы являются объектами, а гомоморфизмы — стрелками.
- Существует множество несравнимых графов с точки зрения предварительного порядка гомоморфизма.
- Вычислительная сложность задачи гомоморфизма графов является NP-полной, но существуют полиномиальные алгоритмы для некоторых случаев.
Полный текст статьи: