Problem:
Compute the number of ways to shade exactly 4 distinct cells of a grid such that no two shaded cells share one or more vertices.
Problem:
Compute the number of ways to shade exactly 4 distinct cells of a grid such that no two shaded cells share one or more vertices.
Solution:
Assign coordinates to the cells of the grid so that the bottom-left, bottom-right, and top-right corners are , , and respectively.
Observe that for each quadrant of the grid, all four cells of that quadrant share a vertex. Thus, any valid coloring must have exactly one shaded cell in each quadrant. Let , , , and denote the shaded cells in the bottom-left, bottom-right, top-left, and top-right quadrants, respectively, so that and .
Observe that and share a vertex if and only if and . The latter is always true, and the former holds precisely when and . We conclude that in a valid coloring, must be one of , , or . We can similarly deduce the same holds for , , and .
Suppose the coordinates are chosen according to those constraints. Then, we are guaranteed the pairs of cells , , , and do not share any vertices. The only way we get an invalid coloring is if and share a vertex, or and share a vertex.

Suppose and share a vertex. Then we must have and , which implies and . Thus, there is exactly one way to choose coordinates in the manner above so that and share a vertex (as depicted in the figure on the right). Likewise, there is exactly one way for and to share a vertex.
There are ways to choose the coordinates, so the answer is .