2025-11-15T06:04:11.942321

Smallest Suffixient Sets as a Repetitiveness Measure

Navarro, Romana, Urbina

A suffixient set is a novel combinatorial object that captures the essential information of repetitive strings in a way that, provided with a random access mechanism, supports various forms of pattern matching. In this paper, we study the size $Ï$ of the smallest suffixient set as a repetitiveness measure: we place it between known measures and study its sensitivity to various string operations. As a corollary of our results, we give a simple online algorithm to compute smallest suffixient sets.

academic

최소 Suffixient 집합을 반복성 측도로서의 연구

기본 정보

논문 ID: 2506.05638
제목: Smallest Suffixient Sets as a Repetitiveness Measure
저자: Gonzalo Navarro (칠레 대학교), Giuseppe Romana (팔레르모 대학교), Cristian Urbina (칠레 대학교)
분류: cs.FL (형식 언어), cs.DS (자료 구조), math.CO (조합론)
발표 시간: 2025년 10월 29일 (arXiv v2)
논문 링크: https://arxiv.org/abs/2506.05638

초록

본 논문은 반복성 측도로서의 새로운 조합 대상인 suffixient set의 성질을 연구한다. Suffixient set은 반복 문자열의 본질적 정보를 포착할 수 있으며, 무작위 접근 메커니즘을 제공하면서 다양한 패턴 매칭을 지원한다. 논문은 최소 suffixient set의 크기 χ를 반복성 측도로서 깊이 있게 연구한다: 알려진 측도들 사이에서 χ의 위치를 파악하고, 다양한 문자열 연산에 대한 민감성을 조사한다. 연구 결과의 부산물로, 논문은 최소 suffixient set을 계산하기 위한 간단한 온라인 알고리즘을 제시한다.

연구 배경 및 동기

1. 해결해야 할 문제

대규모 유사 문자열 집합(예: 인간 게놈 데이터)의 출현으로, 고도로 반복되는 문자열을 효과적으로 표현하고 질의하는 것이 핵심 과제가 되었다. 예를 들어, 유럽의 "1+ Million Genomes" 계획은 백만 개 이상의 인간 게놈을 시퀀싱하려고 하며, 원본 데이터는 약 750TB의 저장 공간이 필요하지만, 게놈 간의 높은 유사성을 활용하면 저장 공간을 두 자릿수 수준으로 압축할 수 있다.

2. 문제의 중요성

반복성을 측정하는 방법을 이해하는 것은 다음에 중요하다:

접근 및 검색 기능을 유지하면서 압축 표현 설계
다양한 압축 방식의 공간 효율성 평가
서로 다른 측도 간의 관계를 이해하여 어떤 공간 비용으로 어떤 검색 기능을 얻을 수 있는지 명확히 함

3. 기존 방법의 한계

다양한 반복성 측도가 제안되었으나, 추상적 하한부터 특정 텍스트 압축기와 관련된 측도까지 다양하다. 최근 제안된 suffixient set 크기 χ에 대해, 기존 연구는 다음만 알려져 있다:

γ = O(χ) (γ는 최소 string attractor의 크기)
χ = O(r̄) (r̄은 역방향 문자열 BWT의 등문자 런 개수)

하지만 χ를 반복성 측도로서 더 깊이 있게 이해하는 것은 여전히 부족하다. 특히:

χ와 다른 측도의 정확한 관계
문자열 연산에 대한 χ의 민감성
χ의 도달 가능성(reachability)

4. 연구 동기

본 논문은 반복성 측도로서 χ의 특성을 더 잘 규명하려고 한다. 특히 다음에 초점을 맞춘다:

알려진 측도 체계에서 χ의 위치 파악
문자열 업데이트 연산이 χ에 미치는 영향 연구
χ와 copy-paste 유형 측도의 비교 가능성 탐색
효율적인 χ 계산 알고리즘 제공

핵심 기여

