{"action":"created","issue":{"url":"https://api.github.com/repos/mlubin/Pajarito.jl/issues/181","repository_url":"https://api.github.com/repos/mlubin/Pajarito.jl","labels_url":"https://api.github.com/repos/mlubin/Pajarito.jl/issues/181/labels{/name}","comments_url":"https://api.github.com/repos/mlubin/Pajarito.jl/issues/181/comments","events_url":"https://api.github.com/repos/mlubin/Pajarito.jl/issues/181/events","html_url":"https://github.com/mlubin/Pajarito.jl/issues/181","id":196261139,"number":181,"title":"in MSD, don't terminate before gap is satisfied","user":{"login":"chriscoey","id":10138771,"avatar_url":"https://avatars.githubusercontent.com/u/10138771?v=3","gravatar_id":"","url":"https://api.github.com/users/chriscoey","html_url":"https://github.com/chriscoey","followers_url":"https://api.github.com/users/chriscoey/followers","following_url":"https://api.github.com/users/chriscoey/following{/other_user}","gists_url":"https://api.github.com/users/chriscoey/gists{/gist_id}","starred_url":"https://api.github.com/users/chriscoey/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chriscoey/subscriptions","organizations_url":"https://api.github.com/users/chriscoey/orgs","repos_url":"https://api.github.com/users/chriscoey/repos","events_url":"https://api.github.com/users/chriscoey/events{/privacy}","received_events_url":"https://api.github.com/users/chriscoey/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":10,"created_at":"2016-12-18T06:36:24Z","updated_at":"2016-12-19T14:58:07Z","closed_at":null,"body":"currently we (should) return suboptimal if MIP solver stops B&C and our gap criterion is not satisfied. but ideally, we should have the MIP solver continue B&C until we tell it to stop (because we check our gap condition) or the time limit is up.\r\n\r\nso we could try setting MIP solver's gap to 0, and then perhaps using an info callback to terminate it when our gap condition is satisfied\r\n\r\n@mlubin "},"comment":{"url":"https://api.github.com/repos/mlubin/Pajarito.jl/issues/comments/267984366","html_url":"https://github.com/mlubin/Pajarito.jl/issues/181#issuecomment-267984366","issue_url":"https://api.github.com/repos/mlubin/Pajarito.jl/issues/181","id":267984366,"user":{"login":"leethargo","id":43053,"avatar_url":"https://avatars.githubusercontent.com/u/43053?v=3","gravatar_id":"","url":"https://api.github.com/users/leethargo","html_url":"https://github.com/leethargo","followers_url":"https://api.github.com/users/leethargo/followers","following_url":"https://api.github.com/users/leethargo/following{/other_user}","gists_url":"https://api.github.com/users/leethargo/gists{/gist_id}","starred_url":"https://api.github.com/users/leethargo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/leethargo/subscriptions","organizations_url":"https://api.github.com/users/leethargo/orgs","repos_url":"https://api.github.com/users/leethargo/repos","events_url":"https://api.github.com/users/leethargo/events{/privacy}","received_events_url":"https://api.github.com/users/leethargo/received_events","type":"User","site_admin":false},"created_at":"2016-12-19T14:58:07Z","updated_at":"2016-12-19T14:58:07Z","body":"I'm not sure, especially if you have continuous, nonlinear constraints.\r\n\r\nSomewhat off-topic:\r\nIn the context of SCIP's initial design, the problem domain (constraint integer programming) was defined in a way, that the variables are partitioned into finite domain and continuous intervals, and once the finite domain variables (which can be enumerated) are fixed, the remaining subproblem is LP.\r\n\r\nIn the meantime, SCIP was extended to handle nonlinear constraints on continuous variables, to be solved with spatial branching. I guess that enumeration of finite domain was replaced with branching up to the tolerance. But I would bet that if you add a constraint to SCIP that just rejects all candidates, despite the presence of continuous variables, it would branch up to the memory limit and die."}}
{"actor":{"display_login":"leethargo"}}