which is the restriction of k-BMRN-COLOURING to planar spanned digraphs. For k = 2, the problem is polynomial-time solvable because k-BMRN-COLOURING is polynomial-time solvable ,
, Proof: The proof is by reduction from PLANAR 3-COLOURING which consists in deciding whether a given planar graph is 3-colourable
, From a planar graph G, we shall construct
Moreover, free to move slightly some vertices, we may assume that no two vertices ofG lie on a same horizontal or vertical line. Let G be the orientation of G obtained by orienting every edge towards its higher vertex inG: hence if uv ? A( G), then vertex v lies above u ,
, preserving the colouring equivalence with G. FromG, one can easily derive a plane straight-line embedding of D G in which all arcs u x v x , for x ? V ( G), are drawn horizontally and from left to right, of tiny length and whose middle is x. Towards getting (D, T ), we first add
Of course, we do this in such a way that the added paths do not cross, Let us now check that BMRN(D G , M G ) ? 3 if and only if BMRN(D, T ) ? 3. Since (D G , M G ) is the restriction of (D, T ) to V (D G ), every 3-BMRN-colouring of (D, T ) induces a 3-BMRN-colouring of ,
T ) is a planar spanned digraph that is 3-BMRN-colourable if and only if G is 3-colourable ,
, PLANAR k-COLOURING is trivial for all k ? 4, as the answer is always 'Yes' according to the FourColour Theorem. Henceforth, the above proof cannot be generalized to show that PLANAR
, the complexity of PLANAR k-BMRN-COLOURING? Similarly, one can compute the chromatic number of an outerplanar graph in polynomial time. So we cannot establish the hardness of the restriction of k-BMRN-COLOURING to outerplanar digraphs via a proof similar to that of Theorem 5.8. We thus leave the following question open: Question 5.10. For any outerplanar spanned digraph
Every planar map is four colorable. I. Discharging, Illinois J. Math, vol.21, pp.429-490, 1977. ,
Every planar map is four colorable. II. Reducibility. Illinois, J.Math, vol.21, pp.491-567, 1977. ,
Every Planar Map is Four Colorable, Contemp. Math. 98. American Mathematical Society, 1989. ,
Some complexity results about packet radio networks (corresp, IEEE Transactions on Information Theory, vol.30, pp.681-685, 1984. ,
DOI : 10.1109/tit.1984.1056928
Scheduling Algorithms for TDMA Wireless Multihop Networks, 2007. ,
On the NP-completeness of certain network testing problems, Networks, vol.14, issue.1, pp.1-24, 1984. ,
Some simplified NP-complete graph problems, Theoretical Computer Science, vol.1, issue.3, pp.237-267, 1976. ,
DOI : 10.1016/0304-3975(76)90059-1
URL : https://doi.org/10.1016/0304-3975(76)90059-1
A New Model for Scheduling Radio Networks, 1995. ,
On the complexity of link scheduling in multi-hop radio networks, Proceedings of the 26th Conference Information Sciences and Systems, 1992. ,
Spatial TDMA: A collision-free multihop channel access protocol, IEEE Transactions on Communications, vol.33, issue.9, pp.934-944, 1985. ,
DOI : 10.1109/tcom.1985.1096405
The NP-completeness of the Hamiltonian cycle problem in planar digraphs with degree bound two, Information Processing Letters, vol.8, issue.4, pp.199-201, 1979. ,
Scheduling Algorithms for Multi-hop Radio Networks, 1992. ,
DOI : 10.1145/144191.144283
Scheduling algorithms for multihop radio networks, IEEE/ACM Transactions on Networking, vol.1, issue.2, pp.166-177, 1993. ,
DOI : 10.1109/90.222924
URL : http://www.eecis.udel.edu/~elloyd/papers.d/ramton.pdf
The Backbone PRN coloring for TDMA link scheduling in wireless multihop networks. Networks ,
A new model for scheduling packet radio networks, Wireless Networks, vol.3, issue.1, pp.71-82, 1997. ,
DOI : 10.1109/infcom.1996.493055
The complexity of satisfiability problems, Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC 10), pp.216-226, 1978. ,
DOI : 10.1145/800133.804350
On an estimate of the chromatic class of a p-graph, Diskret. Analiz, vol.3, pp.25-30, 1964. ,
, IEEE standard for local and metropolitan area networks part 16: Air interface for fixed broadband wireless access systems, 2004.
, draft standard for information technology -telecommunications and information exchange between systems -local and metropolitan area networks specific requirements part 11: Wireless lan medium access control (mac) and physical layer (phy) specifications amendment: ESS mesh networking, 2006.