계층형 2D 메시 시스템에서 우선순위 기반 작업 재배치를 위한 표 기반 알고리즘

초록

본 논문은 이종 노드가 행·열별로 우선순위가 내림차순으로 정렬된 계층형 2차원 메시 시스템(2D‑HMS)을 Young tableau와 jeu de taquin 슬라이드로 모델링한다. 작업 재배치를 우선순위에 따라 체계적으로 수행하는 탐욕적 정책을 제시하고, 이를 기존의 그래프 매칭 기법보다 직관적이고 수학적으로 엄밀하게 분석한다.

상세 분석

논문은 먼저 전통적인 2D‑MS가 동질 노드 가정에 의존해 왔으며, 이로 인해 작업 형태가 사각형·직사각형에 제한되고, 우선순위 기반 재배치가 어려웠던 점을 지적한다. 이를 극복하기 위해 저자는 행·열의 실행 속도가 내림차순으로 정렬된 이종 노드 집합을 “계층형 2D‑HMS(2D‑HMS)”라 정의하고, 이 구조를 Young diagram(또는 Ferrers diagram)으로 변환한다. 각 셀은 (i, j) 좌표를 갖는 노드를 의미하며, 노드 간의 부분 순서 N(i‑1, j) ≺ₚ N(i, j), N(i, j‑1) ≺ₚ N(i, j) 를 그대로 Young diagram의 셀 순서와 일치시킨다.

그 다음 “계층형 2D‑mesh tableau(HMT)”를 도입한다. HMT는 shape λ = (λ₁,…,λ_k)인 Young diagram 위에 작업 ID(우선순위가 낮을수록 번호가 작음)를 채워 넣은 tableau이며, 비어 있는 셀을 허용해 부분 tableau 형태를 지원한다. 표가 “정규형”이면 모든 비어 있지 않은 셀이 행·열 모두 증가하는 표가 되고, “왜곡형(skew)”이면 일부 셀이 비어 있어 불규칙한 형태를 만든다.

작업 할당 함수 A: Tₘ→Rₙ은 (1) 행·열마다 할당된 작업의 우선순위가 엄격히 감소하도록, (2) 할당된 노드 집합이 연속적인 서브메시를 이루도록 제약한다. 이러한 제약 하에 저자는 “탐욕적 작업 재배치 정책”을 설계한다. 핵심 아이디어는 빈 노드(또는 작업이 완료된 노드)를 내부 코너(inner corner)로 선택하고, 해당 코너에서 시작해 인접한 두 셀 중 더 작은 작업 ID를 가진 셀로 슬라이드한다. 이 과정을 빈 셀이 외부 코너가 될 때까지 반복하면, 전체 표는 새로운 표 P′으로 변환된다.

이 슬라이드 과정은 전통적인 jeu de taquin 슬라이드와 동일함을 보이며, Lemma 2.1에 따라 각 슬라이드는 표의 “읽기 단어”(row‑word)를 Knuth‑동등(K‑equivalent)인 새로운 순열로 변환한다. Theorem 2.2·2.3을 이용해, 모든 가능한 재배치 결과는 하나의 정규형 표로 수렴하고, 두 표가 jeu de taquin 동등이면 그 읽기 단어는 Knuth 동등이라는 강력한 동치 관계가 성립한다. 따라서 작업 재배치 문제를 조합론적 표 이론으로 완전히 귀결시킬 수 있다.

알고리즘 복잡도는 각 슬라이드가 O(1) 연산이며, 전체 슬라이드 횟수는 빈 셀 수에 비례한다. 표의 크기가 n이면 최악의 경우 O(n) 단계가 소요된다. 또한 표의 표준형 개수 f_λ는 Hook‑formula에 의해 정확히 계산되므로, 가능한 재배치 경우의 수를 정량적으로 평가할 수 있다.

이 접근법의 장점은 (i) 이종 노드의 실행 속도 차이를 자연스럽게 모델링, (ii) 작업 우선순위와 물리적 위치 간의 일관된 부분 순서를 유지, (iii) 기존 그래프 매칭 기반 휴리스틱보다 수학적으로 증명된 최적성(탐욕적 정책이 jeu de taquin 동등 클래스 내 최적) 등을 제공한다. 반면, (a) 표 형태가 사전에 정해진 shape λ에 제한되므로, 매우 불규칙한 서브메시 요구에는 추가 변형이 필요하고, (b) 실제 시스템에서 통신 지연이나 작업 실행 시간 변동을 고려하지 않은 점은 향후 연구 과제로 남는다.