麻省理工学院公开课：计算机科学及编程导论习题2

习题1：

已知6a + 9b + 20c = n，当n = 50， 51， 52，53， 54， 55时，a、b、c有自然数解（我不知道现在是怎么定义的，但我以前学的时候自然数包括0），

如何求出n = 56~65时，a、b、c的自然数解。

如果直接求56~65的解，只要穷举就可以了：

def eq(x):
	x = int(x)
	y = []
	for a in range(0, x / 6 + 1):
		for b in range(0, x / 9 + 1):
			for c in range(0, x / 20 + 1):
				if 6 * a + 9 * b + 20 * c == x:
					y.append([a, b, c])
	return y


n = input()

print eq(n)			
			

因为56-50=6，

57-51=6，

58-52=6，

59-53=6，     

       .

               .

       .

       .

65-59=6。

6a+9b+20c=n，只要在之前的解的基础上a+1就可以了，因为6（a+1）=6a+6。

类似还有相差9、20

定理：存在一个x，如果n=x、n=x+1、...、n=x+5有自然数解，那么当n>=x时，一定有自然数解。

习题2：

为什么这个定理是正确的。

就如上面所说的原因：

6a + 9b