DOI QR코드

DOI QR Code

Subquadratic Time Algorithm to Find the Connected Components of Circle Graphs

원 그래프의 연결 요소들을 찾는 제곱미만 시간 알고리즘

  • Kim, Jae-hoon (Division of Computer Software, Busan University of Foreign Studies)
  • Received : 2018.07.27
  • Accepted : 2018.09.03
  • Published : 2018.11.30

Abstract

For n pairs of points (a,b) on a circle, the line segment to connect two points is called a chord. These chords define a new graph G. Each chord corresponds to a vertex of G, and if two chords intersect, the two vertices corresponding to them are connected by an edge. This makes a graph, called by a circle graph. In this paper, we deal with the problem to find the connected components of a circle graph. The connected component of a graph G is a maximal subgraph H such that any two vertices in H can be connected by a path. When the adjacent matrix of G is given, the problem to find them can be solved by either the depth-first search or the breadth-first search. But when only the information for the chords is given as an input, it takes ${\Omega}(n^2)$ time to obtain the adjacent matrix. In this paper, we do not make the adjacent matrix and develop an $O(n{\log}^2n)$ algorithm for the problem.

원 상에 n개의 점들의 쌍 (a,b)이 존재할 때, 두 점 a와 b를 연결하는 직선 선분을 코드라고 한다. 이러한 n개의 코드들은 새로운 그래프 G를 정의한다. 각 코드는 G의 한 정점을 정의하고 두 코드가 교차하는 경우에 대응되는 정점들 간에 간선을 연결한다. 이렇게 만들어진 그래프 G를 원 그래프라고 부른다. 본 논문에서는 원 그래프에서 연결 요소를 찾는 문제를 다룬다. 연결 요소란 그래프 G의 부분 그래프 H로서 H안의 임의의 두 정점 간에 경로가 존재한다는 조건을 만족하는 최대 부분 그래프이다. 그래프 G가 인접 행렬로 주어지는 경우, 연결 요소를 찾는 문제는 깊이 우선 탐색 또는 너비 우선 탐색을 통해서 해결할 수 있다. 하지만 원 그래프의 경우에 코드들을 정의하는 n개의 점들의 쌍 정보만 입력으로 주어질 때, 인접 행렬을 구하는데 ${\Omega}(n^2)$ 시간이 소요됨을 알 수 있다. 본 논문에서는 인접 행렬을 만들지 않고 원 그래프의 연결 요소를 $O(n{\log}^2n)$시간에 찾는 알고리즘을 고안한다.

Keywords

HOJBC0_2018_v22n11_1538_f0001.png 이미지

Fig. 1 Four chords on a circle

HOJBC0_2018_v22n11_1538_f0002.png 이미지

Fig. 2 Circle graph for four chords

HOJBC0_2018_v22n11_1538_f0003.png 이미지

Fig. 3 Connected components

Table. 1 Algorithm

HOJBC0_2018_v22n11_1538_t0001.png 이미지

References

  1. M. C. Golumbic, Algorithmic Graph Theory and Perfect Graphs, New York, NY: Academic Press, 1980.
  2. X. Yang, G. M. Megson, Y. Y. Tang, and Y. Xing, "Largest connected component of a star graph with faulty vertices," International Journal of Computer Mathematics, vol. 85, no. 12, pp. 1771-1778, Oct. 2008. https://doi.org/10.1080/00207160701619200
  3. R. Jaberi, "On computing the 2-vertex-connected components of directed graps," Discrete Applied Mathematics, vol. 204, pp. 164-172, May 2016. https://doi.org/10.1016/j.dam.2015.10.001
  4. M. Henzinger, S. Krinninger, and V. Loitzenbauer, "Finding 2-edge and 2-vertex strongly connected components in quadratic time," in Proceedings of the 42h International Colloquium on Automata, Language, and Programming, pp. 713-724, 2015.
  5. X. Allamigeon, "On the complexity of strongly connected components in directed hypergraph," Algorithmica, vol. 69, no. 2, pp. 335-369, June 2014. https://doi.org/10.1007/s00453-012-9729-0
  6. A. Lulli, E. Carlini, P. Dazzi, C. Lucchese, and L. Ricci, "Fast connected components computation in large graphs by vertex pruning," International Journal of Computer Mathematics, vol. 28, no. 3, pp. 760-773, March 2017.
  7. S. Baswana, K. Choudhary, and L. Roditty, "An efficient strongly connected components algorithm in the fault tolerant model," in Proceedings of the 44h International Colloquium on Automata, Language, and Programming, pp. 1-15, 2017.
  8. J. Spinrad, "Recognition of circle graphs," Journal of Algorithms, vol. 16, no. 2, pp. 264-282, March 1994. https://doi.org/10.1006/jagm.1994.1012
  9. E. Gioan, C. Paul, M. Tedder, and D. Cornell, "Practical and efficient circle graph recognition," Algorithmica, vol. 69, no. 4, pp. 759-788, August 2014. https://doi.org/10.1007/s00453-013-9745-8
  10. A. Tiskin, "Fast distance multiplication of unit-monge matrices," Algorithmica, vol. 71, no. 4, pp. 859-888, April 2015. https://doi.org/10.1007/s00453-013-9830-z
  11. W. L. Hsu, "Maximum weight clique algorithms for circular-arc graphs and circle graphs," SIAM Journal of Computing, vol. 14, no. 1, pp. 224-231, March 1985. https://doi.org/10.1137/0214018
  12. N. Nash and D. Gregg, "An output sensitive algorithm for computing a maximum independent set of a circle graph," Information Processing Letters, vol. 110, no. 16, pp. 630-634, July 2010. https://doi.org/10.1016/j.ipl.2010.05.016