Mfcttrf

$src_h,s$, $dst_h,s$, $ch_h,s$ are constants.

$a_h,s$, $x_i,j,s$ are binary variables.

$wt_h,s$ are continuous variables.

$mini.$
$$
sum_h in H sum_s in S (src_h,s + ch_h,s + dst_h,s + wt_h,s) times a_h,s
$$

$s.t.$

$$
forall i in H hspace0.3cm forall j in H hspace0.3cm forall s in S hspace0.3cm
$$
$$
wt_j,s geq ((src_i,s + ch_i,s+wt_i,s) - src_j,s) times x_i,j,s
$$

$$
forall i in H hspace0.3cm forall j in H hspace0.3cm
x_ij + x_ji leq 1
$$

$$
forall i in H hspace0.3cm forall j in H hspace0.3cm forall s in S hspace0.3cm
$$
$$
x_ij + x_ji geq a_i,s + a_j,s + 1
$$

$$
forall h in H sum_s in S b_h,s leq 1
$$

I want to use a LP solver on this problem but there are continuous variable $wt_h,s$ and Boolean variable $a_h,s$ together in objective function, how to separate them.

I have found a link for linearization in constraints, (https://www.leandro-coelho.com/linearization-product-variables/) but how to linearize in objective function.

Also in first constraint there are two continuous variable $wt_j,s$ and $wt_i,s$, is it possible to linearize it.

Piecewise linearization methods have been widely applied to convert a nonlinear programming problem into a linear programming problem or a mixed-integer convex programming problem for obtaining an approximated global optimal solution. In the transformation process, extra binary variables, continuous variables, and constraints are introduced to reformulate the original problem. These extra variables and constraints mainly determine the solution efficiency of the converted problem.[source]

1. Add some additional continuous variables $s_h,s$ to your model and use those variables in the objective, instead of the products.



2. 
   

   Add the following constraints for each $s_h,s$:

   
   
   
   • 
     

     This constraint ensures that $s_h,s$ is at most equal to the sum:

     
     
     

     $s_h,s leq src_h,s+ch_h,s+dst_h,s+wt_h,s$

     
     
   
   
   • 
     

     This constraint ensures that $s_h,s$ will be at least the sum when $a_h,s=1$:

     
     
     

     $s_h,s geq src_h,s+ch_h,s+dst_h,s+wt_h,s - M times (1 - a_h,s) $

     
     
   
   
   • 
     

     This constraints ensures that $s_h,s=0$ when $a_h,s=0$:

     
     
     

     $s_h,s leq M times a_h,s $

     
     
   
   

Some notes about this:

• I assumed that your constants and variables are all nonnegative.


• You should pick small values for the constant $M$ to make it all work (e.g. $src_h,s+ch_h,s+dst_h,s+UB(wt_h,s)$). Picking much larger values leads to lower performance and might even introduce numerical problems.


• If your solver of choice supports indicator constraints, you could also formulate it using those.