Questions tagged [proofs]
The proofs tag has no usage guidance.
5
questions
0
votes
1
answer
51
views
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 ...
- 123
0
votes
1
answer
53
views
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 ...
0
votes
1
answer
154
views
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 ...
- 63
4
votes
0
answers
66
views
bilinear problem proof for NP-completeness of degeneracy check
In the paper "Some NP-complete problems in linear programming" (https://doi.org/10.1016/0167-6377(82)90006-2), there are several proofs given to show that testing for degeneracy in LPs is NP-...
- 892
6
votes
1
answer
137
views
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 "...
- 6,352