[Scip] Providing SCIP with an initial solution for a MIP

Stefan Heinz heinz at zib.de
Fri Oct 21 09:15:07 MEST 2011


Hi,

as Timo already mentioned partial/infeasible solutions are currently not 
supported within SCIP :-(. I see of course the potential it would have.

If someone needs something like that it is not that hard to implement. 
One way would be to implement a primal heuristic which gets fed with a 
partial/infeasible solution.  If SCIP calls that heuristic it just 
copies the problem which is very easy since SCIP version 2.0.0 
(SCIPcopy()) and starts fixing the partial/infeasible solution step by 
step in probing mode and solve the remaining problem.

Best Stefan




On 10/21/11 06:47, Sebastian Ruther wrote:
>    Hello,
>
> I know this thread is about a month old but I would like to reopen it.
> And I would like to answer a question Marc asked:
> "What would you want to do with a partial solution?"
> Suppose you have a TSP and know a partial tour but you are not sure if
> this partial tour is feasible. I want to give this to SCIP and let it
> complete the tour. However, if it can't complete the tour, I want it to
> automatically discard the partial tour and resolve.
>
> Of course you could fix the variables for the partial tour and let it
> solve. Then if it's infeasible unfix and solve again. But that seems to
> be a lot of work for something so intuitive.
>
> Cheers,
> Sebastian
>
> On 19/09/2011 2:34 AM, Timo Berthold wrote:
>> Dear Jörg,
>>
>> if you are using SCIP as a callable library rather than via the
>> interactive shell, please check:
>> http://scip.zib.de/faq.shtml#Q13
>>
>> The same holds: infeasible solutions will be discarded, nothing special is
>> done for partial solutions.
>>
>> Cheers,
>> Timo
>>> Hi Jörg,
>>>
>>> in the command line environment of SCIP you can first load you MIP and
>>> then a solution file - the solution file should end with ".sol".
>>>
>>> If the solution is partial or infeasible, it is discarded, because SCIP
>>> does not know what to do with it. What would you wnat to do with such a
>>> partial/infeasible solution?
>>>
>>> Best,
>>>
>>> Marc
>>>
>>>
>>>
>>> On 09/18/2011 17:57, "Jörg Pfähler" wrote:
>>>> Hi,
>>>>
>>>> Is it possible to give a (partial or full) solution of a MIP to SCIP
>>>> (before the solving process starts)? If so, how would I do that and what
>>>> happens if that solution is infeasible or if it is only a partial
>>>> solution?
>>>>
>>>> With best regards,
>>>> Jörg Pfähler
>>> _______________________________________________
>>> Scip mailing list
>>> Scip at zib.de
>>> http://listserv.zib.de/mailman/listinfo/scip
>>>
>> _______________________________________________
>> Scip mailing list
>> Scip at zib.de
>> http://listserv.zib.de/mailman/listinfo/scip
>>
>>
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip



More information about the Scip mailing list