一个速解时钟问题的公式的推导与应用