# Solving nonlinear optimization problems with bipolar fuzzy relational equation constraints

## Abstract

This paper considers the problem of minimizing a nonlinear objective function subject to a system of bipolar fuzzy relational equations with max-$$T_{L}$$ composition, where $$T_{L}$$ is the Łukasiewicz triangular norm. It shows that the feasible domain, i.e., the solution set of a system of bipolar fuzzy relational equations, can be reformulated as a system of 0-1 mixed integer inequalities. Consequently, such a type of optimization problems can be handled within the framework of 0-1 mixed integer optimization requiring no particular solving techniques.

## Introduction

Fuzzy relational equations have been intensively investigated as an important tool for fuzzy modeling and approximate reasoning (see, e.g., [1, 2]). Among various types of fuzzy relational equations, those with max-T compositions are most fundamental and have been widely applied where $$T:[0,1]^{2}\rightarrow [0,1]$$ is a continuous triangular norm. A system of fuzzy relational equations with max-T equations, max-T equations for short, can be formulated as

$$A\circ\mathbf{x} = \mathbf{b},$$
(1)

where $$A=(a_{ij})_{mn}$$, $$\mathbf{b} =(b_{1},b_{2},\ldots, b_{m})^{T}$$, and $$\mathbf{x} = (x_{1},x_{2},\ldots, x_{n})^{T}$$ are all defined over $$[0,1]$$. More specifically, a system of max-T equations $$A\circ\mathbf{x} = \mathbf {b}$$ stands for

$$\max_{j\in N} T(a_{ij}, x_{j}) = b_{i},\quad i\in M,$$
(2)

where $$M=\{1,2,\ldots, m \}$$ and $$N=\{1,2,\ldots, n \}$$, respectively. In the context of fuzzy relational equations, the commonly used triangular norms include the minimum $$T_{M}(x,y) = \min(x,y)$$, the product $$T_{P}(x,y)= x y$$, and the Łukasiewicz t-norm $$T_{L}(x,y) = \max(x+y-1,0)$$ among which $$T_{P}$$ and $$T_{L}$$ are Archimedean.

For a system of max-T equations $$A\circ\mathbf{x} = \mathbf{b}$$, it is well known that the solution set, denoted by $$S(A,\mathbf{b})$$, is nonempty if and only if its principal solution $$\hat{\mathbf{x}}$$ is indeed a solution which can be constructed and verified in polynomial time. Moreover, when $$S(A,\mathbf{b})$$ is nonempty, the principal solution $$\hat{\mathbf{x}}$$ becomes the maximum solution and $$S(A,\mathbf{b})$$ can be determined by the maximum solution and a finite number of minimal solutions. However, to obtain all the minimal solutions to $$A\circ\mathbf{x} = \mathbf{b}$$ is in general a computationally difficult task because the number of minimal solutions could be exponentially large with respect to the input size. For a comprehensive discussion of fuzzy relational equations, the reader may refer to the monograph by Peeva and Kyosev  and the surveys by De Baets  and Li and Fang .

When a particular solution to a system of max-T equations is desired, the associated optimization problem is of concern. The problem of minimizing a linear objective function subject to a system of max-T equations has been intensively investigated with respect to various composition operations. It turns out that such an optimization problem can be transformed into the set covering problem which is known to be NP-hard (see, e.g., ). The linear fractional optimization constrained by a system of max-T equations was also studied by Wu et al.  and Li and Fang  with respect to an Archimedean triangular norm.

The problem of minimizing a general nonlinear objective function subject to a system of max-T equations has been tackled by Lu and Fang , Khorram and Hassanzadeh , and Hassanzadeh et al.  using the genetic algorithm. It was pointed out by Li et al.  that such an optimization problem can be in general reformulated into a 0-1 mixed integer nonlinear optimization problem so that the traditional solving techniques, e.g., the branch-and-bound method, may apply. However, when the objective function is max-separable and monotone, the associated optimization problem can be solved in polynomial time (see, e.g.,  and references therein).

Recently, bipolar max-T equations have been considered in the literature as a generalization of usual max-T equations. A system of bipolar max-T equations is formulated as

$$\max_{j\in N} \max\bigl\{ T\bigl(a^{+}_{ij}, x_{j}\bigr), T\bigl(a^{-}_{ij}, \neg x_{j}\bigr) \bigr\} = b_{i},\quad i\in M,$$
(3)

where $$\neg x_{j}$$ is the logical negation of $$x_{j}$$, i.e., $$\neg x_{j} = 1- x_{j}$$, $$j\in N$$. In the matrix form, it can be denoted as

$$A^{+}\circ\mathbf{x} \vee A^{-} \circ\neg\mathbf{x} = \mathbf{b},$$
(4)

with $$A^{+} = (a^{+}_{ij})_{mn}$$, $$A^{-} = (a^{-}_{ij})_{mn}$$, $$\mathbf{b} =(b_{1},b_{2},\ldots, b_{m})^{T}$$, and $$\mathbf{x} = (x_{1}, x_{2}, \ldots, x_{n})^{T}$$ all being defined over $$[0,1]$$. It is clear that $$A^{+}\circ\mathbf{x} \vee A^{-}\circ\neg\mathbf{x} = \mathbf{b}$$ would degenerate into $$A^{-}\circ\neg\mathbf{x} = \mathbf{b}$$ or $$A^{+}\circ\mathbf{x} = \mathbf {b}$$, respectively, when $$A^{+}$$ or $$A^{-}$$ is the zero matrix. Therefore, a system of bipolar max-T equations can be viewed as a combination of two systems of max-T equations containing both independent variables and their logical negations.

