Symbolic computations in the lattice space Rnc
Keywords:
lattice space Rnc, representations of k-faces in n-cube, Hausdorff-Hamming metrics, symbolic operationsAbstract
The methods of cubic structure coding for an n-cube and a cubic n-neighborhood in the lattice space Rnc are developed in a more general context of the language formalism. The choice of an alphabet and its relation to the above problems on cubic structures for a cubic n-neighborhood of radius r (r is integer) are considered with the aim of computer constructing of cubic structures and manifolds with prescribed properties. The mapping of subsets of the set Z onto the finite Hausdorff metric spaces whose points are all k-dimensional faces of an n-cube is analyzed. The efficiency of symbolic computations is discussed in the context of computer implementation. This work was supported by the Russian Foundation for Basic Research (project no. 09-07-12135-ofi_m).
References
- Долбилин Н.П., Штанько М.А., Штогрин М.И. Кубические многообразия в решетках // Изв. РАН. Сер. матем. 1994. 58, вып. 2. 93-107.
- Деза М.А., Штогрин М.И. Вложение графов в гиперкубы и кубические решетки // Успехи матем. наук. 1997. 52, N 6. 155-156.
- Бухштабер В.М., Панов Т.Е. Торические действия в топологии и комбинаторике. M.: МЦНМО, 2004.
- Stanley R. Combinatoric and commutative algebra. Boston: Birkhäuser, 1996.
- Kontchakov R., Pratt-Hartmann J., Wolter F., Zakharyaschev M. Spatial logics and connectedness predicates // Log. Methods in Comp. Science. 2010. 6. 1-43.
- Marshall J., Adcroft A., Campin J-M., Hill C. Atmosphere-ocean modeling exploiting fluid isomorphisms // Monthly Weather Review. 2004. 132, N 12. 2882-2894.
- Manin Yu.I. Classical computing, quantum computing and Shor’s factoring algorithm. March 1999 (arXiv: quant-ph/9903008v1).
- Gaifullin A.A. Construction of combinatorial manifolds with the prescribed sets of links of vertices. January 2008 (arXiv: 0801.4741v1 [math.GT]).
- Melikhov S.A. Uniform polyhedra. June 2011 (arXiv: 1106.3249v1 [math.GT]).
- Рябов Г.Г. О четверичном кодировании кубических структур // Вычислительные методы и программирование. 2009. 10, N 2. 154-161.
- Рябов Г.Г. Хаусдорфова метрика на гранях n-мерного куба // Фундаментальная и прикладная математика. 2010. 16, N 1. 151-155.
- Рябов Г.Г., Серов В.А. О метрико-топологических вычислениях в конструктивном мире кубических структур // Вычислительные методы и программирование. 2010. 11, N 2. 146-155.