他们在各种数学结构上引入随机游走过程，发展出一整套行之有效的概率证明技术