• 제목/요약/키워드: Maximum independent set

검색결과 79건 처리시간 0.024초

최대가중 독립집합을 이용한 글리치 감소 알고리즘 (Glitch Reduction Algorithm Using Maximum Weighted Independent Set)

  • 이형일;정균락
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
    • /
    • pp.577-579
    • /
    • 2001
  • 휴대용 전자 제품의 수요가 증가함에 따라 전자 제품의 전력 소모를 감소시키는 문제가 중요하게 되었다. 예를 들면 현재 사용자가 급속도로 늘고 있는 개인 휴대 전화기나 노트북 컴퓨터는 소형화와 배터리의 사용시간 연장 등이 가장 중요한 기술적인 요소로 작용하고 있다. 전력소모를 줄이기 위해서 게이트 크기를 재결정하는 방법과 버퍼를 삽입함으로써 글리치를 줄이는 방법이 사용되고 있는데 최근에 버퍼의 위치를 결정하는 데 정수 선형계획법이 제안되었다. 본 연구에서는 최대 가중 독립 집합을 찾는 알고리즘을 이용해 버퍼의 위치를 결정 방법을 제안하였고 실험을 통해 효율성을 입증하였다.

  • PDF

정점 색칠 문제의 다항시간 알고리즘 (A Polynomial Time Algorithm for Vertex Coloring Problem)

  • 이상운;최명복
    • 한국컴퓨터정보학회논문지
    • /
    • 제16권7호
    • /
    • pp.85-93
    • /
    • 2011
  • 본 논문은 지금까지 NP-완전인 난제로 알려진 정점 색칠 문제를 선형시간 복잡도로 해결한 알고리즘을 제안하였다. 제안된 알고리즘은 그래프 G=(V,E)의 최소 채색수 ${\chi}(G)$=k를 결정하기 위해 사전에 k값을 알지 못한다는 가정에 기반하고 있다. 단지 주어진 그래프를 독립집합 $\overline{C}$와 정점 피복 집합 C로 정확히 양분하여 $\overline{C}$에 색을 배정하는 방법을 적용하였다. 독립집합 $\overline{C}$의 원소는 ${\delta}(G)$인 정점 ${\upsilon}$가, C의 원소는 정점 ${\upsilon}$의 인접 정점들 u가배정된다. 축소된 그래프 C는 다시 $\overline{C}$와 C로 양분되며, 이 과정을 C의 간선이 없을 때까지 수행한다. 26개의 다양한 그래프를 대상으로 제안된 알고리즘을 적용한 결과 정점 ${\upsilon}$를 선택하는 횟수는 정점의 수 n보다 작은 값을 나타내었으며, ${\chi}(G)$=k를 찾는데 성공하였다.

4-색 알고리즘 (The Four Color Algorithm)

  • 이상운
    • 한국컴퓨터정보학회논문지
    • /
    • 제18권5호
    • /
    • pp.113-120
    • /
    • 2013
  • 본 논문은 지금까지 NP-완전인 난제로 알려진 4-색 정리를 $O(n)$선형시간 복잡도로 수기식과 컴퓨터를 활용하여 증명하는 알고리즘을 제안하였다. 제안된 알고리즘은 그래프 $G=(V_1,E_1)$의 정점 집합 V를 최대 독립집합 $\bar{C_1}$와 최소 정점 피복 집합 $C_1$으로 정확히 양분하는 기법을 적용하여 $\bar{C_1}$에 첫 번째 색을 배정하고, $C_1$ 집합의 정점들로 축소된 연결 그래프 $G=(V_2,E_2)$를 대상으로 $\bar{C_2}$$C_2$로 양분하여 $\bar{C_2}$에 두 번째 색을 지정하였다. $C_2$ 집합의 정점들로 축소된 연결 그래프 $G=(V_3,E_3)$를 대상으로 $\bar{C_3}$$C_3$로 양분하여 $\bar{C_3}$에 세 번째 색을 지정하였다. 마지막으로$C_3$$\bar{C_4}$로 하여 4번째 색을 배정하였다. 2개의 실제 지도 그래프와 2개의 평면 그래프를 대상으로 제안된 알고리즘을 적용한 결과 모든 그래프에서 채색수 ${\chi}(G)=4$를 찾는데 성공하였다. 결국, 제안된 "4-색 알고리즘"은 평면 그래프의 4-색을 결정하는 일반적인 알고리즘으로 적용할 수 있을 것이다.

