scholarly journals Tropical Graph Parameters

2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Nadia Labai ◽  
Johann Makowsky
Keyword(s):  
Polynomial Time ◽  
Finite Rank ◽  
Bounded Linear ◽  
Graph Classes ◽  
Connection Matrices ◽  
International Audience ◽  
Tree Width ◽  
Graph Parameters ◽  
Valued Graph ◽  
Second Order Logic

International audience Connection matrices for graph parameters with values in a field have been introduced by M. Freedman, L. Lovász and A. Schrijver (2007). Graph parameters with connection matrices of finite rank can be computed in polynomial time on graph classes of bounded tree-width. We introduce join matrices, a generalization of connection matrices, and allow graph parameters to take values in the tropical rings (max-plus algebras) over the real numbers. We show that rank-finiteness of join matrices implies that these graph parameters can be computed in polynomial time on graph classes of bounded clique-width. In the case of graph parameters with values in arbitrary commutative semirings, this remains true for graph classes of bounded linear clique-width. B. Godlin, T. Kotek and J.A. Makowsky (2008) showed that definability of a graph parameter in Monadic Second Order Logic implies rank finiteness. We also show that there are uncountably many integer valued graph parameters with connection matrices or join matricesof fixed finite rank. This shows that rank finiteness is a much weaker assumption than any definability assumption. Les matrices de connexion pour des fonctions sur les graphes à valeurs dans un corps ont été introduites par M. Freedman, L. Lovász and A. Schrijver (2007). Une fonctions sur les graphes ayant des matrices de connexion de rang fini peut être calculée en temps polynomial sur toute famille de graphes de largeur arborescente (”tree-width”) bornée. Nous introduisons des matrices de jointure (”join matrices”) qui généralisent les matrices deconnexion, et nous permettons aux fonctions sur les graphes de prendre leurs valeurs dans des semianneaux tropicaux réels. Nous montrons qu’une fonction sur les graphes ayant des matrices de jointure de rang fini peut être calculée en temps polynomial sur des graphes de largeur de clique (”clique-width”) bornée. Dans le cas des semi-anneaux commutatifs, cela reste vrai pour les graphes de largeur de clique linéaire bornée. B. Godlin, T. Kotek and J.A. Makowsky (2008) ont montré que certaines hypothèses de definissabilité en Logique du Second Ordre Monadique concernant desopérations sur les graphes entraine la finitude des rangs. Nous exhibons un ensemble non dénombrable d’opérations ayant une matrice de connexion et des matrices de jointure de rang fini. Cela démontre que l’hypothèse de rang fini est beaucoup plus faible que l’hypothèse de definissabilité.

scholarly journals The resolving number of a graph Delia

2013 ◽  
Vol Vol. 15 no. 3 (Graph Theory) ◽  
Author(s):  
Delia Garijo ◽  
Antonio González ◽  
Alberto Márquez
Keyword(s):  
Graph Theory ◽  
Polynomial Time ◽  
Maximum Degree ◽  
Clique Number ◽  
Metric Dimension ◽  
Np Hard ◽  
Arbitrary Graph ◽  
International Audience ◽  
Graph Parameters ◽  
Two Parameters

Graph Theory International audience We study a graph parameter related to resolving sets and metric dimension, namely the resolving number, introduced by Chartrand, Poisson and Zhang. First, we establish an important difference between the two parameters: while computing the metric dimension of an arbitrary graph is known to be NP-hard, we show that the resolving number can be computed in polynomial time. We then relate the resolving number to classical graph parameters: diameter, girth, clique number, order and maximum degree. With these relations in hand, we characterize the graphs with resolving number 3 extending other studies that provide characterizations for smaller resolving number.

scholarly journals Improving Vertex Cover as a Graph Parameter

2015 ◽  
Vol Vol. 17 no.2 (Discrete Algorithms) ◽  
Author(s):  
Robert Ganian
Keyword(s):  
Vertex Cover ◽  
Graph Structure ◽  
Fpt Algorithms ◽  
Graph Problems ◽  
Graph Classes ◽  
Wide Range ◽  
Dense Graphs ◽  
International Audience ◽  
Hard Problems ◽  
Tree Width

International audience Parameterized algorithms are often used to efficiently solve NP-hard problems on graphs. In this context, vertex cover is used as a powerful parameter for dealing with graph problems which are hard to solve even when parameterized by tree-width; however, the drawback of vertex cover is that bounding it severely restricts admissible graph classes. We introduce a generalization of vertex cover called twin-cover and show that FPT algorithms exist for a wide range of difficult problems when parameterized by twin-cover. The advantage of twin-cover over vertex cover is that it imposes a lesser restriction on the graph structure and attains low values even on dense graphs. Apart from introducing the parameter itself, this article provides a number of new FPT algorithms parameterized by twin-cover with a special emphasis on solving problems which are not in FPT even when parameterized by tree-width. It also shows that MS1 model checking can be done in elementary FPT time parameterized by twin-cover and discusses the field of kernelization.

