Re: [eclipse-clp-users] Teorethical Question

Hi,

Thank you for the answers. 

I was more curious from the perspective: given a set o variables and their
domains and a set of constraints if exists an algorithm which can give
proven theoretical lower bounds.

If that algorithms says 2 then for sure 2 constraints will be violated.

Best regards,
Bogdan.


-----Original Message-----
From: Kish Shen [mailto:kisshen_at_cisco.com] 
Sent: 18 mai 2011 15:48
To: eclipse-clp-users_at_lists.sourceforge.net
Subject: Re: [eclipse-clp-users] Teorethical Question

Hi,

eplex has support for getting IIS (if the external solver supports it) 
since ECLiPSe 6.0 (it was mentioned in the release notes) -- 
eplex/lp_get_iis will get the IIS from an infeasible problem.

Cheers,

Kish

On 18/05/2011 11:01, Thorsten Winterer wrote:
> Hi,
>
> from a practical point, CPLEX offers an option to find a set of
> "Irreducibly Inconsistent Constraints". I'm not sure whether it's
> possible to extract that information from CPLEX via eplex, but I would
> be interested in such an option. (Kish: how hard would it be to extend
> the eplex/CPLEX interface?)
>
> One paper I found through Google on IIS is this:
> http://www.sce.carleton.ca/faculty/chinneck/docs/GuieuChinneck.pdf
> And here is a tutorial that was presented at CPAIOR 2007:
>
http://www.sce.carleton.ca/faculty/chinneck/docs/CPAIOR07InfeasibilityTutori
al.pdf
>
> Maybe this helps as a starting point.
>
> Cheers,
> Thorsten
>
>
> On 18.05.2011 09:36, Bogdan Tanasa wrote:
>>
>> Hi,
>>
>> I am dealing with a number of linear constraints (linear inequalities)
>> and I am curious if exists some theoretical results regarding the
>> minimum number of constraints which can be violated having as an input
>> the inequalities and the domains of the variables.
>>
>> From what I read on the Internet I found articles like this:
>> http://www.springerlink.com/content/fr0c10gxnbm0ql93/
>>
>> Do you know similar work for the particular case when the constraints
>> are a linear combinations of variables?
>>
>> Thank you,
>>
>> Bogdan.
>>
>>
>>
----------------------------------------------------------------------------
--
>>
>> What Every C/C++ and Fortran developer Should Know!
>> Read this article and learn how Intel has extended the reach of its
>> next-generation tools to help Windows* and Linux* C/C++ and Fortran
>> developers boost performance applications - including clusters.
>> http://p.sf.net/sfu/intel-dev2devmay
>>
>>
>> _______________________________________________
>> ECLiPSe-CLP-Users mailing list
>> ECLiPSe-CLP-Users_at_lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>
>
>
>
>
----------------------------------------------------------------------------
--
> What Every C/C++ and Fortran developer Should Know!
> Read this article and learn how Intel has extended the reach of its
> next-generation tools to help Windows* and Linux* C/C++ and Fortran
> developers boost performance applications - including clusters.
> http://p.sf.net/sfu/intel-dev2devmay
>
>
>
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users


-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.

----------------------------------------------------------------------------
--
What Every C/C++ and Fortran developer Should Know!
Read this article and learn how Intel has extended the reach of its 
next-generation tools to help Windows* and Linux* C/C++ and Fortran 
developers boost performance applications - including clusters. 
http://p.sf.net/sfu/intel-dev2devmay
_______________________________________________
ECLiPSe-CLP-Users mailing list
ECLiPSe-CLP-Users_at_lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users