Information Technology Reference
In-Depth Information
The problem can be formulated as the following mixed 0-1 LP.
(
P
)min
f
(
x
)=
i∈I
d
i,j
x
i,j
j∈J
x
i,j
=2
j ∈ J
(1)
i∈I
x
i,j
=2
i ∈ I
(2)
j∈J
x
i,j
≥
1
U
⊂
I,V
⊂
J,
1
<
|
U
|
=
|
V
|
<n
(3)
V
i∈U
j∈
x
i,j
∈{
0
,
1
}
i
∈
I,j
∈
J
(4)
Constraints (1) and (2) guarantee that each produce is satisfied exactly by two
plants and each plant produce two products. Constraints (3) eliminate short
chain solutions. This formulation contains 2
n
variables and 2
n
+
n−
1
i
=1
(
C
n
)
2
constraints. Although, it can be transformed into a 2
n
nodes symmetrical TSP,
the equivalent TSP formulation doesn't hold the triangle inequality property.
2.2 Problem Complexity
Proposition 1.
Long chain design problem is NP-complete.
Proof.
Let us first show that the long design problem is in NP, i.e., there is an
certificate-checking algorithm such that for any yes instance of its recognition
version problem, there exist a polynomial length certificate which can be checked
by the certificate-checking algorithm in polynomial time. Since its recognition
version problem is of the following form:
Given an instance with parameters
=
n
,matrix
[
d
i,j
]
n×n
and an
number
L
, is there a feasible solution
x
such that
f
(
x
)
|
I
|
=
|
J
|
L
?
Suppose we are given a yes instance (
n,
[
d
i,j
]
n×n
,L
) of the long chain prob-
lem, then we can construct the polynomial length certificate
x
as a list of the
nodes which forms a long chain. This certificate can be checked eciently for
validity, because we only need to check whether
n,
[
d
i,j
]
n×n
and
L
are appropri-
ate, whether
x
forms a long chain, and whether its total length
f
(
x
)islessthan
or equal to
L
. The certificate-checking algorithm will reach the answer yes at
O
(
n
2
) steps. Hence, the long chain design problem is in NP.
Next we will show that any instance of Hamilton circuit problem can be
polynomially transformed to a instance of long design problem. Given any in-
stance of Hamilton circuit problem with graph
G
=(
V,E
)and
≤
|
V
|
=
n
,we
construct an instance of long chain design problem by letting
|
I
|
=
|
J
|
=
n
,
E
=(
i,j
)
,
∀
i,j
∈
V
and
⎧
⎨
0if
i
=
j,
1if(
i,j
)
d
i,j
=
E,
M
otherwise
.
∈
⎩
Search WWH ::
Custom Search