Abstract
The digital spaces have some properties that are not present in the Euclidean space. A digitized circle do not necessarily have the smallest (digital arc length) perimeter of all objects having a given area. In digital geometry various measures of perimeter and area lead to various definitions of digital circles using the digital version(s) of the isoperimetric inequality. Usually the square grid is used as digital plane with either the cityblock or the chessboard neighbourhood relation. In this paper the triangular grid is also used with two types of neighbourhood relation that play importance in Jordan curves. We search for those (digital) objects that have optimal measures and therefore they can be considered as digital circles by our definition. We show that special, (almost) regular hexagons are Pareto optimal, i.e. they fulfil both versions of the isoperimetric inequality: they have maximal area among objects having perimeter at most a given length; and they have minimal perimeter among objects enclosing at most a certain area. The optimal objects can be build in a similar way as the Wang-spiral for the square grid.
Acknowledgements
This paper is the extended version of Citation25. Some of the results of Sections 2 and 4 can also be found there. Apart from the extension of these sections, entirely new results are provided in Section 5. The authors wish to thank to the reviewers for their comments and remarks that helped to increase the quality of the paper. The work is supported by the TÁMOP 4.2.1/B-09/1/KONV-2010-0007 project. The project is implemented through the New Hungary Development Plan, co-financed by the European Social Fund and the European Regional Development Fund.