• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.505-507
• /
• 2003

SAT 문제는 하드웨어/소프트웨어 검증과 모델 체킹 등 다양한 분야에서 유용하게 사용되고 있으나 복잡도가 NP-complete 라는 어려움을 가지고 있다. 다양한 알고리즘과 휴리스틱, 도구들이 개발되었지만 그럼에도 불구하고 해결할 수 없는 hard instance 들이 존재한다. 이 논문에서는 그러한 hard instance를 해결하기 위한 방법의 하나로 model accumulation을 제안한다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2005년도 춘계공동학술대회 발표논문
• /
• pp.768-772
• /
• 2005

외판원문제(TSP)는 아직까지도 쉽게 풀리지 않는 NP-complete군에 속하는 어려운 문제이다. TSP의 결정적인 난점은 {0,1}의 정수해를 보장하면서 동시에 부분순환(sub-tour)을 피해야 한다는 점이다. 우리는 TSP를 두 단계로 나누어 탐색한다. 첫째, 초기해는 2개의 마디로 이루어진 최소단위의 부분순환에 가장 적은 비용의 마디를 하나씩 추가적으로 더하여 모든 마디가 포함될 때까지 반복하여 만든다. 둘째, 선택된 초기해의 마디를 임의의 단위로 잘라내어 그 개선비용이 음수인 경우 다른 마디 자리에 삽입함으로서 새로운 전체순환(grand tour)을 만들어 해를 개선한다. 우리는 최적해가 알려진 TSPLIB에 적용하여 그 결과를 비교하고 또한 랜덤하게 생성된 마디 200개까지의 TSP문제에 대하여 실험을 하였다. 대부분의 해는 최적해로부터 1% 이내의 결과로서 30분 이내에 얻을 수 있었다. 우리의 방법은 실용적인 문제에 적용할 수 있을 것으로 판단된다.

• 한국정보처리학회논문지
• /
• 제5권9호
• /
• pp.2302-2311
• /
• 1998

파장분할다중방식의 패킷 전송을 하는 광상호연결망에서 노드들 사이에 송수신하는 패킷의 수가 임의로 주어지는 일반적인 교통량의 스케쥴링은 NP-complete 문제이며, 이 경우에 대하여 리스트 스케쥴링이 좋은 성능을 보임이 알려져 있다. 리스트 스케쥴링은 각 시간 단위에 배치할 송신자를 고려하는 순서에 따라서 스케쥴 결과가 달라질 수 있다. 본 논문에서는 송신자를 고려하는 순서를 다양하게 시도하여 효율적인 스케쥴을 구하는 방법을 제시한다. 다양한 순서를 탐색하는 방법으로서 유전자 알고리즘을 이용한다.

• 인터넷정보학회논문지
• /
• 제5권5호
• /
• pp.129-138
• /
• 2004

스위치 노드(switch node)로 구성된 네트워크에서 멀티캐스팅을 위한 트리를 구성하는 것은 NP-complete로 알려진 스타이너 트리 문제(Stainer free problem)로 정형화된다. 현재의 멀티캐스트를 요구하는 서비스들은 대개 대용량의 멀티미디어 데이터를 요구하게 된다. 이러한 서비스들은 텍스트 기반의 서비스에 비해 서비스의 질(Quality of Service)이 아주 중요한 요소가 되고, QoS는 전송에 소요되는 시간에 매우 민감하게 반응한다. 단일 제약을 갖는 멀티캐스트 트리 문제에 적용되는 휴리스틱은 이미 많이 연구되었으나, 노드 연결도 제한과 평균 흡수를 고려하는 다중 제약이 있는 멀티캐스트 트리 문제에 적용되는 휴리스틱에 대한 연구는 없었다. 본 논문에서는 다중 제약을 만족하는 효율적인 멀티캐스트 트리 문제에 적용 가능한 알고리즘을 제안하고, 실험을 통하여 성능을 평가하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권1_2호
• /
• pp.95-101
• /
• 2004

이질적인 계산자원들로 구성된 분산 컴퓨팅 환경에서 의존성이 존재하지 않는 독립적인 작업들을 자원들에 배치하기 위한 방법은 NP-Complete 문제로 알려져 있다［1］. 이질적인 자원으로 구성된 시스템의 대표적인 예가 GRID［2］이다. 현재까지 그리드 시스템에서 스케줄링 문제를 풀기 위한 다양한 휴리스틱 스케줄링 방법이 연구되어 왔다［1,3,4,5］. 스케줄링 방법은 정적인 방법과 동적인 방법으로 나뉘어진다. 동적 스케줄링 방법은 작업의 선후 관계를 예측할 수 없는 상황에서 사용되며 동적 스케줄링 방법은 스케줄링 시기에 따라 온라인방식과 배치방식으로 나뉘어진다［1,6］. 본 논문에서는 새로운 온라인 휴리스틱 스케줄링 알고리즘을 제안하였으며 제안된 스케줄링 알고리즘의 성능이 기존의 스케줄링 알고리즘의 성능보다 뛰어남을 시뮬레이션을 통하여 보였다.

• 한국정보과학회논문지:정보통신
• /
• 제28권4호
• /
• pp.657-664
• /
• 2001

