Abstract:This paper, in the first step, develops the system of bipolar fuzzy relational equations (FRE) to the most general case where the bipolar FREs are defined by an arbitrary continuous t-norm. Also, since fuzzy relational equations are special cases of the bipolar FREs, the proposed system can be also interpreted as a generalization of traditional FREs where the fuzzy compositions are generally defined by any continuous t-norm. The consistency of the continuous bipolar FREs is initially investigated and some necessary and sufficient conditions are derived for determining the feasibility of the proposed system. Subsequently, the feasible solutions set of the problem is completely characterized. It is shown that unlike FREs and those bipolar FREs defined by continuous Archimedean t-norms, the feasible solutions set of the generalized bipolar FREs is formed as the union of a finite number of compact sets that are not necessarily connected. Moreover, five techniques have also been introduced with the aim of simplifying the current problem, and then an algorithm is accordingly presented to find the feasible region of the problem. In the second step, a new class of optimization models is studied where the constraints are defined by the continuous bipolar FREs and the objective function covers a wide range of (non)linear functions such as maximum function, geometric mean function, log-sum-exp function, maximum eigenvalue of a symmetric matrix, support function of a set, etc. It is proved that the problem has a finite number of local optimal solutions and a global optimal solution can always be obtained by choosing a point having the minimum objective value compared to all the local optimal solutions. Finally, to illustrate the discussed study, a step-by-step example is described in several sections, whose constraints are a system of the bipolar FRES defined by Dubois-Prade t-norm.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to nonlinear programming problems, and its constraints are Generalized Bipolar Fuzzy Relational Equalities (GBFRE) defined by continuous t - norms. Specifically, the main contributions and objectives of the paper can be summarized as follows:
1. **Development of Generalized Bipolar Fuzzy Relational Equations**:
- The paper first generalizes Bipolar Fuzzy Relational Equations (BFRE) to the most general case, that is, BFRE is defined by any continuous t - norm. Since Fuzzy Relational Equations (FRE) are a special case of BFRE, the proposed system can also be interpreted as a generalization of traditional FRE, where fuzzy composition is usually defined by any continuous t - norm.
2. **Feasibility Study**:
- The paper studies the consistency of continuous bipolar FRE and derives some necessary and sufficient conditions to determine the feasibility of the proposed system.
- Different from traditional FRE and BFRE defined by continuous Archimedean t - norms, the feasible solution set of generalized GBFRE is represented as the union of a finite number of compact sets, and these sets are not necessarily connected.
3. **Simplification Techniques and Algorithms**:
- Five simplification techniques are introduced to simplify the current problem, and an algorithm is proposed to find the feasible region of the problem.
4. **Research on Optimization Models**:
- A new class of optimization models is studied, where the constraints are defined by continuous bipolar FRE, and the objective functions cover a wide range of (non)linear functions, such as the maximum function, the geometric mean function, the logarithmic and exponential functions, the largest eigenvalue of a symmetric matrix, the support function of a set, etc.
- It is proved that this problem has a finite number of local optimal solutions, and the global optimal solution can always be obtained by selecting the point with the smallest objective function value among all local optimal solutions.
5. **Illustrative Examples**:
- In order to illustrate the definitions, theorems, and algorithms proposed in the paper, the paper describes a step - by - step example in multiple parts, whose constraints are bipolar FRE defined by the Dubois - Prade t - norm (a continuous non - Archimedean t - norm).
Through the above research, the paper aims to provide a theoretical basis and practical tools for dealing with nonlinear programming problems defined by generalized bipolar fuzzy relational equations, thereby expanding the application range and solution methods of fuzzy relational equations.
### Mathematical Formula Representation
The mathematical formulas involved in the paper include:
- **Definition of Bipolar Fuzzy Relational Equations**:
\[
A^+ \phi x \vee A^- \phi (1 - x)=b
\]
where \(A^+\) and \(A^-\) are fuzzy matrices, \(b\) is a fuzzy vector, and \(\phi\) is any continuous t - norm.
- **Objective Function**:
\[
\min f(x)
\]
where \(f: \mathbb{R}^n\rightarrow\mathbb{R}\) is a continuous function.
- **Constraints**:
\[
\max_{j = 1}^n\left\{\max\left\{\phi(a_{ij}^+, x_j), \phi(a_{ij}^-, 1 - x_j)\right\}\right\}=b_i,\quad\forall i\in I
\]
These formulas show how to define generalized bipolar fuzzy relational equations with continuous t - norms and apply them to optimization problems.