Optimal Binary Representation of Mosaic Floorplans and Baxter Permutations
A floorplan is a rectangle subdivided into smaller rectangular blocks by horizontal and vertical line segments. Two floorplans are considered equivalent if and only if there is a bijection between the blocks in the two floorplans such that the corresponding blocks have the same horizontal and vertical boundaries. Mosaic floorplans use the same objects as floorplans but use an alternative definition of equivalence. Two mosaic floorplans are considered equivalent if and only if they can be converted into equivalent floorplans by sliding the line segments that divide the blocks. The Quarter-State Sequence method of representing mosaic floorplans uses 4n bits, where n is the number of blocks. This paper introduces a method of representing an n-block mosaic floorplan with a (3n − 3)-bit binary string. It has been proven that the shortest possible binary string representation of a mosaic floorplan has a length of (3n − o(n)) bits. Therefore, the representation presented in this paper is asymptotically optimal. Baxter permutations are a set of permutations defined by prohibited subsequences. There exists a bijection between mosaic floorplans and Baxter permutations. As a result, the methods introduced in this paper also create an optimal binary string representation of Baxter permutations.
KeywordsBinary Representation Mosaic Floorplan Baxter Permutation
Unable to display preview. Download preview PDF.
- 2.Amano, K., Nakano, S., Yamanaka, K.: On the number of rectangular drawings: Exact counting and lower and upper bounds. IPSJ SIG Notes 2007-AL-115-5C, 33–40 (2007)Google Scholar
- 4.Bonichon, N., Bousquet-Mélou, M., Fusy, É.: Baxter permutations and plane bipolar orientations. Séminaire Lotharingien de Combinatoire 61A (2010)Google Scholar
- 5.Canary, H.: Aztec diamonds and baxter permutations. The Electronic Journal of Combinatorics 17 (2010)Google Scholar
- 7.Fujimaki, R., Inoue, Y., Takahashi, T.: An asymptotic estimate of the numbers of rectangular drawings or floorplans. In: Proceedings 2009 IEEE International Symposium on Circuits and Systems, pp. 856–859 (2009)Google Scholar
- 8.Giraudo, S.: Algebraic and combinatorial structures on baxter permutations. Discrete Mathematics and Theoretical Computer Science, DMTCS (2011)Google Scholar
- 9.Hong, X., Huang, G., Cai, Y., Gu, J., Dong, S., Cheng, C.-K., Gu, J.: Corner-block list: An effective and efficient topological representation of non-slicing floorplan. In: Proceedings of the International Conference on Computer Aided Design (ICCAD 2000), pp. 8–12 (2000)Google Scholar
- 10.Lengauer, T.: Combinatorial Algorithms for Integrated Circuit Layout. John Wiley & Sons (1990)Google Scholar
- 11.Murata, H., Fujiyoshi, K.: Rectangle-packing-based module placement. In: Proceedings of the International Conference on Computer Aided Design (ICCAD 1995), pp. 472–479 (1995)Google Scholar
- 15.Speckmann, B., van Kreveld, M., Florisson, S.: A linear programming approach to rectangular cartograms. In: Proceedings 12th International Symposium on Spatial Data Handling (SDH), pp. 527–546 (2006)Google Scholar