Search results
Results From The WOW.Com Content Network
Graph homomorphism problem [3]: GT52 Graph partition into subgraphs of specific types (triangles, isomorphic subgraphs, Hamiltonian subgraphs, forests, perfect matchings) are known NP-complete. Partition into cliques is the same problem as coloring the complement of the given graph. A related problem is to find a partition that is optimal terms ...
succinct versions of many graph problems, with graphs represented as Boolean circuits, [43] ordered binary decision diagrams [44] or other related representations: s-t reachability problem for succinct graphs. This is essentially the same as the simplest plan existence problem in automated planning and scheduling. planarity of succinct graphs
Often, the problem is to decompose a graph into subgraphs isomorphic to a fixed graph; for instance, decomposing a complete graph into Hamiltonian cycles. Other problems specify a family of graphs into which a given graph should be decomposed, for instance, a family of cycles, or decomposing a complete graph K n into n − 1 specified trees ...
Many mathematical problems have been stated but not yet solved. These problems come from many areas of mathematics, such as theoretical physics, computer science, algebra, analysis, combinatorics, algebraic, differential, discrete and Euclidean geometries, graph theory, group theory, model theory, number theory, set theory, Ramsey theory, dynamical systems, and partial differential equations.
Thomae's function: is a function that is continuous at all irrational numbers and discontinuous at all rational numbers. It is also a modification of Dirichlet function and sometimes called Riemann function. Kronecker delta function: is a function of two variables, usually integers, which is 1 if they are equal, and 0 otherwise.
A path graph or linear graph of order n ≥ 2 is a graph in which the vertices can be listed in an order v 1, v 2, …, v n such that the edges are the {v i, v i+1} where i = 1, 2, …, n − 1. Path graphs can be characterized as connected graphs in which the degree of all but two vertices is 2 and the degree of the two remaining vertices is 1.
Given a function: from a set X (the domain) to a set Y (the codomain), the graph of the function is the set [4] = {(, ()):}, which is a subset of the Cartesian product.In the definition of a function in terms of set theory, it is common to identify a function with its graph, although, formally, a function is formed by the triple consisting of its domain, its codomain and its graph.
In particular, every graph property expressible as a first-order sentence can be tested in linear time for the graphs of bounded expansion. These are the graphs in which all shallow minors are sparse graphs, with a ratio of edges to vertices bounded by a function of the depth of the minor. Even more generally, first-order model checking can be ...