Python - 将递归转换为尾递归

Question

To find the number of ways to get from one corner of a grid to the opposite corner, by going down or right only. I come up with an initial idea to use the recursion to solve the problem:

def find_num_of_ways(x: int, y: int):
    if x == 0 or y == 0:
        return 1
    return find_num_of_ways(x - 1, y) + find_num_of_ways(x, y - 1)

This can be stack overflow when x and y increase. Want to find a better way to refactor this, one is convert to tail recursion. But given 2 variables in the signature, so how to accumulate the result in order to make it tail recursion?

Answer 1

My analysis of this is that it takes so long to compute an answer that you'll walk away long before the stack overflows. I'm going to suggest we remove the recursion altogether and do this as a boxes and balls combinatorial problem

(x + y - 1)!
------------
 y!(x - 1)!

plus the reverse:

(y + x - 1)!
------------
 x!(y - 1)!

that is, Python-wise:

from math import factorial as f

def find_num_of_ways(x, y):
    return f(x + y - 1) // (f(y) * f(x - 1)) + f(y + x - 1) // (f(x) * f(y - 1)) 

print(find_num_of_ways(10, 10))

OUTPUT

> python3 test.py
184756
>

Performance-wise, for the arguments:

find_num_of_waysTail(13, 14)

On my machine, the OP's original recursive solution takes 9 seconds, @Mike67's counter solution takes about 12 seconds, and my solution above takes about 0.05 seconds. All produce the result 20058300.

Answer 2

Since all the paths end at the same point, you can just count how many times the last point is touched.

#### Recursion ####
def find_num_of_ways(x: int, y: int):
    if x == 0 or y == 0:
        return 1
    return find_num_of_ways(x - 1, y) + find_num_of_ways(x, y - 1)

ttl = find_num_of_ways(10,10)
print("Recursion", ttl)


#### Counter ####
ttl = 0
def find_num_of_waysCtr(x: int, y: int):
    global ttl
    if x == 0 or y == 0:
        ttl += 1
        return
    find_num_of_waysCtr(x - 1, y)
    find_num_of_waysCtr(x, y - 1)

find_num_of_waysCtr(10,10)
print("Counter  ", ttl)

Output

Recursion 184756
Counter   184756