[논문 리뷰] Dijkstra Graphs

Lucila M. S. Bento, Davidson R. Boccardo외 4명|arXiv (Cornell University)|2016. 02. 28.

Graph Theory and Algorithms인용 수 5

한 줄 요약

이 논문은 Dijkstra의 원칙에 따라 구조적 프로그램을 모델링하는 Dijkstra 그래프—구조적 프로그램을 표현하는 그래프—를 소개하고, 주어진 그래프가 이 클래스에 속하는지 확인하는 데에 O(n) 시간이 소요되는 효율적인 알고리즘을 제시한다. 또한 Dijkstra 그래프 간의 동형성 검사를 위한 선형 시간 알고리즘을 제안하여, 코드 유사성 분석 및 프로그램 구조 검증 응용에 기여한다.

ABSTRACT

We revisit a concept that has been central in some early stages of computer science, that of structured programming: a set of rules that an algorithm must follow in order to acquire a structure that is desirable in many aspects. While much has been written about structured programming, an important issue has been left unanswered: given an arbitrary, compiled program, describe an algorithm to decide whether or not it is structured, that is, whether it conforms to the stated principles of structured programming. We refer to the classical concept of structured programming, as described by Dijkstra. By employing a graph model and graph-theoretic techniques, we formulate an efficient algorithm for answering this question. To do so, we first introduce the class of graphs which correspond to structured programs, which we call Dijkstra Graphs. Our problem then becomes the recognition of such graphs, for which we present a greedy $O(n)$-time algorithm. Furthermore, we describe an isomorphism algorithm for Dijkstra graphs, whose complexity is also linear in the number of vertices of the graph. Both the recognition and isomorphism algorithms have potential important applications, such as in code similarity analysis.

연구 동기 및 목표

• Dijkstra의 원칙을 활용하여 구조적 프로그래밍의 개념을 그래프 이론적 성질로 형식화하기.
• 임의의 컴파일된 프로그램의 제어 흐름 그래프가 구조적 프로그램에 해당하는지, 즉 Dijkstra 그래프 클래스에 속하는지 판별하는 알고리즘 개발.
• 프로그램 유사성 탐지에 기여하기 위해 Dijkstra 그래프 간의 효율적인 동형성 알고리즘 설계.
• 소프트웨어 공학 분야에서 프로그램 구조 및 동치성의 자동 분석 기반 마련.

제안 방법

• Dijkstra의 규칙에 따라 구조적 프로그램에 대응하는 특정 유형의 방향 그래프로 Dijkstra 그래프를 정의.
• 그래프 분해 기반의 탐욕 알고리즘을 사용하여 주어진 그래프가 Dijkstra 그래프인지 O(n) 시간 내에 식별.
• Dijkstra 그래프의 구조적 성질을 활용하여 두 그래프 간의 선형 시간 동형성 알고리즘 설계.
• 정확성과 효율성을 확보하기 위해 깊이 우선 탐색 및 컴포넌트 분해와 같은 그래프 이론 기법 적용.
• 인식 및 동형성 알고리즘이 모두 정점 수에 비례하는 선형 시간 복잡도로 최적화되어 있음을 보장.

실험 결과

연구 질문

• RQ1 Dijkstra가 정의한 바에 따라 주어진 제어 흐름 그래프가 구조적 프로그램에 해당하는지 알고리즘적으로 판별할 수 있는가?
• RQ2 그래프가 구조적 프로그램을 표현하기 위해 필요한 그래프 이론적 조건은 무엇인가?
• RQ3 Dijkstra 그래프를 인식하는 선형 시간 알고리즘이 존재하는가? 그리고 이러한 알고리즘을 두 그래프 간의 동형성 검사로 확장할 수 있는가?
• RQ4 Dijkstra 그래프의 인식 및 동형성 검사는 자동 코드 유사성 분석에 어떻게 기여할 수 있는가?

주요 결과

• 논문은 Dijkstra 그래프를 구조적 프로그래밍의 핵심을 반영하는 공식적인 그래프 클래스로 성공적으로 정의하였다.
• 정점 수 n에 대해 O(n) 시간이 소요되는 탐욕 알고리즘을 제시하여 주어진 그래프가 Dijkstra 그래프인지 식별할 수 있다.
• Dijkstra 그래프 간의 선형 시간 동형성 알고리즘을 개발하여 프로그램 구조 간의 효율적 비교가 가능해졌다.
• 인식 및 동형성 알고리즘은 시간 복잡도 측면에서 최적이며, 실제 프로그램 분석 작업에 적용 가능하다.