~~ spoiler ahead ~~
R=13= 2^8-3^5 = 2^4-3^1 (Which I wish Sengupta had posted as an example too…)
For 2^P-3^Q > 0 there exist: (I.) for a value of P a maximum value of Q, and/or for a value of Q a minimum value of P. [as already stated by Werg22] P>Q/log3(2)
For a value of R with multiple solutions, one of those solutions must satisfy (I.)
The other solutions will have lower values of P and Q.
Something of a proof: R(P,Q) for the values defined in (I.) increases exponentially; from a point R(P,Q) (a.) an increase in P will increase R, (b.) Q can not be increased alone, (c.) an increase in Q necessitates an increase in P in proportion to (I.) which would increase R ~ For solutions satisfying (I.) to have another solution for R it must have lower P, and Q.
R2(P,Q)-R1(P,Q) = {6,18,54,162,486,1458,4374,…} for ‘higher’ values of P and Q (ie the differences in R are quantized 6*3^N)
Doing the math in base2… R=1P0s – 11^Q since the Qterm is odd it must have one fewer binary digits than P to satisfy (I.) therefore for a solution satisfying (I.) R is 1 plus the inverse of the bits of 3^Q. The second P is the number of digits in R, and 3^secondQ is the bits after the first zero in 3^Q.
It may be that there are only two solutions to this problem. I do not believe I have proved many if any of the statements above yet.
Reference:
[1/Log3(2)=~1.585]
[3^1=11]
[3^2=1001]
[3^3=11011]
[3^4=1010001]
[3^5=11110011]