双随机链上的平均回归时间

四状态马尔可夫链的转移矩阵 $P$ 是双随机的（每行每列之和均为 1）。不用知道 $P$ 的具体元素，求从状态 0 出发首次返回状态 0 的期望步数。