Block walking

In combinatorics, block walking is a method useful in thinking about sums of combinations graphically as "walks" on Pascal's triangle. As the name suggests, block walking problems involve counting the number of ways an individual can walk from one corner A of a city block to another corner B of another city block given restrictions on the number of blocks the person may walk, the directions the person may travel, the distance from A to B, et cetera.

An Example Block Walking Problem

Suppose such an individual, say "Fred", must walk exactly k blocks to get to a point B that is exactly k blocks from A. It is convenient to regard Fred's starting point A as the origin, $(0,0)$, of a rectangular array of lattice points and B as some lattice point $(e,n)$, e units "East" and n units "North" of A, where $e+n=k$ and both $e$ and $n$ are nonnegative.

olution by Brute Force

A "brute force" solution to this problem may be obtained by systematically counting the number of ways Fred can reach each point $X=(x\_1,x\_2)$ where:$0\; le\; x\_\{1\}\; le\; e$ and $0\; le\; x\_\{2\}\; le\; n$without backtracking (i.e. only traveling North or East from one point to another) until a pattern is observed. For example, the number of ways Fred could go from $(0,0)$ to $(1,0)$ or $(0,1)$ is exactly one; to $(1,1)$ is two; to $(2,0)$ or $(0,2)$ is one; to $(1,2)$ or $(2,1)$ is three; and so on. In general, one soon discovers that the number of paths from A to any such X corresponds to an entry of Pascal's Triangle.

Combinatorial Solution

Since the problem involves counting a finite, discrete number of paths between lattice points, it is reasonable to assume a combinatorial solution exists to the problem. Towards this end, we note that for Fred to still be on a path that will take him from A to B over $k$ blocks, at any point X he must either travel along one of the unit vectors <1,0> and <0,1>. For the sake of clarity, let and . Given the coordinates of B, regardless of the path Fred travels he must walk along the vectors E and N exactly $e$ and $n$ times, respectively. As such, the problem reduces to finding the number of distinct rearrangements of the word:$overbrace\{\; EE\; cdots\; E\; \}^\{e\; times\}underbrace\{\; NN\; cdots\; N\; \}\_\{n\; times\}$,which is equivalent to finding the number of ways to choose $e$ indistinct objects from a group of $k$. Thus the total number of paths Fred could take from A to B traveling only $k$ blocks is:.

Other Problems with Known, Block Walking Combinatorial Proofs

* Proving that:$sum\_\{k=0\}^n\; \{\; n\; choose\; k\}^2\; =\; \{\; 2n\; choose\; n\}$can be done with a straightforward application of block walking. [Lehoczky, Sandor and Richard Rusczyk. "The Art of Problem Solving, Volume II". Page 231.]

References