Abstract
Considering the requirement of biggest download speed of the terminals, a BitTorrent-like Peer-to-Peer (P2P) file sharing system can be reduced into a system of max-min fuzzy relation inequalities. In this paper we establish an evaluation model by the satisfaction degree, for comparing two arbitrary potential solutions of such system. Besides, based on the evaluation model, concept of approximate solution is defined. It is indeed a potential solution with highest satisfaction degree. Furthermore, effective algorithm is developed for obtaining the approximate solutions to inconsistent system. Numerical examples are provided to illustrate our proposed model and algorithm.
1. Introduction
Fuzzy relation equation was first introduced by Sanchez [1] with application in medical diagnosis in Brouwerian logic [2]. The first proposed and commonly used composition in a fuzzy relation system is the classical max-min one. Later soon it was extended to the general max- one, in which represents a continuous triangular norm. The complete solution set of such max- fuzzy relation equations or inequalities is completely determined by its unique greatest solution (also named maximum solution) and all its minimal solutions. A consistent system usually has a finite number of minimal solutions. Solving a consistent max- fuzzy relation system is equivalent to finding all its minimal solutions. There exist many resolution methods for a consistent max- fuzzy relation system [3–23].
Inequality is a useful tool for describing various of quantitative relations in the real world [24–32]. It plays important role in mathematics. Fuzzy relation inequalities, as a special kind of inequalities, were also studied. It was recently found that a BitTorrent-like Peer-to-Peer (P2P) file sharing system could be reduced into a system of addition-min fuzzy relation inequalities [33–39]. Assume that there exist terminals, i.e., , in the file sharing system. Based on the BitTorrent-like P2P transmission mechanism, each terminal is able to receive (or download) file data from any other terminal. Meanwhile, the th terminal sends out file data with quality level to any other terminal, . The bandwidth between terminals and is , . Due to the bandwidth limitation, the network traffic that receives from is actually , .
In [33–36], the quality requirement of download traffic of was considered as the total download speed that received file data from , i.e., Suppose the quality requirement of download traffic of is at least . After normalization, the P2P file sharing system could be reduced into the following system of addition-min fuzzy relation inequalities:where , , . Here and are two index sets.
However in some cases, a file should be downloaded from another terminal in whole. That is to say, when a terminal plans to obtain a file which cannot be separated, it would choose only one other terminal to receive (download) the file. In this situation, it is more reasonable to consider the quality requirement of download traffic of as the biggest (highest) download speed that receives file data from , i.e., Correspondingly the P2P file sharing system is reduced into the following max-min fuzzy relation inequalities:The matrix form of system (4) is where .
In most of the existing works, theoretical results of fuzzy relation equation or inequality depended on the assumption that the system was consistent. However, as pointed out in [40], this assumption is often not the case in practical applications. Hence investigation on the inconsistent system of fuzzy relation equations or inequalities is necessary and important. For a consistent system, the major objective is usually to obtain its solution(s), while for an inconsistent system, the major objective is often to find its approximate solution(s). Approximate solution to inconsistent system of fuzzy relation equations was studied by Pedrycz [41] for the first time. Modified Newton method was applied to find the approximate solution. Another method based on the solvability index was also proposed by Gottwald and Pedrcz [42] to deal with such problem. However, referring to the arguments in the work of Klir and Yuan [43], this method is rather inefficient and may lead to a trivial solution. In [43], quality index was adopted to measure the goodness of an approximate solution. In recent years other efficient methods were proposed to solve the approximate solution, based on the goodness measured by Euclidean distance [44], i.e.,or by Hamming distance [40, 45, 46], i.e.,
However, as we know there is no existing literature investigating the approximate solution to inconsistent system of fuzzy relation inequalities. In this paper we aim to establish an evaluation model to max-min fuzzy relation inequalities which describe the P2P file sharing system. In such evaluation model, we will develop effective method for evaluating any potential solution. Moreover, based on the evaluation model we may further define concept of approximate solution to inconsistent system of max-min fuzzy relation inequalities.
The rest of the paper is organized as follows. In Section 2 we provide some necessary results on max-min fuzzy relation inequality. In Section 3 an evaluation model is established to compare two arbitrary potential solutions, considering the application background in BitTorrent-like P2P file sharing system. Based on such evaluation model, approximate solution of inconsistent system of max-min fuzzy relation inequalities is investigated in Section 4, with step-by-step algorithm and numerical illustrative example. Simple conclusion is set in Section 5.
2. Preliminaries
In this section we present some basic definitions and results related to max-min fuzzy relation inequality.
Denote . We call any a potential solution of system (4). Correspondingly, is called the potential solution set.
Definition 1 (See [36]). Let , ; we define
(i) if , ;
(ii) if and there are some such that .
In what follows we shall denote the dual of order relation ‘<’ and ‘≤’ by the symbol ‘>’ and ‘≥’, respectively. Obviously, the operator ‘≤’ forms a partial order relation on and becomes a lattice [34, 36].
Let be the solution set of system (4).
Definition 2. System (4) is said to be consistent (or compatible) if . Otherwise, it is said to be inconsistent.
Definition 3. A solution is said to be the maximum (or greatest) solution of system (4) if and only if for all . A solution is said to be a minimal (or lower) solution of system (4) if and only if implies for any .
System (4) can be written asFor given , we define
Theorem 4. For system (4), the following statements are equivalent:(i)system (4) is consistent;(ii) holds for any ;(iii) holds for any ;(iv) is a solution of system (4).
Proof. The proof is trivial.
Remark 5 (see [47]). When system (4) is consistent, the vector is always the unique maximum solution of system (4).
Proposition 6. If , then for any satisfying , i.e., .
Proof. The proof is trivial.
It is shown in [48] that there exist a finite number of minimal solutions to system (4) when it is consistent. We denote the set of all minimal solutions of system (4) by .
Theorem 7 (see [47, 48]). If system (4) is consistent, then the solution set of (4) iswhere is the minimal solution set and is the maximum solution.
It is expressed in Theorem 7 that the solution set of system (4) is completely determined by a unique maximum solution and a finite number of minimal solutions when it is consistent. It follows from Theorem 7 that the unique maximum solution can be easily obtained. On the other hand, the minimal solutions can be solved by the conservative path method as presented in [48].
3. Evaluation Model to a System of Max-Min Fuzzy Relation Inequalities
Obviously, each potential solution of system (4) represents a scheme of quality level on which the terminals send file data. In this section, our purpose is to establish a rational evaluation model for comparing the superiorities of any two potential solutions.
As known to everybody, a solution of system (4) is a vector satisfying all the inequalities in (4). However, an arbitrary potential solution might not satisfy all the inequalities. The superiority of a potential solution depends on the degree that satisfies system (4). We give the concept of satisfaction degree below, based on which we can set up the evaluation model.
Definition 8 (satisfaction degree). Let be a potential solution of system (4). Then is said to be the satisfaction degree function of with respect to the th inequality, whereand is said to be the satisfaction degree (vector) of .
Remark 9. For any , it holds that , . In particular, holds if and only if .
Definition 10. Let be two arbitrary potential solutions of system (4), with satisfaction degree vectors and , respectively. is said to be (strictly) superior to , denoted by (), if and only if (). Besides, is said to be approximatively equal to , denoted by , if and only if .
Applying Definition 10, we are able to compare the superiorities of any two potential solutions of system (4). Thus Definitions 8 and 10 form the evaluation model. Next we investigate some simple properties and provide a numerical example to illustrate the above evaluating approach.
Theorem 11. System (4) is consistent if and only if there exists some such that for all . Furthermore, if system (4) is consistent, then if and only if for all .
Proof. It can be easily obtained from Theorem 4 and Definition 8.
Theorem 12. Let . Then(i);(ii) and imply ;(iii) and imply .
Proof. (i) It is obvious that . Thus .
(ii) indicates , while indicates . According to Definition 1 it is easy to verify that , which leads to .
(iii) It follows from and that and . So we get . According to Definition 10, it holds that .
It is shown in Theorem 12 that “” is a partial order (relation) on the set .
Example 13. Consider a BitTorrent-like P2P file sharing system including five users (terminals), denoted by (see Figure 1).
Suppose the th user sends the file data with quality level , and the system shown in Figure 1 can be reduced into the following max-min fuzzy relation inequalities:System (12) can be written as its matrix form, i.e.,Three potential solutions are given as follows:We aim to evaluate the superiorities of .
Computing the satisfaction degree vectors of by Definition 8, we get Obviously . It follows from Definition 10 that is approximatively equal to , i.e., . Besides, both and are superior to , i.e., . According to Theorem 11, system (12) is consistent and both and are solutions of (12).

