• Title/Summary/Keyword: Cover Set Problem

Search Result 54, Processing Time 0.022 seconds

Linear Time Algorithm for Network Reliability Problem

  • Lee, Sang-Un
    • Journal of the Korea Society of Computer and Information
    • /
    • v.21 no.5
    • /
    • pp.73-77
    • /
    • 2016
  • This paper deals with the network reliability problem that decides the communication line between main two districts while the k districts were destroyed in military communication network that the n communication lines are connected in m districts. For this problem, there is only in used the mathematical approach as linear programming (LP) software package and has been unknown the polynomial time algorithm. In this paper we suggest the heuristic algorithm with O(n) linear time complexity to solve the optimal solution for this problem. This paper suggests the flow path algorithm (FPA) and level path algorithm (LPA). The FPA is to search the maximum number of distinct paths between two districts. The LPA is to construct the levels and delete the unnecessary nodes and edges. The proposed algorithm can be get the same optimal solution as LP for experimental data.

A Multi-Start Local Search Algorithm Finding Minimum Connected Dominating Set in Wireless Sensor Networks (무선 센서 네트워크에서 최소연결지배집합 선출을 위한 다중시작 지역탐색 알고리즘)

  • Kang, Seung-Ho;Jeong, Min-A;Lee, Seong Ro
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.40 no.6
    • /
    • pp.1142-1147
    • /
    • 2015
  • As a method to increase the scalability and efficiency of wireless sensor networks, a scheme to construct networks hierarchically has received considerable attention among researchers. Researches on the methods to construct wireless networks hierarchically have been conducted focusing on how to select nodes such that they constitute a backbone network of wireless network. Nodes comprising the backbone network should be connected themselves and can cover other remaining nodes. A problem to find the minimum number of nodes which satisfy these conditions is known as the minimum connected dominating set (MCDS) problem. The MCDS problem is NP-hard, therefore there is no efficient algorithm which guarantee the optimal solutions for this problem at present. In this paper, we propose a novel multi-start local search algorithm to solve the MCDS problem efficiently. For the performance evaluation of the proposed method, we conduct extensive experiments and report the results.

Korean Professional Baseball League Scheduling (최적화 기법을 활용한 프로야구 일정 계획)

  • Gong, Gyeong-Su;Lee, Yeong-Ho
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 2008.10a
    • /
    • pp.299-303
    • /
    • 2008
  • In this paper, we discuss the schedule problems for Korean Professional Baseball League (KPBL) and propose approaches to solve these problems by applying Integer Programming. A schedule in a sport league must satisfy lots of constraints on timing such as organizational, attractiveness, and fairness requirements. Organizational requirements cover a set of rules which have to guarantee that all the games can be scheduled according to the regulations imposed by Korean Baseball Organization (KBO). Attractiveness requirements focus on what stadium visitors, television spectators, and the clubs expect, that is, a varied, eventful, and exciting season. Fairness requirements have to guarantee that no team is handicapped or favored in comparison with the others. In addition to finding a feasible schedule that meets all the constraints, the problem addressed in this paper has the additional complexity of having the objective of minimizing the travel costs and every team has the balancing number of the games in home. We formalize the KPBL problem into an optimization problem and adopt the concept of evolution strategy to solve it. Using the method proposed, it is efficient to find better results than approaches developed before.

  • PDF

Cube selection using function complexity and minimizatio of two-level reed-muller expressions (함수복잡도를 이용한 큐브선택과 이단계 리드뮬러표현의 최소화)

  • Lee, Gueesang
    • Journal of the Korean Institute of Telematics and Electronics A
    • /
    • v.32A no.6
    • /
    • pp.104-110
    • /
    • 1995
  • In this paper, an effective method for the minimization of two-level Reed-muller expressions by cube selection whcih considers functional complexity is presented. In contrast to the previous methods which use Xlinking operations to join two cubes for minimizatio, the cube selection method tries to select cubes one at a time until they cover the ON-set of the given function. This method works for most benchmark circuits, but for parity-type functions it shows power performance. To solve this problem, a cost function which computes the functional complexity instead of only the size of ON-set of the function is used. Therefore the optimization is performed considering how the trun minterms are grouped together so that they can be realized by only a small number of cubes. In other words, it considers how the function is changed and how the change affects the next optimization step. Experimental results shows better performance in many cases including parity-type functions compared to pervious results.

  • PDF

EDGE COVERING COLORING OF NEARLY BIPARTITE GRAPHS

  • Wang Ji-Hui;Zhang Xia;Liu Guizhen
    • Journal of applied mathematics & informatics
    • /
    • v.22 no.1_2
    • /
    • pp.435-440
    • /
    • 2006
  • Let G be a simple graph with vertex set V(G) and edge set E(G). A subset S of E(G) is called an edge cover of G if the subgraph induced by S is a spanning subgraph of G. The maximum number of edge covers which form a partition of E(G) is called edge covering chromatic number of G, denoted by X'c(G). It is known that for any graph G with minimum degree ${\delta},\;{\delta}-1{\le}X'c(G){\le}{\delta}$. If $X'c(G) ={\delta}$, then G is called a graph of CI class, otherwise G is called a graph of CII class. It is easy to prove that the problem of deciding whether a given graph is of CI class or CII class is NP-complete. In this paper, we consider the classification of nearly bipartite graph and give some sufficient conditions for a nearly bipartite graph to be of CI class.

