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...

ver descrição completa

Detalhes bibliográficos
Autores: Díaz Pernil, Daniel, Christinal, Hepzibah A., Gutiérrez Naranjo, Miguel Ángel, Real Jurado, Pedro
Formato: artículo
Estado:Versión enviada para evaluación y publicación
Fecha de publicación:2012
País:España
Recursos:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/32179
Acesso em linha:http://hdl.handle.net/11441/32179
https://doi.org/10.1007/s00200-012-0176-6
Access Level:acceso abierto
Palavra-chave:Tissue-like P systems
Membrane Computing
Effective Homology
Computational Algebraic Topology
Digital Topology
Descrição
Resumo: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.