Example 14. A six-user BitTorrent-like Peer-to-Peer file sharing system is reduced into the following max-min fuzzy relation inequalities:where and is the max-min composition. Here, represents the bandwidth between th user and th user, is the quality level on which the file data are sent from th user, and is the quality requirement of download traffic of th user. Our purpose is to compare the superiorities of the following potential solutions: Solution. Since , it follows from Theorem 4 that system (16) is inconsistent.
Now we compute the satisfaction degree vectors of , respectively. According to Definition 8,It is obvious that . Hence is approximatively equal to , while and are both strictly superior to , i.e.,
4. Approximate Solution to Inconsistent System of Max-Min Fuzzy Relation Inequalities
In this section, based on the evaluation model described above, we define concept of approximate solution in case system (4) is inconsistent. Moreover, solution method is constructed to find all the approximate solutions to inconsistent system (4).
In this section we always assume that system (4) is inconsistent.
DenoteSince system (4) is inconsistent, it is clear that following Theorem 4.
Proposition 15. If , then holds for any .
Proof. The proof is trivial.
Definition 16 (approximate solution). A vector is said to be an approximate solution if and only if is superior to , i.e., , for any .
In Definition 16, it means that an approximate solution is a potential solution with the highest satisfaction degree (vector).
Proposition 17. Suppose both and are approximate solutions to system (4). Then(i) for all , i.e. .(ii).
Proof. (i) can be obtained directly from Definitions 10 and 16. Now we check the second point. Since both and are approximate solutions, it is obvious that . It follows from Definition 16 that and , which indicate .
Notice that is a partial order on the set , but not a total order. That is to say, not any two potential solutions can be compared under the order “.” Hence, to make Definition 16 reasonable, the existence of the approximate solution should be checked first. Existence of the approximate solution to an inconsistent system of max-min fuzzy relation inequalities is shown in the following Theorem 18.
Theorem 18. The vector is always an approximate solution to system (4).
Proof. For arbitrary , holds for any . So we have Next we verify that in two cases.
Case 1. If , then and .
Case 2. If , then we have and . It follows from Definition 8 that .
Corollary 19. is the maximum approximate solution to system (4).
Until now, we are able to obtain the maximum approximate solution to system (4). However, is there another approximate solution? If there exists, how to find out all the approximate solutions? In the following we focus on these two questions and propose effective method for solving all the approximate solution.
Let , whereBased on , we construct the following system of max-min fuzzy relation inequalities.
Proposition 20. System (24) is consistent.
Proof. For , . For , . That is, holds for all . According to Theorem 4, system (24) is consistent.
As a consistent system of max-min fuzzy relation inequalities, system (24) can be solved by the existing method(s), e.g., conservative path method [48]. Denote the solution set of system (24) by .
Theorem 21. Let . Then is an approximate solution to system (4) if and only if is a solution to system (24).
Proof. () If is an approximate solution to system (4), then holds for any . Since , we haveCase 1. If , then , which indicates . Combining Inequality (25), . Observing Remark 9, it holds that andOn the other hand, by equality (23), indicates . So we getCase 2. If , then , which indicatesMoreover, since for all , it holds thatAccording to Definition 8,Combining inequalities (25), (28), and (30), we geti.e., . Besides, again by equality (23), indicates . Hence .
Cases 1 and 2 show that for any . Consequently is a solution to system (24).
() Let be an arbitrary potential solution to system (4). In order to complete the proof, we need to check that for all .
Case 1. If , then . Since is a solution to system (24), According to Definition 8 and Remark 9, it is obvious that .
Case 2. If , then and . It follows from that According to Definition 8, we haveOn the other hand, since is a solution to system (24), it follows thatCombining (34) and (35), . The proof is complete.
Corollary 22. The set of all approximate solutions to system (4) is .
Corollary 23. The set of all approximate solutions to system (4) is determined by a unique maximum approximate solution and a finite number of minimal approximate solutions.
Based on the above results related to inconsistent system (4), we propose some solution procedures for solving all its approximate solutions as follows.
Step 1. Compute the index sets and according to (21).
Step 2. Compute the vector by (23).
Step 3. Based on and , , construct a consistent system of max-min fuzzy relation inequalities, i.e., system (24).
Step 4. Find out all the minimal solutions of system (24), denoted by , applying the conservative path method.
Step 5. The set of all approximate solutions to system (4) iswhere .
In the following a numerical example is provided to illustrate the above-proposed solution method.
Example 24. Find the set of all approximate solutions to system (16) in Example 14, which has been checked to be inconsistent.
Solution
Step 1. Compute the index sets and according to (21).Hence the index sets are
Step 2. Compute the vector by (23). For , we have . Thus . On the other hand, for , we getConsequently .
Step 3. Based on , and obtained in Step 2, we construct a consistent system of max-min fuzzy relation inequalities as follows:
Step 4. Compute the minimal solutions of system (40) by applying the conservative path method. The characteristic matrix of system (40) is There exist four conservative paths, i.e., Each conservative path corresponds to one minimal solution. All the minimal solutions of system (40) are Hence, the set of all minimal approximate solutions to system (16) is .
Step 5. The set of all approximate solutions to system (16) iswhere is the maximum approximate solution, while is the minimal approximate solution obtained in Step 4, .
Example 25. In this example we provide a simple real world P2P file sharing system, including 6 users in the system. The users are represented by (see Figure 2).
The bandwidth between and is denoted by , , . Values of are shown in Table 1, with measure unit Mbps.
The expected requirements of the users for their file downloading are , whereBesides, the user sends out its local file data with quality level , . As a consequence, if we denote and then the above-given P2P file sharing system could be described byorTo convert it into max-min fuzzy relation inequalities system, we normalize all the parameters and variables. We divide each quantity in system (47) by 50. Then system (47) (or (48)) turns out to bewhere , , and Following Theorem 4, it is easy to check that system (49) is inconsistent. Moreover, applying the method proposed in Section 4, we are able to obtain the complete approximate solution set of system (49) as , where and Correspondingly, the solution set of system (48) is , where and Keep in mind that the measure unit is Mbps.
Now we consider the satisfaction degrees of 6 different potential solutions as follows: The satisfaction degree represents the degree in which the potential solution satisfies the th inequality in system (47), , . Detailed values of the satisfaction degrees are presented in Table 2.
In fact, are all approximate solutions of system (47) (i.e., (48)). When the system works with these approximate solutions, it owns the highest satisfaction degree, i.e.,This indicates, when the system works with any approximate solution, e.g., or , the quality requirements of the users are satisfied with degrees 1,0.8,0.9,1,1,1, respectively. Obviously, the quality requirements of the users , and are completely satisfied.
On the other hand, the vectors are not approximate solutions of system (47). Their corresponding satisfaction degree is no more than that of the approximate solutions. For example, when the system works with , the satisfaction degree isThere is no user whose quality requirement is completely satisfied. It is clear that

