约瑟夫环（数组模拟和数学推论的两种方法）