arXiv++ Combinatorics

Let $D_n$ denote the set of monotone Boolean functions with $n$ variables. Elements of $D_n$ can be represented as strings of bits of length $2^n$. Two elements of $D_0$ are represented as 0 and 1 and any element $g\in D_n$, with $n>0$, is represented as a concatenation $g_0\cdot g_1$, where $g_0, g_1\in D_{n-1}$ and $g_0\le g_1$. For each $x\in D_n$, we have dual $x^*\in D_n $ which is obtained by reversing and negating all bits. An element $x\in D_n$ is self-dual if $x=x^*$. Let $λ_n$ denote the cardinality of the set of all self-dual monotone Boolean functions of $n$ variables. The value $λ_n$ is also known as the $n$-th Hosten-Morris number. In this paper, we derive several algorithms for counting self-dual monotone Boolean functions and confirm the known result that $λ_9$ equals 423,295,099,074,735,261,880.

We study some divisibility properties of Dedekind numbers. We show that the ninth Dedekind number is congruent to 6 modulo 210.

We present a few algorithms and methods to count fixes of permutations acting on monotone Boolean functions. Some of these methods was used by Pawelski \cite{P} to compute the number of inequivalent monotone Boolean functions with 8 variables.

Recently Naserasr, Sopena, and Zaslavsky [R. Naserasr, É. Sopena, T. Zaslavsky,Homomorphisms of signed graphs: An update, arXiv: 1909.05982v1 [math.CO] 12 Sep 2019.] published a report on closed walks in signed graphs. They gave a characterization of the sets of closed walks in a graph $G$ which corespond to the set of negative walks in some signed graph on $G$. In this note we show that their characterization is not valid and give a new characterization.

We consider hypercubes with pairwise disjoint faulty edges. An $n$-dimensional hypercube $Q_n$ is an undirected graph with $2^n$ nodes, each labeled with a distinct binary strings of length $n$. The parity of the vertex is 0 if the number of ones in its labels is even, and is 1 if the number of ones is odd. Two vertices $a$ and $b$ are connected by the edge iff $a$ and $b$ differ in one position. If $a$ and $b$ differ in position $i$, then we say that the edge $(a,b)$ goes in direction $i$ and we define the parity of the edge as the parity of the end with 0 on the position $i$. It was already known that $Q_n$ is not Hamiltonian if all edges going in one direction and of the same parity are faulty. In this paper we show that if $n\ge4$ then all other hypercubes are Hamiltonian. In other words, every cube $Q_n$, with $n\ge4$ and disjoint faulty edges is Hamiltonian if and only if for each direction there are two healthy crossing edges of different parity.

Szepietowski [A. Szepietowski, Hamiltonian cycles in hypercubes with $2n-4$ faulty edges, Information Sciences, 215 (2012) 75--82] observed that the hypercube $Q_n$ is not Hamiltonian if it contains a trap disconnected halfway. A proper subgraph $T$ is disconnected halfway if at least half of its nodes have parity 0 (or 1, resp.) and the edges joining all nodes of parity 0 (or 1, resp.) in $T$ with nodes outside $T$, are faulty. The simplest examples of such traps are: (1) a vertex with $n-1$ incident faulty edges, or (2) a cycle $(u,v,w,x)$, where all edges going out of the cycle from $u$ and $w$ are faulty. In this paper we describe all traps disconnected halfway $T$ with the size $|T|\le8$, and discuss the problem whether there exist small sets of faulty edges which preclude Hamiltonian cycles and are not based on sets disconnected halfway. We describe heuristic which detects sets of faulty edges which preclude HC also those sets that are not based on subgraphs disconnected halfway. We describe all $Q_4$ cubes that are not Hamiltonian, and all $Q_5$ cubes with 8 or 9 faulty edges that are not Hamiltonian.

Sopena in his survey [E. Sopena, The oriented chromatic number of graphs: A short survey, preprint 2013] writes, without any proof, that an oriented cycle $\vec C$ can be colored with three colors if and only if $λ(\vec C)=0$, where $λ(\vec C)$ is the number of forward arcs minus the number of backward arcs in $\vec C$. This is not true. In this paper we show that $\vec C$ can be colored with three colors if and only if $λ(\vec C)=0(\bmod~3)$ or $\vec C$ does not contain three consecutive arcs going in the same direction.

Oriented chromatic number of an oriented graph $G$ is the minimum order of an oriented graph $H$ such that $G$ admits a homomorphism to $H$. The oriented chromatic number of an unoriented graph $G$ is the maximal chromatic number over all possible orientations of $G$. In this paper, we prove that every Halin graph has oriented chromatic number at most 8, improving a previous bound by Hosseini Dolama and Sopena, and confirming the conjecture given by Vignal.