잃어버린 강아지 문제 count 관련 질문있습니다

안녕하세요 강사님 강의 잘 듣고 있습니다!

잃어버린 강아지 문제에서 count관련 이해가 안되는 부분이 있어서요. 관련 부분만 가져왔는데 count는 처음에 0으로 초기화 된 상태에서 while문에 들어가자마자 1이 증가하고, 마지막으로 들어갈 때는 9999상태에서 들어가서 10000이 되고, 그시점에 마지막 번째 while을 실행하면서 현수가 강아지를 찾아서 x1 == x2 && y1 == y2이 된 후 break(사실상 while문이 끝나서 break된거나 마찬가지지만)될수도 있는건데 강아지를 못찾고 반환하는 0을 리턴하는 조건이 count >= 10000이 되면 10000번째에 찾더라도 못찾은걸로 표현될수 있지 않나 싶어서요.

그런데 이런 생각을 하다보니까 그러면 진짜로 10000을 넘을때까지 못찾는 경우는 어떻게 알수 있게 되지? 라는 생각이 들면서 정리가 안되기 시작했습니다. ㅠㅠ count가 while안에 있기 때문에 10000번째에 딱 찾고 끝나고 나면 더이상 count를 올려줄 방법이 없는데, 어떻게 해야 만번 이상을 했고 그래도 찾을수 없었던걸 증명할수 있을지...

일단 생각으로는 while을 true로 해놓고 break하는 조건을 하나 더 둬서 if(x1 == x2 && y1 == y2) break; 아래에 if(count == 10000) break;나 if(count >= 10000) break; 이렇게 하는 방법이 떠오르긴 하는데 이렇게 해도 괜찮을지, 강사님이 해주신 코드로 충분한데 제가 이해를 못하고 있는것일지.. 설명 늘 자세히 해주시는데도 질문해서 죄송합니다🥲 항상 감사합니다

int d1 = 0, d2 = 0, count = 0;
while (count < 10000) {
    count++;
    int nx1 = x1 + dx[d1];
    int ny1 = y1 + dy[d1];
    int nx2 = x2 + dx[d2];
    int ny2 = y2 + dy[d2];
    boolean flag1 = true, flag2 = true;
    if (nx1 < 0 || nx1 >= n || ny1 < 0 || ny1 >= n || board[nx1][ny1] == 1){
        d1 = (d1 + 1) % 4;
        flag1 = false;
    }
    if (nx2 < 0 || nx2 >= n || ny2 < 0 || ny2 >= n || board[nx2][ny2] == 1){
        d2 = (d2 + 1) % 4;
        flag2 = false;
    }
    if(flag1 == true){
        x1 = nx1;
        y1 = ny1;
    }
    if(flag2 == true){
        x2 = nx2;
        y2 = ny2;
    }
    if(x1 == x2 && y1 == y2) break;
}
if (count >= 10000) return 0;