1
vote
1answer
15 views

Some operation like determinant

we have determinant operation that is like below: $ det(\begin{bmatrix} a & b & c \\ d & e & f \\ g & h & i \\ \end{bmatrix}) $= $ (-1)^{1+1}a(ei-fh)+ ...
2
votes
0answers
50 views

How to find nonnegative solutions of a linear system?

I have a $M$ equation and $N$ variables like this : $ \begin{bmatrix} 3 & 0 & 1 & 0 & -1 & -3 & 2\\ 1 & 2 & 0 & 4 & 0 & 0 & -1\\ 1 & 1 & 0 ...
0
votes
0answers
54 views

Minimizing an expression with linear constraints

Given a system of under-constrained (i.e. infinite solutions) linear equations (all values will be integers, all coefficients will be 0, 1, or -1), I want to pick values for the variables to minimize ...
1
vote
0answers
30 views

If the following LP has an integral solution

I know the constraints matrix A of a linear program "Min cx such that Ax>=b" is totally unimodular. So, the program has integral solutions for integral vector b. If this is also the case for the ...
1
vote
1answer
1k views

How to prove the matrix is totally unimodular

Is there any (theoretic) way I can prove the matrix is totally unimodular? I have tested it by Matlab and know it is TU, however I cannot prove it. ...
3
votes
0answers
121 views

Binary optimization

Let me first make my background clear. I am a PhD student with not much knowledge in optimization but I need to do some optimization as a part of my research work. My problem is as follows: There are ...
2
votes
1answer
319 views

Unimodular matrix definition?

I'm a bit confused. Based on Wikipedia: In mathematics, a unimodular matrix M is a square integer matrix having determinant +1, 0 or −1. Equivalently, it is an integer matrix that is invertible ...
1
vote
2answers
191 views

Looking for a closed form to determine whether a symbol is part of the ith combination nCr

Hi I'm new to this, feel free to correct or edit anything if I haven't done something properly. This is a programming problem I'm having and finding a closed form instead of looping would help a lot. ...