Вопросы с тегом «topological-graph-theory»

1
Незначительные закрытые свойства, которые явно выражены в MSO
Ниже MSO обозначает монадическую логику второго порядка графов с определением вершин и ребер. Пусть - младшее замкнутое семейство графов. Из Робертсона и Сеймура теории графов малой , что F характеризуется конечным списком H 1 , H 2 , . , , , Н К , запрещенных несовершеннолетним. Другими словами, для …

3
Приложения для теории множеств, порядковой теории, бесконечной комбинаторики и общей топологии в информатике?
Я математик, интересующийся теорией множеств, порядковой теорией, бесконечной комбинаторикой и общей топологией. Есть ли приложения для этих предметов в информатике? Я немного посмотрел и нашел много приложений (конечно) для теории конечных графов, конечной топологии, низкоразмерной топологии, геометрической топологии и т. Д. Однако я ищу приложения бесконечных объектов этих предметов, то …

2
Приближаемость проблемы рода
Что в настоящее время известно о приближаемости проблемы рода? Предварительный поиск говорит мне , что постоянное приближение фактора тривиально для достаточно плотных графов, и -приближение алгоритм было исключено. Является ли эта информация актуальной или известны более точные границы?nϵnϵn^\epsilon

1
Нахождение двойственного графа
Согласно книге «Топологическая теория графов» Гросса и Такера, учитывая клеточное вложение графа на поверхность (под «поверхностью» я подразумеваю здесь сферу с некоторыми ручками , а ниже S n относится к сфере с ровно n ручками), можно определить двойной мультиграф, рассматривая грани исходного графа, встраиваемые как вершины, и добавляя ребро между …

1
Разделяет ли пара непересекающихся гомотопических циклов в дуале граф?
Позволять гGG быть графом, вложенным в ориентируемую компактную поверхность рода гggтак что вложение является клеточным. Рассмотрим двойственный графикг*G∗G^*, ПозволятьС1C1C_1 а также С2C2C_2 быть непересекающимися циклами в г*G∗G^* гомотопны друг другу и позволяют Е1E1E_1 а также Е2E2E_2 быть их соответствующими наборами ребер в гGGсоответственно. ЯвляетсяG∖(E1∪E2)G∖(E1∪E2)G \setminus (E_1 \cup E_2) отключенный граф?
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.