The bipolar max-$$T_{M}$$ equations and the associated linear optimization problem were first investigated in Freson et al. . By resolving each single equation of a system of bipolar max-$$T_{M}$$ equations $$A^{+}\circ\mathbf{x} \vee A^{-} \circ\neg\mathbf{x} = \mathbf{b}$$, Freson et al.  figured out analytically that the whole solution set $$S(A^{+}, A^{-},\mathbf{b})$$ is the union of some interval-valued solutions, each of which is determined by a pair of maximal and minimal solutions. As a direct consequence, the bipolar max-$$T_{M}$$ equation constrained linear optimization problem can be solved by examining these maximal and minimal solutions. An alternative reformulation for bipolar max-$$T_{M}$$ equations was developed by Li and Jin  so that the associated linear optimization problem can be treated by integer optimization methods.

Besides, the bipolar max-$$T_{L}$$ equation constrained linear optimization problem was studied by Li and Liu  using an analogous approach developed by Li and Jin [25, 27]. It turns out that the Archimedean property of $$T_{L}$$ leads to a somewhat simpler structure for bipolar max-$$T_{L}$$ equations, so that the associated linear optimization problem can be reformulated as a 0-1 integer linear optimization problem. This motivates us to extend this approach to nonlinear optimization scenarios.

In this paper, we aim to tackle the problem of minimizing a nonlinear objective function subject to a system of bipolar max-$$T_{L}$$ equations, i.e.,

