가상의 부품 표찰이1부터6까지 오름차순으로 있어요. 조건 A는 짝수, B는3의 배수예요. 검색에서는 한 조건을 적용한 뒤 목록 앞의 두 개만 남기고 나머지를 버린 다음 다른 조건을 적용해요. 두 조건을 모두 사용하니 A부터 시작하든 B부터 시작하든 결과가 같을까요? 중간 제한이 없는 조건 검색과 비교해요.
A부터 적용하면2,4,6이 나오고 앞의 두 개2,4만 남아요. 이후 B를 적용하면3의 배수가 없어 빈 목록이에요. B부터 적용하면3,6이 나오고 둘 다 앞의 두 개에 포함돼요. 이후 A를 적용하면6이 남아요.
두 순서가 다른 결과를 내요.
중간에 두 개만 남기는 제한을 빼면 어느 순서든6 하나가 남아요. A와 B를 모두 만족하는지라는 판단은 조건의 순서와 무관하기 때문이에요. 이번 차이는 조건 자체보다 중간 목록을 잘라 버리는 단계에서 생겨요. A부터 시작할 때 마지막에도 필요할6을 미리 버리므로 뒤의 조건으로 복구할 수 없어요. 같은 두 조건을 사용했다는 사실만으로 전체 처리 과정이 같아지지 않아요.
이번 표찰은 가상 목록이며 실제 검색 서비스의 동작을 진단한 것은 아니에요. 검색 결과 수를 줄이는 제한,정렬 기준,조건 적용 위치를 확인하면 순서를 바꿨을 때 왜 후보가 사라졌는지 설명할 수 있어요. 목록을 줄이는 목적이 있더라도 먼저 전체 조건을 적용하고 최종 결과를 제한할지,중간 결과를 제한할지에 따라 뜻이 달라져요. 순수한 필터가 교환 가능하다는 성질을 제한 단계까지 자동으로 옮기지 말고 각 단계의 목록을 적어 검산해 보세요.
참고한 수학 개념: NRICH · Satisfying Four Statements.
이 글의 생활 상황과 계산 예시는 수학 이야기에서 새로 구성했습니다.