Структура (математическая логика)
- Индуцированные подструктуры в структурах являются подмножествами, которые удовлетворяют аксиомам структуры.
- Примеры индуцированных подструктур включают рациональные числа в действительных числах и подграфы в графах.
- Гомоморфизмы и вложения являются важными понятиями в теории структур, которые сохраняют функции и отношения.
- Сильные гомоморфизмы приводят к подкатегории категории σ-Hom, состоящей из σ-структур и σ-гомоморфизмов.
- Индуцированные подструктуры соответствуют подобъектам в подкатегории σ-Emb, которая является конкретной подкатегорией σ-Hom.
- В кодировании графов индуцированные подструктуры соответствуют индуцированным подграфам.
- Задача гомоморфизма связана с преобразованием проблем удовлетворения ограничений (CSP) в проблемы гомоморфизма.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: