Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
1 answer
143 views

$\mathrm{ILP}$-formulation for Minimum Maximal Matching (MMM) Problem

Despite some online searching I couldn't find examples of dedicated Integer Linear Programs ($\mathrm{ILP}$s) for determining smallest matchings, that are not contained in a larger one. It seems that ...
Manfred Weis's user avatar
  • 13.2k
1 vote
1 answer
181 views

Linear programming with "nice" matrices

Consider the following linear programming problem \begin{array}{ll} \text{minimize} & \mathrm 1^{\top} \mathrm x\\ \text{subject to} & v\le \mathrm A \mathrm x \le u\\ & \mathrm x \geq ...
user12345678's user avatar
2 votes
1 answer
874 views

Interpreting mincost flow dual variables

Consider the task of finding flow of size $b$ with minimum possible cost. It may be formulated as linear programming in a following way: $$\boxed{\begin{gather} \min\limits_{f_{ij} \in \mathbb R} &...
Oleksandr  Kulkov's user avatar
0 votes
1 answer
64 views

Round Robin volleyball Tournament [closed]

Consider a set of N teams (N even number) that must make a Round Robin Tournament. To each pair i; j, i ≠ j, of teams there is associated level of interest si,j ∈ {1;2;3} of the match between them (1 =...
Giuseppe Teodoro's user avatar
2 votes
1 answer
227 views

Solving linear programming without solving linear programming

Let $v_1, \cdots, v_n$ be vectors in $\mathbb R^k$, and let $M$ be the Gram matrix of them. It's possible to determine from $M$ and $k$ whether the only vector that has nonnegative inner product with ...
LeechLattice's user avatar
  • 9,501
2 votes
1 answer
372 views

Who called Farkas' fundamental theorem a lemma?

Farkas proved his famous result (which, nowadays, is fundamental in optimization theory) in 1902 and called it Grundsatz der einfachen Ungleichung which may be translated as fundamental theorem of ...
Jochen Wengenroth's user avatar
1 vote
1 answer
331 views

Finding a special solution in a solution set over F2

Given a solution set of a linear system of the following form $$ \{ \begin{bmatrix} x_{1} \\ \vdots \\ x_{n} \end{bmatrix} = \vec{v_1} * x_1 + \dots + \vec{...
borekking's user avatar
0 votes
1 answer
396 views

What is the best way to choose initial basis when applying simplex method to an equality form of LP?

Currently I'm trying to write a practically fast LP solver for a sparse instance, which is by simplex method with LU decomposition and eta-matrix update. In the development I realized that I'm not ...
sansaqua's user avatar
4 votes
2 answers
314 views

Connecting $2n$ points in $\mathbb R^2$ with line segments s.t. each point belongs to exactly one line segment

I'm trying to do a certain simulation related to the toric code and I'm looking for an algorithm that connects $2n$ points ($n \in \mathbb Z_+$) in $\mathbb R^2$ with line segments with the following ...
Sanchayan Dutta's user avatar
0 votes
1 answer
319 views

Correct way to conduct equilibrium scaling of linear/integer/MIP program

I would like to scale my linear/integer program and also mixed-integer program using the equilibrium scaling method. I have worked on two research papers and one research book. However, they did the ...
asdf's user avatar
  • 21
1 vote
0 answers
61 views

Linear programming robustness to input perturbations

I'm running a linear program whose parametrization depends on the output of a neural network. I was wondering if there exist results on how robust linear programs are towards perturbations in their ...
f.k's user avatar
  • 11
2 votes
1 answer
644 views

How to maximise infinity norm of $x$ with constraint $Ax \le b$ using linear program? [closed]

I want to maximise the infinity norm of $x$, subject to constraint: $Ax \le b$. I think you can use a linear program to solve this, but how do you go about formulating it?
Minute street's user avatar
0 votes
0 answers
115 views

Explicit equation for border of the Minkowski sum of sets

Assume we have sets of the form $$ M_j = \{x\in\mathbb{R}^d : f_j(x) \le 0,x \ge 0\} $$ where $x\ge 0$ means $x_i \ge 0 \quad \forall i=1,\dots, d$. Goal I am looking for an (explicit) representation ...
Felix Benning's user avatar
1 vote
0 answers
98 views

Solution of a simple optimization problem

Let $\mathbf{U}_1$ and $\mathbf{U}_2$ be two arbitrary unitary matrices and $\mathbf{D}$ be a diagonal matrix. What is the solution of the following optimization problem? \begin{align} \min_{\mathbf{...
Math_Y's user avatar
  • 287
0 votes
0 answers
124 views

The best unitary matrices that approximate a matrix product

Let $\mathbf{A}$ be an arbitrary $N\times N$ complex matrix. Moreover, $\mathcal{U}_1$ and $\mathcal{U}_2$ are distinct subsets of all unitary matrices. Suppose the matrices $\mathbf{U}_1$ and $\...
Math_Y's user avatar
  • 287
1 vote
0 answers
35 views

How to chose the start vector for the MTZ variables

In the context of LP-formulations for the Traveling Salesman Problem the MTZ constraints prevent subtours via $n$ (i.e. effectively $n-1$) additional variables $$u_1=1\\2\le u_2,\,\dots ,\,u_n\le n\\ ...
Manfred Weis's user avatar
  • 13.2k
1 vote
0 answers
200 views

Drawing a 3D object in a 3D environment, and converting to math [closed]

So I have been granted a free time and I want to work on a project but first I had to research. As we know, lines have infinite points, and with lines, we can create infinite shapes. I want to let ...
Dead_Light's user avatar
0 votes
0 answers
108 views

How to find a set given its support function

Let $\mathcal{U}$ be a convex and compact set. Its support function is defined as $\delta^*(v|\mathcal{U})=\sup_{u\in \mathcal{U}} v^T u$. Assume that we are given the support function $\delta^*(v|\...
Eggplant's user avatar
0 votes
0 answers
40 views

Subtour-gluing constraints for ILP formulation of TSPs

If one doesn't want to introduce additional variables to the ILP of a TSP instance, one has to add exponentially many so-called subtour-elimination constraints; in practical calculations subtour-...
Manfred Weis's user avatar
  • 13.2k
0 votes
0 answers
96 views

Why is Gaussian distribution always chosen for smoothed analysis?

I came across the algorithmic perfomance analysis model of smoothed analysis. In all references that I read a Gaussian distribution was used for perturbation (e.g. Spielman and Teng 2004 for the ...
mc.math's user avatar
  • 29
1 vote
1 answer
82 views

Do we really need degree constraints for ILP formulations of TSP problems

The Dantzig-Fulkerson ILP-formulation of the symmetric TSP is $$\min\sum\limits_{i=1}^{n-1}\sum\limits_{j=i+1}^n c_{ij}x_{\lbrace i,j\rbrace}\quad\text{s.t.}\\ \sum\limits_{j\ne i,\,j=1}^n x_{\lbrace ...
Manfred Weis's user avatar
  • 13.2k
1 vote
0 answers
58 views

Second-order envelope theorem for linear programming

Consider parameterized linear programming $V(\theta) = \max_x \langle c(\theta),x\rangle$ s.t. $A(\theta)x\leq b(\theta)$, $x\geq 0$. Let's also assume $c,A,b$ are infinitely differentiable with ...
Yining Wang's user avatar
1 vote
0 answers
37 views

Sum of all integer binary solutions of a TUM linear system

I have the following problem: $A x = b$ where $A$ is a $m \times n$ total unimodular matrix (TUM) with entries in $\{0,1\}$ and $b$ is a $m$-vector of strictly positive integers. Let $\mathcal X$ be ...
Luca Savant's user avatar
0 votes
0 answers
165 views

Minimum circumscribed ellipsoid of $\mathcal H$-polytope

Given matrix $A \in \mathbb{R}^{m \times n}$ and vector $b \in \mathbb{R}^n$, consider the $\mathcal H$-polytope $P$ defined as follows $$ P := \left\{ x \in \mathbb{R}^n : Ax \leq b \right\} $$ I ...
Daniel Turizo's user avatar
0 votes
0 answers
137 views

Any technique for linearization, or linear approximation?

Consider the following Matrix constraint: $$ \begin{bmatrix} -U+\psi\Sigma_b^{-1} & V \\ V^T & -V^TU^{-1}V+\tau_2 -\psi \end{bmatrix} \leq 0 $$ where $\Sigma_b$ is a known positive definite ...
Navid Hashemi's user avatar
0 votes
1 answer
131 views

How hard is a linear programming with a bounded constraint?

Background: I am reading Greg Kuperberg's answer to the question Deciding membership in a convex hull. I am thinking about the complexity of ''Deciding membership in a convex hull''. Restate the ...
Inner_peace's user avatar
3 votes
0 answers
282 views

Continuum of Lagrange multipliers, duality gap, and minimax theorem

Suppose I have a linear optimization problem involving random variables on some (infinite) probability space $\Omega$. For example, need to maximize expectation $E[Q]$ of random variable $Q$ subject ...
Bogdan's user avatar
  • 781
0 votes
1 answer
213 views

How do you call a linear programming problem when the solution should be "constrained" to a norm?

(apologies for the n00b question) Let's say we have a vector of length $n$, with to-be-determined values: $a_1, a_2, ...,a_n$. And we have information that partial sums of these elements are equal to ...
Tal Galili's user avatar
1 vote
0 answers
162 views

Optimization problem on trace of complex matrix product

Given a complex rectangular matrix $A$ $(k \times n)$, I am interested in solving the following optimization problem over $(k\times n)$ complex matrices $x$: $$ \mathrm{arg}\max_X \,\mathrm{trace}(X^...
hichem hb's user avatar
  • 377
2 votes
0 answers
76 views

Polyhedron coordinate bound

Given a polyhedron $$Ax\leq b$$ where we assume $A\in\mathbb Q^{m\times n}$ and $b\in\mathbb Q^{m}$ and it takes $L$ bits to represent the inequalities what is a good bound on the quantity $\|y\|_\...
Turbo's user avatar
  • 13.9k
1 vote
0 answers
43 views

Detecting non-negativity of a single constraint by polyhedral constraints - $II$

Let $$\langle a,x\rangle=b$$ be a linear constraint where $x\in\mathbb R^n$ and every entry in $a=(a_1,\dots,a_n)$ is in $\mathbb Z_{\geq0}^{n}$ (non-negative) and the entry $b$ is in $\mathbb Z_{\...
Turbo's user avatar
  • 13.9k
0 votes
1 answer
110 views

Detecting non-negativity of a single constraint by polyhedral constraints - $I$

We consider $$\langle a,x\rangle=b$$ (linear constraints) where $x\in\mathbb R_{\geq0}^n$ and every entry in $a=(a_1,\dots,a_n)$ is in $\mathbb Z_{\geq0}^{n}$ (non-negative) and the entry $b$ is in $\...
Turbo's user avatar
  • 13.9k
0 votes
1 answer
116 views

Iterations of Dantzig-Wolfe Decomposition for a Simple Linear Programming problem

This arises from an engineering problem I am working on. Let $\mathbf{c}_i,\mathbf{a}_i,\mathbf{b}_i\in \mathbb{R}^{d}$ be a given set (collection) of vectors where $i\in\{1,\dots,n\}$. Define the ...
dineshdileep's user avatar
  • 1,421
0 votes
0 answers
93 views

Number of vertices in a polyhedron

Consider polytopes $$A_1[x_{1,1},\dots,x_{1,m_1},z_{1}]'\leq b_1$$ $$A_2[x_{2,1},\dots,x_{2,m_2},z_{2}]'\leq b_2$$ $$B[z_{1},z_{2},z]'\leq c$$ having vertex count $v_1,v_2$ and $v$ respectively. We ...
Turbo's user avatar
  • 13.9k
1 vote
1 answer
115 views

$\mathrm{LP}$ formulation for $\mathrm{k}$-$\operatorname{opt}$ moves

$\mathrm{k}$-$\operatorname{opt}$ moves are an idea to improve non-optimal Hamilton cycles in weighted symmetric graphs by exchanging $\mathrm{k}$ tour-edges with $\mathrm{k}$ edges that do not belong ...
Manfred Weis's user avatar
  • 13.2k
1 vote
0 answers
172 views

continuity of linear programming

I have the following conjecture: Given a closed convex set $S \subseteq \mathbb{R}^n$ and one of its exposed face $F=\{x \in S \mid \pi x = \pi_0\}$, where $\pi x =\pi_0$ is the supporting hyperplane ...
HAORAN ZHU's user avatar
1 vote
1 answer
98 views

Optimality gap between a joint linear program and decoupled sub programs

Let $\mathbf{c}_i,\mathbf{s}_i$ be given entry-wise positive $n\times 1$ vectors for $i\in[1,\dots,d]$. Let $\tau, \alpha_1,\dots, \alpha_d$ be given positive constants. Consider the linear ...
dineshdileep's user avatar
  • 1,421
1 vote
0 answers
81 views

Algorithm for deciding feasibility of linear programs [closed]

Suppose I have the simple linear program $$Ax \geq 0, \quad x \geq 0$$ We know that this system has a solution (for example, $x=0$). But, what if we made this rule for this system? $$Ax \geq 0, \quad ...
John Johnovich's user avatar
1 vote
0 answers
920 views

Maximizing a piecewise-linear convex function

Crossposted on Operations Research SE. I am working on an optimization problem where some of the terms of the objective function to maximize are expressed as a piecewise linear function of variables: ...
lovasoa's user avatar
  • 111
1 vote
0 answers
322 views

Decomposition of Polyhedral - An example

There is no doubt that clear examples consolidate the understanding of concepts being learnt. I am new to finding the structure and decomposition of a polyhedra. Suppose that we have the system $$ \...
holala's user avatar
  • 111
0 votes
1 answer
76 views

A question on graph partitioning

Given a connected un-directed simple graph $G=(V,E)$, is there a polynomial time algorithm to find the smallest subset $S$ of $V$ such that each node in $V \setminus S$ has at least 50% of its ...
DSM's user avatar
  • 1,216
1 vote
1 answer
1k views

Check if a point is in the interior of the convex hull of some other points in high dimensions, and lower-bounding the largest enclosed ball [closed]

Given $m$ points $P=\{p_0, p_1, ..., p_m\}$ in high dimensions (e.g. 100), it is known that computing (or even representing) their convex hull $\text{conv}(P)$ is generally intractable due to the ...
Dazheng's user avatar
  • 11
3 votes
0 answers
87 views

Additional symmetries of the Traveling Salesman Polytope

Given the complete graph $K_n=(V,E)$, the Traveling Salesman Polytope is a convex polytope in $\Bbb R^E$ obtained as the convex hull of the indicator vectors of (edge-sets of) Hamiltonian cycles in $...
M. Winter's user avatar
  • 13.6k
1 vote
1 answer
157 views

Constructing representations of probability revision functions

Let $P$ be a probability distribution over a finite Boolean algebra $\mathfrak{B}$, and fix a parameter $t_{P} \in (\frac{2}{3}, 1)$. Define the `revision function of $P$', $R_{P}: \mathfrak{B}\...
King Kong's user avatar
  • 631
1 vote
1 answer
628 views

Allowing an "OR" option between equations in a linear program

I am looking for a way to express an "or" option in a system of linear inequalities for a linear program I am working on. I will explain what I mean precisely: Lets say I have a set of ...
Eric_'s user avatar
  • 141
8 votes
2 answers
1k views

Minesweeper as a linear algebra problem

I've written a computer program to generate and solve minesweeper games. Once I've eliminated the obvious mines and safe squares I look at each remaining connected setsin turn and formulate a linear ...
Alan Swindells's user avatar
0 votes
0 answers
68 views

Convex optimization under asymmetric loss in infinite dimensional space

The following problem is common in financial economics $$ \min_{m \in L^2} \mathbb{E}[ \phi(y(\theta)-m)] \quad \text{s.t. } \mathbb{E}[ mx ]= q $$ That is, given a random variable $y(\theta)$ ($\...
Dejan Evisal's user avatar
2 votes
1 answer
139 views

linear programming with $n$ choose $r$ variables

Given parameters $r < n$, define $m = {n \choose r}$ and let $A$ be the $n\times m$ matrix whose columns are all the vectors with $r$ $1$'s and $n-r$ $0$'s. Let $b$ be a positive $n$-vector. Is ...
David T.'s user avatar
2 votes
1 answer
763 views

Integer solution of optimal transport

Let us consider two vectors $\mathbf{a}=(a_1,...,a_n)$ and $\mathbf{b}=(b_1,...,b_m)$ so that each quantity is an integer $a_i,b_j \in \mathbb{N}$. It represents for example supply and demand. Let $\...
Titouan Vayer's user avatar
1 vote
1 answer
3k views

How to minimize l1-norm constrained by "infinity norm"

Let $A \in \mathbb{R}^{m \times n}$ and $b \in \mathbb{R}^m $. I have the following two problems: P.1. \begin{equation} \underset{x\in\mathbb{R}^n}{\text{minimize}} \| Ax-b \|_1 \\ \text{s.t. } \| x \...
Paul Goyes's user avatar

1
2
3 4 5
10