GRAFO ORTOGONAL

Acosta Orozco César José, Zambrano Ramírez Semiramis del Carmen

1. INTRODUCCIÓN
El grafo ortogonal es un tipo de grafo asociado a la operación de polinomios de grado menor o igual
a n, con cuerpo asociado a Z p . Este tipo de grafos tiene características similares a los otros grafos
conocidos como los grafos potencia, y tienen propiedades particulares para cada tipo de grafo
potencia, dependiendo del grado n y del valor primo p. Se construye esta propuesta para ampliar el
uso de los grafos en las operaciones algebraicas, como en este caso los polinomios.

4. GRAFO POTENCIA.

4.1. DEFINICIÓN Y TEOREMAS

{∑ }
n
Definición: Sea Z p ,n [ x ] = ai x i∨ai ∈ Z p el conjunto de todos lo polinomios con coeficientes en
i=0

Z p y de grado menor o igual que n. Cada polinomio de grado n puede ser visto como un vector de n
n n
+ 1 componentes. Sean f ( x )=∑ ai x y g ( x )=∑ bi x ; f ( x) y g ( x ) ∈ Z p ,n . Definamos el siguiente
i i

i=0 i=0
n
producto escalar ⟨ f ( x ) , g(x ) ⟩ =∑ a i b i (mod p) (no es un producto interno, pero será útil para
i=0
nuestro propósito de construcción del grafo que deseamos poner a consideración). El grafo
ortogonal OG ( Z p ,n ) es el grafo con conjunto de vértices Z p ,n, y conjunto de aristas
A ( Z p ,n )= { f ( x ) g ( x )| f ( x ) , g ( x ) ∈ Z p ,n y ⟨ f ( x ) , g ( x ) ⟩ =0 (mod p)}.

4.2. GRAFO Z2 , n

{∑ }
n
Sea Z2 , n [ x ] = ai x i∨ai ∈ Z 2 el conjunto de todos lo polinomios con coeficientes en Z2 y de
i=0

grado menor o igual que n. Cada polinomio de grado n puede ser visto como un vector de n + 1
n n
componentes. Sean f ( x )=∑ ai x y g ( x )=∑ bi x ; f ( x) y g ( x ) ∈ Z 2 ,n. Definamos el siguiente
i i

i=0 i=0
n
producto escalar ⟨ f ( x ) , g( x ) ⟩ =∑ a i b i(mod 2) . El grafo ortogonal OG ( Z 2 ,n ) es el grafo con
i=0
conjunto de vértices Z2 , n, y conjunto de aristas
A ( Z2 , n )= { f ( x ) g ( x )| f ( x ) , g ( x ) ∈ Z 2, n y ⟨ f ( x ) , g ( x ) ⟩ =0 }.
4.2.1. PROPIEDADES GRAFOS Z2 , n

A. El grafo Z2 , n tiene grado 2n y 2n−1 , dependiendo del vértice:

Si el vértice tiene términos pares: 2n−1

Si el vértice tiene términos impares: 2n

B. El grafo Z2 , n es de orden 2n+ 1

C. Número de aristas: 2n+ 1

D. El grafo Z2 , n es hamiltoniano.

Se utilizó un software de programación para determinar por medio de un algoritmo si los grafos
ortogonales Z2 , n son hamiltonianos. Por lo cual, se evidencia que si lo son. Se adjunta la imagen del
desarrollo del software.
Además, cualquier grafo de tipo Z2 , n, eliminando el polinomio nulo 0, también es un grafo
hamiltoniano. Tomemos como ejemplo este camino, generado por el software para Z2,3 :

['0101', '1111', '0011', '0100', '0001', '0010', '1000', '0110', '0111', '1011', '1001', '1101', '1100', '1110',
'1010'] es un camino hamiltoniano, por lo que Z2 , n− {0 } es hamiltoniano.
Estas son algunos caminos mostrado por el algoritmo del software:
E. El grafo Z2 , n no es euleriano

De acuerdo con siguiente teorema: “Sea G un grafo conexo, entonces G es euleriano si y sólo si todos los vértices de G tienen grado par”. Por lo
tanto, en los grafos Z2 , n existen vértices de grado impar
4.3. GRAFO Z3 , n

