MHB What Conditions Make the Expectancy of Max{n-q, q-1} Equal to 3n/4?

  • Thread starter Thread starter evinda
  • Start date Start date
  • Tags Tags
    Max
AI Thread Summary
The discussion focuses on determining the conditions under which the expected value of max{n-q, q-1} equals 3n/4, with n being a fixed number and q ranging from 0 to n. It establishes that for odd n, the expression for max{n-q, q-1} can be simplified based on the value of q. The expected value M is calculated using a summation approach, leading to the formula M = (n(3n - 1))/(4(n + 1)). The discussion emphasizes the relationship between the values of n and q in achieving the desired expectancy. The mathematical exploration seeks to clarify the conditions necessary for this equality to hold.
evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! (Wave)

When is the expectancy of $max \{n-q,q-1\}$ , where $n$ is a fixed number and $q$ is in $[0,n]$ , so $\max\{n-q,q-1 \}$ is in $[\frac{n}{2},n]$, equal to $\frac{\frac{n}{2}+n}{2}=\frac{3n}{4}$? (Thinking)
 
Physics news on Phys.org
evinda said:
Hello! (Wave)

When is the expectancy of $max \{n-q,q-1\}$ , where $n$ is a fixed number and $q$ is in $[0,n]$ , so $\max\{n-q,q-1 \}$ is in $[\frac{n}{2},n]$, equal to $\frac{\frac{n}{2}+n}{2}=\frac{3n}{4}$? (Thinking)

Let suppose n odd [the case n even is quite similar...], then...

$\displaystyle \max \{n - q, q - 1\} =\begin{cases}n - q &\text{if}\ q \le \frac{n-1}{2}\\ q - 1 &\text{if}\ q\ge \frac{n+1}{2}\end{cases}\ (1)$

If we call M the expected value of $\max \{n - q, q - 1\}$ then is...

$\displaystyle M = \frac{1}{n+1}\ \{\sum_{i=0}^{\frac{n-1}{2}} (n-i) + \sum_{i =\frac{n+1}{2}}^{n} (i-1)\} = \frac{n\ (3\ n - 1)}{4\ (n + 1)}\ (2)$

Kind regards

$\chi$ $\sigma$
 
Last edited:
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top