$$\left \{ \textstyle\begin{array}{@{}l@{}} \min Z = f(\mathbf{x}) \\ \mbox{subject to:}\\ \quad A^{+}\circ\mathbf{x} \vee A^{-}\circ\neg\mathbf{x} = \mathbf{b}. \end{array}\displaystyle \right .$$
(5)

Due to the simultaneous appearance of x and ¬x, it was shown by Li and Jin  and Li and Liu  that determining whether $$A^{+}\circ\mathbf{x} \vee A^{-}\circ\neg\mathbf{x} = \mathbf{b}$$ has a solution or not is an NP-complete problem because it can be viewed as a disguised form of the Boolean satisfiability problem. This implies that the optimization problem under consideration is inevitably NP-hard. Following the ideas of Li and Jin [25, 27] and Li and Liu , we demonstrate that $$A^{+}\circ\mathbf{x} \vee A^{-}\circ\neg\mathbf{x} = \mathbf{b}$$ can be expressed equivalently as a system of 0-1 mixed integer linear inequalities. Consequently, the bipolar max-$$T_{L}$$ equation constrained nonlinear optimization problem can be handled by those traditional techniques developed for solving 0-1 mixed integer optimization problems.

The rest of this paper is organized as follows. In Section 2, the reformulation of a system of bipolar max-$$T_{L}$$ equations is presented. The bipolar max-$$T_{L}$$ equation constrained optimization problem is discussed in Section 3, and the conclusions are presented in Section 4.

## Bipolar max-$$T_{L}$$ equations and their reformulation

In this section, we reveal the critical features of a system of bipolar max-$$T_{L}$$ equations and develop its equivalent representation.

For a system of bipolar max-$$T_{L}$$ equations $$A^{+}\circ\mathbf{x} \vee A^{-} \circ\neg\mathbf{x} = \mathbf{b}$$, it is said to be consistent if its solution set $$S(A^{+}, A^{-},\mathbf{b})$$ is nonempty. Otherwise, it is said to be inconsistent. Due to the non-interactivity property of the maximum operation, i.e., $$\max(a,b)\in\{a,b\}$$, if there is a vector $$\mathbf{x} \in S(A^{+}, A^{-}, \mathbf{b})$$, we have

$$T_{L}\bigl(a_{ij}^{+}, x_{j}\bigr) \le b_{i},\qquad T_{L}\bigl(a_{ij}^{-}, \neg x_{j}\bigr) \le b_{i}, \quad\forall i\in M, j\in N.$$
(6)

Moreover, in order to fulfil the equality requirements, there must exist an index $$j_{i} \in N$$ for each $$i\in M$$ such that either $$T_{L}(a_{ij_{i}}^{+}, x_{j_{i}}) = b_{i}$$ or $$T_{L}(a_{ij_{i}}^{-}, \neg x_{j_{i}}) = b_{i}$$ holds. Consequently, we may first focus on the inequalities of the forms $$T_{L}(a^{+}, x) \le b$$ and $$T_{L}(a^{-}, \neg x ) \le b$$ for any $$a^{+}, a^{-}, b\in[0,1]$$.

### Lemma 1

For any $$a^{+}, b\in[0,1]$$, $$T_{L}(a^{+}, x)\le b$$ if and only if $$x \le S_{L}(\neg a^{+}, b)$$ where $$S_{L}:[0,1]^{2} \rightarrow[0,1]$$ is the Łukasiewicz t-conorm defined as $$S_{L}(x,y) = \min(x+y,1)$$. Analogously, $$T_{L}(a^{-}, \neg x) \le b$$ if and only if $$x\ge T_{L}(a^{-}, \neg b)$$ for any $$a^{-}, b\in[0,1]$$.

Lemma 1 can be verified directly. Moreover, if $$b\in (0,1]$$, $$T_{L}(a^{+}, x) = b$$ if and only if $$a^{+} \ge b$$ and $$x= S_{L}(\neg a^{+}, b)$$ while $$T_{L}(a^{-}, \neg x) = b$$ if and only if $$a^{-} \ge b$$ and $$x= T_{L}(a^{-}, \neg b)$$. The only exception occurs when $$b=0$$, in which case, $$T_{L}(a^{+},x) = 0$$ implies $$0\le x \le S_{L}(\neg a^{+},0) = \neg a^{+}$$ and $$T_{L}(a^{-},\neg x) = 0$$ implies $$a^{-}=T_{L}(a^{-},1) \le x \le1$$, respectively.

By Lemma 1, the lower and upper bound information of the solutions to a system of max-$$T_{L}$$ equations $$A^{+} \circ\mathbf{x} \vee A^{-} \circ\neg\mathbf{x} = \mathbf{b}$$ can be retrieved. Let $$\check {\mathbf{x}} = (\check{x}_{1},\check{x}_{2},\ldots,\check{x}_{n})^{T}$$ such that

$$\check{x}_{j} = \max_{i\in M} T_{L} \bigl(a_{ij}^{-}, \neg b_{i}\bigr), \quad\forall j\in N,$$
(7)

and $$\hat{\mathbf{x}} = (\hat{x}_{1},\hat{x}_{2},\ldots,\hat{x}_{n})^{T}$$ such that

$$\hat{x}_{j} = \min_{i\in M} S_{L}\bigl(\neg a_{ij}^{+}, b_{i}\bigr), \quad\forall j\in N.$$
(8)

It is clear that if $$S(A^{+}, A^{-}, \mathbf{b}) \neq\emptyset$$, then $$\check{\mathbf{x}} \le\hat{\mathbf{x}}$$. It also holds that $$\check {\mathbf{x}} \le\mathbf{x} \le\hat{\mathbf{x}}$$ for any $$\mathbf{x} \in S(A^{+}, A^{-}, \mathbf{b})$$. In other words, $$\check{\mathbf{x}}$$ and $$\hat{\mathbf{x}}$$ are the lower and upper bounds of the solutions to $$A^{+}\circ\mathbf{x} \vee A^{-} \circ\neg\mathbf{x} = \mathbf{b}$$, respectively. However, as indicated by Li and Liu , $$\check{\mathbf{x}}$$ and $$\hat{\mathbf{x}}$$ themselves are not necessarily solutions to $$A^{+}\circ\mathbf{x} \vee A^{-} \circ\neg \mathbf{x} = \mathbf{b}$$. Even if both $$\check{\mathbf{x}}$$ and $$\hat {\mathbf{x}}$$ are solutions, it does not mean that $$S(A^{+}, A^{-},\mathbf {b}) = \{ \mathbf{x} |\check{\mathbf{x}} \le\mathbf{x} \le\hat{\mathbf {x}}\}$$.

Note that for the elements of $$\check{\mathbf{x}}$$ and $$\hat{\mathbf {x}}$$ if $$\check{x}_{j} = \hat{x}_{j}$$ for some $$j\in N$$, the value of $$x_{j}$$ is fixed in any possible solution. In such a case, the variable $$x_{j}$$ can be removed in further analysis as well as those equations where either $$T_{L}(a_{ij}^{+}, \hat{x}_{j}) = b_{i}$$ or $$T_{L}(a_{ij}^{-}, \neg \check{x}_{j}) = b_{i}$$ holds. Consequently, $$A^{+}\circ\mathbf{x} \vee A^{-}\circ\neg\mathbf{x} =\mathbf{b}$$ can be reduced to a system of bipolar max-$$T_{L}$$ equations with fewer variables such that the lower and upper bounds are strictly different. Hereafter, we assume without loss of generality that $$\check{\mathbf {x}}$$ and $$\hat{\mathbf{x}}$$ are strictly different for a system of bipolar max-$$T_{L}$$ equations $$A^{+}\circ\mathbf{x} \vee A^{-}\circ\neg \mathbf{x} = \mathbf{b}$$ under consideration, i.e., $$\check {x}_{j} < \hat{x}_{j}$$ for all $$j\in N$$.

Moreover, as indicated by Li and Liu , the equations with a zero right hand side play no role once $$\check{\mathbf{x}}$$ and $$\hat{\mathbf{x}}$$ have been obtained. Therefore, we may assume as well that the right hand side vector b is strictly positive for a system of bipolar max-$$T_{L}$$ equations $$A^{+}\circ\mathbf{x} \vee A^{-}\circ\neg\mathbf{x} = \mathbf{b}$$ under consideration.

When the equality requirements of $$A^{+}\circ\mathbf{x} \vee A^{-}\circ \neg\mathbf{x} =\mathbf{b}$$ are concerned, we need take a close look on $$\check{\mathbf{x}}$$ and $$\hat{\mathbf{x}}$$ because, according to Lemma 1, all the critical information for the equality requirements is preserved in $$\check{\mathbf{x}}$$ and $$\hat{\mathbf {x}}$$. Let $$Q^{+} =(q_{ij}^{+})_{mn}$$ be a 0-1 matrix such that

$$q^{+}_{ij} =\left \{ \textstyle\begin{array}{@{}l@{\quad}l} 1, & \mbox{if } T_{L}(a^{+}_{ij}, \hat{x}_{j}) =b_{i},\\ 0,& \mbox{otherwise}, \end{array}\displaystyle \right . \quad\forall i\in M, j\in N.$$
(9)

It is clear that $$Q^{+}$$ records the information of those equations where the equalities hold at the upper bound $$\hat{\mathbf{x}}$$. Analogously, the counterpart corresponding to $$\check{\mathbf{x}}$$ is offered by the 0-1 matrix $$Q^{-}=(q_{ij}^{-})_{mn}$$ such that

$$q^{-}_{ij} =\left \{ \textstyle\begin{array}{@{}l@{\quad}l} 1, & \mbox{if } T_{L}(a^{-}_{ij}, \neg\check{x}_{j}) =b_{i},\\ 0,& \mbox{otherwise,} \end{array}\displaystyle \right . \quad\forall i\in M, j\in N.$$
(10)

The matrices $$Q^{+}$$ and $$Q^{-}$$ are called the characteristic matrices of $$A^{+}\circ\mathbf{x} \vee A^{-}\circ\neg\mathbf{x} =\mathbf{b}$$ by Li and Liu . It turns out that a system of bipolar max-$$T_{L}$$ equations $$A^{+}\circ\mathbf{x} \vee A^{-}\circ\neg\mathbf{x} =\mathbf{b}$$ can be equivalently represented in terms of its lower and upper bounds $$\check{\mathbf{x}}$$ and $$\hat{\mathbf{x}}$$ and its characteristic matrices $$Q^{+}$$ and $$Q^{-}$$.

### Theorem 1

For a system of bipolar max-$$T_{L}$$ equations $$A^{+}\circ\mathbf{x} \vee A^{-}\circ\neg\mathbf{x} =\mathbf{b}$$, $$\mathbf{x} \in S(A^{+}, A^{-}, \mathbf{b})$$ if and only if there exist two 0-1 vectors $$\mathbf{u}^{+}$$ and $$\mathbf{u}^{-}$$ such that $$\mathbf{u}^{+} + \mathbf{u}^{-} \le\mathbf {e}$$, $$Q^{+} \mathbf{u}^{+} + Q^{-} \mathbf{u}^{-} \ge\mathbf{e}$$, and

$$V\mathbf{u}^{+} + \check{\mathbf{x}} \le\mathbf{x} \le-V\mathbf{u}^{-} + \hat{ \mathbf{x}},$$
(11)

where $$V= \operatorname{diag}(\hat{\mathbf{x}} - \check{\mathbf{x}} )$$ and e is the vector of all ones.

### Proof

If $$\mathbf{x} \in S(A^{+}, A^{-}, \mathbf{b})$$, denote $$\mathbf{u}^{+} = (u_{1}^{+}, u_{2}^{+}, \ldots, u_{n}^{+})^{T}$$ with

$$u^{+}_{j} = \left \{ \textstyle\begin{array}{@{}l@{\quad}l} 1, & \mbox{if }x_{j} = \hat{x}_{j}, \\ 0, & \mbox{otherwise,} \end{array}\displaystyle \right . \quad\forall j\in N,$$
(12)

and $$\mathbf{u}^{-} = (u_{1}^{-}, u_{2}^{-}, \ldots, u_{n}^{-})^{T}$$ with

$$u^{-}_{j} = \left \{ \textstyle\begin{array}{@{}l@{\quad}l}1, & \mbox{if } x_{j} = \check{x}_{j}, \\ 0, & \mbox{otherwise}, \end{array}\displaystyle \right . \quad\forall j\in N,$$
(13)

respectively. It can be verified that $$\mathbf{u}^{+} + \mathbf{u}^{-} \le \mathbf{e}$$ and $$V \mathbf{u}^{+} + \check{\mathbf{x}} \le\mathbf{x} \le-V\mathbf{u}^{-} + \hat{ \mathbf{x}}$$. Furthermore, because for each $$i\in M$$, there exists an index $$j_{i} \in N$$ such that either $$T_{L}(a^{+}_{ij_{i}}, x_{j_{i}}) = b_{i}$$ or $$T_{L}(a^{-}_{ij_{i}}, \neg x_{j_{i}}) = b_{i}$$, it implies that either $$x_{j_{i}} = \hat{x}_{j_{i}}$$, $$q_{ij_{i}}^{+} =1$$ or $$x_{j_{i}} = \check {x}_{j_{i}}$$, $$q_{ij_{i}}^{-} =1$$. Therefore, $$Q^{+} \mathbf{u}^{+} + Q^{-} \mathbf {u}^{-} \ge\mathbf{e}$$. Conversely, if there are two 0-1 vectors $$\mathbf {u}^{+}$$ and $$\mathbf{u}^{-}$$ such that $$\mathbf{u}^{+} + \mathbf{u}^{-} \le \mathbf{e}$$ and $$Q^{+} \mathbf{u}^{+} + Q^{-}\mathbf{u}^{-} \ge\mathbf{e}$$, a vector $$\mathbf{x} = (x_{1}, x_{2}, \ldots, x_{n})^{T}$$ such that $$V \mathbf {u}^{+} + \check{\mathbf{x}} \le\mathbf{x} \le-V\mathbf{u}^{-} + \hat{ \mathbf{x}}$$ has the form

\begin{aligned} x_{j} = \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \hat{x}_{j}, & \mbox{if } u^{+}_{j} = 1, \\ \check{x}_{j}, & \mbox{if } u^{-}_{j} = 1, \\ x_{j}, & \mbox{otherwise,} \end{array}\displaystyle \right . \quad\forall j\in N. \end{aligned}
(14)

Besides, for each $$i\in M$$ there exists an index $$j_{i} \in N$$ such that either $$q_{ij_{i}}^{+} u_{j_{i}}^{+} =1$$ or $$q_{ij_{i}}^{-} u_{j_{i}}^{-} =1$$, which indicates that either $$T_{L}(a^{+}_{ij_{i}}, x_{j_{i}}) = b_{i}$$ or $$T_{L} (a_{ij_{i}}^{-}, \neg x_{j_{i}}) = b_{i}$$. Consequently, x is a solution to $$A^{+}\circ\mathbf{x} \vee A^{-} \circ\neg\mathbf{x} = \mathbf{b}$$. □

Theorem 1 demonstrates that a system of bipolar max-$$T_{L}$$ equations can be equivalently expressed as a system of 0-1 mixed integer linear inequalities involving an additional pair of 0-1 vectors. Although this alternative formulation has a relatively larger size, it eliminates the nonlinear structure in bipolar max-$$T_{L}$$ equations and allows us to tackle the associated optimization problem by the usual optimization techniques. Besides, Theorem 1 implies that the solution set of a system of bipolar max-$$T_{L}$$ equations is a union of some interval-valued vectors analogous to that of bipolar max-$$T_{M}$$ equations. Unfortunately, determining all these interval-valued vectors requires an enumeration of all minimal solutions to a system of 0-1 integer linear inequalities, the number of which could be exponentially large.

### Example 1

Consider the system of bipolar max-$$T_{L}$$ equations $$A^{+}\circ\mathbf{x} \vee A^{-} \circ\neg\mathbf{x} = \mathbf{b}$$ where

$$A^{+} = \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} 0.9 & 0.7 & 1.0\\ 0.4 & 0.2 & 0.4 \end{array}\displaystyle \right ), \qquad A^{-} = \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} 1.0 & 0.8 & 0.6 \\ 0.7 & 0.9 & 0.2 \end{array}\displaystyle \right ), \qquad\mathbf{b}= \left ( \textstyle\begin{array}{@{}c@{}} 0.8 \\ 0.6 \end{array}\displaystyle \right ).$$

The lower and upper bounds of the solutions can be calculated, respectively, as

$$\check{\mathbf{x}} = (0.2, 0.3, 0)^{T}, \qquad\hat{\mathbf{x}} = (0.9, 1, 0.8)^{T}.$$

Subsequently, the two 0-1 characteristic matrices can be constructed, respectively, as

$$Q^{+} = \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} 1 & 0 & 1\\ 0 & 0 & 0 \end{array}\displaystyle \right ),\qquad Q^{-} = \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} 1 & 0 & 0\\ 0 & 1 & 0 \end{array}\displaystyle \right ).$$

