|
Deficiency (graph Theory)
Deficiency is a concept in graph theory that is used to refine various theorems related to perfect matching in graphs, such as Hall's marriage theorem. This was first studied by Øystein Ore. A related property is surplus. Definition of deficiency Let be a graph, and let ''U'' be an independent set of vertices, that is, ''U'' is a subset of ''V'' in which no two vertices are connected by an edge. Let denote the set of neighbors of ''U'', which is formed by all vertices from 'V' that are connected by an edge to one or more vertices of ''U''. The deficiency of the set ''U'' is defined by: :\mathrm_G(U) := , U, - , N_G(U), Suppose ''G'' is a bipartite graph, with bipartition ''V'' = ''X'' ∪ ''Y''. The deficiency of ''G'' with respect to one of its parts (say ''X''), is the maximum deficiency of a subset of ''X'': :\mathrm(G;X) := \max_ \mathrm_G(U) Sometimes this quantity is called the critical difference of ''G''. Note that defG of the empty subset is 0, so def(''G;''X) � ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Theory
In mathematics and computer science, graph theory is the study of ''graph (discrete mathematics), graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of ''Vertex (graph theory), vertices'' (also called ''nodes'' or ''points'') which are connected by ''Glossary of graph theory terms#edge, edges'' (also called ''arcs'', ''links'' or ''lines''). A distinction is made between undirected graphs, where edges link two vertices symmetrically, and directed graphs, where edges link two vertices asymmetrically. Graphs are one of the principal objects of study in discrete mathematics. Definitions Definitions in graph theory vary. The following are some of the more basic ways of defining graphs and related mathematical structures. Graph In one restricted but very common sense of the term, a graph is an ordered pair G=(V,E) comprising: * V, a Set (mathematics), set of vertices (also called nodes or points); * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Perfect Matching
In graph theory, a perfect matching in a graph is a matching that covers every vertex of the graph. More formally, given a graph with edges and vertices , a perfect matching in is a subset of , such that every vertex in is adjacent to exactly one edge in . The adjacency matrix of a perfect matching is a symmetric permutation matrix. A perfect matching is also called a 1-factor; see Graph factorization for an explanation of this term. In some literature, the term complete matching is used. Every perfect matching is a maximum-cardinality matching, but the opposite is not true. For example, consider the following graphs:Alan Gibbons, Algorithmic Graph Theory, Cambridge University Press, 1985, Chapter 5. : In graph (b) there is a perfect matching (of size 3) since all 6 vertices are matched; in graphs (a) and (c) there is a maximum-cardinality matching (of size 2) which is not perfect, since some vertices are unmatched. A perfect matching is also a minimum-size edge cov ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hall's Marriage Theorem
In mathematics, Hall's marriage theorem, proved by , is a theorem with two equivalent formulations. In each case, the theorem gives a necessity and sufficiency, necessary and sufficient condition for an object to exist: * The Combinatorics, combinatorial formulation answers whether a Finite set, finite collection of Set (mathematics), sets has a transversal (combinatorics), transversal—that is, whether an element can be chosen from each set without repetition. Hall's condition is that for any group of sets from the collection, the total unique elements they contain is at least as large as the number of sets in the group. * The Graph theory, graph theoretic formulation answers whether a finite bipartite graph has a perfect matching—that is, a way to match each vertex from one group uniquely to an adjacent vertex from the other group. Hall's condition is that any subset of vertices from one group has a neighbourhood (graph theory), neighbourhood of equal or greater size. Combinat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Øystein Ore
Øystein Ore (7 October 1899 – 13 August 1968) was a Norwegian mathematician known for his work in ring theory, Galois connections, graph theory, and the history of mathematics. Life Ore graduated from the University of Oslo in 1922, with a Cand.Real.degree in mathematics. In 1924, the University of Oslo awarded him the Ph.D. for a thesis titled ''Zur Theorie der algebraischen Körper'', supervised by Thoralf Skolem. Ore also studied at Göttingen University, where he learned Emmy Noether's new approach to abstract algebra. He was also a fellow at the Mittag-Leffler Institute in Sweden, and spent some time at the University of Paris. In 1925, he was appointed research assistant at the University of Oslo. Yale University’s James Pierpont went to Europe in 1926 to recruit research mathematicians. In 1927, Yale hired Ore as an assistant professor of mathematics, promoted him to associate professor in 1928, then to full professor in 1929. In 1931, he became a Sterling Profe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Independent Set (graph Theory)
In graph theory, an independent set, stable set, coclique or anticlique is a set of vertices in a graph, no two of which are adjacent. That is, it is a set S of vertices such that for every two vertices in S, there is no edge connecting the two. Equivalently, each edge in the graph has at most one endpoint in S. A set is independent if and only if it is a clique in the graph's complement. The size of an independent set is the number of vertices it contains. Independent sets have also been called "internally stable sets", of which "stable set" is a shortening. A maximal independent set is an independent set that is not a proper subset of any other independent set. A maximum independent set is an independent set of largest possible size for a given graph G. This size is called the independence number of ''G'' and is usually denoted by \alpha(G). The optimization problem of finding such a set is called the maximum independent set problem. It is a strongly NP-hard problem. As ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bipartite Graph
In the mathematics, mathematical field of graph theory, a bipartite graph (or bigraph) is a Graph (discrete mathematics), graph whose vertex (graph theory), vertices can be divided into two disjoint sets, disjoint and Independent set (graph theory), independent sets U and V, that is, every edge (graph theory), edge connects a Vertex (graph theory), vertex in U to one in V. Vertex sets U and V are usually called the ''parts'' of the graph. Equivalently, a bipartite graph is a graph that does not contain any odd-length cycle (graph theory), cycles. The two sets U and V may be thought of as a graph coloring, coloring of the graph with two colors: if one colors all nodes in U blue, and all nodes in V red, each edge has endpoints of differing colors, as is required in the graph coloring problem.. In contrast, such a coloring is impossible in the case of a non-bipartite graph, such as a Gallery of named graphs, triangle: after one node is colored blue and another red, the third vertex ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete Mathematics (journal)
''Discrete Mathematics'' is a biweekly peer-reviewed scientific journal in the broad area of discrete mathematics, combinatorics, graph theory, and their applications. It was established in 1971 and is published by North-Holland Publishing Company. It publishes both short notes, full length contributions, as well as survey articles. In addition, the journal publishes a number of special issues each year dedicated to a particular topic. Although originally it published articles in French and German, it now allows only English language articles. The editor-in-chief is Douglas West ( University of Illinois, Urbana). History The journal was established in 1971. The first article it published was written by Paul Erdős, who went on to publish a total of 84 papers in the journal. Abstracting and indexing The journal is abstracted and indexed in: According to the ''Journal Citation Reports'', the journal has a 2020 impact factor The impact factor (IF) or journal impact facto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Maximum Cardinality Matching
Maximum cardinality matching is a fundamental problem in graph theory. We are given a graph , and the goal is to find a matching containing as many edges as possible; that is, a maximum cardinality subset of the edges such that each vertex is adjacent to at most one edge of the subset. As each edge will cover exactly two vertices, this problem is equivalent to the task of finding a matching that covers as many vertices as possible. An important special case of the maximum cardinality matching problem is when is a bipartite graph, whose vertices are partitioned between left vertices in and right vertices in , and edges in always connect a left vertex to a right vertex. In this case, the problem can be efficiently solved with simpler algorithms than in the general case. Algorithms for bipartite graphs Flow-based algorithm The simplest way to compute a maximum cardinality matching is to follow the Ford–Fulkerson algorithm. This algorithm solves the more general probl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Supermodular Function
In mathematics, a supermodular function is a function on a lattice that, informally, has the property of being characterized by "increasing differences." Seen from the point of set functions, this can also be viewed as a relationship of "increasing returns", where adding more elements to a subset increases its valuation. In economics, supermodular functions are often used as a formal expression of complementarity in preferences among goods. Supermodular functions are studied and have applications in game theory, economics, lattice theory, combinatorial optimization, and machine learning. Definition Let (X, \preceq) be a lattice. A real-valued function f: X \rightarrow \mathbb is called supermodular if f(x \vee y) + f(x \wedge y) \geq f(x) + f(y) for all x, y \in X. If the inequality is strict, then f is strictly supermodular on X. If -f is (strictly) supermodular then ''f'' is called (strictly) submodular. A function that is both submodular and supermodular is called modula ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fractional Matching
In graph theory, a fractional matching is a generalization of a matching in which, intuitively, each vertex may be broken into fractions that are matched to different neighbor vertices. Definition Given a graph G=(V,E), a fractional matching in G is a function that assigns, to each edge e\in E, a fraction f(e)\in ,1/math>, such that for every vertex v\in V, the sum of fractions of edges adjacent to v is at most one: \forall v\in V: \sum_f(e)\leq 1 A matching in the traditional sense is a special case of a fractional matching, in which the fraction of every edge is either zero or one: f(e)=1 if e is in the matching, and f(e)=0 if it is not. For this reason, in the context of fractional matchings, usual matchings are sometimes called ''integral matchings''. Size The size of an integral matching is the number of edges in the matching, and the matching number \nu(G) of a graph G is the largest size of a matching in G. Analogously, the ''size'' of a fractional matching is the sum ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Submodular Set Function
In mathematics, a submodular set function (also known as a submodular function) is a set function that, informally, describes the relationship between a set of inputs and an output, where adding more of one input has a decreasing additional benefit ( diminishing returns). The natural diminishing returns property which makes them suitable for many applications, including approximation algorithms, game theory (as functions modeling user preferences) and electrical networks. Recently, submodular functions have also found utility in several real world problems in machine learning and artificial intelligence, including automatic summarization, multi-document summarization, feature selection, active learning, sensor placement, image collection summarization and many other domains. Definition If \Omega is a finite set, a submodular function is a set function f:2^\rightarrow \mathbb, where 2^\Omega denotes the power set of \Omega, which satisfies one of the following equivalent condit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Acta Mathematica Hungarica
'' Acta Mathematica Hungarica'' is a peer-reviewed mathematics journal of the Hungarian Academy of Sciences, published by Akadémiai Kiadó and Springer Science+Business Media. The journal was established in 1950 and publishes articles on mathematics related to work by Hungarian mathematicians. Its 2009 MCQ was 0.39, and its 2015 impact factor was 0.469. The editor-in-chief is Imre Bárány, honorary editor is Ákos Császár, the editors are the mathematician members of the Hungarian Academy of Sciences. Abstracting and indexing According to the ''Journal Citation Reports'', the journal had a 2021 impact factor of 0.979. This journal is indexed by the following services: * Science Citation Index * Journal Citation Reports/Science Edition * Scopus * Mathematical Reviews * Zentralblatt Math zbMATH Open, formerly Zentralblatt MATH, is a major reviewing service providing reviews and abstracts for articles in pure and applied mathematics, produced by the Berlin office of F ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
