由于两栈共享空间V[1..m]，栈1的底在V[1]，栈2的底在V[m]，且初始状态时，top[1]指向V[0]，top[2]指向V[m+1]。若栈1中有n个元素，则栈1的栈顶在V[n]。因此，栈2的栈顶最多可以到达V[n+1]，即栈2中最多可以有m-n-1个元素。选项B正确。选项A错误，因为它没有考虑到栈1的栈顶占用的空间。选项C和D错误，因为它们计算的空间超过了实际可用的空间。