도메틱 수 문제에 관한 최대차수 정점 지배집합 알고리즘 (Maximum Degree Vertex Domatic Set Algorithm for Domatic Number Problem)

  • 이상운
    • 한국컴퓨터정보학회논문지
    • /
    • 제20권2호
    • /
    • pp.63-70
    • /
    • 2015
  • 최대 지배집합의 수인 도메틱 수 문제 (DNP)는 정확한 해를 다항시간으로 구하는 알고리즘이 존재하지 않아 NP-완전 문제로 알려져 있다. 본 논문은 DNP의 해를 다항시간으로 구하는 알고리즘을 제안하였다. 그래프의 최대 차수 ${\Delta}(G)$ 정점 $v_i$$D_i,i=1,2,{\cdots},k$의 지배집합의 원소로 선택하는 방법을 적용하고, $V_{i+1}=V_i{\backslash}D_i$의 축소된 그래프에 대해 $D_{i+1}$을 구하였다. 또한 $V{\backslash}D_i=N_G(D_i)$$D_i$가 지배집합으로 되는지 여부를 검증하였다. 제안된 알고리즘을 15개의 다양한 그래프에 적용한 결과 정확한 해를 다항시간 복잡도 O(kn)으로 구하는데 성공하였다. 결국, 제안된 알고리즘은 도메틱 수 문제가 P-문제임을 보였다.

지배집합 알고리즘 (A Dominating Set Algorithm)

  • 이상운
    • 한국컴퓨터정보학회논문지
    • /
    • 제18권9호
    • /
    • pp.121-129
    • /
    • 2013
  • 본 논문은 아직까지 정확한 해를 다항시간으로 구하는 알고리즘이 존재하지 않아 NP-완전 문제로 알려진 지배집합 (DS) 문제의 정확한 해를 선형시간으로 구하는 알고리즘을 제안하였다. 제안된 알고리즘은 그래프의 간선이 존재하지 않을 때까지 최소차수 ${\delta}(G)$를 가진 정점 u의 인접정점들 중 최대차수 ${\Delta}(G)$를 가진 정점 v를 최소 독립지배집합(MIDS)의 원소로 포함시키고 v의 부속 간선을 삭제하는 방법을 반복적으로 수행하여 구하였다. MIDS로부터 최소 지배집합 (MDS)으로 변환시키고, MDS로부터 최소연결 DS (MCDS)로 변환시키는 방법으로 DS 관련 모든 문제의 정확한 해를 구할 수 있었다. 제안된 알고리즘을 10개의 다양한 그래프에 적용한 결과 정확한 해를 선형 시간복잡도 O(n)으로 구하는데 성공하였다. 결국, 제안된 지배집합 알고리즘은 지배집합 문제가 P-문제임을 증명하였다.

공유기반 트리 멀티캐스트 라우팅 프로토콜을 위한 후보 코어 선택 방법 (A Method of Selecting Candidate Core for Shared-Based Tree Multicast Routing Protocol)

  • 황순환;윤성대
    • 한국멀티미디어학회논문지
    • /
    • 제7권10호
    • /
    • pp.1436-1442
    • /
    • 2004
  • 코어 기반 트리 멀티캐스트 라우팅 프로토콜, PIM-SM, 코어 관리자 기반 멀티캐스트 라우팅 등에 의해 확립된 공유 기반 트리는 코어 또는 랑데뷰 포인트라는 센터 노드를 루트로 하는 구조이다. 공유 기반 트리에서 코어(또는 랑데뷰 포인트)로부터 멀티캐스트 그룹의 모든 구성원들에 대한 전송 경로는 가장 짧은 거리를 사용한다. 트리의 구성 비용은 코어에 의해 결정되고, 패킷들의 지연은 코어의 위치에 의해 좌우된다. 따라서 코어의 위치 선정은 비용과 성능 측면에 많은 영향을 끼친다. 본 논문에서는 후보 코어 그룹 선택을 위한 세 가지 방법을 제안하고자 한다. 제안한 최소 평균 비용 선택, 최대 차수 선택, 최대 가중치 선택 방법은 각각 임의 선택 방법과 트리 비용, 평균 패킷 지연, 최대 패킷 지연의 세 가지 성능 평가 요소를 통해 비교하였다. 모의실험 결과 후보 코어 그룹 선택에 있어서 제안한 세 가지 방법이 임의 선택방법보다 성능 평가요소인 트리 비용, 평균 패킷 지연, 최대 패킷 지연 측면에서 더 낮은 결과를 보임으로써, 우수함을 입증하였다.

  • PDF

