Given a graph

of

nodes. We wish to assign to each node

a unique binary code

of length

such that, if we denote the Hannuing distance between

and

as

, then

if nodes

and

are adjacent (i.e., connected by a single branch), and

otherwise. If such a code exists, then we say that

is doable for the value of

and tn associated with this code. In this paper we prove various properties relevent to these codes. In particular we prove 1) that for every graph

there exists an

and

such that

is doable, 2) for every value of

there exists a graph

which is not

doable, 3) if

is

doable, then it is

doable for

, and is doable for all

if

is odd, and is doable for all

if

is even. In theory, the code can be synthesized by employing integer linear programming where either

and/or

can be minimized; however, this procedure is computationally infeasible for values of

and

in the range of about

or greater.