• DocumentCode
    579873
  • Title

    Phase Transition in Reduction between 3-SAT and Graph Colorability for Channel Assignment in Cellular Network

  • Author

    Sharma, Prakash C. ; Chaudhari, Narendra S.

  • Author_Institution
    Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Indore, Indore, India
  • fYear
    2012
  • fDate
    3-5 Nov. 2012
  • Firstpage
    164
  • Lastpage
    168
  • Abstract
    Since, channel assignment problem has been shown to be an NP-hard problem. Also, it is shown that the channel assignment problem is very similar to the graph k-color ability problem. But Graph k-Color ability (for k ≥ 3) Problem (GCP) is still a well known NP-complete problem. There are many approaches have been proposed to solve NP-complete problem, but none of the approaches could give the deterministic solution. One of the recent approach to solve NP-complete problem in deterministic way is Boolean satisfiability (SAT). Reduction between graph k-color ability problem to/from satisfiability expression can be a important concept to solve channel assignment problem in cellular network. For analyzing the behaviors of NP-Complete problems, in recent years, there has been much interest in study of phase transitions. Analytical and experimental research has shown that the âphase transitionâ phenomenon is often associated with the hardness of complexity. Each of the problems has a standard known phase transition. Previously, in [1] [2], we have reduced graph k-color ability problem to/from 3-satisfiability expression in polynomial way. In this paper, we analyzed and calculated the phase transition of systematically generated 3-colorable graph and 3-CNF-SAT expression by our reduction method of 3-SAT to/from 3-colorable graph. We observed that calculated phase transitions are lower than the know phase transition as well as phase transition obtained by Alaxander [3]. This lower phase transition shows that our reduction method is better than previously proposed methods to transform two NP-complete problems into each other more efficiently.
  • Keywords
    Boolean functions; cellular radio; channel allocation; computability; graph colouring; optimisation; phase transformations; polynomials; 3-SAT; Boolean satisfiability; NP-hard problem; cellular network; channel assignment; graph colorability; graph k-color ability problem; phase transition; polynomial; Color; Computer science; Computers; NP-complete problem; Polynomials; Standards; 3-SAT; CNF; Channel Assignment; Edge Connectivity; Graph k-colorability; NP-Complete; Phase Transition;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computational Intelligence and Communication Networks (CICN), 2012 Fourth International Conference on
  • Conference_Location
    Mathura
  • Print_ISBN
    978-1-4673-2981-1
  • Type

    conf

  • DOI
    10.1109/CICN.2012.162
  • Filename
    6375093