All Questions
1,021 questions
1
vote
0
answers
62
views
LP Constraints for Bridgeless Cactus Graphs
When trying to determine the optimal bridgeless spanning cactus graph of a weighted, symmetric graph, I got stuck.
What I do not know how to capture, is
the variable number and sizes of the cycles
...
- 13.2k
0
votes
0
answers
369
views
Finding a point in the relative interior of the convex hull of a set of integer-valued vectors
Let $X \subset \mathbb{Z}^n$ be the set of integer-valued vectors satisfying a system of linear constraints. We can suppose that $X$ is the set of integral points in a given polyhydral set $Y \subset \...
- 136
1
vote
0
answers
60
views
On the defect of a flow network
This problem in graph theory was actually motivated by some problems in Theory of Fractals.
To formulate the problem I need to recall some definitions related to flow network.
A flow network is a ...
- 41.9k
1
vote
0
answers
87
views
Infinite system of equations with finitely many constraints
During my research I have stumbled upon the following issue concerning infinite systems of linear equations. I do not have much practice in such settings, so I am asking you whether the following ...
- 1,151
5
votes
1
answer
424
views
What is the LP gap of vertex cover in planar graphs?
What is the LP gap of vertex cover in planar graphs?
The LP I refer to is min $\sum_{e \in E } c_e x_e \ \ $ subject to $ \ \ x_v + x_u \geq 1 \ \ \ \forall uv \in E $
$ c_e \geq 0 $ are ...
- 111
2
votes
1
answer
96
views
Maximal Vertex Degree of MSTs in Euclidean Spaces
Are there any Euclidean spaces, in which the maximal vertex degree of MSTs (Minimum Spanning Trees) of a finite set of points and edge weights equal to Euclidean distance, isn't equal to the kissing ...
- 13.2k
25
votes
3
answers
2k
views
Is the Ford-Fulkerson algorithm a tropical rational function?
The Ford-Fulkerson algorithm
Let me recall the standard scenario of flow optimization (for integer flows at least):
Let $\mathbb{N} = \left\{0,1,2,\ldots\right\}$. Consider a digraph $D$ with vertex ...
- 33.8k
1
vote
0
answers
31
views
finding subsuming hypervolumes [closed]
Imagine we have an N-dimensional space where each dimension can only have integer values. Imagine further that this space has a set of hypercubes scattered about, each hypercube with its own position ...
- 11
1
vote
0
answers
246
views
How to solve a large linear programming problem? [closed]
I have the linear programming problem in $\mathbf x \in\mathbb R^n$
$$\begin{array}{ll} \text{minimize} & \mathbf c^T\mathbf x\\ \text{subject to} & \mathbf A\mathbf x \leq \mathbf b\end{...
- 149
5
votes
0
answers
162
views
Homogeneous linear and quadratic inequalities
I have a bunch of vectors $b_i \in R^n$ for $i = 1,\ldots,N$ and a bunch of (indefinite) matrices $A_j$ for $j = 1,\ldots,M$. Let's consider the set $S \subset R^n$ of $x \in R^n$ vectors such that
$$...
- 1,150
1
vote
0
answers
48
views
Supremum norm of certain quantity II
Can anyone solve the maximization problem...$\max_{|z_i|=1}\Big|\sum_{i,j=1}^nz_iz_j+\sum_{i,j=1}^n|z_i-z_j|\Big|$?
- 455
1
vote
1
answer
126
views
a linear programming problem
Recently I have a conjecture on decomposing a linear program into smaller ones. I have tested it in Mathmatica by a lot of examples. However, I cannot prove it. I will appreciate if someone can give ...
- 467
7
votes
0
answers
275
views
A strange planar set and the Continuum Hypothesis
Call a number abnormal if its decimal expansion doesn't feature every digit an infinite number of times. Call a triangle in ${\Bbb R}^2$ abnormal if at least one of its angles spans an abnormal ...
- 17.6k
5
votes
1
answer
394
views
Explicit Formula of Delsarte's Linear Programming Upper Bound for $A_q(n,3)$
The problem of giving an explicit formula for $A_q(n,d)$ is sometimes referred to as "the main problem in coding theory." The value of $A_q(n,d)$ is given by the maximum number of codewords in a q-ary ...
- 297
17
votes
3
answers
2k
views
Axioms for constructive Euclidean geometry
In the summer I will be teaching a course in (plane) Euclidean geometry to future high school teachers and I am looking for a suitable axiom system (unlike College (Euclidean) geometry textbook ...
- 2,050
1
vote
0
answers
44
views
In convex optimization we know that the optimum solution is on which hyper plane
We have a standard linear program, I mean a set of inequalities $c_i^Tx\leq b_i$ where $i\in \{1,\ldots ,k\}$ and we want to find $max\{c^Ty| y\in \{\cap \{x|c_i^Tx\leq b_i\}\}$. I put some condition ...
- 19
-1
votes
1
answer
137
views
Does a half plane contain intersection of some other half planes? [closed]
I'm doing research in Optimization and I have found this obstacle in the way.
If we have set of half planes like $c_ix\leq b_i$ where $i\in \{1,\ldots ,k\}$ there is an algorithm(it would be better ...
- 19
2
votes
1
answer
246
views
Even Isometries in neutral Geometry
Consider a Hilbert plane as in Hartshorne's 'Euclid and beyond' (axiomatic geometry), and its group of isometries f or 'rigid motion' generated by line reflections. Call f 'even' if it is the product ...
3
votes
0
answers
105
views
Szemeredi-Trotter bounds when the lines are implicitly described by a point set
Recall:
Theorem (Szemeredi-Trotter): Given $n$ distinct points and $\ell$ distinct lines in $\mathbb{R}^2$, the number of point-line incidences is $O(n + \ell + (n \ell)^{2/3})$.
Now, instead of $\...
- 1,389
3
votes
0
answers
214
views
Volume of intersection of a ball and cube with arbitrary position in $n$ dimension
Let $ A(n, r, x) = B^n_r(x) \cap [0,1]^n $ denote the intersection between an $n$ ball $B^n_r(x)$ with arbitrary radius $r$ and arbitrary center $x \in \mathbb{R}^n$ that intersects a unit $n$ cube $ [...
- 365
0
votes
1
answer
212
views
Is an exact violated inequality constraint met as equal constraint in optimal solution?
We have a solution which does not satisfied exactly one inequality constraint in linear program. The corresponding dual solution is also feasible. Is it correct this constraint is in equal form in the ...
- 25
2
votes
0
answers
283
views
Derivative with multiple summation operators
I have a defined utility function as Eq.(1), and I am seeking the minimized utility subjects to some constraints. The notation used is as following:
\linebreak
$V$ is the set of nodes, $v_i\in V$; $O$...
- 21
8
votes
1
answer
276
views
Almost convex combinations in $\mathbb R^n$
Working on some problems in the $C_p$-theory I discovered the following simple but amazing
Fact. For any subset $A\subset \mathbb R^n$, non-zero vector $a\in \bar A\subset\mathbb R^n$ and $\...
- 41.9k
9
votes
1
answer
295
views
Definition of packing property
Definition 1:
A clutter $C$ is said to have the packing property if $C$ and all of its minors satisfy the König property.
where,
vertex cover of $C$ is a set of vertices that have non-empty ...
- 381
4
votes
0
answers
206
views
$\ell^1$-norm minimization duality
I am looking for an explicit description and discussion of the dual of the $\ell^1$-norm minimization problem $\lVert A x\rVert_1\to\min$, where $A$ is a matrix, and $x$ belongs to the $n$-simplex $\...
- 17k
0
votes
1
answer
121
views
Integration over convex curves
Let $S$ be a noncompact closed convex proper subset of $\mathbb{C}.$
It is well-known that the boundary $\partial S$ is a rectifiable curve et hence, that we can make integration over it. Is there ...
- 193
6
votes
1
answer
349
views
The Euclidean norm and $k$ largest elements
This is not a homework problem, although I fear it may turn out to be at that level. For any nonnegative $x\in\mathbb{R}^n$, let $f_k(x)$ be the sum of the $k$ largest values in $x$, and define $$f(x)...
- 4,049
1
vote
0
answers
261
views
Prove that the following set of triples forms a convex polytope
Take $a,\,b,\,c,\,d \in \mathbb R_+$ such that $a+b+c+d=1$. Define:
\begin{equation}
x_1 = \min(a+b,\,c+d)\,,\qquad x_2 = \min(a+c,\,b+d)\,,\qquad x_3 = \min(a+d,\,b+c)\;.
\end{equation}
I would like ...
- 31
2
votes
0
answers
55
views
Collinearity in Enumerations of the Rationals
I am looking for a solution of the No Three-in-a-Line problem for the whole $\mathbb{Z}\times\mathbb{Z}$ plane and had the idea, to use a non-redundant enumeration of the rationals, like the breadth-...
- 13.2k
2
votes
0
answers
43
views
Partitioning $n$-space based on linear combinations
I'm trying to figure out the approximate number of areas the positive $n$-space will be divided into if we partition it as follows: we have $k$ linear functions $F_1$, $F_2$, ..., $F_k$ on $n$ ...
- 21
3
votes
1
answer
405
views
Can one find a Jordan curve which has exactly one inscribed rectangle?
In On the number of inscribed squares of a simple closed curve in the plane it is shown that
Theorem: For every positive integer $n$ there is a simple closed curve in the
plane (which can be ...
- 4,195
60
votes
2
answers
4k
views
Does this geometry theorem have a name?
Start with a circle and draw two tangent circles inside. The (black) inner tangent lines to the smaller circles intersect the large circle. The (red) lines through these intersection points are ...
- 509
4
votes
0
answers
539
views
Using Linear Programming as an iterative procedure
Suppose, we have a linear program and an optimal solution to it. Suppose now, we get a new constraint. We want to obtain an optimal solution to the given linear program extended by that new constraint....
- 391
80
votes
1
answer
3k
views
Converse to Euclid's fifth postulate
There is a fascinating open problem in Riemannian Geometry which I would like to advertise here because I do not think that it is as well-known as it deserves to be. Euclid's famous fifth postulate, ...
- 7,194
-1
votes
1
answer
517
views
Is there a commonly used short name for "squared Euclidean distance"? [closed]
In an optimization program I pass around distance values quite often. In my case these are simple 2D Euclidean distances $\sqrt{\Delta x^2+\Delta y^2}$. Since I want to perform the square root ...
- 202
1
vote
1
answer
185
views
Complexity Measures for Mathematical Programming
Question:
Are there any complexity measures in use, that allow one to compare mathematical programming formulations of optimization problems on basis of the number of variables that must be subjected ...
- 13.2k
4
votes
1
answer
2k
views
Under what conditions does an Integer Programming problem run in polynomial time?
Given $AX\leq B$ where $A\in\Bbb Z^{m\times n}$,$B\in\Bbb Z^m$ finding $X\in\Bbb Z^n$ where $m\geq n$ is the integer programming problem. If $A$ is totally unimodular then the problem is solvable in ...
- 13.9k
3
votes
1
answer
328
views
LP Constraints for Connected Subgraphs of Fixed Size
Question:
how can the connectedness-constraint for a subgraph, that is induced by a proper subset $W\subset V$ of the vertices of $G(V,E),\ |V|=n,\ |W|=m$, be formulated in a $LP$ or $ILP$?
...
- 13.2k
3
votes
1
answer
161
views
Distance relation among points in high-dimensional hypercubes
Let $Q_{4n-1}$ be a unit hypercube of dimension $4n-1$. Has the following statement been proven?
There are $4n$ vertices in $Q_{4n-1}$ such that the distance between each pair of them is $2\sqrt{...
- 4,195
1
vote
0
answers
42
views
Computation of sub-gradient for a concave envelope
Let $x_1<\cdots<x_n$ be $n$ points on real line and $g=(g_1,\cdots, g_n)\in\mathbb R^n$ be the scattered data. Let $u_g: [x_1,x_n]\to\mathbb R$ be the linear interpolation of $g_1,\cdots, g_n$, ...
- 345
1
vote
0
answers
81
views
Maximizing sum of homogeneous functions of order one over a polytope
Let $f_i: \mathbb{R}^n\rightarrow \mathbb{R}$ be
concave, increasing (i.e., if $x\geq y$ where the inequality is entry wise, we have $f_i(x)\geq f_i(y)$), and a
homogeneous function of order one for ...
- 393
3
votes
0
answers
105
views
Are there scenarios under which feasibility bilinear programming is easy?
Given $c\in\Bbb R^{n_1},d\in\Bbb R^{n_2}$, $E\in\Bbb R^{n_1\times n_2}$, $A\in\Bbb R^{m_1\times n_1}$, $B\in\Bbb R^{m_2\times n_2}$ $a\in\Bbb R^{m_1}$, $b\in\Bbb R^{m_2}$ and $t\in\Bbb R$ we know ...
- 13.9k
8
votes
1
answer
265
views
Isoperimetric inequality on the plane
Let $A$ be a connected compact domain with smooth boundary in the Euclidean 2-plane. Assume its diameter is at most $d$. Assume that the second fundamental form of the boundary is at most $-c$ where $...
- 21.8k
2
votes
1
answer
1k
views
What does the basis of the null space of the constraint matrix of a flow problem look like?
Consider a directed graph $G=(V,\mathbb{A})$ and a set of flow constraints of the following form:
$$ \sum_{(u,v)\in\mathbb{A}}x_{u,v} - \sum_{(v,u)\in \mathbb{A}}x_{v,u} = 0 \forall v \in V$$
...
- 31
2
votes
0
answers
2k
views
How to find a positive solution to an under-determined linear system (if such a solution exists)?
Like the title says, if an under-determined system of linear equations does have at least one positive solution, how to find it efficiently?
Suppose we have an under-determined system:
$$Ax = b$$
...
- 121
1
vote
0
answers
20
views
Calculating Cost-Optimal 1-Factors in Digraphs
I need to find a cost-optimal 1-factor in a positively weighted, directed, regular graph $G(V,A)$ without antiparallel arcs, i.e. given $$\text{deg}_{\text{in}}(u)=\text{deg}_{\text{in}}(v)=\text{deg}...
- 13.2k
2
votes
0
answers
80
views
Making a polyhedron integral by selecting value for a specific co-ordinate of constraint vector
I am currently trying to solve a binary integer programming(maximization) problem, where the first row of the constraint matrix corresponds to the constraints on the total number of 1's in the vector ...
- 123
2
votes
0
answers
105
views
Optimization over a convex cone generated by a set is equal to optimization over the set
Within my research I found an important doubt and that prevents me from advancing, the context of my doubt is as follows:
We considerer the following optimization problem
$$
\left\{\begin{array}{cl} \...
- 159
1
vote
1
answer
111
views
Optimal "Generalization" of Polylines
This question is inspired by a lossy compression technique for polylines, namely to identify a subset of the points of polyline $\mathcal{P}$, whose removal yields a polyline $\mathcal{Q}$ within a ...
- 13.2k
1
vote
0
answers
72
views
A Multiplier Problem for an $L$ Shaped Region
Let $S$ be an $L$ shaped region in the unit cube $Q:=[0,1]\times [0,1]$:
$$
S:=Q\backslash C,\quad C:=\left[\frac 1 2,1\right]\times \left[\frac 1 2,1\right].
$$
Consider the multiplier operator $T$ ...
- 751