|
Block Graph
In graph theory, a branch of combinatorial mathematics, a block graph or clique tree. is a type of undirected graph in which every biconnected component (block) is a clique. Block graphs are sometimes erroneously called Husimi trees (after Kôdi Husimi), but that name more properly refers to cactus graphs, graphs in which every nontrivial biconnected component is a cycle. Block graphs may be characterized as the intersection graphs of the blocks of arbitrary undirected graphs.. Characterization Block graphs are exactly the graphs for which, for every four vertices , , , and , the largest two of the three distances , , and are always equal... They also have a forbidden graph characterization as the graphs that do not have the diamond graph or a cycle of four or more vertices as an induced subgraph; that is, they are the diamond-free chordal graphs. They are also the Ptolemaic graphs ( chordal distance-hereditary graphs) in which every two nodes at distance two from each othe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Block Diagram
A block diagram is a diagram of a system in which the principal parts or functions are represented by blocks connected by lines that show the relationships of the blocks.SEVOCAB: Software and Systems Engineering Vocabulary Term: ''block diagram''. retrieved 31 July 2008. They are heavily used in engineering in hardware design, , , and |
Ptolemaic Graph
In graph theory, a Ptolemaic graph is an undirected graph whose shortest path distances obey Ptolemy's inequality, which in turn was named after the Greek astronomer and mathematician Ptolemy. The Ptolemaic graphs are exactly the graphs that are both chordal and distance-hereditary; they include the block graphs and are a subclass of the perfect graphs. Characterization A graph is Ptolemaic if and only if it obeys any of the following equivalent conditions: *The shortest path distances obey Ptolemy's inequality: for every four vertices , , , and , the inequality holds.. For instance, the gem graph (3-fan) in the illustration is not Ptolemaic, because in this graph , greater than . *For every two overlapping maximal cliques, the intersection of the two cliques is a separator that splits the differences of the two cliques.. In the illustration of the gem graph, this is not true: cliques and are not separated by their intersection, , because there is an edge that con ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Windmill Graph
In the mathematical field of graph theory, the windmill graph is an undirected graph constructed for and by joining copies of the complete graph at a shared universal vertex. That is, it is a 1-clique-sum of these complete graphs. Properties It has vertices and edges, girth 3 (if ), radius 1 and diameter 2. It has vertex connectivity 1 because its central vertex is an articulation point; however, like the complete graphs from which it is formed, it is -edge-connected. It is trivially perfect and a block graph. Special cases By construction, the windmill graph is the friendship graph , the windmill graph is the star graph and the windmill graph is the butterfly graph. Labeling and colouring The windmill graph has chromatic number and chromatic index . Its chromatic polynomial can be deduced form the chromatic polynomial of the complete graph and is equal to :x\prod_^(x-i)^n. The windmill graph is proved not graceful Gracefulness, or being graceful, is the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cluster Graph
In graph theory, a branch of mathematics, a cluster graph is a graph formed from the disjoint union of complete graphs. Equivalently, a graph is a cluster graph if and only if it has no three-vertex induced path; for this reason, the cluster graphs are also called -free graphs. They are the complement graphs of the complete multipartite graphsCluster graphs Information System on Graph Classes and their Inclusions, accessed 2016-06-26. and the 2-leaf powers. The cluster graphs are transitively closed, and every transitively closed undirected graph is a cluster graph. Related graph classes Every cluster graph is a |
Tree (graph Theory)
In graph theory, a tree is an undirected graph in which any two vertices are connected by ''exactly one'' path, or equivalently a connected acyclic undirected graph. A forest is an undirected graph in which any two vertices are connected by ''at most one'' path, or equivalently an acyclic undirected graph, or equivalently a disjoint union of trees. A polytreeSee . (or directed tree or oriented treeSee .See . or singly connected networkSee .) is a directed acyclic graph (DAG) whose underlying undirected graph is a tree. A polyforest (or directed forest or oriented forest) is a directed acyclic graph whose underlying undirected graph is a forest. The various kinds of data structures referred to as trees in computer science have underlying graphs that are trees in graph theory, although such data structures are generally rooted trees. A rooted tree may be directed, called a directed rooted tree, either making all its edges point away from the root—in which case it is called ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Perfect Graph
In graph theory, a perfect graph is a graph in which the chromatic number of every induced subgraph equals the order of the largest clique of that subgraph (clique number). Equivalently stated in symbolic terms an arbitrary graph G=(V,E) is perfect if and only if for all S\subseteq V we have \chi(G =\omega(G . The perfect graphs include many important families of graphs and serve to unify results relating colorings and cliques in those families. For instance, in all perfect graphs, the graph coloring problem, maximum clique problem, and maximum independent set problem can all be solved in polynomial time. In addition, several important min-max theorems in combinatorics, such as Dilworth's theorem, can be expressed in terms of the perfection of certain associated graphs. A graph G is 1-perfect if and only if \chi(G)=\omega(G). Then, G is perfect if and only if every induced subgraph of G is 1-perfect. Properties * By the perfect graph theorem, a graph G is perfect if an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geodetic Graph
In graph theory, a geodetic graph is an undirected graph such that there exists a unique (unweighted) shortest path between each two vertices. Geodetic graphs were introduced in 1962 by Øystein Ore, who observed that they generalize a property of trees (in which there exists a unique path between each two vertices regardless of distance), and asked for a characterization of them. Although these graphs can be recognized in polynomial time, "more than sixty years later a full characterization is still elusive". Examples Every tree, every complete graph, and every odd-length cycle graph is geodetic. If G is a geodetic graph, then replacing every edge of G by a path of the same odd length will produce another geodetic graph. In the case of a complete graph, a more general pattern of replacement by paths is possible: choose a non-negative integer f(v) for each vertex v, and subdivide each edge uv by adding f(u)+f(v) vertices to it. Then the resulting subdivided complete graph is geode ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Induced Path
In the mathematical area of graph theory, an induced path in an undirected graph is a path that is an induced subgraph of . That is, it is a sequence of vertices in such that each two adjacent vertices in the sequence are connected by an edge in , and each two nonadjacent vertices in the sequence are not connected by any edge in . An induced path is sometimes called a snake, and the problem of finding long induced paths in hypercube graphs is known as the snake-in-the-box problem. Similarly, an induced cycle is a cycle that is an induced subgraph of ; induced cycles are also called chordless cycles or (when the length of the cycle is four or more) holes. An antihole is a hole in the complement of , i.e., an antihole is a complement of a hole. The length of the longest induced path in a graph has sometimes been called the detour number of the graph; for sparse graphs, having bounded detour number is equivalent to having bounded tree-depth. The induced path number of a gra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometriae Dedicata
''Geometriae Dedicata'' is a mathematical journal, founded in 1972, concentrating on geometry and its relationship to topology, group theory and the theory of dynamical systems. It was created on the initiative of Hans Freudenthal in Utrecht, the Netherlands.. It is published by Springer Netherlands. The Editors-in-Chief An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The highest-ranking editor of a publication may also be titled editor, managing ... are John R. Parker and Jean-Marc Schlenker.Journal website References External links Springer site Mathematics journals Springer Science+Business Media academic journals {{math-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Antimatroid
In mathematics, an antimatroid is a formal system that describes processes in which a set is built up by including elements one at a time, and in which an element, once available for inclusion, remains available until it is included. Antimatroids are commonly axiomatized in two equivalent ways, either as a set system modeling the possible states of such a process, or as a formal language modeling the different sequences in which elements may be included. Dilworth (1940) was the first to study antimatroids, using yet another axiomatization based on lattice theory, and they have been frequently rediscovered in other contexts. The axioms defining antimatroids as set systems are very similar to those of matroids, but whereas matroids are defined by an '' exchange axiom'', antimatroids are defined instead by an ''anti-exchange axiom'', from which their name derives. Antimatroids can be viewed as a special case of greedoids and of semimodular lattices, and as a generalization of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Connectivity (graph Theory)
In mathematics and computer science, connectivity is one of the basic concepts of graph theory: it asks for the minimum number of elements (nodes or edges) that need to be removed to separate the remaining nodes into two or more isolated subgraphs. It is closely related to the theory of network flow problems. The connectivity of a graph is an important measure of its resilience as a network. Connected vertices and graphs In an undirected graph , two '' vertices'' and are called connected if contains a path from to . Otherwise, they are called disconnected. If the two vertices are additionally connected by a path of length , i.e. by a single edge, the vertices are called adjacent. A graph is said to be connected if every pair of vertices in the graph is connected. This means that there is a path between every pair of vertices. An undirected graph that is not connected is called disconnected. An undirected graph ''G'' is therefore disconnected if there exist two vertic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
If And Only If
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is biconditional (a statement of material equivalence), and can be likened to the standard material conditional ("only if", equal to "if ... then") combined with its reverse ("if"); hence the name. The result is that the truth of either one of the connected statements requires the truth of the other (i.e. either both statements are true, or both are false), though it is controversial whether the connective thus defined is properly rendered by the English "if and only if"—with its pre-existing meaning. For example, ''P if and only if Q'' means that ''P'' is true whenever ''Q'' is true, and the only case in which ''P'' is true is if ''Q'' is also true, whereas in the case of ''P if Q'', there could be other scenarios where ''P'' is true and ''Q ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
