[논문 리뷰] On ad hoc routing with guaranteed delivery

Mark Braverman|ArXiv.org|2008. 04. 05.

Mobile Ad Hoc Networks참고 문헌 7인용 수 5

한 줄 요약

이 논문은 유니버설 탐색 시퀀스를 사용하여 정적이고 알려지지 않은 네트워크 토폴로지에서 다항시간, 로그공간 광범위한 라우팅 알고리즘을 제안한다. 로그공간 데랜다미제이션을 통해 구성된 결정론적 유니버설 탐색 시퀀스를 활용함으로써, 알고리즘은 모든 도달 가능한 노드로의 메시지 전달 또는 도달 불가능한 경우의 장애 탐지 기능을 보장한다. 이 모든 과정은 다항식(|Cs|) 시간 내에 완료되며, 각 노드에서 O(log n) 메모리만을 사용한다. 네트워크 크기의 사전 지식이 필요로 하지 않는다.

ABSTRACT

We point out a simple poly-time log-space routing algorithm in ad hoc networks with guaranteed delivery using universal exploration sequences.

연구 동기 및 목표

• 제한된 노드 메모리와 네트워크 토폴로지에 대한 사전 지식이 없는 조건에서 보장된 메시지 전달 문제를 해결하기 위해.
• 원천의 연결된 컴ponent 크기와 다항시간에 비례하는 라우팅 알고리즘을 설계하여 전역 네트워크 지식이 필요로 하지 않도록 하기 위해.
• 확률적 성공에 의존하는 것을 제거하기 위해 결정론적 유니버설 탐색 시퀀스를 사용하여 종료성과 정확성을 보장하기 위해.
• 중간 노드에서 상태 유지 없이 최소한의 메모리 오버헤드(O(log n))로 라우팅과 브로드캐스트를 모두 가능하게 하기 위해.
• 사전에 연결된 컴포넌트의 크기를 알 필요 없이 전체적으로 알려지지 않은 네트워크 스케일에 적응 가능한 방법을 확보하기 위해.

제안 방법

• 다항식(n) 단계 내에 그래프의 모든 노드를 결정론적으로 방문하는 유니버설 탐색 시퀀스(Tn)를 사용하여, 어떤 토폴로지이든 커버리지가 보장된다.
• 모든 그래프를 3-정규 그래프로 변환하기 위해 차수 감소 기법을 적용함으로써 연결성을 유지하고, 레이블된 간선 방향을 통해 균일한 탐색을 가능하게 한다.
• 소스, 목적지, 방향(앞/뒤), 상태(성공/실패), 그리고 유니버설 시퀀스 Tn 내의 인덱스 i를 포함한 메시지 헤더를 사용하여 상태 추적 기능을 제공한다.
• 유니버설 시퀀스를 앞서가며 탐색하고, 돌아와 확인 또는 실패를 통보하는 전후 이동 탐색 전략을 구현한다.
• 각 노드가 현재 인덱스 i와 유니버설 시퀀스 Tn를 사용하여 다음 홉을 계산하는 재귀적 탐색 메커니즘을 도입하며, 오직 O(log n)의 로컬 상태만 유지한다.
• T1, T2, T4, ..., T2k를 사용한 카운팅 절차를 도입하여, 방문한 노드의 모든 이웃가 탐색 경로에 포함되어 있는지 확인함으로써 연결된 컴포넌트의 크기 |Cs|를 동적으로 추정한다.

실험 결과

연구 질문

• RQ1 O(log n) 메모리로 각 노드가 작동하고 네트워크 크기의 사전 지식이 없는 조건에서 보장된 전달이 가능할 수 있는가?
• RQ2 임의의 3차원 네트워크 토폴로지에서도 작동하는 결정론적, 다항시간 라우팅 알고리즘이 설계 가능한가?
• RQ3 유니버설 탐색 시퀀스를 어떻게 활용하여 무작위 걷기 방식을 대체하고 광범위한 라우팅에서의 비종료성 또는 실패 위험을 제거할 수 있는가?
• RQ4 오직 로그공간과 유니버설 시퀀스만을 사용하여 연결된 컴포넌트의 크기를 실시간으로 계산할 수 있는가?
• RQ5 고확률 성공을 보장하는 확률적 라우팅 알고리즘을 상수배의 시간 증가만으로 결정론적이고 보장된 성공 알고리즘으로 변환할 수 있는가?

주요 결과

• 제안된 알고리즘은 원천의 연결된 컴포넌트 크기 |Cs|에 대해 다항식 시간 내에 전달 또는 장애 탐지를 보장하며, |Cs|의 사전 지식이 필요로 하지 않는다.
• 알고리즘은 각 노드에서 오직 O(log n) 메모리와 O(log n) 메시지 헤더 오버헤드만을 사용하여 자원 제약이 있는 광범위한 네트워크에 적합하다.
• 로그공간 데랜다미제이션을 통해 구성된 유니버설 탐색 시퀀스는 다항식(n) 단계 내에 연결된 컴포넌트의 모든 노드를 결정론적으로 방문함을 보장한다.
• 알고리즘은 Ln 단계 이후 유니버설 시퀀스를 따라 되돌아가며 도달 불가능한 목적지를 정확히 식별하고 원천으로 '실패'를 반환한다.
• T2k 시퀀스를 사용한 동적 카운팅 절차를 통해 원천은 다항식(|Cs|) 시간 내에 |Cs|를 계산하고 O(log |Cs|) 공간을 사용함으로써 알고리즘이 알려지지 않은 네트워크 크기에 자동으로 적응할 수 있다.
• 이 방법을 통해 고확률 성공을 보장하는 어떤 확률적 라우팅 알고리즘도 상수배의 예상 실행 시간 증가만으로 보장된 성공 알고리즘으로 변환할 수 있다.