An Efficient Coverage Algorithm for Intelligent Robots with Deadline (데드라인을 고려하는 효율적인 지능형 로봇 커버리지 알고리즘)

  • Jeon, Heung-Seok;Jung, Eun-Jin;Kang, Hyun-Kyu;Noh, Sam-H.
    • The KIPS Transactions:PartA
    • /
    • v.16A no.1
    • /
    • pp.35-42
    • /
    • 2009
  • This paper proposes a new coverage algorithm for intelligent robot. Many algorithms for improving the performance of coverage have been focused on minimizing the total coverage completion time. However, if one does not have enough time to finish the whole coverage, the optimal path could be different. To tackle this problem, we propose a new coverage algorithm, which we call MaxCoverage algorithm, for covering maximal area within the deadline. The MaxCoverage algorithm decides the navigation flow by greedy algorithm for Set Covering Problem. The experimental results show that the MaxCoverage algorithm performs better than other algorithms for random deadlines.

Document Clustering Using Semantic Features and Fuzzy Relations

  • Kim, Chul-Won;Park, Sun
    • Journal of information and communication convergence engineering
    • /
    • v.11 no.3
    • /
    • pp.179-184
    • /
    • 2013
  • Traditional clustering methods are usually based on the bag-of-words (BOW) model. A disadvantage of the BOW model is that it ignores the semantic relationship among terms in the data set. To resolve this problem, ontology or matrix factorization approaches are usually used. However, a major problem of the ontology approach is that it is usually difficult to find a comprehensive ontology that can cover all the concepts mentioned in a collection. This paper proposes a new document clustering method using semantic features and fuzzy relations for solving the problems of ontology and matrix factorization approaches. The proposed method can improve the quality of document clustering because the clustered documents use fuzzy relation values between semantic features and terms to distinguish clearly among dissimilar documents in clusters. The selected cluster label terms can represent the inherent structure of a document set better by using semantic features based on non-negative matrix factorization, which is used in document clustering. The experimental results demonstrate that the proposed method achieves better performance than other document clustering methods.

First Selection Algorithm of Minimum Degree Vertex for Maximum Independent Set Problem (최대독립집합 문제의 최소차수 정점 우선 선택 알고리즘)

  • Lee, Sang-Un
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.19 no.3
    • /
    • pp.193-199
    • /
    • 2019
  • In this paper I propose an algorithm of linear time complexity for NP-complete Maximum Independent Set (MIS) problem. Based on the basic property of the MIS, which forbids mutually adjoining vertices, the proposed algorithm derives the solution by repeatedly selecting vertices in the ascending order of their degree, given that the degree remains constant when vertices ${\nu}$ of the minimum degree ${\delta}(G)$ are selected and incidental edges deleted in a graph of n vertices. When applied to 22 graphs, the proposed algorithm could obtain the MIS visually yet effortlessly. The proposed linear MIS algorithm of time complexity O(n) always executes ${\alpha}(G)$ times, the cardinality of the MIS, and thus could be applied as a general algorithm to the MIS problem.

An Optimization Modeling Study on Coastal Patrol Killer Medium(PKM) Requirement (연안 해역 소형 함정 소요 최적화 모델링 연구)

  • Hong, Yoon-Gee;Kim, Young-In;Kim, Yang-Rae;Lee, Jung-Woo;Jang, Dong-Hak
    • Journal of the military operations research society of Korea
    • /
    • v.36 no.2
    • /
    • pp.25-37
    • /
    • 2010
  • This paper deals with achieving the optimal quantity of required PKMs to cover the coastal areas divided into the proper size of sectors, and then using Set Cover Model, Clustered Model, etc. It is optimized via "Requirement Optimization Process" to allocate PKMs reasonably which is considered as conducting mission deployment sectors. This "Hybrid Proper Requirement Model" accommodating the optimization process is introduced and testified by examining a requirement problem.

MODELING OF HUMAN INDUCED CO2 EMISSION BY ASSIMILATING GIS AND SOC10-ECONIMICAL DATA TO SYSTEM DYNAMICS MODEL FOR OECD AND NON-OECD COUNTRIES

  • Goto, Shintaro
    • Proceedings of the KSRS Conference
    • /
    • 1998.09a
    • /
    • pp.3-8
    • /
    • 1998
  • Using GIS and socio-economical data the relationship between human activities and global environmental change Is Analysed from the view point of food productivity and CO2 emission. Under the assumption that the population problem, the food problem and global warming due to energy consumption can be stabilized through managing land use, impacts of human activities such as consumption of food, energy and timber on global environment changes, and global population capacity are Analysed using developed system dynamics model in the research. In the model the world is divided into two groups: OECD countries and the others. Used global land use data set Is land cover map derived from satellite data, and potential distribution of arable land is estimated by the method of Clamor and Solomon which takes into consideration spatial distribution of climate data such as precipitation and evapotranspiration. In addition, impacts of CO2 emission from human activities on food production through global warming are included in the model as a feedback. The results of the analysis for BaU scenario and Toronto Conference scenario are similar to the results of existing models. From the result of this study, the human habitability in 2020 is 8 billion people, and CO2 emission in 2020 based on BaU Scenario and on Toronto Scenario is 1.7 and 1.2 times more than the 1986's respectively. Improving spatial resolution of the model by using global data to distribute the environmental variables and sauce-economical indices is left for further studies.

  • PDF