χ와 BWT 런 개수 r의 직접적 관계 수립: χ = O(r)임을 증명 (이전의 χ = O(r̄)이 아님), 특정 문자열 족에서 χ = o(v) (v는 최소 사전식 파싱 크기)임을 증명하여 χ가 r보다 엄격히 작음을 확립
문자열 연산 민감성 분석:
- χ가 단일 문자 추가/전치 시 O(1)만 증가함을 증명
- 임의의 편집 연산 또는 회전이 χ를 Ω(log n)만큼 증가시킬 수 있음을 증명
- 문자열 반전이 χ를 Ω(√n)만큼 증가시킬 수 있음을 증명
피보나치 문자열의 완전한 규명: 피보나치 문자열의 유일한 2개의 크기 4인 최소 suffixient set을 완전히 규명하고, 모든 episturmian 단어의 부분 문자열이 χ ≤ σ + 2를 만족함을 증명
Copy-paste 측도와의 비교 불가능성: χ가 대부분의 copy-paste 유형 측도(z, z_no, z_e, z_end, v, g, g_rl, c)와 비교 불가능함을 증명 — χ가 엄격히 더 작은 문자열 족과 χ가 엄격히 더 큰 문자열 족이 모두 존재
간단한 온라인 알고리즘: Ukkonen 후미 트리 구성 알고리즘을 수정하여 O(n) 공간과 O(n) 최악의 경우 시간에 최소 suffixient set을 계산하는 극히 간단한 온라인 알고리즘 제시

방법론 상세 설명

작업 정의

핵심 정의:

우측-최대 부분 문자열(Right-maximal substring): 부분 문자열 x가 우측-최대라는 것은, 최소 두 개의 서로 다른 기호 a, b ∈ Σ가 존재하여 xa와 xb가 모두 w의 부분 문자열인 경우
우측-확장(Right-extension): 각 우측-최대 부분 문자열 x에 대해, 우측-확장은 xa 형태의 부분 문자열이며, E_r(w)로 표기
초-최대 확장(Super-maximal extension): 다른 우측-확장의 후미가 아닌 우측-확장이며, S_r(w)로 표기하고, 그 크기를 sre(w)로 표기
Suffixient 집합: 집합 S ⊆ 1..n이 w의 suffixient 집합이라는 것은, 각 우측-확장 x ∈ E_r(w)에 대해, j ∈ S가 존재하여 x가 w1..j의 후미인 경우
최소 suffixient 집합: Suffixient 집합 S가 최소라는 것은, 쌍사 함수 pos: S_r(w) → S가 존재하여 각 x ∈ S_r(w)가 w1..pos(x)의 후미인 경우
측도 χ: w ∈ Σ*이고 $∉ F_w에 대해, χ(w) = |S|로 정의하며, 여기서 S는 w$ 의 최소 suffixient 집합

이론 분석 프레임워크

1. 문자 추가의 영향 (핵심 보조정리)

보조정리 2: w ∈ Σ*, c ∈ Σ에 대해:

sre(w) ≤ sre(wc) ≤ sre(w) + 2

증명 개요: c 추가 후 나타날 수 있는 새로운 우측-확장 분석:

경우 1: xc가 w에서 이미 나타났거나, xa가 어떤 a≠c에 대해서도 w에 나타나지 않음 → 새로운 우측-확장 생성 안 함
경우 2: xa와 xb가 모두 w에 나타나지만 (a≠b), xc는 나타나지 않음 → xc가 새로운 우측-확장
경우 3: x가 w에서 항상 a≠c 뒤에 나타남 (따라서 xa는 우측-확장이 아님) → xa와 xc가 모두 새로운 우측-확장

핵심 관찰:

경우 1과 2는 최대 1개의 새로운 초-최대 우측-확장 생성
경우 3에서, 고정된 a에 대해 모든 새로운 우측-확장 x₁a, x₂a, ..., x_ta는 후미 체인을 형성하며, x_ta만 초-최대일 수 있음

따라서 최대 2개의 초-최대 우측-확장 추가.

2. BWT 런 개수 r과의 관계

보조정리 9: χ ≤ 2r

증명 개요:

w$의 i번째 사전식 회전을 x_i라 하자
x_i와 x_{i+1}의 최장 공통 접두사를 u_i라 하자
x_i를 순환 우측 이동하여 w$를 얻는 데 필요한 이동량을 s(i)라 정의

Suffixient 집합 구성:

S = ∪_{i∈[1..|w|]} {s(i) + |u_i| + 1, s(i+1) + |u_i| + 1}

BWT 행렬 성질 활용: BWTi = BWTi+1 = c이면, 해당 위치가 일치하는 j가 존재. 따라서:

