Research Article

Polynomial Time Instances for the IKHO Problem

Figure 3

Building a feasible solution to S u b [ 𝑘 , , 𝑠 ] . In order to construct a feasible solution 𝑥 to the current subproblem S u b [ 𝑘 , , 𝑠 ] , we exploit a feasible solution 𝑦 to one of the subsequent subproblems S u b [ 𝑘 𝑠 1 , + 1 , 𝑠 = ( 𝑠 2 , 𝑠 3 , , 𝑠 𝐿 , 𝑏 ) ] , for a 𝑏 { 0 , 1 } . Clearly, 𝑥 must satisfy the capacity constraint on the knapsacks [ + 𝑐 + 𝑢 + 1 , 𝑚 ] . Moreover, notice that the radiation from the bit 𝑠 1 does not reach the knapsacks after + 𝑐 + 𝑢 + 1 , and then, for those knapsacks, 𝑥 satisfies the capacity constraint only if 𝑦 does. Therefore, we need to check the capacity constraint only for the knapsack + 𝑐 + 𝑢 + 1 . Furthermore, the bits after 𝑏 are not involved when we check the capacity constraint on that knapsack. Thus, in order to check the capacity constraint on the knapsack + 𝑐 + 𝑢 + 1 , it is enough to know the bits of the string 𝑠 𝑏 . Notice that, for a signature 𝑠 , 𝐿 is the smallest width that holds the properties we showed above.
859820.fig.003