scholarly journals P6- and triangle-free graphs revisited: structure and bounded clique-width

2006 ◽  
Vol Vol. 8 ◽  
Author(s):  
Andreas Brandstädt ◽  
Tilo Klembt ◽  
Suhail Mahfud
Keyword(s):  
Polynomial Time ◽  
Dominating Set ◽  
Vertex Cover ◽  
Maximum Clique ◽  
Stable Set ◽  
Induced Matching ◽  
International Audience ◽  
Np Complete ◽  
Maximum Induced Matching ◽  
Second Order Logic

International audience The Maximum Weight Stable Set (MWS) Problem is one of the fundamental problems on graphs. It is well-known to be NP-complete for triangle-free graphs, and Mosca has shown that it is solvable in polynomial time when restricted to P6- and triangle-free graphs. We give a complete structure analysis of (nonbipartite) P6- and triangle-free graphs which are prime in the sense of modular decomposition. It turns out that the structure of these graphs is extremely simple implying bounded clique-width and thus, efficient algorithms exist for all problems expressible in terms of Monadic Second Order Logic with quantification only over vertex predicates. The problems Vertex Cover, MWS, Maximum Clique, Minimum Dominating Set, Steiner Tree, and Maximum Induced Matching are among them. Our results improve the previous one on the MWS problem by Mosca with respect to structure and time bound but also extends a previous result by Fouquet, Giakoumakis and Vanherpe which have shown that bipartite P6-free graphs have bounded clique-width. Moreover, it covers a result by Randerath, Schiermeyer and Tewes on polynomial time 3-colorability of P6- and triangle-free graphs.

scholarly journals Isomorphism, canonization, and definability for graphs of bounded rank width

2021 ◽  
Vol 64 (5) ◽  
pp. 98-105
Author(s):  
Martin Grohe ◽  
Daniel Neuen
Keyword(s):  
Fixed Point ◽  
Complexity Theory ◽  
Polynomial Time ◽  
Graph Isomorphism ◽  
Isomorphism Problem ◽  
Descriptive Complexity ◽  
Graph Isomorphism Problem ◽  
Structural Graph ◽  
Graph Classes ◽  
Bounded Rank

We investigate the interplay between the graph isomorphism problem, logical definability, and structural graph theory on a rich family of dense graph classes: graph classes of bounded rank width. We prove that the combinatorial Weisfeiler-Leman algorithm of dimension (3 k + 4) is a complete isomorphism test for the class of all graphs of rank width at most k. A consequence of our result is the first polynomial time canonization algorithm for graphs of bounded rank width. Our second main result addresses an open problem in descriptive complexity theory: we show that fixed-point logic with counting expresses precisely the polynomial time properties of graphs of bounded rank width.

Bounded Linear Logic: A Modular Approach to Polynomial Time Computability

1990 ◽  
pp. 195-209 ◽  
Author(s):  
Jean-Yves Girard ◽  
Andre Scedrov ◽  
Philip J. Scott
Keyword(s):  
Polynomial Time ◽  
Linear Logic ◽  
Modular Approach ◽  
Bounded Linear

scholarly journals Classes of graphs with restricted interval models

1999 ◽  
Vol Vol. 3 no. 4 ◽  
Author(s):  
Andrzej Proskurowski ◽  
Jan Arne Telle
Keyword(s):  
Maximum Clique ◽  
Interval Graphs ◽  
Induced Subgraph ◽  
Graph Theoretic ◽  
Graph Classes ◽  
International Audience ◽  
Forbidden Induced Subgraph ◽  
Nested Hierarchy ◽  
Graph Families

International audience We introduce q-proper interval graphs as interval graphs with interval models in which no interval is properly contained in more than q other intervals, and also provide a forbidden induced subgraph characterization of this class of graphs. We initiate a graph-theoretic study of subgraphs of q-proper interval graphs with maximum clique size k+1 and give an equivalent characterization of these graphs by restricted path-decomposition. By allowing the parameter q to vary from 0 to k, we obtain a nested hierarchy of graph families, from graphs of bandwidth at most k to graphs of pathwidth at most k. Allowing both parameters to vary, we have an infinite lattice of graph classes ordered by containment.

scholarly journals On paths, trails and closed trails in edge-colored graphs

2012 ◽  
Vol Vol. 14 no. 2 (Graph Theory) ◽  
Author(s):  
Laurent Gourvès ◽  
Adria Lyra ◽  
Carlos A. Martinhon ◽  
Jérôme Monnot
Keyword(s):  
Polynomial Time ◽  
Optimal Solution ◽  
Colored Graph ◽  
Edge Disjoint ◽  
Colored Graphs ◽  
International Audience ◽  
Np Complete ◽  
T Path ◽  
Vertex Disjoint

