Los problemas que se enfrentan al reconocer gr'aficas voxelables

Un vox-solido es un subconjunto conexo V de R^3 formado
por la uni\'on de una colecci\'on finita de cubos unitarios con
centros de gravedad en Z^3 tal que la frontera de V es una
superfice. Los vox-s\'olidos se relacionan con la representaci\'on
digital de objetos 3-dimensionales. La gr\'afica de adyacencia
de caras de un vox-s\'olido tiene las caras en la frontera del
vox-s\'olido como v\'ertices, y las aristas son las parejas de caras
que comparten m\'as de un punto. Una gr\'afica voxelable es
una gr\'afica isomorfa a la gr\'afica de adyacencia de caras de
alg\'un vox-s\'olido. En esta pl\'atica revisamos los problemas que
se presentan al tratar de reconocer si dado un encaje de gr\'afica
4-regular sobre la esfera, \'esta corresponde o no al de una
gr\'afica voxelabe. En particular probamos que el proceso globlal de
reconocimiento es NP-completo.