S = {s(i) + |u_i| + 1, s(i+1) + |u_i| + 1 | BWT[i] ≠ BWT[i+1]}

|S| ≤ 2r (r은 BWT의 등문자 런 개수).

3. 민감성 분석

De Bruijn 수열 (하한용):

k차 이진 de Bruijn 수열은 길이 k인 모든 이진 문자열을 정확히 한 번씩 포함
길이 n = 2^k + (k-1)
보조정리 5: sre(w) = 2^k = Ω(n) for any w ∈ dB(k)

편집 연산의 Ω(log n) 하한 (보조정리 6): 사전식 최소 de Bruijn 수열 w = a^k b a^{k-2} b x a b^k a^{k-1} 사용:

삽입: sre(w) - sre(w') = 2^k - 2
치환: sre(w) - sre(w') = 2^k - 3
삭제: sre(w) - sre(w') = 2^k - 4
회전: sre(w) - sre(w') = 2^k - 2

반전의 Ω(√n) 하한 (보조정리 7): w_k = ∏_^{k-1} c a^i b a^{k-i-1} #_i a^i b a^{k-i-1} $_i 구성:

sre(w_k) - sre(w_k^R) = k - 1
|w_k| = Θ(k²)
따라서 증가는 Ω(√n)

4. Episturmian 단어의 성질

보조정리 10: 알파벳 크기 σ인 episturmian 단어 w에 대해, 임의의 부분 문자열 wi..j는:

sre(w[i..j]) ≤ σ

증명 개요:

Episturmian 단어는 각 길이마다 최대 하나의 우측-최대 부분 문자열을 가짐
a ∈ Σ로 끝나는 우측-확장은 후미 체인을 형성
총 σ개의 이러한 후미 체인
각 체인은 부분 문자열에서 최대 1개의 초-최대 우측-확장에 기여

따름정리 3: 임의의 episturmian 단어 w에 대해, χ(wi..j) ≤ σ + 2

피보나치 문자열의 정확한 규명 (보조정리 11):

F_1 = b, F_2 = a, F_k = F_F_

k ≥ 6에 대해, F_k$의 유일한 최소 suffixient 집합은:

{f_{k+1}, f_{k-1}, f_{k-1}-1, p}, 여기서 p ∈ {f_{k-2}+1, 2f_{k-2}+1}

온라인 알고리즘 설계

핵심 아이디어

Ukkonen의 후미 트리 온라인 구성 알고리즘을 수정하여, 각 문자 처리 시 최소 suffixient 집합을 동시에 유지.

알고리즘 핵심 포인트

후미 트리 강화: 후미 트리 노드에 표시를 추가하여 초-최대 우측-확장의 위치를 표시.

문자 c 추가 처리의 세 가지 경우:

s가 레이블 c인 자식 노드를 가짐 (경우 1):
- 새로운 s로만 내려감
- 표시 업데이트 불필요
s가 ≥2개의 자식 노드를 가지며, 레이블 c 없음 (경우 2):
- s의 새로운 리프 노드 생성 (레이블 c)
- s의 자식 노드 c 표시
- s'의 자식 노드 c 표시 제거 (표시되어 있으면)
s가 하나의 자식 노드만 가짐 (레이블 a≠c) (경우 3):
- s의 두 자식 노드 (a와 c) 표시
- s'의 자식 노드 c 표시 제거 (표시되어 있으면)
- s''의 자식 노드 a 표시 제거 (표시되어 있으면), 여기서 s''는 후미 체인의 첫 번째 다른 자식 노드 b≠a를 가진 노드

복잡도:

공간: O(n)
시간: O(n) (transdichotomous RAM 모델에서, 다항식 크기 정수 알파벳)

정리 1: 텍스트 T를 왼쪽에서 오른쪽으로 처리하는 알고리즘이 존재하여, 각 n에 대해 접두사 T1..n 처리 후 T1..n의 최소 suffixient 집합을 결정하며, O(n) 공간과 O(n) 최악의 경우 시간을 사용.

실험 설정

주의: 본 논문은 이론 논문으로, 주요 기여는 이론 결과와 알고리즘이며, 전통적 의미의 실험 평가 부분이 없다. 논문의 "실험"은 수학적 증명과 구성적 예제를 통해 이론 결과를 검증하는 것.

이론 검증 방법

구성적 증명: 특정 문자열 족(예: de Bruijn 수열, 피보나치 문자열)을 구성하여 경계의 타이트함을 증명
반례 구성: 구체적 예제(예: Example 1의 w_3)를 통해 이론 결과의 정확성 시연
코드 검증: 저자 감사 부분에서 Cenzato 등의 코드를 사용하여 최소 suffixient 집합을 계산하고 가설 제시 및 검증

실험 결과

주요 이론 결과

1. χ와 알려진 측도의 관계

상한 관계:

χ ≤ 2r (보조정리 9)
χ = O(r)

하한 관계:

γ = O(χ) (알려진 결과4)
δ ≤ χ (알려진 결과4)

분리 결과:

χ = o(v)인 문자열 족 존재 (따름정리 4, 피보나치 문자열)
v = O(r)이므로, 이는 χ가 r보다 엄격히 작음을 의미

2. 민감성 결과 요약

연산	가법 민감성	승법 민감성
문자 추가	O(1)	단조성 없을 수 있음
문자 전치	O(1)	-
삽입	Ω(log n)	O(max(1, log(n/δ log δ)) log δ)
삭제	Ω(log n)	O(max(1, log(n/δ log δ)) log δ)
치환	Ω(log n)	O(max(1, log(n/δ log δ)) log δ)
회전	Ω(log n)	O(max(1, log(n/δ log δ)) log δ)
반전	Ω(√n)	O(max(1, log(n/δ log δ)) log δ)

3. 특정 문자열 족의 정확한 값

Episturmian 단어:

χ(wi..j) ≤ σ + 2 (따름정리 3)

피보나치 문자열 (k ≥ 6):

χ(F_k) = 4
최소 suffixient 집합의 정확한 규명 (보조정리 11)

De Bruijn 수열:

sre(w) = 2^k = Ω(n) (보조정리 5)
χ = Ω(n)

4. Copy-paste 측도와의 비교

χ가 엄격히 더 작은 경우 (피보나치 문자열):

χ = O(1)
c = Ω(log n)
따라서 χ = o(µ), 모든 µ ∈ {z, z_no, z_e, z_end, v, g, g_rl, c}에 대해

χ가 엄격히 더 큰 경우 (de Bruijn 수열):

χ = Ω(n)
g = O(n/log n)
따라서 χ = Ω(g log n) (따름정리 5)
χ = Ω(z_e · log n log log log n / (log log n)²) (보조정리 12)

결론 (따름정리 6): χ는 µ ∈ {z, z_no, z_e, z_end, v, g, g_rl, c}와 비교 불가능

사례 분석

Example 1 (보조정리 7의 구체적 예):

문자열 w_3 = cbaa#₀baa $₀caba#₁aba$ ₁caab#₂aab$₂

초-최대 우측-확장:

baa와 c
baa#₀과 baa $₀; aba#₁과 aba$ ₁; aab#₂과 aab$₂
ca와 cb; caa와 cab
aba와 aab

총합: sre(w_3) = 14

반전 문자열 w_3^R = $₂baa#₂baac$ ₁aba#₁abac$₀aab#₀aabc

초-최대 우측-확장:

baa와 $₂
baa#₂과 baac; aba#₁과 abac; aab#₀과 aabc
ac $₀; ac$ ₁
aba와 aab

총합: sre(w_3^R) = 12

검증: sre(w_3) - sre(w_3^R) = 2 = k - 1 ✓

결론 및 논의

주요 결론

측도 정위: χ는 r보다 엄격히 작은 측도로 확립되며:
- γ = O(χ) = O(r)
- χ = o(r)인 문자열 족 존재
민감성 특성:
- 문자 추가/전치에 대해 O(1) 가법 민감성 (이상적 특성)
- 임의 위치 편집 연산에 대해 Ω(log n) 가법 민감성
- 반전에 대해 Ω(√n) 가법 민감성
Copy-paste 측도와 비교 불가능: χ는 항상 더 크거나 작지 않으며, 문자열 족에 따라 다름
효율적 온라인 계산: O(n) 시간과 공간에 온라인으로 계산 가능

한계

도달 가능성 미해결:
- χ가 도달 가능한지 (즉, O(χ) 공간에 문자열을 표현할 수 있는지) 여전히 미해결
- 최소 알려진 도달 가능 측도 b와의 관계 미해결
접근 메커니즘 의존성:
- Suffixient 집합이 검색을 지원하려면 추가 무작위 접근 메커니즘 필요
- r처럼 직접 검색을 지원하지 못함
이론적 경계의 타이트함:
- χ = O(r)의 상수 인수 2가 최적이 아닐 수 있음
- 승법 민감성의 정확한 경계 여전히 불명확
실제 성능:
- 논문은 주로 이론적 성질에 초점
- 실제 데이터에서의 성능은 추가 실험 검증 필요

향후 방향

논문에서 명시적으로 제시한 미해결 문제:

도달 가능성 문제:
- b = O(χ) 증명이 χ의 도달 가능성을 확립할 것
- 또는 χ가 도달 불가능함을 증명하면, 동시에 γ도 도달 불가능함을 증명
δ와의 관계:
- χ = O(δ log n)인가?
- de Bruijn 수열의 Θ(log n) 인수가 타이트한가?
승법 민감성:
- 모든 고려된 문자열 연산에 대해 sre(w')/sre(w) = O(1)인가?
- 삽입 연산의 상수 경계가 존재하는가?
r과의 정확한 관계:
- r = O(χ log χ)인가?
- 성립하고 χ가 문자열 연산에 대해 O(1) 승법 민감성을 가지면, r의 알려진 하한을 타이트하게 만들 것
다른 측도와의 관계:
- χ와 b의 관계 (도달 가능성의 핵심 문제)
- χ와 다른 새로 제시된 측도와의 관계

심층 평가

장점

1. 견고한 이론적 기여

완전한 측도 규명: 상한과 하한 분석 및 분리 결과를 통해 측도 계층에서 χ의 위치를 정확히 파악
타이트한 경계: 구성적 증명(de Bruijn 수열, 피보나치 문자열 등)을 통해 경계의 타이트함 시연
다각적 분석: 민감성, 특수 문자열 족, 다른 측도와의 관계 등 다양한 관점에서 χ를 종합적으로 연구

2. 기술적 혁신성

직접적 관계 수립: χ = O(r)을 증명 (이전의 χ = O(r̄)이 아님), 더 자연스러운 규명
정밀한 분석: 피보나치 문자열 최소 suffixient 집합의 완전 규명 (보조정리 11)은 깊이 있는 조합 분석 능력 시연
간결한 알고리즘: 복잡한 suffixient 집합 계산을 Ukkonen 알고리즘의 우아한 수정으로 단순화

3. 명확한 표현

엄격한 정의: 모든 개념이 정확한 수학적 정의를 가짐
상세한 증명: 핵심 보조정리의 증명 논리가 명확하고 검증 용이
풍부한 예제: 구체적 예제(예: Example 1)를 통해 추상 개념 이해 지원
직관적 도표: Figure 1이 측도 간 관계를 명확히 시각화

4. 실용적 가치

온라인 알고리즘: O(n) 시간과 공간의 온라인 알고리즘은 실제 응용 가치 있음
이론적 지도: χ에 대한 깊이 있는 이해는 suffixient 집합 기반 압축 및 인덱싱 구조 설계에 도움
측도 선택: 실제 응용에서 적절한 반복성 측도 선택에 이론적 근거 제공

부족한 점

1. 실험 검증 부재

실제 데이터 테스트 없음: 논문은 완전히 이론적이며, 실제 데이터(예: 게놈 데이터)에서의 실험 없음
알고리즘 성능 미지: O(n) 알고리즘을 제시하지만 실제 실행 시간, 공간 상수 미지
기존 도구와의 비교 부재: Cenzato 등의 구현5과의 상세 성능 비교 없음

2. 도달 가능성 문제 미해결

핵심 문제 미결: χ의 도달 가능성이라는 핵심 문제 여전히 미해결
b와의 관계 미지: 최소 알려진 도달 가능 측도와의 관계 미지
실용성 제약: χ가 도달 불가능하면 측도로서의 실용 가치 제한

3. 일부 경계가 타이트하지 않을 수 있음

상수 인수: χ ≤ 2r의 상수 2가 최적이 아닐 수 있음
민감성 상한: 보조정리 8의 상한이 상대적으로 복잡하고 타이트하지 않을 수 있음
승법 민감성: 정확한 승법 민감성 경계 미제시

4. 분석 범위 제한

특수 문자열 족: 주요 분석이 de Bruijn 수열, 피보나치 문자열 등 특수한 경우에 집중
일반성 결과 부족: 일반 문자열 족의 성질에 대한 이해 제한
평균 경우 분석 부재: 주로 최악의 경우에 초점, 평균 경우 분석 없음

영향력

1. 분야에 대한 기여

이론 완성: Suffixient 집합 이론 연구의 공백 메우기
측도 체계 풍부화: 반복성 측도의 이론적 프레임워크 확충
미해결 문제 제시: 제시된 문제들이 향후 연구 방향 지도

2. 잠재적 응용

압축 알고리즘: 새로운 압축 알고리즘 설계에 이론적 기초 제공
인덱싱 구조: Suffixient 집합을 이용한 공간 효율적 인덱싱 구축 가능
생물정보학: 게놈 데이터 압축 및 질의에 잠재적 응용

3. 방법론적 기여

온라인 구성 패러다임: 고전 후미 트리 알고리즘을 새 문제에 적응시키는 방법 시연
민감성 분석 프레임워크: 다른 측도의 민감성 분석을 위한 방법론 참고 자료

4. 한계

재현성 우수: 이론 결과는 검증 용이하고 알고리즘 설명 명확
구현 세부사항: 일부 구현 세부사항(예: 표시 유지 방법)은 추가 명확화 필요
가정 의존성: 일부 결과는 transdichotomous RAM 모델 등 특정 가정에 의존

적용 시나리오

1. 이상적 응용 시나리오

고도로 반복되는 데이터: 게놈 수열, 버전 관리 시스템, 로그 파일 등
패턴 매칭 필요: Suffixient 집합이 특정 패턴 매칭 질의를 자연스럽게 지원
온라인 처리: 데이터가 스트리밍으로 도착하여 인덱스를 증분 업데이트 필요

2. 부적합 시나리오

무작위 데이터: χ가 낮은 반복성 데이터에서 n에 가까워져 장점 상실
정확한 공간 보장 필요: χ의 도달 가능성 미해결로 O(χ) 공간 구현 보장 불가
복잡한 질의: Suffixient 집합이 지원하는 질의 유형 제한

3. 다른 방법과의 비교

BWT(r) 대비: χ가 더 작지만 추가 접근 메커니즘 필요
LZ(z) 대비: 특정 경우 χ가 더 작음(피보나치), 특정 경우 더 큼(de Bruijn)
문법(g) 대비: 유사하게 비교 불가능

참고 문헌

핵심 인용

Suffixient 집합 원래 논문:
- 6 Depuydt 등, "Suffixient sets", 2023
- 4 Cenzato 등, "Suffixient arrays", 2025
계산 알고리즘:
- 5 Cenzato 등, "On computing the smallest suffixient set", SPIRE 2024
- 33 Ukkonen, "On-line construction of suffix trees", 1995
반복성 측도 개요:
- 25,26 Navarro, "Indexing highly repetitive string collections", ACM Computing Surveys 2021
- 27 Navarro, "Indexing highly repetitive string collections", arXiv 2022
관련 측도:
- 18 Kempa & Prezza, "String attractors", STOC 2018
- 3 Burrows & Wheeler, "BWT", 1994
- 20 Lempel & Ziv, "LZ complexity", 1976
- 28 Navarro 등, "Ordered parsings", IEEE TIT 2021
민감성 연구:
- 1 Akagi 등, "Sensitivity of string compressors", Information and Computation 2023
- 15 Giuliani 등, "Bit catastrophes for BWT", Theory of Computing Systems 2025

종합 평가: 이는 suffixient 집합을 반복성 측도로서 깊이 있고 종합적으로 분석한 고품질의 이론 논문이다. 주요 기여는 χ와 r의 직접적 관계 수립, 민감성 분석, 특수 문자열 족의 정확한 규명, 간결한 온라인 알고리즘 포함. 논문의 이론 분석은 엄격하고 증명은 상세하며 표현은 명확하다. 주요 부족점은 실험 검증 부재와 도달 가능성 문제 미해결. 논문은 suffixient 집합의 이론 연구에 견고한 기초를 마련하며, 제시된 미해결 문제는 향후 연구 방향을 지도할 것이다. 후속 연구는 실제 데이터에서의 성능 평가 및 도달 가능성 문제 해결에 초점을 맞추기를 권장한다.