쓸 수 있는 공간이 없다면 어떤 조건부터 함께 점검할까?

1. 후보와 조건을 같은 조사 범위에 놓습니다

이 활동의 변수는 행사 공간이며 고를 수 있는 값은 해솔실·나래실·다온실·라온실입니다. 조건은 수용 인원, 입장 동선, 고정 프로젝터, 조용한 공간 여부입니다. 먼저 조사한 공간과 각 조건의 뜻을 표에 고정합니다. 날짜나 공간 구획이 바뀌면 같은 이름이어도 정보를 다시 확인해야 합니다.

Poole과 Mackworth의 공개 교재는 모든 제약을 충족하는 전체 배정을 해로 정의합니다. 아래 활동은 한 공간을 고르는 작은 유한 문제로 단순화한 LTCT의 가상 사례입니다. 실제 시설의 수용 인원이나 법정 기준을 제시한 자료가 아닙니다.

참고: David L. Poole · Alan K. Mackworth · Artificial Intelligence: Foundations of Computational Agents, 3rd ed., 4.1 Variables and Constraints

2. 각각 가능하다는 말과 함께 가능하다는 말을 나눕니다

기본으로 선택한 조건은 ‘24명 이상 수용’, ‘계단 없이 입장’, ‘고정 프로젝터’입니다. 첫 조건을 만족하는 공간도 있고 둘째·셋째 조건을 만족하는 공간도 있습니다. 그러나 그 사실만으로 한 공간이 세 조건을 모두 충족한다고 말할 수는 없습니다.

표의 한 행을 끝까지 읽어 보세요. 해솔실은 입장 동선에서, 나래실은 수용 인원에서, 다온실은 고정 프로젝터에서 탈락합니다. 라온실도 두 조건을 충족하지 못합니다. 어떤 칸에서 탈락하는지 적으면 막연히 ‘장소가 없다’고 말하는 대신 조사한 네 공간 안에서 공통 후보가 없다고 정확하게 보고할 수 있습니다.

3. 충돌을 만드는 최소 조건 묶음을 찾습니다

활동에서 조건 하나씩 체크를 해제해 보세요. 기본 세 조건 중 어느 하나를 제외해도 후보가 생깁니다. 이때 세 조건은 함께는 충족되지 않지만 하나라도 뺀 묶음에는 해가 있는 최소 충돌 묶음입니다. 여기서 최소는 그 묶음 안에서 더 뺄 수 없다는 뜻이며, 모든 문제에서 조건 수가 가장 적은 묶음이라는 뜻과 구분합니다.

‘조용한 독립 공간’을 추가하면 최소 충돌 묶음이 두 개가 됩니다. 수용 인원과 입장 동선에 고정 프로젝터를 더한 묶음, 수용 인원과 입장 동선에 조용함을 더한 묶음입니다. 따라서 고정 프로젝터 조건 하나만 제외하면 된다는 초기 수정을 그대로 적용하면 여전히 후보가 없을 수 있습니다. 새 조건을 추가했을 때 수정안도 다시 검사해야 합니다.

4. 조건 제외 계산과 실제 변경 권한을 구분합니다

화면의 ‘최소 제외 수’는 선택된 조건을 몇 개 제외하면 조사한 표에서 후보가 생기는지 계산합니다. 모든 조건의 중요도가 같다는 뜻이나 그 조건을 실제로 해제해도 된다는 뜻은 아닙니다. 특히 참여자의 접근성과 안전에 필요한 조건은 계산 결과만 보고 양보할 수 없습니다.

필수 조건을 유지해야 한다면 후보 집합이나 활동 방식을 바꿀 수 있습니다. 다른 장소를 추가 조사하거나, 고정 프로젝터 대신 이동식 장비가 가능한지 확인하거나, 참가자를 나누어 진행할 수 있는지 검토합니다. 이 경우 공간 정보나 조건의 정의가 바뀌므로 새 표를 만들고 관련 담당자의 확인을 받아야 합니다.

5. 검토 회의에서는 근거와 다음 행동까지 남깁니다

담당자 한 명은 후보 표를, 다른 한 명은 선택한 조건을 읽습니다. 세 번째 사람은 탈락 이유와 최소 충돌 묶음을 대조합니다. 마지막에는 ‘조사한 네 곳 안에서 후보 없음’, ‘유지할 필수 조건’, ‘추가 조사할 장소 또는 변경안’, ‘확인 책임자와 시점’을 기록합니다.

체크를 모두 해제하면 네 공간이 남습니다. 이는 원래 행사의 요구를 충족했다는 뜻이 아니라 적용한 조건이 없는 상태의 결과입니다. 반대로 후보가 하나 남아도 예약 가능 시점·비용·승인 같은 표 밖의 조건을 확인해야 실제 장소를 확정할 수 있습니다.