• Journal of the Korea Society of Computer and Information
• /
• v.18 no.11
• /
• pp.159-165
• /
• 2013

This paper proposes a O(E) polynomial-time algorithm that has been devised to simultaneously solve edge-coloring problem and graph classification problem both of which remain NP-complete. The proposed algorithm selects an edge connecting maximum and minimum degree vertices so as to determine the number of edge coloring ${\chi}^{\prime}(G)$. Determined ${\chi}^{\prime}(G)$ is in turn either ${\Delta}(G)$ or ${\Delta}(G)+1$. Eventually, the result could be classified as class 1 if ${\chi}^{\prime}(G)={\Delta}(G)$ and as category 2 if ${\chi}^{\prime}(G)={\Delta}(G)+1$. This paper also proves Vizing's planar graph conjecture, which states that 'all simple, planar graphs with maximum degree six or seven are of class one, closing the remaining possible case', which has known to be NP-complete.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.26 no.1
• /
• pp.128-133
• /
• 2022

This paper deals with the graph in which the weights of edges are given the distances between two end vertices on a metric space. In particular, we will study about a path P with n vertices for these graphs. We obtain a new graph $\bar{P}$ by augmenting an edge to P. Then the length of the shortest path between two vertices on $\bar{P}$ is considered and we focus on the maximum of these lengths. This maximum is called the diameter of the graph $\bar{P}$. We wish to find the augmented edge to minimize the diameter of $\bar{P}$. Especially, for an arbitrary real number λ > 0, we should determine whether the diameter of $\bar{P}$ is less than or equal to λ and we propose an O(n)-time algorithm for this problem, which improves on the time complexity O(nlogn) previously known. Using this decision algorithm, for the length D of P, we provide an O(nlogD)-time algorithm to find the minimum of the diameter of $\bar{P}$.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.30 no.5D
• /
• pp.485-496
• /
• 2010

An increase in number of vehicles owned by individuals worsens the conditions of parking in residential areas. So to speak, the pedestrians' safety is seriously threatened by illegally parked vehicles on the residential area roads. As a result, the number of vehicle-to-pedestrian accidents has been increasing annually. Also, illegal parking on arterial roads is increasingly becoming common, especially by cooommercial trucks. However, no solution has been found to reduce or eliminate accidents caused by vehicles illegally parked on readside. The result of this study provides the solutions to enhance the safety of residential area roads and arterial roads, from viewpoints of both long-term and short-term, by collecting data about the status of illegal parking and addressing critical problems.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.4 no.2 s.13
• /
• pp.53-59
• /
• 2004

The mechanism of manhole bursting which occurs at excess rainfall events Is studied by using both the physical model and the numerical model (SWMM ; Storm Water Management Model). The result of numerical simulation to steep pressure rising agrees well with that of the physical model at the sewer system under surcharged flow. A cause of manhole bursting is an expansion and spout of the condensed all at manhole that results from the surcharged flow and press wave propagation caused by gate operation or closure of conduit at pumping station.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2007.05a
• /
• pp.820-824
• /
• 2007

간선도로의 유입부 설계에는 도로 표면에 떨어진 강우만을 고려하여 빗물받이 간격, 형태 등을 결정하고 있으나, 현실적으로는 간선도로와 연결된 급경사 국지도로에서 횡방향 빗물받이 유입부로 유입되지 않는 유량이 간선도로의 침수를 가중시키고 있는 실정이다. 이러한 점들을 고려할 때, 침수피해에 의한 시민들의 재산을 보호하고, 불편을 덜어주기 위해 급경사 국지도로의 합리적인 배수시설이 필요하다. 그러므로 국지도로 조건에 따른 횡유입부의 설치간격, 적정크기 및 관리 방안을 마련하여 빗물 배제 능력을 향상시킴으로써 도시 홍수피해의 경감대책을 수립하여야 한다. 따라서 본 연구에서는 합리식을 이용하여 우수유출량을 계산하고, 횡유입부의 차집효율 실험을 통하여 산정된 국지도로의 단위 폭(1m)당 차집유량을 이용하여 횡유입부의 설계 방법을 제시하였으며, Excel을 이용하여 간략하게 프로그램화 하였다. 제시된 설계방법은 실무에서 국지도로 경사의 변화를 고려한 횡방향부의 설계에 사용가능하리라 판단된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11a
• /
• pp.323-326
• /
• 2002

