Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers


529 users

0 votes

I'm bit confused about integer solution from the rational solution. I understood that we have to enforce constraints to get integer solution. 

So when we select v= floor(x0) = floor(-1/5) =  -1 . why we have selected x0?  can we select any variables from both basic and non-basic?

If floor did not work for the selected  variable, should we select the same variable with ceil function? I mean, if values of y0 is not an integer, should we repeat the step? When can we terminate? I am not sure that, we will end up in an infinite loop. Could you please help on this?

in # Study-Organisation (Master) by (2.7k points)

1 Answer

+1 vote
Best answer
We have to strengthen the constraints to the next integer values for all solutions that are not yet integers. x0 was just the first, one could also choose y1 or y2.

If floor does not work, the next step would be to try the ceil-value with the same variable as explained on page 118 of the related chapter. If that does also not work, there is no solution, but it may also happen that the recursion does not terminate as explained on 117.
by (166k points)
selected by
Okay.. If I select a variable and tried with ceil function, should i just check one-iteration? When should i stop the iteration for floor function ?
Well, you must continue with the strengthening until an integer solution is found, or it turns out that there is no solution with the strengthened constraints. In the first case, it terminates with a solution, in the second case, you backtrack and tray with floor. It that should also fail, there is no solution at all. it. Thanks for the clarification.

Related questions

0 votes
1 answer
0 votes
1 answer
asked Feb 13, 2023 in * TF "Emb. Sys. and Rob." by gadde (410 points)
Imprint | Privacy Policy