arXiv++ Combinatorics

The manuscript studies configurations of non-overlapping non-bonding dominoes on finite rectangular boards of unit squares characterized by row and column number. The non-bonding dominoes are defined here by the requirement that any domino on the board shares at most one point (one of its four corner points) with any other domino, but no edge. With the Transfer Matrix Method, rational generating functions are derived that solve the enumeration problem entirely, here evaluated for boards with up to six rows or columns.

We consider incomplete tilings of the equilateral triangle of edge length n that is subdivided into n^2 regular equilateral smaller unit triangles. Pairs of the unit triangles that share a side may be converted into lozenges, leaving some subset of the unit triangles untouched. We count numerically these coverings by lozenges and unit triangles for edge lengths n <= 6: the total and the detailed refinement as a function of the number of lozenges.

The simple connected graphs may be classified by their cycle composition (number and lengths of cycles). This work derives the counting series of the simple connected graphs that have cycles of unrestricted number and length, but no overlapping cycles. Cycle pairs of these graphs of interest must not have common nodes or edges. The recipe of counting these graphs is based on the counting series of the associated planted graphs, multisets of planted graphs, a recursive synthesis of enriched trees, and a generalized Otter's formula that maps the underlying rooted block graphs to the underlying block graphs.

We create the unlabeled or vertex-labeled graphs with up to 10 edges and up to 10 vertices and classify them by a set of standard properties: directed or not, vertex-labeled or not, connectivity, presence of isolated vertices, presence of multiedges and presence of loops. We present tables of how many graphs exist in these categories.

We consider tilings of a rectangle which is n units wide and m units long by non-overlapping 1 X 1 squares and s X s squares. Bivariate generating functions are computed with the Transfer Matrix Method for moderately large but fixed widths n as a function of the parameter m and of the number of s X s squares in the rectangle.

Nested parentheses are forms in an algebra which define orders of evaluations. A class of well-formed sets of associated opening and closing parentheses is well studied in conjunction with Dyck paths and Catalan numbers. Nested parentheses also represent cuts through circles on a line. These become topologies of non-intersecting circles in the plane if the underlying algebra is commutative. This paper generalizes the concept and answers quantitatively - as recurrences and generating functions of matching rooted forests - the questions: how many different topologies of nested circles exist in the plane if (i) pairs of circles may intersect, or (ii) even triples of circles may intersect. That analysis is driven by examining the symmetry properties of the inner regions of the fundamental type(s) of the intersecting pairs and triples.

ApSimon considered the problem of deciding by a process of two weighings on which of a known number of mints emit either coins of a known genuine weight or emit coins of a different secondary but unknown weight. The combinatorial problem consists of finding two sets of coin numbers to be loaded on the tray for each of the weighings, and then to minimize the total count of coins to be drawn from all mints for these two weighings. This work yields numerical results for the generalized problem which allows three or more weighings to settle which of the mints produce either sort of coins.

Step by step completion of a left-to-right tiling of a rectangular floor with tiles of a single shape starts from one edge of the floor, considers the possible ways of inserting a tile at the leftmost uncovered square, passes through a sequence of rugged shapes of the front line between covered and uncovered regions of the floor, and finishes with a straight front line at the opposite edge. We count the tilings by mapping the front shapes to nodes in a digraph, then counting closed walks on that digraph with the transfer matrix method. Generating functions are detailed for tiles of shape 1 x 3, 1 x 4 and 2 x 3 and modestly wide floors. Equivalent results are shown for the 3-dimensional analog of filling bricks of shape 1x 1 x 2, 1 x 1 x 3, 1 x 1 x 4, 1 x 2 x 2 or 1 x 2 x 3 into rectangular containers of small cross sections.

The number of complete tilings of m X n floors for tiles of shape 1 X 2, 1 X 3, 1 X 4 and 2 X 3 is computed numerically for floors up to width m=9 and variable floor lengths n. Counts are obtained for two classes, for fixed tile stack orientation on one hand and for counts up to rotations and reflections on the other hand. Counts are refined by the number of points on the floor where 4 tiles meet, i.e., by the degree of violation of the requirement for Tatami tilings.

The regular 2n-gon (square, hexagon, octagon, ...) is subdivided into smaller polygons (tiles) by the subset of diagonals which run parallel to any of the 2n sides. The manuscript reports on the number of tiles up to the 78-gon.

Each straight infinite line defined by two vertices of a finite square point lattice contains (covers) these two points and a - possibly empty - subset of points that happen to be collinear to these. This work documents vertex subsets of minimum order such that the sum of the infinite straight lines associated with the edges of their complete subgraph covers the entire set of vertices (nodes). This is an abstraction to the problem of sending a light signal to all stations (receivers) in a square array with a minimum number of stations also equipped with transmitters to redirect the light to other transmitters.