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

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

19 graph-theory  lo.logic  graph-minor  topological-graph-theory 

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

15 set-theory  topology  topological-graph-theory 

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

11 cc.complexity-theory  approximation-hardness  topological-graph-theory 

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

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Позволять г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) отключенный граф?

9 graph-theory  co.combinatorics  topological-graph-theory