According to Theorem 1, the system of bipolar max-$$T_{L}$$ equations under consideration can be reformulated as

\begin{aligned}& \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} 0.7 & 0 & 0 \\ 0 & 0.7 & 0 \\ 0 & 0 & 0.8 \end{array}\displaystyle \right )\left ( \textstyle\begin{array}{@{}c@{}} u_{1}^{+}\\ u_{2}^{+}\\ u_{3}^{+} \end{array}\displaystyle \right ) + \left ( \textstyle\begin{array}{@{}c@{}} 0.2\\ 0.3\\ 0 \end{array}\displaystyle \right ) \le \left ( \textstyle\begin{array}{@{}c@{}} x_{1}\\ x_{2}\\ x_{3} \end{array}\displaystyle \right ), \\& \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} -0.7 & 0 & 0 \\ 0 & -0.7 & 0 \\ 0 & 0 & -0.8 \end{array}\displaystyle \right )\left ( \textstyle\begin{array}{@{}c@{}} u_{1}^{-}\\ u_{2}^{-}\\ u_{3}^{-} \end{array}\displaystyle \right ) + \left ( \textstyle\begin{array}{@{}c@{}} 0.9\\ 1\\ 0.8 \end{array}\displaystyle \right ) \ge \left ( \textstyle\begin{array}{@{}c@{}} x_{1}\\ x_{2}\\ x_{3} \end{array}\displaystyle \right ), \\& \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} 1 & 0 & 1 \\ 0 & 0 & 0 \end{array}\displaystyle \right )\left ( \textstyle\begin{array}{@{}c@{}} u_{1}^{+}\\ u_{2}^{+}\\ u_{3}^{+} \end{array}\displaystyle \right ) + \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} 1 & 0 & 0 \\ 0 & 1 & 0 \end{array}\displaystyle \right )\left ( \textstyle\begin{array}{@{}c@{}} u_{1}^{-}\\ u_{2}^{-}\\ u_{3}^{-} \end{array}\displaystyle \right ) \ge \left ( \textstyle\begin{array}{@{}c@{}} 1\\ 1 \end{array}\displaystyle \right ), \\& \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{array}\displaystyle \right )\left ( \textstyle\begin{array}{@{}c@{}} u_{1}^{+}\\ u_{2}^{+}\\ u_{3}^{+} \end{array}\displaystyle \right ) + \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{array}\displaystyle \right )\left ( \textstyle\begin{array}{@{}c@{}} u_{1}^{-}\\ u_{2}^{-}\\ u_{3}^{-} \end{array}\displaystyle \right ) \le \left ( \textstyle\begin{array}{@{}c@{}} 1\\ 1\\ 1 \end{array}\displaystyle \right ), \end{aligned}

