좌석 구속 프로그램 프롤로그 - 대칭

Question

나는이 문제에 대한 해결책의 짝수가있는 이유에 대한 지침을 찾고 있어요 :

편심 곰, 사자하는 포함 야생 동물의 자신의 개인 컬렉션을 가지고 호랑이, 코끼리, 울버린, 코뿔소 및 딩고. 이 7 마리의 동물은 위험한 동물 수집품을 구성하며, 7 개의 동물 펜에 배열되어 있습니다. 가장 왼쪽의 펜은 1 번이며, 가장 오른쪽의 펜은 7 번입니다.

이 동물 중 일부는 서로를 동요하므로

년 - 곰과 울버린 년 - 코뿔소와 딩고 년 - 사자와 호랑이 년 - 곰과 코끼리 년 - 코끼리와 딩고 : 남자는 그 동물의 다음 쌍을 분리해야한다는 결정 - 코끼리와 곰

두 개의 a nimals는 인접하지 않으면 즉, 그들 사이에 다른 펜이있는 경우 별도입니다. 모든 동물은 다른 펜에 넣어야합니다.

왜 항상이 문제에 대한 해결책이 짝수일까요? 내가 구속 조건 문제가 대칭성을 가진 효율성을 얻는다는 것을 이해하면, 대칭 적으로 다른 솔루션을 얻는 한 펜에서 동물을 쉽게 바꿀 수 있습니다. 그러나 누군가가 더 도움이 될 수있는 명확한 설명을 해줄 수 있다면이 점을 이해하지 못합니다. 미리 감사드립니다.

Answer 1

'솔루션 수'를보다 정확하게 정의해야합니다. 말하면, 가장 왼쪽 (또는 첫 번째) 펜에 곰을 할당하는 N 개의 솔루션이 있습니다. 왼쪽과 오른쪽 (곰을 마지막 펜에 할당)을 뒤집어서 두 배의 솔루션을 얻을 수 있습니다. 그리고 두 배는 항상 둘로 나눌 수 있습니다.

Answer 2

두 세트 중 한 세트 (코끼리와 곰 + 곰과 코끼리)를 제공하기 때문에. 즉, 코드에서 다른 쌍을 제외하거나 예측할 수없는 추가 제한 조건을 추가했습니다. 모두를 제공하거나 모든 쌍에서 반대를 제외하지 않을 권리 코드를 작성하십시오.