leetcode-剑指offer-62：约瑟夫环

题目描述

0,1,···,n-1这n个数字排成一个圆圈，从数字0开始，每次从这个圆圈里删除第m个数字（删除后从下一个数字开始计数）。求出这个圆圈里剩下的最后一个数字。

例如，0、1、2、3、4这5个数字组成一个圆圈，从数字0开始每次删除第3个数字，则删除的前4个数字依次是2、0、4、1，因此最后剩下的数字是3。

示例 1：

输入: n = 5, m = 3
输出: 3
示例 2：

输入: n = 10, m = 17
输出: 2

方法一：暴力解

解题思路

• 维护链表，迭代进行删除，直至最后一个节点
• 注意迭代结束条件，当环形链表只剩最后一个元素时，当前节点的下一个节点还是该节点。并不是指向nil

代码实现

func lastRemaining_1(n int, m int) int  {
	type ListNode struct {
		Value int
		Next *ListNode
	}

	// 创建链表
	head := &ListNode{Value: 0}
	pre := head
	for i := 1; i < n; i++ {
		pre.Next = &ListNode{Value: i}
		pre = pre.Next
	}
	pre.Next = head

	index := 1
	for head.Next != head {
		if index == m - 1 {
			// 删除下一个
			head.Next = head.Next.Next
			index = 1
		} else {
			index++
		}
		head = head.Next
	}

	return head.Value
}

方法二：递归公式

解题思路

先抛出公式：
f(n,m)=(f(n-1,m)+m)%n
f(n,m)指n个人，报第m个编号出列最终编号
下面分析过程：

我们举个例子，有0 1 2 3 4 5 6 7 8 9十个数字，假设m为3,最后结果可以先记成f(10,3)，即使我们不知道它是多少。

当进行第一次时候，找到元素2 删除，此时还剩9个元素，但起始位置已经变成元素3。等价成3 4 5 6 7 8 9 0 1这9个数字重写开始找。

此时这个序列最终剩下的一个值即为f(10,3)，这个序列的值和f(9,3)不同，但是都是9个数且m等于3，所以其删除位置是相同的，即算法大体流程是一致的，只是各位置上的数字不一样。所以我们需要做的事情是找找这个序列上和f(9,3)值上有没有什么联系。

寻找过程中别忘记两点，首先可通过**%符号**对数字有效扩充，即我们可以将3 4 5 6 7 8 9 0 1这个序列看成(3,4,5,6,7,8,9,10,11)%10.这里的10即为此时的n数值。

另外数值如果是连续的，那么最终一个结果的话是可以找到联系的(差值为一个定制)。所以我们可以就找到f(10,3)和f(9,3)值之间结果的关系，可以看下图：

所以f(10,3)的结果就可以转化为f(9,3)的表达,后面也是同理：

f(10,3)=(f(9,3)+3)%10
f(9,3)=(f(8,3)+3)%9
……
f(2,3)=(f(1,3)+3)%2
f(1,3)=0

代码实现

func lastRemaining_2(n int, m int) int  {
	if n == 1 {
		return 0
	}
	return (lastRemaining_2(n-1, m)+m)%n
}

方法三：迭代公式

解题思路

• 利用上述公式，迭代进行计算

代码实现

// 迭代
func lastRemaining_3(n int, m int) int  {
	index := 0
	for i := 2; i <= n; i++ {
		index = (index + m) % i
	}
	return index
}