where $$\mathbf{u}^{+} =(u_{1}^{+}, u_{2}^{+}, u_{3}^{+})^{T} \in\{0,1\}^{3}$$, $$\mathbf {u}^{-} =(u_{1}^{-}, u_{2}^{-}, u_{3}^{-})^{T} \in\{0,1\}^{3}$$, and $$\mathbf{x} =(x_{1}, x_{2}, x_{3})^{T} \in[0,1]^{3}$$. For this small size instance, the solution set can be figured out explicitly, which is the union of three interval solutions, i.e.,

$$S(A^{+}, A^{-},\mathbf{b}) = \bigcup_{k=1,2,3} \bigl\{ \mathbf{x}\in[0,1]^{3} | \check{\mathbf{v}}^{k} \le\mathbf{x} \le\hat{\mathbf{v}}^{k} \bigr\} ,$$

with

\begin{aligned}& \check{\mathbf{v}}^{1}= \left ( \textstyle\begin{array}{@{}c@{}} 0.2\\ 0.3\\ 0 \end{array}\displaystyle \right ), \qquad \check{\mathbf{v}}^{2}= \left ( \textstyle\begin{array}{@{}c@{}} 0.9\\ 0.3\\ 0 \end{array}\displaystyle \right ), \qquad \check{\mathbf{v}}^{3}= \left ( \textstyle\begin{array}{@{}c@{}} 0.2\\ 0.3\\ 0.8 \end{array}\displaystyle \right ), \\& \hat{\mathbf{v}}^{1} = \left ( \textstyle\begin{array}{@{}c@{}} 0.2\\ 0.3\\ 0.8 \end{array}\displaystyle \right ), \qquad \hat{\mathbf{v}}^{2}= \left ( \textstyle\begin{array}{@{}c@{}} 0.9\\ 0.3\\ 0.8 \end{array}\displaystyle \right ), \qquad \hat{\mathbf{v}}^{3}= \left ( \textstyle\begin{array}{@{}c@{}} 0.9\\ 0.3\\ 0.8 \end{array}\displaystyle \right ). \end{aligned}

