Ответ зависит от нормы. Если вы хотите получить 2-норму, это проблема MIQP (Mixed Integer Quadrati c Programming). Он выпуклый, поэтому вокруг немало решателей (например, Cplex, Gurobi, Xpress - это коммерческие решатели). Он также может обрабатываться решателем MINLP, таким как BonMin (с открытым исходным кодом). Некоторыми инструментами моделирования, которые могут помочь, являются Pyomo и CVXPY.
Если вам нужна 1-норма, это можно сформулировать как линейную модель MIP (Mixed Integer Programming). Существует немало решателей MIP, таких как Cplex, Gurobi, Xpress (коммерческий) и CB C, GLPK (с открытым исходным кодом). Некоторыми инструментами моделирования являются Pyomo, CVXPY и PuLP.