Notification: Our email services are now fully restored after a brief, temporary outage caused by a denial-of-service (DoS) attack. If you sent an email on Dec 6 and haven't received a response, please resend your email.
CFP last date
20 December 2024
Reseach Article

Polynomial 3-SAT Encoding for K-Colorability of Graph

Published on None 2011 by Prakash C. Sharma, Narendra S. Chaudhari
Evolution in Networks and Computer Communications
Foundation of Computer Science USA
ENCC - Number 1
None 2011
Authors: Prakash C. Sharma, Narendra S. Chaudhari
927fb9b3-4f6e-4092-b462-3d4a4627ef5e

Prakash C. Sharma, Narendra S. Chaudhari . Polynomial 3-SAT Encoding for K-Colorability of Graph. Evolution in Networks and Computer Communications. ENCC, 1 (None 2011), 19-24.

@article{
author = { Prakash C. Sharma, Narendra S. Chaudhari },
title = { Polynomial 3-SAT Encoding for K-Colorability of Graph },
journal = { Evolution in Networks and Computer Communications },
issue_date = { None 2011 },
volume = { ENCC },
number = { 1 },
month = { None },
year = { 2011 },
issn = 0975-8887,
pages = { 19-24 },
numpages = 6,
url = { /specialissues/encc/number1/3715-encc004/ },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Special Issue Article
%1 Evolution in Networks and Computer Communications
%A Prakash C. Sharma
%A Narendra S. Chaudhari
%T Polynomial 3-SAT Encoding for K-Colorability of Graph
%J Evolution in Networks and Computer Communications
%@ 0975-8887
%V ENCC
%N 1
%P 19-24
%D 2011
%I International Journal of Computer Applications
Abstract

Graph k-Colorability (for k ≥ 3) Problem (GCP) is an well known NP-Complete problem; till now there are not any known deterministic methods that can solve a GCP in a polynomial time. To solve this efficiently, we go through Propositional Satisfiability, which is the first known NP-Complete problem [3]. However, to use the SAT solvers, there is a need to convert or encode an k-colorable graph to 3-SAT first. In this paper, we are presenting a polynomial 3-SAT encoding technique for k-colorability of graph. Alexander Tsiatas [1] gave a reduction approach from 3-Colorable graph to 3-SAT encoding. According to [1], total number of clauses generated in 3-CNF-SAT formula for 3-colorable graph G = (V, E) is ((27*|V|) + (256*|E|)). In our earlier formulation of reduction of k-colorable graph to 3-SAT [2], we generalized [1] for k-colorable graph and generated ((kk*(k-2)*|V|) + (22k+2 *|E|)) clauses in 3-CNF. Here, we present our approach to encode a k-colorable graph to 3-CNF-Satisfiability (SAT) formula in polynomial time with mathematical proof. Our formulation generates total (((k-2)*|V| ) + (k*|E|) ) clauses in 3-CNF for k-colorable graph. Thus, our formulation is better than approach [1] and [2]. Also, we tested our encoding formulation approach on different graph coloring instances of DIMACS[8][9].

References
  1. Alexander Tsiatas, “Phase Transitions in Boolean Satisfiability and Graph Coloring”, May 2008, Department of Computer Science, Cornell University, (www.cseweb.ucsd.edu/users/atsiatas/phase.pdf).
  2. Prakash C. Sharma and Narendra S. Chaudhari, “A Graph Coloring Approach for Channel Assignment in Cellular Network via Propositional Satisfiability” International Conference on Emerging Trends in Networks and Computer Communications (ETNCC) at Udaipur , 22-24 April 2011, pp 23-26
  3. Garey, M. R. and Johnson, D. S., Computers and Interactability: A Guide to the Theory of NP-Completeness, Freeman, San Francisco, 1979.
  4. Daniel Marx, “Graph Colouring Problems and their applications in Scheduling”, Periodica Polytechnica Ser El. Eng Vol.48, No.1, pp. 11-16 (2004)
  5. Maaly A. Hassan and Andrew Chickadel, “A Review Of Interference Reduction In Wireless Networks Using Graph Coloring Methods” , International journal on applications of graph theory in wireless ad hoc networks and sensor networks (GRAPH-HOC) Vol.3, No.1, March 2011, pp 58-67.
  6. Mohammad Malkawi, Mohammad Al-Haj Hassan and Osama Al-Haj Hassan, “New Exam Scheduling Algorithm using Graph Coloring”, The International Arab Journal of Information Technology, Vol. 5, No. 1, January 2008, pp 80-87
  7. Koen Claessen, Niklas Een, Mary Sheeran and Niklas Sorensson, “SAT-solving in practice”, Proceedings of the 9th International Workshop on Discrete Event Systems Goteborg, Sweden, pp 61-67,May 28-30, 2008.
  8. Graph Coloring Instances, available at http://mat.gsia.cmu.edu/COLOR/instances.html.
  9. DIMACS Implementation Challenges, available at http://dimacs.rutgers .edu/Challenges/
Index Terms

Computer Science
Information Sciences

Keywords

3-SAT CNF DNF graph coloring NP-Complete k-colorable chromatic number DIMACS