Fuzzy Logical Algebras and Its ApplicationsView this Special Issue
Research Article | Open Access
Ling-Xia Lu, Bei Zhang, "Graphs and Matroids Weighted in a Bounded Incline Algebra", The Scientific World Journal, vol. 2014, Article ID 912715, 4 pages, 2014. https://doi.org/10.1155/2014/912715
Graphs and Matroids Weighted in a Bounded Incline Algebra
Firstly, for a graph weighted in a bounded incline algebra (or called a dioid), a longest path problem (LPP, for short) is presented, which can be considered the uniform approach to the famous shortest path problem, the widest path problem, and the most reliable path problem. The solutions for LPP and related algorithms are given. Secondly, for a matroid weighted in a linear matroid, the maximum independent set problem is studied.
In graph theory, the famous shortest path problem (SPP, for short) is the problem of finding a path between two vertices in a weighted graph such that the sum of the weights of its constituent edges is minimized . An example is finding the quickest way to get from one location to another on a road map. In this case, the vertices represent locations and the edges represent segments of road and are weighted by the time needed to travel that segment.
If we assume the weighted function to be nonnegative, then the related algebraic foundation of SPP is the semiring . Therein, we use the operation “+” to compute the length of paths and use the operation “min” to find the least one. For the widest path problem (WPP, for short) or called the greatest capacity problem (GCP, for short), the related algebraic foundation is the semiring . Accordingly, we use the operation “min” to compute the capacities and use the operation “max” to find the greatest one. For the most reliable path problem (MRPP, for short), the related algebraic foundation is the semiring . Accordingly, we use the operation “” to compute the reliability of paths and use the operation “max” to find the greatest one. There are many other classical problems using various semirings in graph theory .
For both for SPP and for WPP as well as the corresponding algorithms, the value “” is used to act as the weight of artificial edges between vertex pairs with no edge. For these reasons, SPP, WPP, and MRPP (and other potential problems) can be put into a more generalized setting: the algebraic path problem . The first aim of this paper is to unify SPP, WPP, WPP, and other path problems into graphs weighted in an idempotent semiring (also known as a dioid) . We shall give a unified approach to find the shortest path, the widest path, and the most reliable path as well as their length.
In 1935, Whitney introduced matroids as a generalization of both graphs and linear independence in vector spaces . It is well known that matroids play an important role in applied mathematics, especially in optimal theory, which are precisely the structures for the maximum independent set problem (MISP, for short) which the very simple and efficient greedy algorithm works . The second aim of this paper is to study matroids weighted in a linear dioid and the related MISP.
2. Semirings, Incline Algebras, Dioids, and Their Properties
Semirings and matrices over semirings are useful tools in diverse areas such as automata theory, design of switching circuits, graph theory, medical diagnosis, Markov chains, informational systems, complex systems modeling, decision-making theory, dynamical programming, control theory, nervous system, probable reasoning, psychological measurement, and clustering [3, 6].
Definition 1 (see ). A (2,2)-type algebra is called a semiring if(K1)both and are semigroups;(K2) is commutative; that is, for all ;(K3) is distributive over ; that is ; for all .
We call a semiring preunital if there is a special element such that is a monoid; that is, for every .
Proposition 2. For every preunital semiring , the following conditions are equivalent:(K4) is absorbing with respect to the operation ; that is, for every ;(K4′) and for all .
Proof. (K4)⇒(K4′): . Similarly, .
A preunital semiring with condition (K4) is called a unital semiring. A semiring is called idempotent if is idempotent; that is, for all . An idempotent semiring with the condition (K4′) is called an incline algebra .
Proposition 3. Suppose that is a unital semiring and is an element in . Then the following conditions are equivalent:(K5) is absorbing with respect to the operation ; that is, for every ;(K5′) is a monoid; that is, for every .
Proof. (K5)⇒(K5′): by (K4′), .
(K5′)⇒(K5): by (K4′), .
An idempotent and unital semiring with condition (K5) is called a dioid; that is, a dioid is an incline with (K4′) and (K5′), which is called a bounded incline algebra .
In every dioid , we define iff . Then is a partial order on and is a bounded join semilattice. Clearly, is the bottom element and is the top element, so is the name bounded incline.
Proposition 4 (see ). If , , then and .
Proof. Since , , we have , :(1) and ;(2) and then . Similarly, . Hence .
Example 5 (classical examples). (1) is a dioid, which is an algebraic model for SPP. The partial order defined above is dual to the usual one . For explicit, iff in usual meaning.
(2) is a dioid, which is an algebraic model for WPP. The partial order defined above is the same as the usual one .
(3) is a dioid, which is an algebraic model for MRPP. The partial order defined above is the same as the usual one .
Example 6 (other examples). Consider(1);(2);(3);(4).
Let be an -matrix and let be an -matrix over a semiring . Define by .
Proposition 7. Let be three matrices. Then .
Proof. Let , and , . Then
3. Graphs Weighted in a Dioid and the Longest Path Problem
For the dioid in SPP, since the partial order is dual to the usual one , the SPP in the dioid situation comes to be a longest path problem (LPP for short). In this section, we will study the LPP for graphs weighted in a dioid, which can be considered a unified approach for SPP, WPP, and MRPP (and so on).
Let be a graph weighted in a dioid . For two vertices , let denote the set of paths from to . For , is called the length of the path . Since is idempotent, is the longest path length from to . For the weighted graph , define a matrix by the following:(1)for , if there are some paths from to , then put as the maximal weight of all parallel edges from to ; if there is no path from to , then put ;(2)for every , put .
For any , define and ().
Proposition 8. (1) is the longest -step path from to .
(2) For any , then .
(3) for all .
Proof. (1) We use the induction to prove this result. For , the result holds. Suppose that the result holds for . For , . Let be an -step path from to . Then is an -step path from to , where is the end vertex of ; and is an edge from to and . Then and . This completes the proof.
(3) Suppose that . By (2), we have . By (1), is the longest -step path from to . Suppose that the related path of is , since there is at most vertices in and there are some common points in . Suppose that and (let ) are the same point. In order to make the longest path, it must hold that for all . Then the length is equal to the length of a path from to with no common point (with at most vertices). Hence since is the longest -step path from to .
We now present two algorithms to compute the longest path length and the corresponding longest path.
Algorithm 9. To find the longest path length from a vertex to another one , input: and ; output: the longest path length from to ; (1) (); , (); (2) for to do. Put . If , then print “the longest path length is .”
Algorithm 10. Suppose that the longest path length from to is . To find the related longest path, input: for ; output: the longest path from to ; (1) ; (2) for to do. Find such that ; (3) ; (4) print “”.
4. Matroids Weighted in a Linear Dioid and the Maximum Independent Set Problem
For a classical graph , let has no circuit}. Then is a matroid; that is,(I1);(I2) implies ;(I3)for , if , then there exists such that .
Similar to weighted graph, matroids also play an important role in mathematics, especially in applied mathematics, which are precisely the structures for which the very simple and efficient greedy algorithm works .
We suppose that is a linear dioid. Let be a finite set and a matroid weighted in with being the weighted function.
In the optimization theory, the maximum independent set problem (MISP, for short) is to find an independent subset such that . We will use the famous greedy algorithm to deal with this problem.
The greedy algorithm:(1)labeling such that ;(2)∅;(3)for to do, if , then .
Proposition 11. The greedy algorithm has an optimal solution.
Proof. Suppose that is a solution of GA. Then . For any , we need to show that . Suppose that and with and . On one hand, by the algorithm, we have ; that is, . On the other hand, if , then there exits a least integral number such that . Put and . We have . By the minimality of , for any , if , then . Hence , which is contradicting with . For a summary, we have . This completes the proof.
Proposition 12. Suppose that is a matroid and is a linear dioid. Let . Then the set of maximal points is precisely the characteristic vectors of all independent sets in .
Proof. Suppose that is a maximal point of . Then there exists a vector such that the following optimal problem has a unique solution.
Problem. , where is a weighted function.
By greedy algorithm, the solution of this problem has the form for some independent set . Then . On the other hand, if , then it is easily seen that is a maximal point of .
In [8, 9], for a complete lattice , Shi introduced an approach to fuzzification of matroids, namely, an -fuzzifying matroid, which are successfully characterized by a kind of fuzzy rank functions. Consequently, the corresponding axioms of bases and circuits, dependent sets, and closure operators are established, by which -fuzzifying matroids are also equivalently characterized [10–12].
Of course, for a complete lattice , we know that is a special dioid. So, a natural question arises: Can we generalize the truth value table of Shi’s -fuzzifying matroid to a dioid? We here try a first attempt to give a positive answer.
Definition 13. Suppose that is a dioid and let be a finite set. A map is a map satisfying the followin: (FI1) ; (FI2) if , then ; (FI3) if , then .The pair is called a -fuzzifying matroid.
By , we know that a graph weighted in the unit interval induces a -fuzzifying matroid in a natural way. For a dioid , we have the similar results.
Proposition 14. Suppose that is a weighed graph in a dioid . Define by if is independent and 0 otherwise. Then is a -fuzzifying matroid.
Proof. The proof is a routine.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The first author is thankful to the financial support from Natural Science Foundation of Hebei Province (A2014403008).
- J. A. Bondy and U. S. R. Murty, Graph Theory, vol. 244, Springer, New York, NY. USA, 2008.
- K. K. Somasundaram and J. S. Baras, “Solving multi-metric network problems: an interplay between idempotent semiring rules,” Linear Algebra and Its Applications, vol. 435, no. 7, pp. 1494–1512, 2011.
- M. Gondran and M. Minoux, Graphs, Dioids and Semirings: New Models and Algorithms, Springer, 2008.
- H. Whitney, “On the abstract properties of linear dependence,” American Journal of Mathematics, vol. 57, no. 3, pp. 509–533, 1935.
- J. G. Oxley, Matroid Theory, Oxford Universty Press, Oxford, UK, 1992.
- Z. Q. Cao, K. H. Kim, and F. W. Roush, Incline Algebra and Applications, John Wiley & Sons, New York, NY, USA, 1984.
- S. C. Han, A study on incline matrices with indices [Ph.D. thesis], Beijing Normal University, Beijing, China, 2005.
- F. Shi, “A new approach to the fuzzification of matroids,” Fuzzy Sets and Systems, vol. 160, no. 5, pp. 696–705, 2009.
- F. G. Shi, “-fuzzy matroids,” Fuzzy Sets and Systems, vol. 160, no. 16, pp. 2387–2400, 2009.
- F.-G. Shi and L. Wang, “Characterizations and applications of M-fuzzifying matroids,” Journal of Intelligent and Fuzzy Systems, vol. 25, pp. 919–930, 2013.
- L. Wang and F. G. Shi, “Characterization of L-fuzzifying matroids by L-fuzzifying closure operators,” Iranian Journal of Fuzzy Systems, vol. 7, no. 1, pp. 47–58, 2010.
- W. Yao and F. G. Shi, “Bases axioms and circuits axioms for fuzzifying matroids,” Fuzzy Sets and Systems, vol. 161, no. 24, pp. 3155–3165, 2010.
Copyright © 2014 Ling-Xia Lu and Bei Zhang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.