{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "**Description**: Shows how to use lazy linear constraints to approximate a nonlinear constraint.\n", "\n", "**Author**: Iain Dunning\n", "\n", "**License**: \"Creative
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "# Approximating a $L^2$ Ball with Linear Constraints\n", "\n", "Consider the optimization problem\n", "\n", "$$\n", "\\begin{alignat}{2}\n", "\\max_{\\mathbf{x}} \\ & \\mathbf{c} \\cdot \\mathbf{x} \\\\\n", "\\text{subject to} \\ & \\left\\| x \\right\\| \\leq \\Gamma \\\\\n", " & x \\in \\mathbb{Z}^n\n", "\\end{alignat}\n", "$$\n", "\n", "This problem is an integer second-order cone problem, a problem class that commercial solvers have only really been able to solve efficiently in the past few years. One way to solve this problem would be to solve the continuous relaxation directly, and apply branch-and-bound to find an integer solution. A different perspective is to solve a series of linear problems where the nonlinear norm constraint is approximated by linear constraints.\n", "\n", "We can implement the second method ourselves using JuMP's **lazy constraint callbacks**. In this method we do not provide the solver with the norm constraint directly, but instead provide a callback that will attempt to generate a new linear constraint whenever the solver finds an integer solution. Only a finite number of linear constraints are needed to approximate the norm constraint, so this algorithm should eventually terminate." ] }, { "cell_type": "code", "execution_count": 1, "metadata": { "collapsed": false }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "[30.0,40.0]\n", "50.0\n", "8\n" ] } ], "source": [ "using JuMP\n", "# We need to have a solver that supports lazy\n", "# constraints. Options include GLPK, Gurobi, and\n", "# CPLEX - others may be come available in the future.\n", "#using GLPKMathProgInterface\n", "using Gurobi\n", "\n", "# solve_ball\n", "# Optimizes the linear function c'x\n", "# where ||x|| ≤ Γ + ϵ, where ϵ is an\n", "# absolute feasibility tolerance.\n", "function solve_ball(c, Γ, ϵ=1e-6)\n", " # Size of vector\n", " n = length(c)\n", " \n", " # Create the model\n", " # Make sure to change this line!\n", " #m = Model(solver=GLPKSolverMIP())\n", " m = Model(solver=GurobiSolver(OutputFlag=0))\n", " \n", " # Put the variables in a box\n", " # This ensures the initial solution, before any\n", " # linear constraints are generated, is bounded.\n", " @variable(m, -Γ ≤ x[1:n] ≤ +Γ, Int)\n", " \n", " # Objective is simply the inner product\n", " @objective(m, Max, dot(c,x))\n", " \n", " # We'll now build a callback function\n", " # Note that the callback is an inner function,\n", " # or closure. This means that it inherits the\n", " # scope of the enclosing function, including\n", " # the definition of the variables x\n", " # A callback must take a single argument, the\n", " # callback handle. When we want to communicate\n", " # back to the solver, we do so through the\n", " # callback handle\n", " # We'll keep track of how many times the\n", " # callback was called, just for interests sake\n", " num_callbacks = 0\n", " function norm_callback(cb)\n", " num_callbacks += 1\n", " # First, lets get the value of x at the\n", " # current solution. Since we the linear\n", " # constraint we are adding is going to be\n", " # a tangent hyperplane of the L2 ball at\n", " # this point, we can think of the value of\n", " # x as the normal of that hyperplane\n", " N = getvalue(x)\n", " \n", " # Lets get the length of the normal\n", " L = norm(N)\n", " \n", " # If the length is small enough...\n", " if L ≤ Γ + ϵ\n", " # We can stop right now\n", " return\n", " end\n", " \n", " # The constraint is violated, so we need to\n", " # add a tangent hyperplane to the L2 ball\n", " # at this point. We have the normal of the\n", " # plane, and the point we touch the sphere\n", " # is at (Γ/L)*N, so the plane equation is\n", " # = = \n", " # = \n", " # = Γ*||N||\n", " # Note we don't use @constraint(m, ...)!\n", " @lazyconstraint(cb, dot(N,x) ≤ Γ*L)\n", " end\n", " \n", " # We now tell JuMP/the solver to use this callback\n", " addlazycallback(m, norm_callback)\n", " \n", " # Now solve it!\n", " solve(m)\n", " \n", " # Return the solution\n", " return getvalue(x), num_callbacks\n", "end\n", "\n", "# Lets generate a random instance\n", "srand(1234)\n", "# GLPK is very slow with anything bigger\n", "# than 2 or 3, Gurobi should be fine up\n", "# to at least 10\n", "n = 2\n", "c = rand(n)\n", "Γ = 50.0\n", "\n", "# Solve and display\n", "sol, num_callbacks = solve_ball(c, Γ)\n", "println(sol)\n", "println(norm(sol))\n", "println(num_callbacks)" ] }, { "cell_type": "code", "execution_count": 2, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/html": [ "" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "text/html": [ "
\n", " \n", " \n", "
" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "text/html": [], "text/plain": [ "Interact.Slider{Float64}(Signal{Float64}(0.0, nactions=0),\"c1\",0.0,-1.0:0.1:1.0,true)" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "text/html": [], "text/plain": [ "Interact.Slider{Float64}(Signal{Float64}(0.0, nactions=0),\"c2\",0.0,-1.0:0.1:1.0,true)" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "text/html": [], "text/plain": [ "Interact.Slider{Int64}(Signal{Int64}(-1, nactions=0),\"logϵ\",-1,-4:2,true)" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAS4AAAEuCAYAAAAwQP9DAAAABmJLR0QA/wD/AP+gvaeTAAAfwklEQVR4nO3deXBd5Zkm8Of5zr3abHmRJdnGlnfhRbYJ4JgtnYQskASSNBAEBAgNkw5JetKTZbr/6H9as9VUdVVSNZ2ZTJwmpJMGQi42S0jokAUnGaADMYsByZZl40W2JFt4lS3p6t7zvfOHZWJog2Vb0jn3nOdX5cJV2PJ7l/Occ77zfd8LiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiJwZRl2AJJcBZQAuAHAVgPk4/n3bAeC3AJ4h4CMrTkTk7QyYZsDfG/CKAT0G9A3/2mvASwb8gwF1UdcpIgIAMGCqAf9tOKTsFL/C4f/3HQOqoq5XRFLOgDIDrhq+yjpVaJ0cXrsMuCPqmqX0uKgLkMSpBvBpAPWn+XNu+M/cZPoeyhnSF0ZGWyWA92JkD37KACzE6UNO5C0yURcgpeGx3t7q4kFfF4aF6fQ2hQGrCVZj+Bdh5R5W/pvWV6e87wu3N5bv733L378Rx8+SP8ZbzpYMKysnt3717973yF13vFQYqth747K6YyRtPF+blB5Nh5A35cyCsL1zerm5uR6cB3CuI2aAqPeGKTw+kF5lsHIAZaTLwqwMhjIQAQxB5d49wSVf/eKEmpdfCE783CEA5QCyw79/E4n+82bn1z/089Z8TW2fAf0EDhrQS7CL5K6iL+4MrHxHzdLa3ivJ4vi9GxJnuuJKsYc37Z7mg8wi8+EyB7cY7T3zHIJaIycBmESw2ogJZlbF498VAgBPnO9s+MLoxOmPQLFqInpXX4aal19489/pH/7v2x8fhuXlOLDywvKhKTUXnfRjhggOAP6YN/YFdEeMxSMH2nveWNvetZ3et1uQ2ZQvz2/57Jw5h3R1lk664kqR3LYDkzHUv8wZLwK4nA5zANSCrDFvNSCqTw6os8EwxJTWV3DJV+9GVdduAEAXgFkAZg7//vgfJPpnnIcX/8c3se/y95/255qhQOKImR0keYDAfgN2gHwt9OFLQ5mB1tsaG4+cbd1SWhRcSWbGH2/umVvm7EJ4rAKxDMAsGOpBTDOgimPwgCbTfwyz//VxNH3rf6J8fy+2AmgEsAhABwCQyNfUov3ur2B7860IKyrP/B8hPAzHzHCAxD4D9gBoNcOLbsg/H7bP6m5uZjiar0viQ8GVQI9u3dPgPd/rQ7yPsOUGziJRD8MUcByGB8yQ7etD3XPPYN66H6PrD8/g4sEBrATwQmUV9l+8GjtvuBn7Ln8/hiZPGa1/tQjgkBn2gdZNuHaz8HnP4u/burd3tlx5pcbHEkTBlRD3v7JzamVZ9hJv9mGSK8zQQNp5IKthCE7/E0ZfkM+jsnsPXn/29/jSf/07rJgzD9/5L/+AgRkz0T/zvLO70hoZA3DUzPaCbieAFx3sKZbn/3Dd/PmHxuoflfGjwfkS1mLmlrX1LHEOHyLs/d5sMYEGAJNIBACPH8IRCcvLcXTeAuwdHuvijJnoXX0ZLBjzHCWAapLVBlsAswuNvMryFR1rN3X9mzP3y6JN39LcxKHT/iSJJQVXCVqzoatqejUuLrR3XesCvhfAAgAzCJYhhlfR+XweAFA2YeJ4hNZbEHAgawDUALaUxKWgv47YsyG3effjCMueb26qPzquRck5U3CVkEe2H5wSDub/DM5fGxoudOACAFOAaG4FR2qw//iEiPLKMbs1HKkyALMNmOXgmszwAQaFlx9u7/ll0dlvmhtn9p72J0gsKLhKwMObdk/z4FV+sP9aR7fCDPMATEQMr65OZWhwAABQPnZjWmeKAKaSmGrG8w3+8ozHp9a173nsqLdf37F09v6oC5R3p+CKsSc69k/q9/kPecP1PL7+b67BKlAigXVC/kRwVcZvBxsSEwAsNsMcgBdOID61dvPux3xov25uajgQdX1yagquGMp1dlZmBrIfHigO3kBylR3fPbQKJRZYJ+QHTgRXbK64TqUSwBKCc0Be6Bw+8fDmrgeLNZmnm+s1BhY3Cq4YaWkxt6S5+z3umN1i9B828HwenyRakoF1wokrrrL43Cq+myoYlpJs8PAX8mDhd+vau/8lLM7YqKeQ8aHgiolHXt210Mr23ug9ria4wgxTyWRsO/TmFVdpBNcwm0hwJQ0NgF0UBF0//fGm7bmbl8zbqfWR0VNwRewH67dXVM8o+6gnP0ezy3l8b6pMSV9ivc2bg/PxvlV8J1MNuIzk3DKWX7puS/eP7uvoeErrIqOl4IrQw692LbUMbofDx2BYbLCq0r4pPLU/TYeI3+D8SBBwMMwGUEugsSKsunxta/cPX9u3uV1LiaKh4IrAjzb2TKjIFq/3AZtpdokZpo3FYue4yMdvOsTZqgDQRHAGAlu5fOaSe3PbDjzZvLDmcNSFpY2Ca5yt27JzAby/08xdT/MLAZYn8CLrLYZK46niSBFALYArCZvjhgbem9u85562B8/raGmh+kSOEwXXOGlZvz6zbObij8DzL0D7IIlaGGM943205Et7jOudlAFYSrIuMCxsuqn7u2uu7Xr67lXn9Z/2b8o5U3CNg1xrZ40j7yDZbGYraKU7J+tsDA7EZsnPWKgF8TEHNNRP5L25ju61Wjo09hRcY+yx1n2LCkF4N2E3wFsDx2M/rJh581axojQH50eg0oCLPKwmU8SihzftXnPdklkdmjYxdhI7IBwHD3fsviwMin9P2B0GzB2XTfxiKKG3im8x/HBlgRGfM7r//tCW7ityrVYWdV1JlcoDaayt2WDZaRO6PmOedxK8BLDqUp/9fi5OTEAtkZnz56oWwCcCj+kM9n7ryY09v776ghnHoi4qaXTFNcpyrfsm1lb3/CXJ/wyz9xtsElIcWsCfxrgqEnzF9TYTQFzm4VuOVvhbcq2dNVEXlDQKrlGUe7G7zgXF/2Rmf23ACoDlUdcUBwmbDjFSWQArYfjbTBB8Kfdy56yoC0oSBdco+fHWPQ2uwv8NgS8QWMTjX9zUKxYKCMMigkwWQSZdb8nwuNciD/tSUOG+sq6ta27UNSWFgmsU5LYdmFPm+XWQtwOYjZjvSDqeSmRLm7FEgrMAdwcCfuOx1n2Loi4oCRRc5yjX2rkoU8z/LTw+S4d66D19iwQt9zlHNgNmtxRY/MaDm3afD1iqxz3PlQ6yc/Dwlq6lmUzwt2Z2E4A6mN7Pt8sne/Lpmaqlw41Zur9Z2969GKbwOls60M7S2rbORvP4upndAGAaUv7k8J3oVvHfmQazG2j4Rq696/yoiylVCq6z8Mj27nl0wdcI/DnAqVBovaM/3Somdtb8mSOnArjemfvKgx17F0ZdTilScJ2h+zbunh3mw68CuMF0pXVaKZ0KMRI1pL8pUwy/rKeNZ07BdQZyHd11leXBV4igGUQtFFqnlYblPmePtQRuJe0uzfM6MwquEcq17puYCe0LgN0M2HQNxI9MjJrBxhMx3ci7XEXwmQc2dNVGXU6p0ME3AuvXW8YFxdsMuA3ALOh9G7EYNoONo1mE/VVFNT9xX0fHpKiLKQU6AE/HjPtndN1I4PMAFkCTS89InJvBxghBLvTmv1Zl1e//wfbtFVEXFHcKrtNY197zQTr3eRBNOL7rpZwBTYcYIYMj3HLz/usTBrMX5nI5nSDfhYLrXaxt62wE8QWYrYZBZ8GzUGLNYCNmGQMuc3RfxsortDToXSi43kGutbOGDO6G+Y8AmBB1PaWqNJvBRodABYFrnOGz69p6Z0ZdT1wpuE5h/XrLZMg7QFwPsAaa9nDWSrwZbFSmAvgLsHj1Y5t7q6MuJo4UXKdwYFbP1ebczTA0QO/ROSn1ZrBRIdlgtC+HQfGilvXrtVPx2+igfJtHXt21EN7ugGF5WveIH03aHeKskcAFCO3zK2csXxB1MXGj4DrJ411dVWE2c6cBHwChI20UaMnPOSkzs2vAoetyHd11URcTJwquk+SP4HoYriOpNYijREt+zhE51YC7gtBf9kRHh7YCH6bgGpbb1LOCxC2kLYSZ5tCMkoQ3gx0f5EID7xoslDdGXUpcKLgA5Do7KwOGt8GwWg0uRlcKmsGOPUMA4MrQBdc83q71jICCCwAQHMtcA7iPGaA2UqNMt4qjg8AkB95RMKxas2FDurqOnELqg+uRV3ctJO0W0Bqp92PUacnPaGKj97h18oQZ86OuJGqpPlBbWsxZWdmNMF4K01PEsfDmGJemQ4wCy9Dh41lz70/7xNRUB9eS5j2rDf7jZlYfdS1JpekQo26aEbfmrZDq/epTG1w/2L69IkPXDG8rNNF0bKS5GexYIvHewOHqNM/tSm1wTRzMfoQOHzRyctS1JJXGt8bMBBhuCUIsbzFL5TGcyhed23ZgsmNwPYwakB9DJ54oVii4Rp0ZFhvwiRWv7Dkv6lqikMqDloP9V5nZJYBpu5oxdKIZrPbiGn0ksoRdZ2WuKZfCCdOpC65ca2dNELhPkZgHLesZU7pVHGucC+LjZdu6UnfVlbrgcs5dbcAqQNMfxpqawY41yzjg08XQrVhvlqoHTKkKrlxrZw2ATwKYC11tjTlNhRh7RjQQ/mO9bd2puupKVXDRBR+k40pA+8ePBy2wHgeGwIzXBNng/DQ9YUzNC12zoavKER+H6WprvGiMa3wQmAMffmBZ247UTKROTXDVTuElAC6EGl+MGzWDHTcZAJ8MgrKFURcyXlIRXLlcLrCCXQvDAuhqa9yoGex4siXecNnwOG7ipSK4MssvXeqIi+Co9ubjSLeK44nlJD/qM2yIupLxkIrg8o4f8sAC7Ww6vtQMdnyRWJ1FZkkatnhOfHA9sn37FFrwPgLTo64lbdQMdpwZJhP2ZwOFCTOiLmWsJT64LD/hUqMtBlAWdS1po2aw445m/qMk50VdyFhLfHB5hB/m8cauGpQfZ2oGGwXO87T35LYdSPSuJ4kOrse3dc2B2UpQg/JRUDPYSJQ52uWuODgz6kLGUqKDa6jA1SQaAGhQPgJa8hMNAy8jbbaZJfYuI9HBZbTLQST6zBNn6vATEeNMM658dMehxN4uJja41rV1zYWhCUCqmwpESWsVo2IZGi63wkBiT9qJDS5PXAzD7OFmmhIBNYON1CWh+cTuGJHY4AL8KsI0dytCulWM1AwaGnOt+yZGXchYSGRwHd9T3i0F1AgjSlryE6kMDe/JurA26kLGQiKDC0OFZQBmqe1YtNQMNmJ0F8EhkVvdJDK4nBUvApL5gZUSTYeI3JKiL85uWb8+cSfwRAYXwOUApkVdRZqpGWwsTAyYaVxWvyhxE7ATF1wPtHfVMuAcA/QoK0Ia34oFmtkylCNxe3QlLrjKnV8Eszo1eo2WmsHGBLE0G2YUXHHnQy4FOTXqOtJOzWBjozEEapO2/CdxweXgFpu3xJ1hSo1uFePBgEkE5t3b3p6o+VyJCq6W9eszBj8f1DKfqKkZbDwMD5ksqOaERA3QJyq4lk1dNB3ANELzt6L25lSIKl1xRc5sXoaBgiuuWO7mEpwEbRoYOU0+jZW5vhAquOKKQTDXgER9QKVKY1wxYjbP0SXquEhUcDlvcwhqfCsG1Aw2RuimGFmXa21NTN+FRAWXh50HqlN1HKgZbJxYxpyfjorknEUSFVwg6sybjpQY+FOjjMQcKyWNxulBflJijo3EBNdjvb3VBCdTO0LEwlB+EIAmoMaFGaa7rFdwxc3AoYF6mE2AnijGgprBxgvJ+kJxSMEVN9mCq4MWVseGmsHGiwH1zifn+EhMcPnApgJWHnUdcpyawcaM2RQyOcdHYoLLhW4SwMQ87i11agYbLyQnAUFijo/EBBeOz99KzAdT6rT7acwQ1Ra4xBwfiQkuBqgGLDEfTKlTh5+YMZTDW2WLWSKO+US8CAAw40SQ2iM4JtQMNnYcwImrtyIRx0higgu0CjV/jQ81g40fQ1jxRv/eRMxzTExwmVkWCXo9pU63ivFDMFsoP5SIYyQRLwIADMwadMUVF9odIn5IZqqPZhNxzCfiRQAAjRkHatZ8TGg/rvgxWLZQlknEMZ+I+10AAC1jCQriUlccygPQWsU4MWO2Mhsk4hhJTnBJrDz4yg74MIQLdPceF87B4KOuYnQkIn0BALQiwYR8LMmg0IoXMxYHCmEijpHEBJeZFT3Moq5DJK4IK2QnFBVccRIgKBAIo65DJK5IFvoKBQVXnBitQCTlDl5k9Jm3YjY/JRHHSGKCyxsHzXTFJfJOaBw4VNVXjLqO0ZCY4KK3o3QYiroOkZgyZOzogUWLClEXMhqSE1zOHTFQwSVyKoYBXwwHW5iMJ++JmcdlYbEPAQvUlvMi/55DnyGbj7qM0ZKYKy4XuCOAbhVFTsXAPhf6RNwmAgkKLvP+kKMbjLoOkTii2UEXMDHHR2KCy2V9r5kNRF2HSBwZ0FvwxcQcH4kJrgNh/z4D+gFo9rzI2xC212esP+o6RktiguuuxYuPgnYIQGLu40VGC417swWv4IobkgZDL8jEXA6LjBYj9obloYIrjgzogvljUdchEicGeNJ6Dh48qOCKo4DBTgP7oq5DJE5I9CLE/rtXrUrMMEqiggu+uJPAkajLEIkVwy4G7nDUZYymRAVX0ZdtN5iCS+Rkhp35IUvUnUiigqttX90bAN4w05NFkZPsdGVhok7oiQqulitZJLCD1O2iyAne7HUUy3WrGGvmNpvxYNRliMTEAQe3s+2husQ8UQQSGFwWcBNpB6KuQyQmtoZBsbelJRnb2ZyQuODKl+e3GLAf2sZZBCQ2oYjEncgTF1yfnTPnEIEdADQRVcS4CVBwxR5JA/maWfI+LJEz1Ge0LW37tibuYVXiggsAQh++RGJf1HWIRGyzA/e0XHllIhpknCyRwTWUGWgFsRuGxH1gIiNmeBE+mSfwRAbXbY2NR8zQBuJQ1LWIRMQDeKlviL1RFzIWEhlcAGCGF82SebYRGYFOmG27feX0RM3fOiGxweWG/PN02ANNi5B0+mMh5B6SidwROLHBFbY/202PVwkkaqmDyAgYgGdc1UBX1IWMlcQGV3Nzc1gk/82AnqhrERlnO+mttW3BgkTtCHGyxAYXAITIPGuGTtPtoqSKPRc47EpK1+pTSXRwtS+u7THaywS06FrSIjS6p/sO9XdHXchYSnRwtZDewPUG2xN1LSLjgtjsPF699ZJFib1NBBIeXACQLa/8A+A2A8hHXYvIWDNv64vetif1aeIJiQ+u6+ZPPWTmnzbD3qhrERlbPEwXPN1Tdizx3/XEBxcA0PFXdNgBdbmWJDP/fFgstv91Y2Pi7y5SEVy+ePB1mj2HBG7vIXIciwb+Ils1YUfUlYyHVARXc1PTUEg+juP7dIkkkG10Ds9v/OGUxG1hcyqpCC4AGBh0L4J4AUCin7ZIKhlpP0fgtiRti+Z3kprg+twFM44Z8K8gdkVdi8ioMusA8XRx4fT9UZcyXlITXADgi+HvYdgIYCDqWkRGDfmEsWJTMxlGXcp4SVVwNTc1HADtpwB2Rl2LyCjZZuSv3ji8PfFTIE6WquACgLBq4q8A/hGGRO5TJOnigcfpwlfuXrUqVd3bUxdczQ2TD5jZY8PzukRK2ZYAePKNwz2putoCUhhcAFBRVXjKwOcBHo26FpGzZIA9mkcxdVdbQEqD69q5cw+atweNthWaTS+lyPAyYU+2d29L5fbkqQwuAPA+8wyB30Cz6aX05A3IwbAxia3HRiK1wdXcVH804+x+A9qQosfIUvoM+B2IX7/yk1mp3WcutcEFAPmhQ63O8XHAEr3pmiSI2UHAfuLDzOa0zJI/lVQHV3NT01A+HHyI4PMGDEZdj8jpeOBRn/G/b26qT/WDpVQHFwDcvGTeTu/5zwA6oIF6iTV7JSBzyB9J/bK11AcXScsy+C3Mfg4ms+uvJICh34D7YP6PzU1NQ1GXE7XUBxcAfHpJXZ8r8kcwexFA6r8UEkPkz735X1y3ZJaegkPB9abipplbAH7fDJrbJbFiwGYPf/+ximJH0veSHykF17DmZobh0f5fkXgYhlRO6pP4IXgE4L0F8pk758/XA6RhCq6TNK9aeLhQKP4ziN9rEbbEgAFY6+F/esv5M1Oz19ZIKLje5qblDa97+jUGtKkDtkTs2WIY3o/wUOLbjZ0pBdfbkDSrsmdB3kvtUS8RIdEJ4z3lQbmeIp6CgusUmhsaBnyAtQZbB2i8S8bdUYD3hBXBLz69pE49Ek5BwfUOmhtn9vrQfw9mTwFI9SxlGUdECNiDgfmftM2r00nzHSi43sWNy2ZvIzL/CMMLAFK355FEgU96ww96jp73egvTuxbxdBRc74KkFf0bL1jGfRPAq9pFQsaU4UWYX2MT/Ut3r6JOlO9CwXUazU1NQ/39eAqO36Zp40EZMx3m+I8DQcVvmxsa1IXqNBRcI/C5C2YcGxwcesyD3zegM+p6JHG6Dfjfzoc/u61xWio6UZ8rBdcI3bpy7kEfBv9C4n6APVHXI4lxAMB3CiiuvX7pbK1DHCEF1xlobqrvQYg1pD0ATZOQc2TAERDfHTLe1/5gQw80DDFijLqAUpTb3DPfWfgNR95kQG3U9UjpMcMxAt8NffjdG5fNfp16gnhGdMV1FpqXzNgOy/4vAx49vpWuyBnpd8Q9Ie2fsGz2doXWmVNwnaXPLKvbmh/CN83xIQBaACsjddRg9wwVsKate8u2Zk2xOSu6VTwnxrXbehexGH4FZjcDqIu6Iom1wwb7nge+39a9ZVtaW4uNBgXXKFj3ys4FLMt80cDbAcyIuh6JIzsE8v86F3y/8FL9juZmXWmdC90qjoIbVs593Tz/D82+B2A39HRITkKwC959y3l+r/DS7xRao0BXXKMo93LnrEyl+3Mz/kcDzqdODAJsM+DbWWQfeunB2p4090IcTQquUZZr7azJZLJXee+/QfICwLJR1ySReRHGb5c5+9knz5+5H9oMcNQouMZArnXfRHDoA5kg+JrBLoehMuqaZFyFIJ+E+TXh0cHfNa9aeDjqgpJGwTVGfrB9e8XUQuUFoYVfNI9PkayJuiYZF32Ae4ABf1isGHpZC6bHhoJrDLWYueWv9y5EodgM4D8QmAe958ll2AXyHlrmJ73Hdm6/e9UqbU0zRnQQjYMHXt87vazgPwazvyJwAYCyqGuSUWUAnjXjP3k/+GTbQ/P2aRB+bCm4xsl9HR2TKm3CexDanSA/CWBa1DXJaOBh834tnbs/g8wG7RE/PhRc4yiXywW46IPzM2HxU2b2lwAbAQRR1yVnx4DNzvj9IYQ/Pbxk1va7qV1Lx4uCKwIPbzoyzaPvcpB3AfgQgUlR1yRn5BiAJzzs/sDs6euWzDqgvofjS8EVkSc6Osr7h8oWMch+FOCdAJZqzlf8GdFmZj8y808cqyh23Dl//mDUNaWRgitiudbOmgzdxeZ4O4BPQGNf8WR20IhH4P26oSB4/pbzZ+7XVVZ0FFwxsGbDhuy0qjnzyPAKwH8W5GUAJkZdlwAAhszwLIAHfDZcj/yRXeosHT0FV4z8aGPPhIrKYmPgeRWAWwEugaZORMUAvgqzB53jb5xlNumJYXwouGLogfau2qznchLXEHYdwLmAZaKuKyUMZh2ge9SRvxzo8xu3/GzmAc3LihcFV0y1mLkVr+w5D5XZJfD+I4BdD3C+AmzsmGE7gEcd8cs8iq+0d2/bp83+4knBFXMtZm5xe+eMAFzpEHwcwLUE5gBQgI0OA9AB4Ak4/hoMN9YsmtVzJanAijEFV4loWW+ZZfXd5xnt/AzdFaBdC6JJO0+ctRDAawAe94b/VyzapiP57h6tLywNCq4S09JibuVte2vNsABFu4K0qwxYDWAy9HmelgGHHfCcNzxJw4ZMRdCen1//hppWlBZ90UvY8U0L2WAWNIJ2KQxXA2gEUB51bTETEthqwNNweIoWtLK/f+fGx354pKWlRYPuJUjBlQAbzLKvb9ldn0EwH4aLQLvCwMtgnJniwXwzwy5HPheaf9rRvQbndh7J9ndptnvpU3AlTG7bgcmuODiTtNlmXEnD5SRWm8dMMNkD+gZ4Ap0A/0gfPosMX/PGzkF3rOvWRYv6NNM9ORRcCWVmfHTHoclWGJhZ9H6mM7eQsBUgLyaw3IBqJODzN8Mx0LbR8CLJ58zbVobcU6yq6GpbMLWvRV2iE6nkv7gyMo93dVWF/TatWOR0ejTQ8XyjLYNhKYBGAyaVRFcis4MGbiWwyYBNDtiCTNBNYF9hiHtvXFZ3TFdWyafgSqGW9eszy+oXTUJ5eU02DGtCoJbAPHhbAGAeiLkwmwe6KVGNkQ3f9r0BcBdgO2DYaeQ2+nBXGAS9KBYPADjQtm/rEU0STR8Fl8DMeG97+8RqTpiUYTDJF8JJzJZVIwzrzWE6zaabYTqdq4dZPcgpgE0CUA1DOc7uSq0fRJ+BfTQ7CKIXsH0wt9doew3WHYTY780fKfrgiCsLj6BYfrjtobp+Lb8RBZe8o1xraxkqZlYG+bDKZX0Vi1ZV9IUqMigHrMzgy8Cg0jlO9LAyeldB8xnvLAOwjABpHIRZ6AMWzFuB8IOAOwoLByzI5l3oCy7gYMFzIJthvy+4/rA86D948PV+TQaVd6LgknPSYuZWb0U2PNwdHC4ey5TVTWPhWJ+rrAnc4DFHyxfC7IRqX14I/eF86Gur+orPL1pU0KC5iIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiIiISIL9f4LY8x32tzIoAAAAAElFTkSuQmCC", "image/svg+xml": [ "\n", "\n", "\n", " \n", "\n", "\n", " \n", "\n", "\n", " \n", "\n", "\n", " \n", " \n", " \n", " \n", " \n", " \n", "\n", "\n" ], "text/html": [ "\n", "\n", "\n", " \n", "\n", "\n", " \n", "\n", "\n", " \n", "\n", "\n", " \n", " \n", " \n", " \n", " \n", " \n", "\n", "\n", "\n" ], "text/plain": [ "Compose.Context(Measures.BoundingBox{Tuple{Measures.Length{:w,Float64},Measures.Length{:h,Float64}},Tuple{Measures.Length{:w,Float64},Measures.Length{:h,Float64}}}((0.0w,0.0h),(1.0w,1.0h)),Nullable{Compose.UnitBox{S,T,U,V}}(),Nullable{Compose.Rotation{P<:NTuple{N,Measures.Measure}}}(),Nullable{Compose.Mirror}(),Compose.ListNode{Compose.Container}(Compose.Context(Measures.BoundingBox{Tuple{Measures.Length{:w,Float64},Measures.Length{:h,Float64}},Tuple{Measures.Length{:w,Float64},Measures.Length{:h,Float64}}}((0.0w,0.0h),(1.0w,1.0h)),Nullable{Compose.UnitBox{S,T,U,V}}(),Nullable{Compose.Rotation{P<:NTuple{N,Measures.Measure}}}(),Nullable{Compose.Mirror}(),Compose.ListNull{Compose.Container}(),Compose.ListNode{Compose.Form{P<:Compose.FormPrimitive}}(Compose.Form{Compose.CirclePrimitive{Tuple{Measures.Length{:cx,Float64},Measures.Length{:cy,Float64}},Measures.Length{:cx,Float64}}}([Compose.CirclePrimitive{Tuple{Measures.Length{:cx,Float64},Measures.Length{:cy,Float64}},Measures.Length{:cx,Float64}}((0.5cx,0.5cy),0.333cx)],symbol(\"\")),Compose.ListNull{Compose.Form{P<:Compose.FormPrimitive}}()),Compose.ListNode{Compose.Property{P<:Compose.PropertyPrimitive}}(Compose.Property{Compose.FillPrimitive}([Compose.FillPrimitive(RGBA{Float64}(0.6784313725490196,0.8470588235294118,0.9019607843137255,1.0))]),Compose.ListNull{Compose.Property{P<:Compose.PropertyPrimitive}}()),0,false,false,false,false,nothing,nothing,0.0,symbol(\"\")),Compose.ListNode{Compose.Container}(Compose.Context(Measures.BoundingBox{Tuple{Measures.Length{:w,Float64},Measures.Length{:h,Float64}},Tuple{Measures.Length{:w,Float64},Measures.Length{:h,Float64}}}((0.0w,0.0h),(1.0w,1.0h)),Nullable{Compose.UnitBox{S,T,U,V}}(),Nullable{Compose.Rotation{P<:NTuple{N,Measures.Measure}}}(),Nullable{Compose.Mirror}(),Compose.ListNull{Compose.Container}(),Compose.ListNode{Compose.Form{P<:Compose.FormPrimitive}}(Compose.Form{Compose.CirclePrimitive{Tuple{Measures.Length{:cx,Float64},Measures.Length{:cy,Float64}},Measures.Length{:cx,Float64}}}([Compose.CirclePrimitive{Tuple{Measures.Length{:cx,Float64},Measures.Length{:cy,Float64}},Measures.Length{:cx,Float64}}((0.5133226794496238cx,0.16693301375940356cy),0.02cx)],symbol(\"\")),Compose.ListNull{Compose.Form{P<:Compose.FormPrimitive}}()),Compose.ListNode{Compose.Property{P<:Compose.PropertyPrimitive}}(Compose.Property{Compose.FillPrimitive}([Compose.FillPrimitive(RGBA{Float64}(1.0,0.0,0.0,1.0))]),Compose.ListNull{Compose.Property{P<:Compose.PropertyPrimitive}}()),0,false,false,false,false,nothing,nothing,0.0,symbol(\"\")),Compose.ListNode{Compose.Container}(Compose.Context(Measures.BoundingBox{Tuple{Measures.Length{:w,Float64},Measures.Length{:h,Float64}},Tuple{Measures.Length{:w,Float64},Measures.Length{:h,Float64}}}((0.0w,0.0h),(1.0w,1.0h)),Nullable{Compose.UnitBox{S,T,U,V}}(),Nullable{Compose.Rotation{P<:NTuple{N,Measures.Measure}}}(),Nullable{Compose.Mirror}(),Compose.ListNull{Compose.Container}(),Compose.ListNode{Compose.Form{P<:Compose.FormPrimitive}}(Compose.Form{Compose.LinePrimitive{Tuple{Measures.Measure,Measures.Measure}}}([Compose.LinePrimitive{Tuple{Measures.Measure,Measures.Measure}}(Tuple{Measures.Measure,Measures.Measure}[(0.5cx,0.5cy),(0.5133333333333333cx,0.16666666666666669cy)])],symbol(\"\")),Compose.ListNull{Compose.Form{P<:Compose.FormPrimitive}}()),Compose.ListNode{Compose.Property{P<:Compose.PropertyPrimitive}}(Compose.Property{Compose.StrokePrimitive}([Compose.StrokePrimitive(RGBA{Float64}(0.0,0.0,0.0,1.0))]),Compose.ListNull{Compose.Property{P<:Compose.PropertyPrimitive}}()),0,false,false,false,false,nothing,nothing,0.0,symbol(\"\")),Compose.ListNull{Compose.Container}()))),Compose.ListNull{Compose.Form{P<:Compose.FormPrimitive}}(),Compose.ListNull{Compose.Property{P<:Compose.PropertyPrimitive}}(),0,false,false,false,false,nothing,nothing,0.0,symbol(\"\"))" ] }, "execution_count": 2, "metadata": { "comm_id": "7774bf50-ea92-47fd-8a4c-200f4b5294a8", "reactive": true }, "output_type": "execute_result" } ], "source": [ "# If the problem is small enough, and 2D, we can even\n", "# visualize the solution using Compose.jl and set\n", "# the vector c with Interact.jl's sliders\n", "using Compose, Interact\n", "set_default_graphic_size(8cm, 8cm)\n", "\n", "@manipulate for c1 in -1:0.1:+1, c2 in -1:0.1:+1, logϵ in -4:2\n", " sol, _ = solve_ball([c1,c2], 100, 10.0^logϵ)\n", "\n", " compose(context(),\n", " # Draw the solution vector\n", " compose(context(),\n", " line([(0.5,0.5),(0.5+sol[1]/300,0.5+sol[2]/300)]),\n", " stroke(\"black\")),\n", " # Draw the intersection point\n", " compose(context(),\n", " circle((0.5 + (100/norm(sol))*sol/300)...,0.02),\n", " fill(\"red\")),\n", " # Draw the feasible region\n", " compose(context(),circle(0.5,0.5,0.333),fill(\"lightblue\"))\n", " )\n", "end" ] } ], "metadata": { "kernelspec": { "display_name": "Julia 0.4.3", "language": "julia", "name": "julia-0.4" }, "language_info": { "file_extension": ".jl", "mimetype": "application/julia", "name": "julia", "version": "0.4.3" } }, "nbformat": 4, "nbformat_minor": 0 }