DNA 컴퓨팅은 생체 분자들이 갖는 막대한 병렬성을 이용하여 조합 최적화 문제에 적용하는 연구가 많이 시도되고 있다. 특히 TSP(Travelling Salesman Problem)는 간선에 대한 가중치 정보가 추가되어 있기 때문에 가중치를 DNA 염기 배열로 표현하기 위한 효율저인 방법들이 제시되지 않았다. 따라서 본 논문에서는 DNA 컴퓨팅에 DNA 코딩 방법을 적용하여 정점과 간선을 효율적으로 생성하고 표현된 DNA 염기 배열의 간선에 실제간을 적용하여 가중치 정보를 계산하는 ACO(Algorithm for Code Optimization)를 제안한다. DNA 코딩 방법은 변형된 유전자 알고리즘으로 DNA 기능을 유지하며, 서열의 길이를 줄일 수 있으므로 최적의 서열을 생성할 수 있는 특징을 갖는다. 실험에서 ACO를 TSP에 적용하여 Adleman의 DNA 컴퓨팅 알고리즘과 비교하였다. 그 결과 초기 문제 표현에서 우수한 적합도 값을 생성했으며, 경로의 변화에도 능동적으로 대처하여 최적의 결과를 빠르게 탐색할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.757-759
• /
• 2004

C＃ 언어로 작성된 프로그램을 정적으로 분할할 때 기존의 객체 지향 프로그램에 이용하던 방법을 일반적으로 적용할 수 있다. 그러나 기존의 두 경로 그래프 도달 가능성 분할 알고리즘을 적용하였을 때 프로시져들 간의 전지적인 종속 관계를 표현하는 요약 간선만을 이용하면 두 번째 경로에서 역추적 할 때 모호성이 발생한다. 이러한 모호성 C＃의 이벤트, 델리게이트(delegate)들과 메소드의 다형적 호출 관계에서 발생될 수 있다. 본 논문은 호출된 프로시져의 호출하는 문맥을 설명하기 위하여 호출 지점에서 요약간선 및 경로 간선을 이용하여 C＃에서 다형적 호출에 대한 시스템 종속성 그래프(system dependence graph)에 대한 새로운 표현을 제안한다. 이 방법은 다형적 호출에서 발생하는 모호성을 해결할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.115-118
• /
• 2012

다양한 네트워크에서 군집을 분석하고 그 구조를 발견하는 것은 그 네트워크의 복잡도를 낮추어 전체 시스템을 이해하고 관리하는데 중요하다. 특히 기본적인 컴퓨팅이 가능한 여러 기기들이 자율적으로 서로 통신하여 군집을 이루는 자율 군집 네트워크에서 군집을 정확하게 발견하는 것은 집단행동 서비스를 실현하는데 있어서 중요한 기술이다. 따라서 본 연구에서는 자율 군집 네트워크에서 군집 탐지 기법을 제안한다. 제안하는 기법은 군집을 발견하고 그 군집을 식별하기 위해 해당 네트워크에서 한 노드를 공유하는 두 개의 간선 쌍에 대해 계층 군집화를 수행하고 계층 간에 간선 유사도를 계산하여 비교한다. 계층 군집화를 통한 간선들은 트리 구조로 표현할 수 있으며 최적의 분할 밀도를 이용하여 노드들을 클러스터링한 후 최종 군집으로 분리 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.925-928
• /
• 2004

C# 언어로 작성된 프로그램에서 기존의 객체 지향 프로그램에서 이용하던 정적 분할 방법을 적용한다. 기존의 두 경로 그래프 도달 가능성 분할 알고리즘을 적용하였을 때 프로시져들 간의 전이적인 종속 관계를 표현하는 요약 간선만을 이용하면 두 번째 경로에서 역 추적 할 때 모호성이 발생한다. 이러한 모호성은 C#의 이벤트, 델리게이트(delegate)들과 메소드의 다형적 호출 관계에서 발생될 수 있다. 본 논문은 호출된 프로시져의 호출하는 문맥을 설명하기 위하여 호출 지점에서 요약 간선 및 경로 간선을 이용하여 C#에서 다형적 호출에 대한 시스템 종속성 그래프(system dependence graph)에 대한 새로운 표현을 제안한다. 이 방법은 다형적 호출에서 발생하는 모호성을 해결할 수 있다.

• Journal of Korean Society of Transportation
• /
• v.26 no.6
• /
• pp.81-89
• /
• 2008

This paper aims to develop an integrated urban freeway exit-intersection actuated traffic signal control strategy based on which a real-time detection of queue at each of an exit-ramp and an arterial. To evaluate effects of the proposed actuated traffic signal control according to various traffic situations and geometric conditions, this paper analyzed the effects of the proposed traffic signal control strategy according to traffic situations such as the occasion of the arterial being saturated, the occasion of the exit-ramp being saturated, and the occasion of both the arterial and the exit-ramp being saturated. To reflect geometric conditions that influence the effects of the control strategy, this paper evaluated effects before and after applying the actuated traffic signal control strategy according to six cases for both above and under the downstream link length of 200m as proposed by COSMOS. The study results shown that when the link length above 200m, offered a greater effect of applying the actuated traffic control strategy than below 200m. Thus, the actuated traffic signal control through a real-time detection of queue is expected to offer a greater effect at longer downward link.