Necessary optimality conditions in the small for degenerate hyperbolic distributed-parameter control systems

  • Chang, Kun-Soo;Lee, In-Beum
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1990년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 26-27 Oct. 1990
    • /
    • pp.1043-1048
    • /
    • 1990
  • The degenerate case of multivariable hyperbolic distributed-parameter systems (systems of hyperbolic partial differential equations) in time coordinate t and space coordinate x is characterized by a property that all the characteristic curves of the state equations are parallel to the coordinate axes of independent variables. It is a disturbing fact, although not well known, that the so-called maximum principle as applied to these systems does not exist for the control that depend on time alone. In this paper, however, it is shown that a set of necessary conditions in the small can exist for unconstrained as well as magnitude constrained controls in a locally convex set. The necessary conditions thus derived can be used conveniently to find the optimal control for degenerate hyperbolic distributed-parameter control systems.

  • PDF

Hadwiger 추측의 반증 (Disproof of Hadwiger Conjecture)

  • 이상운
    • 한국인터넷방송통신학회논문지
    • /
    • 제14권5호
    • /
    • pp.263-269
    • /
    • 2014
  • 본 논문은 지금까지 미해결 문제로 알려진 정점 색칠 문제에 대한 Hadwiger 추측의 반증을 제시하였다. Hadwiger 추측은 "모든 $K_k$-minor free 그래프는 k-1개의 색으로 칠할 수 있다. 즉, $K_k$-마이너를 얻으면 ${\chi}(G)=k$이다." Hadwiger 추측을 적용하여 정점 색칠을 할 경우, 먼저 NP-완전 (NP-complete)인 $K_k$-마이너를 구하여 ${\chi}(G)=k$를 결정하고, 다시 NP-완전인 정점 색칠 문제를 풀어야 한다. Hadwiger 추측을 반증하기 위해 본 논문은 정점 색칠의 정확한 해를 O(V)의 선형시간으로 구하는 알고리즘을 제시하였다. 제안된 알고리즘은 그래프의 최소 차수를 가진 정점을 최대독립집합 (MIS)으로 하고, MIS 정점의 인접 정점 간선을 삭제한 축소된 그래프에 대해 이 과정을 반복하면서 하나의 색을 가진 MIS를 얻는다. 다음으로 MIS 정점의 간선을 삭제한 축소된 그래프에 대해 동일한 과정을 수행하여 MIS의 개수가 정점 채색수 ${\chi}(G)=k$가 되는 해를 얻는다. 제안된 알고리즘을 적용하여 NP-완전 문제인 완전 색칠 (total coloring) 채색수 ${\chi}^{{\prime}{\prime}}(G)$의 해를 구하는 알고리즘을 제안하였다. 제안된 알고리즘을 $K_4$-마이너 그래프에 적용한 결과 ${\chi}(G)=4$가 아닌 ${\chi}(G)=3$을 얻었다. 결국, Hadwiger 추측은 모든 그래프에 대해 적용되지 않음을 알 수 있다. 제안된 알고리즘은 마이너를 구하지 않으며, 주어진 그래프에 대해 직접 ${\chi}(G)=k$인 독립집합 마이너를 구하여 각 독립집합 정점들에 동일한 색을 배정하는 단순한 방법이다.

원심형 공기압축기 성능시험 (Performance Test for a Centrifugal Air Compressor)

  • 신유환;안이기;김광호;손병진
    • 대한기계학회논문집
    • /
    • 제19권8호
    • /
    • pp.1964-1971
    • /
    • 1995
  • In the present study, the performance characteristics of a centrifugal air compressor were investigated experimentally. The PC controlled performance test facility for a centrifugal air compressor driven by an electric motor with a gear box to achieve higher compressor rotating speed was set up in the present study. The performance test for a turbocharger compressor of a diesel engine was conducted, and in a case of 34,800 rpm, pressure ratio 1.18, flow rate 0.09kg/s, compressor efficiency 61% were investigated. Adiabatic power for a tested compressor showed maximum value at mass flow ratio 0.8. The value of mass flow ratio of maximum efficiency was about 0.37, it was independent of compressor rotating speed.

Flows and Some Extreme Values in Multiple Server Open Jackson network

  • Park, You-Sung;Lee, Hae-Yong
    • Journal of the Korean Statistical Society
    • /
    • 제24권2호
    • /
    • pp.389-405
    • /
    • 1995
  • Output processes emanating from exit arcs in a mulitple server open Jackson network with node i having $s_i$ servers are determined. Beutler and Melamed (1978) showed, for traffics on all exit arcs of single server open Jackson network in equilibrium, that the customer streams leaving any exit set are Poisson and that the collections over all nodes which yield the Poisson departure processes are mutually independent. In this paper we generalize the above results to multiple servers open Jackson network in equilibrium. While no weak limit result is possible under the equilibrium condition, nonetheless approximations to the distributions of maximum queue lengths for no feedback nodes in multiple servers open Jackson network are established.

  • PDF