Questions tagged [proofs]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
1 answer

Confusion with Expected Queue Length (Lq) Formulas for M/M/s Model in Queuing theory

I have found two formulas for Expected Queue Length $L_q$ for the M/M/s model regarding Queuing Theory, namely: Found inside the "Introduction to the Operations Research" book made by ...
satk0's user avatar
  • 123
0 votes
1 answer

Successive approximation in negative dynamic programming

I am studying Stochastic Dynamic Programming using Sheldon Ross's book, "Introduction to Stochastic Dynamic Programming." In the book, Ross defines a dynamic programming algorithm to ...
Resting Platypus's user avatar
0 votes
1 answer

Proving the Validity of a Given Inequality Involving Ratios of $p$ and $q$

Consider the following inequality: $$\left(\frac{p}{1-q}\right)^p \geq \left(\frac{q}{1-p}\right)^{1-p}$$ where $0<p, q< 1$ and $p+q<1$. I am trying to show that the following inequality ...
Javidit's user avatar
  • 63
4 votes
0 answers

bilinear problem proof for NP-completeness of degeneracy check

In the paper "Some NP-complete problems in linear programming" (, there are several proofs given to show that testing for degeneracy in LPs is NP-...
Brannon's user avatar
  • 892
6 votes
1 answer

Light weight proof of strong duality in linear programming

For teaching purposes, I believe it can be good to use very light-weight proofs of deep results, as it often answers the question "why is it true" better than other types of proofs. By "...
Sune's user avatar
  • 6,352