[논문 리뷰] Ordering with precedence constraints and budget minimization

Akbar Rafiey, Jeff Kinne외 2명|arXiv (Cornell University)|2015. 07. 17.

Advanced biosensing and bioanalysis techniques참고 문헌 23인용 수 3

한 줄 요약

이 논문은 선행 제약 조건과 예산 최소화를 고려한 새로운 스케줄링 모델인 이분 그래프 순서 정렬 문제를 제안한다. 집합 B의 정점은 구매 가능한 입력을, 집합 S의 정점은 판매 가능한 출력을 나타내며, 간선은 의존 관계를 나타낸다. 저자들은 일반적인 경우 O*(2^n) 시간에 작동하는 정확한 알고리즘을 제시하고, 이분 순서 그래프, 자명하게 완전한 이분 그래프, 코-이분 그래프와 같은 특정 그래프 유형에 대해서는 다항 시간 해법을 제공하며, 해법이 가능한 경우와 NP-완전인 경우를 나누는 분류 체계를 발전시킨다.

ABSTRACT

We introduce a variation of the scheduling with precedence constraints problem that has applications to molecular folding and production management. We are given a bipartite graph $H=(B,S)$. Vertices in $B$ are thought of as goods or services that must be \emph{bought} to produce items in $S$ that are to be \emph{sold}. An edge from $j\in S$ to $i\in B$ indicates that the production of $j$ requires the purchase of $i$. Each vertex in $B$ has a cost, and each vertex in $S$ results in some gain. The goal is to obtain an ordering of $B\cup S$ that respects the precedence constraints and maximizes the minimal net profit encountered as the vertices are processed. We call this optimal value the \emph{budget} or \emph{capital} investment required for the bipartite graph, and refer to our problem as \emph{the bipartite graph ordering problem}. The problem is equivalent to a version of an NP-complete molecular folding problem that has been studied recently [12]. Work on the molecular folding problem has focused on heuristic algorithms and exponential-time exact algorithms for the un-weighted problem where costs are $\pm 1$ and when restricted to graphs arising from RNA folding. The bipartite graph present work seeks exact algorithms for solving the bipartite ordering problem. We demonstrate an algorithm that computes the optimal ordering in time $O^*(2^n)$ when $n$ is the number of vertices in the input bipartite graph. Our main result is a general strategy that can be used to find an optimal ordering in polynomial time for bipartite graphs that satisfy certain properties. We apply the technique to a variety of graph classes, obtaining polynomial-time solutions to the bipartite graph ordering problem for bipartite permutation graphs, trivially perfect, co-bipartite graphs, and trees.

연구 동기 및 목표

• 가중 완료 시간이 아닌 자본 투자(예산) 최소화에 중점을 둔, 선행 제약 조건이 있는 새로운 스케줄링 유형의 모델링 및 해법.
• B의 정점은 구매 가능한 입력, S의 정점은 판매 가능한 출력이며, S에서 B로의 간선은 의존 관계를 나타내는 이분 그래프 순서 정렬 문제로 문제를 체계화하기.
• 문제를 다항 시간 내에 해결할 수 있는 그래프 유형을 규명하여, 해법이 가능한 경우와 NP-완전인 경우를 나누는 완전한 이분류 분류를 목표로 하기.
• 분자 접힘 및 RNA 구조 전환에 관한 이전 연구를 일반화하고 확장하여, 자본 최적화 순서 정렬 문제로 재구성하기.
• 주요 집합과 닫힘 집합의 사전순 정렬 기반 일반 알고리즘 전략을 개발하여, 자본 제약 조건 하에서 최적의 스케줄링을 이끌어내기.

제안 방법

• 문제는 방향성 이분 그래프 H = (B, S)로 모델링되며, S에서 B로의 간선은 S에 속한 제품이 B에 속한 항목의 구매가 필요함을 나타낸다.
• 각 단계에서의 예산은 처리된 정점들의 누적 순수익(수익 - 비용)으로 정의되며, 목표는 순서 중에 만난 최소 예산을 최대화하는 것이다.
• 핵심 알고리즘 전략은 주요 집합과 닫힘 집합(Superset_I(J))을 사용하여 정점 그룹의 사전순 정렬을 정의함으로써, 전수 검색 없이도 최적의 재정렬을 가능하게 한다.
• 알고리즘은 닫힘 및 의존 제약 조건을 만족하는 사전순으로 첫 번째 주요 부분집합 I을 재귀적으로 처리하여 예산 유지 보장을 한다.
• 정확성 증명은 임의의 최적 순서가 알고리즘의 순서 규칙을 따르도록 변형해도 필요한 예산이 증가하지 않음을 보여줌으로써 확립된다.
• 일반적인 경우 실행 시간은 O*(2^n)임을 보였으며, 이분 순서 그래프, 자명하게 완전한 이분 그래프, 코-이분 그래프와 같은 특정 그래프 유형에 대해서는 다항 시간이 된다.

실험 결과

연구 질문

• RQ1 어떤 이분 그래프 유형에서 예산 최소화 순서 정렬 문제를 다항 시간 내에 해결할 수 있는가?
• RQ2 주요 집합과 닫힘 집합 기반의 제안된 알고리즘 전략이 새로운 해법이 가능한 그래프 유형을 식별하는 데 일반화될 수 있는가?
• RQ3 이분 그래프 순서 정렬 문제의 다항 시간 해법과 NP-완전 사례 사이에 이분류가 존재하는가?
• RQ4 이 알고리즘이 더 넓은 그래프 유형에 대해 근사 해법 또는 고정 매개변수 다항 시간 해법을 제공하도록 변형될 수 있는가?
• RQ5 이 알고리즘의 구조는 이 알고리즘이 다항 시간 내에 작동하는 모든 그래프 유형을 특성화하는 데 도움이 되는가?

주요 결과

• 논문은 일반적인 이분 그래프에 대해 O*(2^n) 시간에 최적 순서를 계산하는 정확한 알고리즘을 제시한다. 여기서 n은 정점의 수이다.
• 이분 순서 그래프, 자명하게 완전한 이분 그래프, 코-이분 그래프와 같은 세 가지 특정 그래프 유형에 대해 다항 시간 알고리즘을 개발하였다.
• 알고리즘은 주요 집합의 닫힘 기반 사전순 정렬을 사용하여 재정렬 중 자본 제약 조건을 유지함을 보장한다.
• 정확성은 귀납법과 모순을 이용한 증명을 통해 입증되었으며, 임의의 최적 순서가 알고리즘의 규칙을 따르도록 변형해도 필요한 예산이 증가하지 않음을 보였다.
• 저자들은 주어진 이분 그래프에 대해 선행 제약 조건 하에서 필요한 최소 자본 투자(예산)를 정확히 식별할 수 있음을 입증하였다.
• 해결 가능한 경우와 NP-완전인 경우를 나누는 잠재적 이분류 정리의 기초를 마련하였다.