5. Conclusion
Considering the requirement of total download speed of the terminals, a BitTorrent-like P2P file sharing system could be reduced into a system of addition-min fuzzy relation inequalities. While considering the requirement of biggest download speed, it can be reduced into a system of max-min fuzzy relation inequalities. In order to investigate approximate solution to the inconsistent system of max-min fuzzy relation inequalities, we proposed an evaluation model for comparing the superiority of two arbitrary potential solutions, in sense of the satisfaction degree. Approximate solution was defined to be the vector with highest satisfaction degree based on the evaluation model. According to our definition, we further proposed an effective algorithm to find out all the approximate solutions of an inconsistent system of max-min fuzzy relation inequalities.
In the near future we are interested in the approximate solution of max-min fuzzy relation equations. In fact, the definitions of satisfaction degree and approximate solution for max-min fuzzy relation inequalities, proposed in this paper, could be generalized to those for the corresponding equality system. A system of max-min fuzzy relation equations could be described asin which the limitations of the parameters and variables are the same as in system (4). Next we suggest an alternative definition of approximate solution to system (57).
Definition 26. Let . The vector is said to be the satisfaction degree (vector) of in system (57), if where .
Definition 27. In system (57), a vector is said to be an approximate solution, if holds for all . Here and represent the satisfaction degrees of and , respectively.
Although the definition of approximate solution may be extended to the max-min fuzzy relation equations, i.e., system (57), the resolution method proposed in this paper could not be directly applied to system (57). For arbitrary , it could be easily found that the implication holds for system (4). However, the relevant implication that no longer holds for system (57). This is a key factor leading to the inapplicability of our proposed method for system (57). In the future research, resolution of approximate solution(s) of system (57) might be an interesting topic.
Data Availability
The data used to support the findings of this study are available from the corresponding author upon request.
Disclosure
This article does not contain any studies with human participants or animals performed by the author.
Conflicts of Interest
The author declares that they have no conflicts of interest.
Acknowledgments
This work was partly supported by the National Natural Science Foundation of China (61877014), the Natural Science Foundation of Guangdong Province (2016A030307037, 2017A030307020), and the Natural Science Foundations from Hanshan Normal University (2017KTSCX124, ZD201802, QD20171001).