본 논문은 정적 분석을 하기 위해서 SG(String Graph)를 정의하고 ASG(Alive String Graph)를 정의한다. String의 사활의 판단을 위해 돌이 포함되지 않은 상태와 돌이 포함된 상태로 나누어 Rule을 적용한다. 돌이 포함되지 않은 상태에서 SR(String Reduction), ER(Empty Reduction), ET(Edge Transform), 그리고 CG(Circular Graph) Rule을 정의한다. 돌이 포함되어진 상태에서 DESR(Dead Enemy Strings Reduction)과 SCSR(Same Color String Reduction) Rule을 정의한다. 이러한 Rule을 사용하여 SG(String Graph)가 ASG(Alive String Graph)인지를 평가한다. 그리고 관절점의 개수에 따라 사활을 판단하기 위해 APC(Articulation Point Check)를 사용하였다. 우리의 방법에 대한 성능은 Computer Go Test Collection의 IGS_31_counted 문제 집합에 대해 실험했다. 이 Test set은 11,191 Points와 1,123 Strings을 가진다. 우리는 실험 결과에서 Points에 대해 92.5% 정확성과 Strings에 대해 95.7%의 정확성을 얻었다.
We define a SG(String Graph) and an ASG(Alive String Graph) to the purpose to do static analysis. For a life and death judgment, we apply the rule to the situation which the stone is included and not included. We define the rules that are SR(String Reduction), ER(Empty Reduction), ET(Edge Transform), and CG(Circular Graph), when the stone is not included. We define the rules that are DESR(Dead Enemy Strings Reduction) and SCSR(Same Color String Reduction), when the stone is included. We evaluate a SG that it is an ASG or not by using rules. And we use APC(Articulation Point Check) nile according to number of articulation points lot a life and death judgment. The performance of our method has been tested on the problem set IGS_31_counted form the Computer Go Test Collection. The test set contains 11,191 Points and 1,123 Strings. We obtain 92.5% accuracy of Points and 95.7% accuracy of Strings.