Graph Theory International audience In this paper we deal from an algorithmic perspective with different questions regarding properly edge-colored (or PEC) paths, trails and closed trails. Given a c-edge-colored graph G(c), we show how to polynomially determine, if any, a PEC closed trail subgraph whose number of visits at each vertex is specified before hand. As a consequence, we solve a number of interesting related problems. For instance, given subset S of vertices in G(c), we show how to maximize in polynomial time the number of S-restricted vertex (resp., edge) disjoint PEC paths (resp., trails) in G(c) with endpoints in S. Further, if G(c) contains no PEC closed trails, we show that the problem of finding a PEC s-t trail visiting a given subset of vertices can be solved in polynomial time and prove that it becomes NP-complete if we are restricted to graphs with no PEC cycles. We also deal with graphs G(c) containing no (almost) PEC cycles or closed trails through s or t. We prove that finding 2 PEC s-t paths (resp., trails) with length at most L > 0 is NP-complete in the strong sense even for graphs with maximum degree equal to 3 and present an approximation algorithm for computing k vertex (resp., edge) disjoint PEC s-t paths (resp., trails) so that the maximum path (resp., trail) length is no more than k times the PEC path (resp., trail) length in an optimal solution. Further, we prove that finding 2 vertex disjoint s-t paths with exactly one PEC s-t path is NP-complete. This result is interesting since as proved in Abouelaoualim et. al.(2008), the determination of two or more vertex disjoint PEC s-t paths can be done in polynomial time. Finally, if G(c) is an arbitrary c-edge-colored graph with maximum vertex degree equal to four, we prove that finding two monochromatic vertex disjoint s-t paths with different colors is NP-complete. We also propose some related problems.

scholarly journals Cubical coloring — fractional covering by cuts and semidefinite programming

2015 ◽  
Vol Vol. 17 no.2 (Graph Theory) ◽  
Author(s):  
Robert Šámal
Keyword(s):  
Semidefinite Programming ◽  
Chromatic Number ◽  
Fractional Chromatic Number ◽  
Maximum Cut ◽  
Continuous Mappings ◽  
Polynomial Time Approximation Algorithm ◽  
Eigenvalue Bound ◽  
International Audience ◽  
Graph Parameters ◽  
Fractional Covering

International audience We introduce a new graph parameter that measures fractional covering of a graph by cuts. Besides being interesting in its own right, it is useful for study of homomorphisms and tension-continuous mappings. We study the relations with chromatic number, bipartite density, and other graph parameters. We find the value of our parameter for a family of graphs based on hypercubes. These graphs play for our parameter the role that cliques play for the chromatic number and Kneser graphs for the fractional chromatic number. The fact that the defined parameter attains on these graphs the correct value suggests that our definition is a natural one. In the proof we use the eigenvalue bound for maximum cut and a recent result of Engström, Färnqvist, Jonsson, and Thapper [An approximability-related parameter on graphs – properties and applications, DMTCS vol. 17:1, 2015, 33–66]. We also provide a polynomial time approximation algorithm based on semidefinite programming and in particular on vector chromatic number (defined by Karger, Motwani and Sudan [Approximate graph coloring by semidefinite programming, J. ACM 45 (1998), no. 2, 246–265]).

scholarly journals On edge-intersection graphs of k-bend paths in grids

2010 ◽  
Vol Vol. 12 no. 1 ◽  
Author(s):  
Therese Biedl ◽  
Michal Stern
Keyword(s):  
Conflict Resolution ◽  
Planar Graph ◽  
Bipartite Graph ◽  
Outerplanar Graph ◽  
Line Graphs ◽  
Intersection Graphs ◽  
Grid Networks ◽  
Graph Classes ◽  
International Audience ◽  
Number Of Bends

International audience Edge-intersection graphs of paths in grids are graphs that can be represented such that vertices are paths in a grid and edges between vertices of the graph exist whenever two grid paths share a grid edge. This type of graphs is motivated by applications in conflict resolution of paths in grid networks. In this paper, we continue the study of edge-intersection graphs of paths in a grid, which was initiated by Golumbic, Lipshteyn and Stern. We show that for any k, if the number of bends in each path is restricted to be at most k, then not all graphs can be represented. Then we study some graph classes that can be represented with k-bend paths, for small k. We show that every planar graph has a representation with 5-bend paths, every outerplanar graph has a representation with 3-bend paths, and every planar bipartite graph has a representation with 2-bend paths. We also study line graphs, graphs of bounded pathwidth, and graphs with -regular edge orientations.

Boundary Classes of Planar Graphs

2008 ◽  
Vol 17 (2) ◽  
pp. 287-295 ◽  
Author(s):  
VADIM LOZIN
Keyword(s):  
Polynomial Time ◽  
Planar Graphs ◽  
Dominating Set ◽  
Helpful Tool ◽  
Tree Width

We analyse classes of planar graphs with respect to various properties such as polynomial-time solvability of thedominating setproblem or boundedness of the tree-width. A helpful tool to address this question is the notion of boundary classes. The main result of the paper is that for many important properties there are exactly two boundary classes of planar graphs.

Sign in / Sign up

Export Citation Format

Share Document