선행 논문(제1부)[13]에서는 광 베니언-형 교환 망에 있어 누화를 야기하는 멀티캐스트 접속들간의 관계를 그래프로 표현하고, 해당 그래프의 차수의 상한을 제시하였다. 본 논문(제2부)에서는 교환소자를 달리하는 멀티캐스팅의 스케줄링에서의 라우팅 횟수 즉, 스케줄링 길이에 대해 다룬다. 최적의 스케줄링 길이를 구하는 문제는 NP-complete이므로 최적 길이의 상한의 두 배 이내의 길이를 제공하는 근사 알고리즘을 제시한다. 아울러, 링크를 달리하는(즉, 넌블럭킹) 멀티캐스팅에 관한 스케줄링 길이를 고찰한다. 얻어진 스케줄링 길이 하에서 다양한 넌블럭킹 베니언-형 멀티캐스팅 망들을 규명한다.

• 한국통신학회논문지
• /
• 제27권5C호
• /
• pp.422-434
• /
• 2002

본 논문에서는 대용량 트래픽의 효율적 전송을 위해 B-DCS(Broadband-Digital Cross-connect System)망, 간선링, 지선링의 3계위 구조 광섬유 기간전송망을 제안하며 각 계위에서 경제적으로 망의 생존도를 보장하는 설계방법을 연구한다. 링 구축비용을 혼합정수계획(MIP) 모델을 이용해 수리적으로 최적화할 경우 비다항식 완전 문제(NP-complete problem)가 되어 실시간 내에 해를 구하기가 어려워지므로 본 논문에서는 B-DCS망을 위한 운용회선 및 예비회선의 최적할당 문제, 간선링을 위한 다중링 부하최적화 문제, 지선링을 위한 중첩링 부하최적화 문제에 대한 휴리스틱 알고리즘을 각각 개발하여 사례분석을 통해 그 효용성을 보인다.

• 한국컴퓨터정보학회논문지
• /
• 제21권9호
• /
• pp.79-84
• /
• 2016

In this paper we consider the problem of finding the triplet (S,${\pi}$,f), where $S{\subseteq}V$, ${\pi}$ is a sequence of nodes in S and $f:V{\backslash}S{\rightarrow}S$ for a given complete graph G=(V,E). In particular, there exist two costs, $c^V_{uv}$ and $c^D_{uv}$ for $(u,v){\in}E$, and the cost of triplet (S,${\pi}$,f) is defined as $\sum_{i=1}^{{\mid}S{\mid}}c^V_{{\pi}(i){\pi}(i+1)}+2$ ${\sum_{u{\in}V{\backslash}S}c^D_{uf(u)}$. This problem is motivated by the integrated routing of the vehicle and drone for urban delivery services. Since a well-known NP-complete TSP (Traveling Salesman Problem) is a special case of our problem, we cannot expect to have any polynomial-time algorithm unless P=NP. Furthermore, for practical purposes, we may not rely on time-exhaustive enumeration method such as branch-and-bound and branch-and-cut. This paper suggests the simple heuristic which is motivated by the MST (minimum spanning tree)-based approximation algorithm and neighborhood search heuristic for TSP.

• 한국정보처리학회논문지
• /
• 제6권9호
• /
• pp.2311-2319
• /
• 1999

병렬 컴퓨팅에 있어 NP-complete 문제인 태스크 할당문제에 대한 두 가지 휴리스틱 알고리즘을 제시한다. 할당문제는 분산 메모리 멀티컴퓨터의 멀티 프로세싱 노드에 다중통신 태스크들을 최적의 매핑을 찾는 것이다. 태스크들을 목표 시스템 구조의 노드들에 매핑시키는 목적은 해법 품질에 손상 없이 병렬 실행시간을 최소화하기 위함이다. 많은 휴리스틱 기법들이 만족한 매핑을 얻기 위해 채택되어 왔다. 본 논문에서 제시되는 휴리스틱 기법은 유전자 알고리즘(GA)과 시뮬레이티드 어닐링(SA) 기법에 기반을 둔다. 매핑 설정을 위한 총 계산 비용으로 목적함수를 수식화하고 휴리스틱 알고리즘들의 성능을 평가한다. 랜덤, 그리디, 유전자, 어닐링 알고리즘들을 사용하여 얻은 해법의 품질과 시간을 비교한다. 할당 알고리즘 시뮬레이션 연구를 통한 실험적 결과를 보여준다.

• 정보처리학회논문지A
• /
• 제13A권2호
• /
• pp.163-170
• /
• 2006

DAG(Directed Acyclic Graph) 기반의 스케줄링을 포함한 많은 스케줄링 문제들은 대부분 NP-Complete로 알려져 있으며, 따라서 휴리스틱에 기반한 많은 알고리즘 연구들이 진행되어 왔다. 이 중 HEFT와 CPOP은 이기종 환경에서 효과적인 알고리즘으로 알려져 있다. 본 논문의 이전 연구에서는 이기종 환경이 보다 현실성 있는 전역 네트워크로 구성된 경우에 대해 효과적인 3개의 알고리즘(CPOC, eCPOC, eCPOP)을 제안한 바 있다. 본 논문에서는 이들 총 5개의 알고리즘에서 사용하는 휴리스틱을 체계적으로 분석하고, 다양한 벤치마크를 사용한 실험을 통해 비교 분석하였다. 실험 결과 전역 이기종 환경에서 eCPOC이 가장 우수한 성능을 보여주었고, 또한 제안된 3개의 알고리즘에서 사용하는 휴리스틱들이 전역 이기종 환경에서 효과적임이 확인되었다.