두 메모리 셀을 가진 컴퓨터가 있다. 각각 a와 b로 나타낸다. 두 셀에는 정수를 저장할 수 있다. 컴퓨터는 a+=b와 b+=a의 두 명령을 수행할 수 있다.
이 컴퓨터의 프로그램은 위의 두 명령으로 이루어져 있으며, 순서대로 수행한다.
a와 b의 초기값과 S가 주어졌을 때, S를 만드는 프로그램이 존재하는지 구하라. S는 두 셀 중 아무데나 저장되어 있으면 된다.
a b S
$0 \le a, b, S \le 10^{18}$
프로그램을 만들 수 있으면 YES, 없으면 NO 출력
1 2 3
YES
3 4 5
NO
3 4 17
YES
수학
정수론
확장 유클리드 호제법