Using membrane computing for effective homology

Effective Homology is an algebraic-topological method based on the computational concept of chain homotopy equivalence on a cell complex. Using this algebraic data structure, Effective Homology gives answers to some important computability problems in Algebraic Topology. In a discrete context, Effec...

Descripción completa

Detalles Bibliográficos
Autores: Díaz Pernil, Daniel, Christinal, Hepzibah A., Gutiérrez Naranjo, Miguel Ángel, Real Jurado, Pedro
Tipo de recurso: artículo
Estado:Versión enviada para evaluación y publicación
Fecha de publicación:2012
País:España
Institución:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/32179
Acceso en línea:http://hdl.handle.net/11441/32179
https://doi.org/10.1007/s00200-012-0176-6
Access Level:acceso abierto
Palabra clave:Tissue-like P systems
Membrane Computing
Effective Homology
Computational Algebraic Topology
Digital Topology
Descripción
Sumario:Effective Homology is an algebraic-topological method based on the computational concept of chain homotopy equivalence on a cell complex. Using this algebraic data structure, Effective Homology gives answers to some important computability problems in Algebraic Topology. In a discrete context, Effective Homology can be seen as a combinatorial layer given by a forest graph structure spanning every cell of the complex. In this paper, by taking as input a pixel-based 2D binary object, we present a logarithmic-time uniform solution for describing a chain homotopy operator ϕ for its adjacency graph. This solution is based on Membrane Computing techniques applied to the spanning forest problem and it can be easily extended to higher dimensions.