|
Clique-width
In graph theory, the clique-width of a graph is a parameter that describes the structural complexity of the graph; it is closely related to treewidth, but unlike treewidth it can be small for dense graphs. It is defined as the minimum number of labels needed to construct by means of the following 4 operations : #Creation of a new vertex with label (denoted by ) #Disjoint union of two labeled graphs and (denoted by G \oplus H) #Joining by an edge every vertex labeled to every vertex labeled (denoted by ), where #Renaming label to label (denoted by ) Graphs of bounded clique-width include the cographs and distance-hereditary graphs. Although it is NP-hard to compute the clique-width when it is unbounded, and unknown whether it can be computed in polynomial time when it is bounded, efficient approximation algorithms for clique-width are known. Based on these algorithms and on Courcelle's theorem, many graph optimization problems that are NP-hard for arbitrary graphs ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Clique-width Construction
In graph theory, the clique-width of a Graph (discrete mathematics), graph is a parameter that describes the structural complexity of the graph; it is closely related to treewidth, but unlike treewidth it can be small for dense graphs. It is defined as the minimum number of Graph labeling, labels needed to construct by means of the following 4 operations : #Creation of a new vertex with label (denoted by ) #Disjoint union of graphs, Disjoint union of two labeled graphs and (denoted by G \oplus H) #Joining by an edge every vertex labeled to every vertex labeled (denoted by ), where #Renaming label to label (denoted by ) Graphs of bounded clique-width include the cographs and distance-hereditary graphs. Although it is NP-hard to compute the clique-width when it is unbounded, and unknown whether it can be computed in polynomial time when it is bounded, efficient approximation algorithms for clique-width are known. Based on these algorithms and on Courcelle's theorem, many ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Courcelle's Theorem
In the study of graph algorithms, Courcelle's theorem is the statement that every graph property definable in the monadic second-order logic of graphs can be decided in linear time on graphs of bounded treewidth. The result was first proved by Bruno Courcelle in 1990 and independently rediscovered by . It is considered the archetype of algorithmic meta-theorems... Formulations Vertex sets In one variation of monadic second-order graph logic known as MSO1, the graph is described by a set of vertices and a binary adjacency relation \operatorname(.,.), and the restriction to monadic logic means that the graph property in question may be defined in terms of sets of vertices of the given graph, but not in terms of sets of edges, or sets of tuples of vertices. As an example, the property of a graph being colorable with three colors (represented by three sets of vertices R, G, and B) may be defined by the monadic second-order formula \begin \exists R\ \exists G\ \exists B\ \Bigl( & ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rank-width
Rank-width is a graph width parameter used in graph theory and parameterized complexity, and defined using linear algebra. It is defined from hierarchical clusterings of the vertices of a given graph, which can be visualized as ternary trees having the vertices as their leaves. Removing any edge from such a tree disconnects it into two subtrees and partitions the vertices into two subsets. The graph edges that cross from one side of the partition to the other can be described by a biadjacency matrix; for the purposes of rank-width, this matrix is defined over the finite field GF(2) rather than using real numbers. The rank-width of a graph is the maximum of the ranks of the biadjacency matrices, for a clustering chosen to minimize this maximum. Rank-width is closely related to clique-width: k \leq c \leq 2^-1, where c is the clique-width and k the rank-width. However, clique-width is NP-hard to compute, for graphs of large clique-width, and its parameterized complexity is unknown. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cograph
In graph theory, a cograph, or complement-reducible graph, or ''P''4-free graph, is a graph that can be generated from the single-vertex graph ''K''1 by complementation and disjoint union. That is, the family of cographs is the smallest class of graphs that includes ''K''1 and is closed under complementation and disjoint union. Cographs have been discovered independently by several authors since the 1970s; early references include , , , and . They have also been called D*-graphs, hereditary Dacey graphs (after the related work of James C. Dacey Jr. on orthomodular lattices), and 2-parity graphs. They have a simple structural decomposition involving disjoint union and complement graph operations that can be represented concisely by a labeled tree and used algorithmically to efficiently solve many problems such as finding a maximum clique that are hard on more general graph classes. Special types of cograph include complete graphs, complete bipartite graphs, cluster graphs, and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Distance-hereditary Graph
In graph theory, a branch of discrete mathematics, a distance-hereditary graph (also called a completely separable graph) is a graph in which the Distance (graph theory), distances in any connected graph, connected induced subgraph are the same as they are in the original graph. Thus, any induced subgraph inherits the distances of the larger graph. Distance-hereditary graphs were named and first studied by , although an equivalent class of graphs was already shown to be perfect graph, perfect in 1970 by Olaru and Sachs. It has been known for some time that the distance-hereditary graphs constitute an intersection class of graphs, but no intersection model was known until one was given by . Definition and characterization The original definition of a distance-hereditary graph is a graph such that, if any two vertices and belong to a connected induced subgraph of , then some shortest path connecting and in must be a subgraph of , so that the distance between and in is the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leaf Power
In the mathematical area of graph theory, a -leaf power of a tree is a graph whose vertices are the leaves of and whose edges connect pairs of leaves whose distance in is at most . That is, is an induced subgraph of the graph power , induced by the leaves of . For a graph constructed in this way, is called a -leaf root of . A graph is a leaf power if it is a -leaf power for some . These graphs have applications in phylogeny, the problem of reconstructing evolutionary trees. Related classes of graphs Since powers of strongly chordal graphs are strongly chordal and trees are strongly chordal, it follows that leaf powers are strongly chordal graphs. Actually, leaf powers form a proper subclass of strongly chordal graphs; a graph is a leaf power if and only if it is a fixed tolerance NeST graph and such graphs are a proper subclass of strongly chordal graphs. In it is shown that interval graphs and the larger class of rooted directed path graphs are leaf powers. The indi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Power
In graph theory, a branch of mathematics, the th power of an undirected graph is another graph that has the same set of vertex (graph theory), vertices, but in which two vertices are adjacent when their Distance (graph theory), distance in is at most . Powers of graphs are referred to using terminology similar to that of exponentiation of numbers: is called the ''Square number, square'' of , is called the ''Cube (algebra), cube'' of , etc. Graph powers should be distinguished from the Graph product, products of a graph with itself, which (unlike powers) generally have many more vertices than the original graph. Properties If a graph has graph diameter, diameter , then its -th power is the complete graph. If a graph family has bounded clique-width, then so do its -th powers for any fixed . Coloring Graph coloring on the square of a graph may be used to assign frequencies to the participants of wireless communication networks so that no two participants interfere with ea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
χ-bounded
In graph theory, a \chi-bounded family \mathcal of graphs is one for which there is some function f such that, for every integer t the graphs in \mathcal with t=\omega(G) ( clique number) can be colored with at most f(t) colors. The function f(t) is called a \chi-binding function for \mathcal. These concepts and their notations were formulated by András Gyárfás. The use of the Greek letter chi in the term \chi-bounded is based on the fact that the chromatic number of a graph G is commonly denoted \chi(G). An overview of the area can be found in a survey of Alex Scott and Paul Seymour. Nontriviality It is not true that the family of all graphs is \chi-bounded. As , and showed, there exist triangle-free graphs of arbitrarily large chromatic number, so for these graphs it is not possible to define a finite value of f(2). Thus, \chi-boundedness is a nontrivial concept, true for some graph families and false for others. Specific classes Every class of graphs of bounded chro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Coloring
In graph theory, graph coloring is a methodic assignment of labels traditionally called "colors" to elements of a Graph (discrete mathematics), graph. The assignment is subject to certain constraints, such as that no two adjacent elements have the same color. Graph coloring is a special case of graph labeling. In its simplest form, it is a way of coloring the Vertex (graph theory), vertices of a graph such that no two adjacent vertices are of the same color; this is called a vertex coloring. Similarly, an ''edge coloring'' assigns a color to each Edge (graph theory), edges so that no two adjacent edges are of the same color, and a face coloring of a planar graph assigns a color to each Face (graph theory), face (or region) so that no two faces that share a boundary have the same color. Vertex coloring is often used to introduce graph coloring problems, since other coloring problems can be transformed into a vertex coloring instance. For example, an edge coloring of a graph is just ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Biclique-free Graph
In graph theory, a branch of mathematics, a -biclique-free graph is a graph that has no (complete bipartite graph with vertices) as a subgraph. A family of graphs is biclique-free if there exists a number such that the graphs in the family are all -biclique-free. The biclique-free graph families form one of the most general types of sparse graph family. They arise in incidence problems in discrete geometry, and have also been used in parameterized complexity. Properties Sparsity According to the Kővári–Sós–Turán theorem, every -vertex -biclique-free graph has edges, significantly fewer than a dense graph would have. Conversely, if a graph family is defined by forbidden subgraphs or closed under the operation of taking subgraphs, and does not include dense graphs of arbitrarily large size, it must be -biclique-free for some , for otherwise it would include large dense complete bipartite graphs. As a lower bound, conjectured that every maximal -biclique-free biparti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Property
In graph theory, a graph property or graph invariant is a property of graphs that depends only on the abstract structure, not on graph representations such as particular labellings or drawings of the graph.. Definitions While graph drawing and graph representation are valid topics in graph theory, in order to focus only on the abstract structure of graphs, a graph property is defined to be a property preserved under all possible isomorphisms of a graph. In other words, it is a property of the graph itself, not of a specific drawing or representation of the graph. Informally, the term "graph invariant" is used for properties expressed quantitatively, while "property" usually refers to descriptive characterizations of graphs. For example, the statement "graph does not have vertices of degree 1" is a "property" while "the number of vertices of degree 1 in a graph" is an "invariant". More formally, a graph property is a class of graphs with the property that any two isomorphic gra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
