[논문 리뷰] Polynomial-Time Algorithms for Structurally Observable Graphs by Controlling Minimal Vertices

Shiyong Zhu, Jianquan Lu외 2명|arXiv (Cornell University)|2021. 06. 29.

Gene Regulatory Network Analysis참고 문헌 46인용 수 4

한 줄 요약

이 논문은 상호작용 방향그래프의 구조적 성질과 이분 그래프에서의 최적 매칭을 활용하여, 대규모 부울 및 이산시간 네트워크에서 최소한의 정점 집합을 식별하고 제어함으로써 구조적 관측 가능성을 달성하는 다항시간 알고리즘을 제안한다. 기존의 대수적 방법은 n ≤ 30개 정점 초과 시에 스케일링이 불량하나, 본 방법은 30개 이상의 정점 시스템에 대해서도 해결 가능하게 하여 이전에 해결하기 어려웠던 문제를 해결한다.

ABSTRACT

The aim of this paper is to characterize an important class of marked digraphs, called structurally observable graphs (SOGs), and to solve two minimum realization problems. To begin with, by exploring structural observability of large-scale Boolean networks (LSBNs), an underlying type of SOGs is provided based on a recent observability criterion of conjunctive BNs. Besides, SOGs are also proved to have important applicability to structural observability of general discrete-time systems. Further, two minimum realization strategies are considered to induce an SOG from an arbitrarily given digraph by marking and controlling the minimal vertices, respectively. It indicates that one can induce an observable system by means of adding the minimal sensors or modifying the adjacency relation of minimal vertices. Finally, the structural observability of finite-field networks, and the minimum pinned node theorem for Boolean networks are displayed as application and simulation. The most salient superiority is that the designed algorithms are polynomial time and avoid exhaustive brute-force searches. It means that our results can be applied to deal with the observability of large-scale systems (particularly, LSBNs), whose observability analysis and the minimum controlled node theorem are known as intractable problems.

연구 동기 및 목표

• 대규모 부울 네트워크(LSBNs)에서 관측 가능성 분석의 계산 비가역성 문제를 해결하고자 하며, 기존의 대수적 방법은 n ≤ 30개 정점 초과 시에 성능이 급격히 떨어짐.
• 유한시간 관측 가능성을 보장하는 구조적 성질만으로도 작동하는, 표시된 방향그래프의 일종인 구조적 관측 가능 그래프(SOGs)를 특성화하고자 함.
• 두 가지 최소 실현 문제를 해결하고자 함: (1) 최소한의 정점 표시를 통한 SOG 유도(최소 센서 배치), (2) 최소한의 정점 입력변경을 통한 SOG 유도(최소 제어).
• 구조적 관측 가능성의 적용 범위를 일반적인 이산시간 시스템, 특히 유한체 네트워크 및 논리적 네트워크로 확장하고자 함.
• 브루트포스나 지수시간 복잡도를 요구하는 방법에 대한 다항시간 대체 방법을 제공하여 관측 가능성 검증 및 제어기 설계에 적용 가능하게 하고자 함.

제안 방법

• 논문은 두 가지 핵심 성질에 기반하여 구조적 관측 가능 그래프(SOGs)를 정의함: (P1) 유형 I 최적 경로-사이클 쌍(OP-CP)에 속하지 않은 모든 정점은 유형 II OP-CP에 속한 유일한 정점에 의해 지배되어야 하며, (P2) 모든 사이클은 특정한 진입 이웃 조건을 만족해야 함.
• 정점 간 의존 관계를 모델링하기 위해 원래의 방향그래프에서 이분 그래프를 구성함으로써, 최대 매칭 계산을 통해 제어가 필요한 핵심 정점을 식별함.
• 이분 그래프에서 최대 매칭의 크기에 기반한 세 가지 경우 분석을 수행함: |χ*M(V)|/2 = |M̄G²|인 경우, |χ*M(V)|/2 < |M̄G²|인 경우, |χ*M(V)|/2 > |M̄G²|인 경우로, 각 경우에 따라 다른 정점 제어 전략을 적용함.
• 각 경우에 대해, 최소한의 정점만을 제어함—센서로 표시하거나 입력선을 수정함—으로써 결과 그래프가 SOG 조건을 만족하도록 보장함.
• 핵심 알고리즘은 최적 매칭과 경로-사이클 분해를 기반으로 하여 최소 제어 정점 수를 |M̄G| = |M̄G¹| + |M̄G²|로 계산함.
• 조합 최적화 기반으로 전체 단계에 대해 다항시간 복잡도(O(n³) 이하)를 확보하여 전수 탐색을 피함.

실험 결과

연구 질문

• RQ1 대규모 부울 네트워크에서 기존의 상태공간 대수적 방법이 지닌 지수시간 복잡도 문제를 피할 수 있는 방식으로 구조적 관측 가능성을 특성화할 수 있는가?
• RQ2 주어진 방향그래프에서 구조적 관측 가능성을 보장하기 위해 최소 몇 개의 정점을 센서로 표시하거나 제어해야 하는가?
• RQ3 전수 탐색 없이도 최소한의 정점 집합을 효율적으로 계산하여 구조적 관측 가능 그래프를 유도할 수 있는가?
• RQ4 제안된 방법을 부울 네트워크를 초월한 다른 이산시간 시스템, 예를 들어 유한체 네트워크로 일반화할 수 있는가?
• RQ5 어떤 구조적 조건이 방향그래프에 대해 최소한의 정점 간섭으로 관측 가능성을 달성할 수 있도록 보장하는가?

주요 결과

• 제안된 알고리즘은 기존의 대수적 방법의 O(n2^n) 복잡도를 피하고 최소 센서 배치 또는 정점 제어를 다항시간 내에 식별함.
• SOG를 유도하기 위해 필요한 최소한의 제어 정점 수는 정확히 |M̄G| = |M̄G¹| + |M̄G²|이며, 여기서 M̄G¹과 M̄G²는 각각 유형 I 및 유형 II 최적 경로-사이클 쌍에 속한 정점 집합임.
• 모의 실험을 통해 유한체 네트워크에서 구조적 관측 가능성을 성공적으로 도입하였고, 부울 네트워크의 최소 고정 정점 정리도 검증함.
• 기존 방법의 실용적 한계를 넘어 90개 이상의 정점이 있는 시스템, 예를 들어 T세포 수용체 신호전달 모델에도 적용 가능함.
• 정점 제어를 통한 SOG 구성은 모든 사이클이 성질 P2를 만족하고, 모든 지배되지 않은 정점들이 유일하게 지배되도록 보장하여 유한시간 관측 가능성을 보장함.
• 유도된 이분 그래프에서 최대 매칭에 기반하여 브루트포스 탐색을 피함으로써 대규모 시스템에 대한 확장성 확보.