궤도 유한 선형 프로그래밍: 결정 가능성 및 정수 프로그래밍으로의 확장

원자 순열에 대해 유한한 시스템인 궤도 유한 선형 프로그래밍은 실수 영역에서 결정 가능하지만, 정수 영역으로 확장하면 결정 불가능해진다.