Discrete Optimization Problem?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 2K views
iScience
Messages
466
Reaction score
5
Consider the expression:$$A = \frac{ M! }{ r_1!\ r_2! }$$

where [itex]M = r_1 + r_2[/itex],
where [itex]r_1 = (M - 2r_2)[/itex]

$$A = \frac{ (r_1 + r_2)! }{ r_1!\ r_2! } \\ \ \\ \
= \frac{ ((M-2r_2) + r_2)! }{ (M-2r_2)!\ (r_2)! } \\ \ \\ \
= \frac{ (M-r_2)! }{ (M-2r_2)!\ r_2! }

$$

Then, for a given M, A maximum occurs at : [itex]r_2 = \frac{1}{2}r_1[/itex].
I know this because I can generate a table algorithmically. But I'd like to know how to arrive here analytically. Any pointers would be appreciated.
 
Mathematics news on Phys.org
Given that ##M = r_1 + r_2## and ##r_1 = (M - 2r_2)##, then if we substitute the second expression for ##M## in the first expression, we get ##M = M - r_2##, implying that ##r_2 = 0##. Then ##A ≡ 1##.
 
tnich said:
Given that ##M = r_1 + r_2## and ##r_1 = (M - 2r_2)##, then if we substitute the second expression for ##M## in the first expression, we get ##M = M - r_2##, implying that ##r_2 = 0##. Then ##A ≡ 1##.
Maybe you meant to say ##r_1 = M - r_2##
 
iScience said:
Consider the expression:$$A = \frac{ M! }{ r_1!\ r_2! }$$

where [itex]M = r_1 + r_2[/itex],
where [itex]r_1 = (M - 2r_2)[/itex]

$$A = \frac{ (r_1 + r_2)! }{ r_1!\ r_2! } \\ \ \\ \
= \frac{ ((M-2r_2) + r_2)! }{ (M-2r_2)!\ (r_2)! } \\ \ \\ \
= \frac{ (M-r_2)! }{ (M-2r_2)!\ r_2! }

$$

Then, for a given M, A maximum occurs at : [itex]r_2 = \frac{1}{2}r_1[/itex].
I know this because I can generate a table algorithmically. But I'd like to know how to arrive here analytically. Any pointers would be appreciated.

For
$$ A(r) = \frac{M!}{r! (M-r)!},$$
look at the ratio
$$R(r) = \frac{A(r+1)}{A(r)}$$
and examine when ##R(r)## goes from ##R>1## to ##R < 1## as ##r## increases.

BTW: having ##r_1 = \frac{M}{2}## is possible only if ##M## is even; if ##M## is odd, the solution will be at the two neighboring integers to ##M/2.##