Experimental Mathematics, 2024 (SCI-Expanded)
For (Formula presented.), let (Formula presented.) denote the full transformation semigroup on (Formula presented.), and let π denote the constant map defined by (Formula presented.) for all (Formula presented.). Consider the sets: (Formula presented.) (Formula presented.) (Formula presented.) and (Formula presented.). We define two undirected graphs, denoted by (Formula presented.) and (Formula presented.), as simple graphs whose vertex sets are (Formula presented.) and (Formula presented.), and whose two distinct vertices α and β are adjacent if and only if (Formula presented.) or (Formula presented.). We then investigate some properties of both (Formula presented.) and (Formula presented.).