## Bipolar max-$$T_{L}$$ equation constrained optimization

Based on the result in Section 2, the bipolar max-$$T_{L}$$ equation constrained optimization problem

$$\left \{ \textstyle\begin{array}{@{}l@{}} \min Z = f(\mathbf{x}) \\ \mbox{subject to:}\\ \quad A^{+}\circ\mathbf{x} \vee A^{-}\circ\neg\mathbf{x} = \mathbf{b} \end{array}\displaystyle \right .$$
(15)

is equivalent to

$$\left \{ \textstyle\begin{array}{@{}l@{}} \min Z = f(\mathbf{x}) \\ \mbox{subject to:}\\ \quad V \mathbf{u}^{+} + \check{\mathbf{x}} \le\mathbf{x} \le-V\mathbf{u}^{-} + \hat{ \mathbf{x}},\\ \quad Q^{+} \mathbf{u}^{+} + Q^{-}\mathbf{u}^{-} \ge\mathbf{e},\\ \quad \mathbf{u}^{+} + \mathbf{u}^{-} \le\mathbf{e},\\ \quad \mathbf{u}^{+}, \mathbf{u}^{-} \in\{0,1\}^{n},\qquad \mathbf{x} \in[0,1]^{n} \end{array}\displaystyle \right .$$
(16)

which is a general 0-1 mixed integer nonlinear optimization problem. Therefore, we may apply some well developed optimization techniques to handle the bipolar max-$$T_{L}$$ equations constrained optimization problem based on this alternative formulation. Furthermore, as indicated by Li and Liu , such an optimization problem can be further reduced to a 0-1 integer linear optimization problem when it concerns a linear objective function.

Besides, because the feasible domain $$S(A^{+}, A^{-}, \mathbf{b})$$, when it is nonempty, is a union of several interval-valued solutions as illustrated in Example 1, such an optimization problem can also be viewed as a disjunctive optimization problem once $$S(A^{+}, A^{-}, \mathbf {b})$$ has been explicitly determined. Consequently, the bipolar max-$$T_{L}$$ equation constrained optimization problem can be theoretically decomposed into a series of box-constrained optimization problems and be solved separately. This strategy works for small size problem instances, but it would inevitably suffer some computational obstacles for large size problem instances.

### Example 2

Consider the system of bipolar max-$$T_{L}$$ equations in Example 1 with a quadratic objective function

$$f(\mathbf{x}) = 2x_{1}^{2} - (x_{2} - x_{3})^{2}.$$

According to Example 1, this instance can be reformulated as

$$\left \{ \textstyle\begin{array}{@{}l@{}} \min f(\mathbf{x}) =2x_{1}^{2} - x_{2}^{2} - x_{3}^{2} + 2x_{2}x_{3} \\ \mbox{subject to:}\\ \quad \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{}} -1 & 0 & 0 & 0.7 & 0 & 0 & 0 & 0 & 0\\ 0 & -1 & 0 & 0 & 0.7 & 0 & 0 & 0 & 0 \\ 0 & 0 & -1 & 0 & 0 & 0.8 & 0 & 0 & 0 \\ 1 & 0 & 0 & 1 & 0 & 1 & 0.7 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0.7 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0.8 \\ 0 & 0 & 0 & -1 & 0 & -1 & -1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & 1 & 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 1 \end{array}\displaystyle \right )\left ( \textstyle\begin{array}{@{}c@{}} x_{1}\\ x_{2}\\ x_{3}\\ u_{1}^{+}\\ u_{2}^{+}\\ u_{3}^{+}\\ u_{1}^{-}\\ u_{2}^{-}\\ u_{3}^{-} \end{array}\displaystyle \right ) \le \left ( \textstyle\begin{array}{@{}c@{}} -0.2\\ -0.3\\ 0\\ 0.9\\ 1\\ 0.8\\ -1\\ -1\\ 1\\ 1\\ 1 \end{array}\displaystyle \right ), \\ \quad x_{1}, x_{2}, x_{3} \in[0,1],\qquad u_{1}^{+}, u_{2}^{+}, u_{3}^{+}, u_{1}^{-}, u_{2}^{-}, u_{3}^{-} \in\{0,1\}. \end{array}\displaystyle \right .$$

It can be resolved by some nonlinear optimization solver, e.g., CPLEX, that it has an optimal solution

$$\mathbf{x}^{*} = (0.2, 0.3, 0.8)^{T}, \qquad\mathbf{u}^{+*} = (0,0,0)^{T}, \qquad\mathbf{u}^{-*} = (1,1,0)^{T},$$

with the optimal objective value being $$f(\mathbf{x}^{*})= -0.17$$. Note that the optimal 0-1 vectors $$\mathbf{u}^{+*}$$ and $$\mathbf{u}^{-*}$$ are usually not unique.

However, for this simple instance, the feasible domain can be readily determined and hence the considered optimization problem can be decomposed into three subproblems as

\begin{aligned}& \left \{ \textstyle\begin{array}{@{}l@{}} \min Z_{1}(\mathbf{x}) = 0.08 - (0.3-x_{3})^{2} \\ \mbox{subject to:}\\ \quad x_{3}\in[0, 0.8], \end{array}\displaystyle \right . \\& \left \{ \textstyle\begin{array}{@{}l@{}} \min Z_{2}(\mathbf{x}) = 1.62 -(0.3-x_{3})^{2} \\ \mbox{subject to:}\\ \quad x_{3}\in[0, 0.8], \end{array}\displaystyle \right . \\& \left \{ \textstyle\begin{array}{@{}l@{}} \min Z_{3}(\mathbf{x}) = 2x_{1}^{2} -0.25 \\ \mbox{subject to:}\\ \quad x_{1}\in[0.2, 0.9]. \end{array}\displaystyle \right . \end{aligned}

By solving these three subproblems separately and comparing their results, the optimal solution to the original problem can be obtained:

$$\mathbf{x}^{*} = (0.2, 0.3, 0.8)^{T}$$

with the optimal objective value being $$f(\mathbf{x}^{*})= -0.17$$.

In general, the problem of minimizing a quadratic objective function subject to a system of bipolar max-$$T_{L}$$ equations can be reformulated into a 0-1 mixed integer quadratic optimization problem, which has been intensively investigated in the literature and can be numerically solved with the aid of some commercial software packages.

## Conclusions

Following the ideas in Li and Jin [25, 27] and Li and Liu , it is demonstrated that a system of bipolar max-$$T_{L}$$ equations can be represented equivalently by a system of 0-1 mixed integer linear inequalities. Consequently, the bipolar max-$$T_{L}$$ equation constrained optimization problem can be handled within the framework of 0-1 mixed integer optimization.

## References

1. Belohlávek, R: Fuzzy Relational Systems: Foundations and Principles. Kluwer, New York (2002)

2. Peeva, K, Kyosev, Y: Fuzzy Relational Calculus: Theory, Applications and Software. World Scientific, Singapore (2004)

3. De Baets, B: Analytical solution methods for fuzzy relational equations. In: Dubois, D, Prade, H (eds.) Fundamentals of Fuzzy Sets. The Handbooks of Fuzzy Sets Series, pp. 291-340. Kluwer, Dordrecht (2000)

4. Li, P, Fang, S-C: A survey on fuzzy relational equations, part I: classification and solvability. Fuzzy Optim. Decis. Mak. 8(2), 179-229 (2009)

5. Fang, S-C, Li, G: Solving fuzzy relation equations with a linear objective function. Fuzzy Sets Syst. 103(1), 107-113 (1999)

6. Loetamonphong, J, Fang, S-C: Optimization of fuzzy relational equations with max-product composition. Fuzzy Sets Syst. 118(3), 509-517 (2001)

7. Wu, Y-K, Guu, S-M, Liu, JY-C: An accelerated approach for solving fuzzy relation equations with a linear objective function. IEEE Trans. Fuzzy Syst. 10(4), 552-558 (2002)

8. Wu, Y-K, Guu, S-M: Minimizing a linear function under a fuzzy max-min relational equation constraint. Fuzzy Sets Syst. 150(1), 147-162 (2005)

9. Guo, F, Xia, Z: An algorithm for solving optimization problems with one linear objective function and finitely many constraints of fuzzy relation inequalities. Fuzzy Optim. Decis. Mak. 5(1), 33-47 (2006)

10. Li, P, Fang, S-C: On the resolution and optimization of a system of fuzzy relational equations with sup-T composition. Fuzzy Optim. Decis. Mak. 7(2), 169-214 (2008)

11. Wu, Y-K, Guu, S-M: Minimizing a linear objective function under a max-t norm fuzzy relational equation constraint. Fuzzy Sets Syst. 161(2), 285-297 (2010)

12. Hu, C-F, Fang, S-C: Set covering-based surrogate approach for solving sup-$$\mathcal{T}$$ equation constrained optimization problems. Fuzzy Optim. Decis. Mak. 10(2), 125-152 (2011)

13. Ghodousian, A, Khorram, E: Linear optimization with an arbitrary fuzzy relational inequality. Fuzzy Sets Syst. 206, 89-102 (2012)

14. Guo, F, Pang, L, Meng, D, Xia, Z: An algorithm for solving optimization problems with fuzzy relational inequality constraints. Inf. Sci. 252, 20-31 (2013)

15. Wu, Y-K, Guu, S-M, Liu, JY-C: Reducing the search space of a linear fractional programming problem under fuzzy relational equations with max-Archimedean t-norm composition. Fuzzy Sets Syst. 159(24), 3347-3359 (2008)

16. Li, P, Fang, S-C: Minimizing a linear fractional function subject to a system of sup-T equations with a continuous Archimedean triangular norm. J. Syst. Sci. Complex. 22(1), 49-62 (2009)

17. Lu, J, Fang, S-C: Solving nonlinear optimization problems with fuzzy relation equations constraints. Fuzzy Sets Syst. 119(1), 1-20 (2001)

18. Khorram, E, Hassanzadeh, R: Solving nonlinear optimization problems subjected to fuzzy relation equation constraints with max-average composition using a modified genetic algorithm. Comput. Ind. Eng. 55(1), 1-14 (2008)

19. Hassanzadeh, R, Khorram, E, Mahdavi, I, Mahdavi-Amiri, N: A genetic algorithm for optimization problems with fuzzy relation constraints using max-product composition. Appl. Soft Comput. 11(1), 551-560 (2011)

20. Li, P, Fang, S-C, Zhang, X: Nonlinear optimization subject to a system of fuzzy relational equations with max-min composition. In: Proceedings of the Seventh International Symposium on Operations Research and Its Applications, pp. 1-9. World Publishing Corporation, Beijing (2008)

21. Wu, Y-K: Optimizing the geometric programming problem with single-term exponents subject to max-min fuzzy relational equation constraints. Math. Comput. Model. 47(3-4), 352-362 (2008)

22. Li, P, Fang, S-C: Latticized linear optimization on the unit interval. IEEE Trans. Fuzzy Syst. 17(6), 1353-1365 (2009)

23. Zhou, X, Ahat, R: Geometric programming problem with single-term exponents subject to max-product fuzzy relational equations. Math. Comput. Model. 53(1-2), 55-62 (2011)

24. Freson, S, De Baets, B, De Meyer, H: Linear optimization with bipolar max-min constraints. Inf. Sci. 234, 3-15 (2013)

25. Li, P, Jin, Q: On the resolution of bipolar max-min equations. Technical report (2015)

26. Li, P, Liu, Y: Linear optimization with bipolar fuzzy relational equation constraints using the Lukasiewicz triangular norm. Soft Comput. 18(7), 1399-1404 (2014)

27. Li, P, Jin, Q: Fuzzy relational equations with min-biimplication composition. Fuzzy Optim. Decis. Mak. 11(2), 227-240 (2012)

## Acknowledgements

This work was supported by a grant from the National Social Science Foundation of China (No. 13CGL057).

## Author information

Authors

### Corresponding author

Correspondence to Ying Yu.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

## Rights and permissions 