socp

import%20marimo%0A%0A__generated_with%20%3D%20%220.11.25%22%0Aapp%20%3D%20marimo.App(width%3D%22medium%22)%0A%0A%0A%40app.cell%0Adef%20_()%3A%0A%20%20%20%20import%20marimo%20as%20mo%0A%20%20%20%20return%20(mo%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%23%20%E9%8C%90%E6%9C%80%E9%81%A9%E5%8C%96%E5%95%8F%E9%A1%8C%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20r%22%22%22%0A%20%20%20%20%20%20%20%20%5Cbegin%7Balign%7D%0A%20%20%20%20%20%20%20%20%26%5Ctext%7Bmaximize%7D%20%26%202%20x%20%2B%202%20y%20%2B%20z%20%5C%5C%0A%20%20%20%20%20%20%20%20%26%5Ctext%7Bs.t.%7D%20%26%20x%5E2%20%2B%20y%5E2%20%5Cleq%20z%5E2%20%5C%5C%0A%20%20%20%20%20%20%20%20%26%20%26%202%20x%20%2B%203%20y%20%2B%204%20z%20%5Cleq%2010%20%5C%5C%0A%20%20%20%20%20%20%20%20%26%20%26%20x%2C%20y%2C%20z%20%5Cgeq%200%0A%20%20%20%20%20%20%20%20%5Cend%7Balign%7D%0A%20%20%20%20%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_()%3A%0A%20%20%20%20from%20pyscipopt%20import%20Model%0A%20%20%20%20return%20(Model%2C)%0A%0A%0A%40app.cell%0Adef%20_(Model)%3A%0A%20%20%20%20model%20%3D%20Model()%0A%0A%20%20%20%20x%20%3D%20model.addVar(vtype%3D'C'%2C%20lb%3D0%2C%20ub%3DNone%2C%20name%3D'x')%0A%20%20%20%20y%20%3D%20model.addVar(vtype%3D'C'%2C%20lb%3D0%2C%20ub%3DNone%2C%20name%3D'y')%0A%20%20%20%20z%20%3D%20model.addVar(vtype%3D'C'%2C%20lb%3D0%2C%20ub%3DNone%2C%20name%3D'z')%0A%0A%20%20%20%20cons_lin%20%3D%20model.addCons(2%20*%20x%20%2B%203%20*%20y%20%2B%204%20*%20z%20%3C%3D%2010)%0A%20%20%20%20cons_socp%20%3D%20model.addCons(x%20*%20x%20%2B%20y%20*%20y%20%3C%3D%20z%20*%20z)%0A%0A%20%20%20%20model.setObjective(2%20*%20x%20%2B%202%20*%20y%20%2B%20z%2C%20sense%3D%22maximize%22)%0A%0A%20%20%20%20model.optimize()%0A%20%20%20%20return%20cons_lin%2C%20cons_socp%2C%20model%2C%20x%2C%20y%2C%20z%0A%0A%0A%40app.cell%0Adef%20_(model%2C%20x%2C%20y%2C%20z)%3A%0A%20%20%20%20x_val%20%3D%20model.getVal(x)%0A%20%20%20%20y_val%20%3D%20model.getVal(y)%0A%20%20%20%20z_val%20%3D%20model.getVal(z)%0A%0A%20%20%20%20print(f%22x%20%3D%20%7Bx_val%7D%22)%0A%20%20%20%20print(f%22y%20%3D%20%7By_val%7D%22)%0A%20%20%20%20print(f%22z%20%3D%20%7Bz_val%7D%22)%0A%20%20%20%20print(f%22objective%20%3D%20%7Bmodel.getObjVal()%7D%22)%0A%0A%20%20%20%20%23%20SCIP%20%E3%81%AE%E9%80%A3%E7%B6%9A%E5%A4%89%E6%95%B0%E3%81%AE%E6%9C%80%E9%81%A9%E8%A7%A3%E3%81%AF%E5%BE%AE%E5%A6%99%E3%81%AB%E5%88%B6%E7%B4%84%E3%82%92%E7%A0%B4%E3%81%A3%E3%81%A6%E3%81%84%E3%81%9F%E3%82%8A%E3%81%99%E3%82%8B%0A%20%20%20%20print(f%22x%5E2%20%2B%20y%5E2%20%3C%3D%20z%5E2%20%3F%3A%20%7Bx_val%20**%202%20%2B%20y_val%20**%202%20%3C%3D%20z_val%20**%202%7D%22)%0A%20%20%20%20return%20x_val%2C%20y_val%2C%20z_val%0A%0A%0Aif%20__name__%20%3D%3D%20%22__main__%22%3A%0A%20%20%20%20app.run()%0A