首页> 外文会议>Fourth International Conference on Computational Intelligence and Communication Networks. >Phase Transition in Reduction between 3-SAT and Graph Colorability for Channel Assignment in Cellular Network
【24h】

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

机译:蜂窝网络中信道分配的3-SAT和图可着色性还原之间的相变

获取原文
获取原文并翻译 | 示例

摘要

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.
机译:由于信道分配问题已被证明是一个NP难题。此外,还表明,通道分配问题与图k颜色能力问题非常相似。但是图k-色能力(对于k≥3)问题(GCP)仍然是众所周知的NP完全问题。已经提出了许多解决NP完全问题的方法,但是这些方法都不能给出确定性的解决方案。以确定性方式解决NP完全问题的最新方法之一是布尔可满足性(SAT)。图k色能力问题与可满足性表达之间的减少可能是解决蜂窝网络中信道分配问题的重要概念。为了分析NP完全问题的行为,近年来,对相变的研究引起了很多兴趣。分析和实验研究表明,“相变”现象通常与复杂性有关。每个问题都有一个标准的已知相变。以前,在[1] [2]中,我们已经以多项式的方式将图k色能力问题简化为3-可满足性表达式。在本文中,我们通过将3-SAT还原为3-colorable图的方法,分析并计算了系统生成的3-color图和3-CNF-SAT表达的相变。我们观察到,计算出的相变低于已知相变以及Alaxander [3]获得的相变。这种较低的相变表明,我们的归约方法比先前提出的将两个NP完全问题更有效地相互转化的方法更好。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号