Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Help: How to allow task overlap in JobShop like problem? #1379

Closed
gustavo-barros opened this issue Jun 25, 2019 · 8 comments
Closed

Help: How to allow task overlap in JobShop like problem? #1379

gustavo-barros opened this issue Jun 25, 2019 · 8 comments
Assignees
Labels
Help Needed Modeling/Usage problem Solver: CP-SAT Solver Relates to the CP-SAT solver
Milestone

Comments

@gustavo-barros
Copy link

Hi,

I have a set of machines that can do tasks on parallel, how can I allow these tasks to overlap?
I tried this:
image
Applying this way the NoOverlap constraint only to the normal machines and ignoring the parallel ones. At first it seemed to work. But because some unkown reason some taks simply dissappear. Any Ideas?

@lperron
Copy link
Collaborator

lperron commented Jun 25, 2019 via email

@gustavo-barros
Copy link
Author

gustavo-barros commented Jun 25, 2019

How I use that, you have an example?
For example, what means demands? And capacity in this context? How I use it?

@lperron
Copy link
Collaborator

lperron commented Jun 25, 2019 via email

@lperron
Copy link
Collaborator

lperron commented Jun 25, 2019

@gustavo-barros
Copy link
Author

Thank you for the link Laurent.

The problem is I don't understand how that will help me to make the tasks overlap with each other in the chosen machine. Maybe I don't have the knowledge required to understand what that function actually does, despite I understand the code it expresses.

I made some tests here, but I was not able to extract some sense of it.

@gustavo-barros
Copy link
Author

All that I need is to tell the solver, "hey, in this machine the tasks can run free and wildly as they want to". My first idea was simply remove the NoOverlap constraint, but that seems not to work.

@lperron
Copy link
Collaborator

lperron commented Jun 27, 2019 via email

@lperron lperron added Help Needed Modeling/Usage problem Solver: CP-SAT Solver Relates to the CP-SAT solver labels Jun 28, 2019
@lperron lperron closed this as completed Jul 16, 2019
@lperron lperron self-assigned this Jul 16, 2019
@lperron
Copy link
Collaborator

lperron commented Jul 19, 2019

I propose that for each interval 'i', you create an optional interval 'i_c' using the start, duration and end variable of the interval 'i', and an new Boolean variable 'p'.

Then you add all 'i_c' to the no_overlap.

Now to enforce the no_overlap, just set the 'p' variables to true.

@Mizux Mizux added this to the v8.0 milestone Feb 12, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Help Needed Modeling/Usage problem Solver: CP-SAT Solver Relates to the CP-SAT solver
Projects
None yet
Development

No branches or pull requests

3 participants