{∑ }
n
Sea Z3 , n [ x ] =
i
ai x ∨ai ∈ Z 3 el conjunto de todos lo polinomios con coeficientes en Z3 y de
i=0

grado menor o igual que n. Cada polinomio de grado n puede ser visto como un vector de n + 1
n n
componentes. Sean f ( x )=∑ ai x y g ( x )=∑ bi x ; f ( x) y g ( x ) ∈ Z 3 ,n . Definamos el siguiente
i i

i=0 i=0
n
producto escalar ⟨ f ( x ) , g(x ) ⟩ =∑ a i b i( mod 3). El grafo ortogonal OG ( Z 3 ,n ) es el grafo con
i=0
conjunto de vértices Z 3 , n, y conjunto de aristas
A ( Z3 , n )= { f ( x ) g ( x )| f ( x ) , g ( x ) ∈ Z 3 ,n y ⟨ f ( x ) , g ( x ) ⟩ =0 }.

4.3.1. PROPIEDADES GRAFOS Z3 , n

A. El grafo Z3 , n tiene grado 3n y 3n −1, dependiendo del valor de n:

Si el vértice tiene el número de términos múltiplo de 3, y además con coeficientes

numéricos iguales o que tenga dos coeficientes numéricos iguales sin incluir el 0: 3n −1

De lo contrario: 3n
000: [000, 001, 002, 010, 011, 012, 020, 021, 022, 110: [000, 001, 002, 120, 121, 122, 210, 211, 212]
100, 101, 102, 110, 111, 112, 120, 121, 122, 200,
201, 202, 210, 211, 212, 220, 221, 222] 111: [000, 012, 021, 102, 111, 120, 201, 210, 222]

001: [000, 010, 020, 100, 110, 120, 200, 210, 112: [000, 011, 022, 101, 112, 120, 202, 210, 221]
220] 120: [000, 001, 002, 110, 111, 112, 220, 221, 222]
002: [000, 010, 020, 100, 110, 120, 200, 210, 121: [000, 011, 022, 102, 110, 121, 201, 212, 220]
220]
122: [000, 012, 021, 101, 110, 122, 202, 211, 220]
010: [000, 001, 002, 100, 101, 102, 200, 201, 202]
200: [000, 001, 002, 010, 011, 012, 020, 021, 022]
011: [000, 012, 021, 100, 112, 121, 200, 212, 221]
201: [000, 010, 020, 101, 111, 121, 202, 212, 222]
012: [000, 011, 022, 100, 111, 122, 200, 211, 222]
202: [000, 010, 020, 102, 112, 122, 201, 211, 221]
020: [000, 001, 002, 100, 101, 102, 200, 201, 202]
210: [000, 001, 002, 110, 111, 112, 220, 221, 222]
021: [000, 011, 022, 100, 111, 122, 200, 211, 222]
211: [000, 012, 021, 101, 110, 122, 202, 211, 220]
022: [000, 012, 021, 100, 112, 121, 200, 212, 221]
212: [000, 011, 022, 102, 110, 121, 201, 212, 220]
100: [000, 001, 002, 010, 011, 012, 020, 021, 022]
220: [000, 001, 002, 120, 121, 122, 210, 211, 212]
101: [000, 010, 020, 102, 112, 122, 201, 211, 221]
221: [000, 011, 022, 101, 112, 120, 202, 210, 221]
102: [000, 010, 020, 101, 111, 121, 202, 212, 222]
222: [000, 012, 021, 102, 111, 120, 201, 210, 222]
Por ejemplo, el grafo Z3 , n, el cual tiene tres términos (múltiplo de 3), y aquellos que tienen los
coeficientes numéricos iguales, tienen grado 3n −1.

B. El grafo Z3 , n es de orden 3n +1

C. El grafo Z3 , n no es hamiltoniano. Al usar el software, nos evidenció que no existe un camino que
conecte a todos los vértices una sola vez.

D. El grafo Z3 , n no es euleriano. Ya que algunos de sus vértices tienen grado impar, de acuerdo con
teorema mencionado en Z2 , n.