Informatique théorique topological-graph-theory

1

Propriétés fermées mineures qui sont explicitement exprimables par MSO

Ci-dessous, MSO désigne la logique monadique du second ordre des graphiques avec des quantifications de sommets et de contours. Soit une petite famille fermée de graphes. Il découle de la théorie de graphe mineur de Robertson et Seymour que F est caractérisée par une liste finie H 1 , H …

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

3

Applications pour la théorie des ensembles, la théorie ordinale, la combinatoire infinie et la topologie générale en informatique?

Je suis un mathématicien intéressé par la théorie des ensembles, la théorie ordinale, la combinatoire infinie et la topologie générale. Existe-t-il des applications pour ces sujets en informatique? J'ai regardé un peu et j'ai trouvé beaucoup d'applications (bien sûr) pour la théorie des graphes finis, la topologie finie, la topologie …

15 set-theory topology topological-graph-theory

2

Approximabilité du problème du genre

Que sait-on actuellement de l'approximation du problème du genre? Une recherche préliminaire m'indique qu'une approximation à facteur constant est triviale pour des graphes suffisamment denses, et un algorithme d'approximation a été exclu. Ces informations sont-elles à jour ou existe-t-il de meilleures limites connues?nϵnϵn^\epsilon

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

1

Trouver un double d'un graphique

Selon le livre Topological Graph Theory de Gross et Tucker, étant donné l'incorporation cellulaire d'un graphique sur une surface (par `` surface '', je veux dire ici une sphère avec quelques poignées, et ci-dessous réfère à la sphère avec exactement poignées), on peut définir une multigraphe double en traitant les …

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

1

Une paire de cycles homotopiques disjoints dans le dual sépare-t-elle le graphique?

Soit un graphe incrusté sur une surface compacte orientable du genre g pour que l'incorporation soit cellulaire. Considérons le dual du graphe G ∗ . Soit C 1 et C 2 des cycles disjoints dans G ∗ homotopiques l'un avec l'autre et soit E 1 et E 2 leurs ensembles …

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

Questions marquées «topological-graph-theory»