Building on the results of our previous work on Euclidean leaper tours, considering all integers $k>1$ and $h>0$, we study the existence of Hamiltonian cycles in the vertex set $C(2,k):=\{0,1\}^k$ of the $k$-dimensional hypercube when the Euclidean distance between consecutive vertices is fixed. Since the distance between two vertices of $C(2,k)$ is $\sqrt{h}$ for some integer $h$, the problem amounts to determining for which integers $k$ and $h$ there exists a Hamiltonian cycle whose associated Euclidean distance is $\sqrt{h}$. In this paper, we prove that such cycles exist if and only if $h$ is odd and $1 \leq h \leq k-1$. As a result, for all integers $a \geq 0$, $b \geq a$ with $b>0$, we provide a necessary and sufficient condition for the existence of closed Euclidean $(a,b)$-leaper tours on $2 \times 2 \times \cdots \times 2$ chessboards, where the associated distance equals $\sqrt{a^2+b^2}$.
We present statistics on the decompositions (with respect to a distinguished symmetric 2t-cycle) of vertices of the hypercube graph, whose negative parts are covered by two subsets of the ground set {1,...,t} of the corresponding oriented matroid.
If V is the vertex sequence of a symmetric 2t-cycle in the hypercube graph with the vertices {1,-1}^t, then for any vertex T of the graph there exists a unique inclusion-minimal subset of V such that T is the sum of its elements. We present a simple combinatorial statistic on decompositions of vertices of the hypercube graphs with respect to symmetric cycles and describe their basic metric properties.
The varietal hypercube $VQ_n$ is a variant of the hypercube $Q_n$ and has better properties than $Q_n$ with the same number of edges and vertices. This paper shows that every edge of $VQ_n$ is contained in cycles of every length from 4 to $2^n$ except 5, and every pair of vertices with distance $d$ is connected by paths of every length from $d$ to $2^n-1$ except 2 and 4 if $d=1$.
The balanced hypercube $BH_{n}$, a variant of the hypercube, is a novel interconnection network for massive parallel systems. It is known that the balanced hypercube remains Hamiltonian after deleting at most $4n-5$ faulty edges if each vertex is incident with at least two edges in the resulting graph for all $n\geq2$. In this paper, we show that there exists a fault-free Hamiltonian cycle in $BH_{n}$ for $n\ge 2$ with $\left | F \right |\le 5n-7$ if the degree of every vertex in $BH_{n}-F$ is at least two and there exists no $f_{4}$-cycles in $BH_{n}-F$, which improves some known results.
We present statistics on the decompositions (with respect to a distinguished symmetric 2t-cycle) of vertices of the hypercube graph, whose negative parts are regarded as disjoint unions of two subsets of the ground set {1,...,t} of the corresponding oriented matroid.
In this paper we modify slightly Razborov's flag algebra machinery to be suitable for the hypercube. We use this modified method to show that the maximum number of edges of a 4-cycle-free subgraph of the n-dimensional hypercube is at most 0.6068 times the number of its edges. We also improve the upper bound on the number of edges for 6-cycle-free subgraphs of the n-dimensional hypercube from the square root of 2 - 1 to 0.3755 times the number of its edges. Additionally, we show that if the n-dimensional hypercube is considered as a poset, then the maximum vertex density of three middle layers …
Let $ex(Q_n, H)$ be the largest number of edges in a subgraph $G$ of a hypercube $Q_n$ such that there is no subgraph of $G$ isomorphic to $H$. We show that for any integer $k\geq 3$, $$ex(Q_n, C_{4k+2})= O(n^{\frac{5}{6} + \frac{1}{3(2k-2)}} 2^n).$$
A Hamiltonian embedding is an embedding of a graph $G$ such that the boundary of each face is a Hamiltonian cycle of $G$. It is shown that the hypercube graph $Q_n$ admits such an embedding on an orientable surface when $n$ is a power of 2. Basic necessary conditions on Hamiltonian embeddings for $Q_n$ and conjectures are made about other values of $n$.
The balanced hypercube, $BH_n$, is a variant of hypercube $Q_n$. Zhou et al. [Inform. Sci. 300 (2015) 20-27] proposed an interesting problem that whether there is a fault-free Hamiltonian cycle in $BH_n$ with each vertex incident to at least two fault-free edges. In this paper, we consider this problem and show that each fault-free edge lies on a fault-free Hamiltonian cycle in $BH_n$ after no more than $4n-5$ faulty edges occur if each vertex is incident with at least two fault-free edges for all $n\ge 2$. Our result is optimal with respect to the maximum number of tolerated edge faults.
We consider decompositions of topes of the oriented matroid realizable as the arrangement of coordinate hyperplanes in $\mathbb{R}^{2^t}$, with respect to a distinguished symmetric $2\cdot 2^t$-cycle in its hypercube graph of topes $\boldsymbol{H}(2^t,2)$. We seek interpretations of such decompositions in the context of subset families on the ground set $E_t:=\{1,\ldots,t\}$ and of the families of their blocking sets, in the context of clutters on $E_t$ and of their blockers.
How many edges can a quadrilateral-free subgraph of a hypercube have? This question was raised by Paul Erdős about $27$ years ago. His conjecture that such a subgraph asymptotically has at most half the edges of a hypercube is still unresolved. Let $f(n,C_l)$ be the largest number of edges in a subgraph of a hypercube $Q_n$ containing no cycle of length $l$. It is known that $f(n, C_l) = o(|E(Q_n)|)$, when $l= 4k$, $k\geq 2$ and that $f(n, C_6) \geq \frac{1}{3} |E(Q_n)|$. It is an open question to determine $f(n, C_l)$ for $l=4k+2$, $k\geq 2$. Here, we give a general upper bound for $f(n,C_l)$…
A Hamilton decomposition of a graph is a partitioning of its edge set into disjoint spanning cycles. The existence of such decompositions is known for all hypercubes of even dimension $2n$. We give a decomposition for the case $n = 2^a3^b$ that is highly symmetric in the sense that every cycle can be derived from every other cycle just by permuting the axes. We conjecture that a similar decomposition exists for every n.
Let $n\geq 2$ be an integer, and let $i\in\{0,...,n-1\}$. An $i$-th dimension edge in the $n$-dimensional hypercube $Q_n$ is an edge ${v_1}{v_2}$ such that $v_1,v_2$ differ just at their $i$-th entries. The parity of an $i$-th dimension edge $\edg{v_1}{v_2}$ is the number of 1's modulus 2 of any of its vertex ignoring the $i$-th entry. We prove that the number of $i$-th dimension edges appearing in a given Hamiltonian cycle of $Q_n$ with parity zero coincides with the number of edges with parity one. As an application of this result it is introduced and explored the conjecture of the inscribed…
The enhanced hypercube $Q_{n,k}$ is a variant of the hypercube $Q_n$. We investigate all the lengths of cycles that an edge of the enhanced hypercube lies on. It is proved that every edge of $Q_{n,k}$ lies on a cycle of every even length from $4$ to $2^n$; if $k$ is even, every edge of $Q_{n,k}$ also lies on a cycle of every odd length from $k+3$ to $2^n-1$, and some special edges lie on a shortest odd cycle of length $k+1$.
Alphatrion conjectured that it is possible to label the vertices of an $n$-dimensional hypercube with distinct positive integers such that for every Hamiltonian path $a_1, \dots, a_{2^n},$ we have $a_i + a_{i+1}$ prime for all $i.$ We prove the conjecture by proving the more general result that a graph $G = (V, E)$ can be labeled with distinct positive integers such that the edge sum for all $e \in E$ is prime if and only if $G$ is bipartite.
Though embedding problems have been considered for several regular graphs, it is still an open problem for hypercube into torus. In the paper, we prove the conjecture mathematically and obtain the minimum wirelength of embedding for hypercube into Cartesian product of paths and/or cycles. In addition, we explain that Gray code embedding is an optimal strategy in such embedding problems.
We consider edge decompositions of the $n$-dimensional hypercube $Q_n$ into isomorphic copies of a given graph $H$. While a number of results are known about decomposing $Q_n$ into graphs from various classes, the simplest cases of paths and cycles of a given length are far from being understood. A conjecture of Erde asserts that if $n$ is even, $\ell < 2^n$ and $\ell$ divides the number of edges of $Q_n$, then the path of length $\ell$ decomposes $Q_n$. Tapadia et al.\ proved that any path of length $2^mn$, where $2^m<n$, satisfying these conditions decomposes $Q_n$. Here, we make progress to…
If $H$ is (or is isomorphic to) a subgraph of $G$, $H$ is said to {\it divide} $G$ if there is an edge-decomposition of $G$ by copies of $E(H)$, the edge set of $H$. A more restrictive version of this is when there is a subgroup ${\cal H}$ of {\rm Aut} $(G)$, the automorphism group of $G$, such that the copies of $E(H)$ are the translates of $E(H)$ by the elements of ${\cal H}$. In a paper by the second author, this situation was described by saying that $H$, or more precisely $E(H)$, is a {\it fundamental} set for $G$. Many authors have studied the notion of divisibility for various graphs, a…
Aims: Try to prove the $n$-dimensional balanced hypercube $BH_n$ is $(2n-2)$-fault-tolerant-prescribed hamiltonian laceability. Methods: Prove it by induction on $n$. It is known that the assertation holds for $n\in\{1,2\}$. Assume it holds for $n-1$ and prove it holds for $n$, where $n\geq 3$. If there are $2n-3$ faulty links and they are all incident with a common node, then we choose some dimension such that there is one or two faulty links and no prescribed link in this dimension; Otherwise, we choose some dimension such that the total number of faulty links and prescribed links does not e…
Let $F_{v}$ (resp. $F_e$) be the set of faulty vertices (resp. faulty edges) in the $n$-dimensional balanced hypercube $BH_n$. Fault-tolerant Hamiltonian laceability in $BH_n$ with at most $2n-2$ faulty edges is obtained in [Inform. Sci. 300 (2015) 20--27]. The existence of edge-Hamiltonian cycles in $BH_n-F_e$ for $|F_e|\leq 2n-2$ are gotten in [Appl. Math. Comput. 244 (2014) 447--456]. Up to now, almost all results about fault-tolerance in $BH_n$ with only faulty vertices or only faulty edges. In this paper, we consider fault-tolerant cycle embedding of $BH_n$ with both faulty vertices and f…
Ruskey and Savage asked the following question: Does every matching of $Q_{n}$ for $n\geq2$ extend to a Hamiltonian cycle of $Q_{n}$? J. Fink showed that the question is true for every perfect matching, and solved the Kreweras' conjecture. In this paper we consider the question in hypercubes with faulty edges. We show that every matching $M$ of at most $2n-1$ edges can be extended to a Hamiltonian cycle of $Q_{n}$ for $n\geq2$. Moreover, we can prove that when $n\geq4$ and $M$ is nonempty this result still holds even if $Q_{n}$ has at most $n-1-\lceil\frac{|M|}{2}\rceil$ faulty edges with one …
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…
Institute of Science and Technology Austria（奥地利科学技术研究所）；School of Mathematical Sciences, Tel Aviv University（特拉维夫大学理学院）；Institute of Discrete Mathematics, Graz University of Technology（格拉茨工业大学离散数学研究所）；Technical University of Vienna（维也纳工业大学）
Let $H$ and $K$ be subsets of the vertex set $V(Q_d)$ of the $d$-cube $Q_d$ (we call $H$ and $K$ configurations in $Q_d$). We say $K$ is an \emph{exact copy} of $H$ if there is an automorphism of $Q_d$ which sends $H$ to $K$. If $d$ is a positive integer and $H$ is a configuration in $Q_d$, we define $π(H,d)$ to be the limit as $n$ goes to infinity of the maximum fraction, over all subsets $S$ of $V(Q_n)$, of sub-$d$-cubes of $Q_n$ whose intersection with $S$ is an exact copy of $H$. We determine $π(C_8,4)$ and $π(P_4,3)$ where $C_8$ is a "perfect" 8-cycle in $Q_4$ and $P_4$ is a "perfect" pat…
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 …
We introduce a notion of the \emph{crux} of a graph $G$, measuring the order of a smallest dense subgraph in $G$. This simple-looking notion leads to some generalisations of known results about cycles, offering an interesting paradigm of `replacing average degree by crux'. In particular, we prove that \emph{every} graph contains a cycle of length linear in its crux. Long proved that every subgraph of a hypercube $Q^m$ (resp. discrete torus $C_3^m$) with average degree $d$ contains a path of length $2^{d/2}$ (resp. $2^{d/4}$), and conjectured that there should be a path of length $2^{d}-1$ (res…
For any positive integer $k \geq 3,$ the sunlet graph of order $2k$, denoted by $L_{2k},$ is the graph obtained by adding a pendant edge to each vertex of a cycle of length $k.$ In this paper, we prove that the necessary and sufficient condition for the existence of an $L_{16}$-decomposition of the $n$-dimensional hypercube $Q_n$ is $n = 4$ or $n \geq 6.$ Also, we prove that for any integer $m \geq 2,$ $Q_{mn}$ has an $L_{2k}$-decomposition if $Q_{n}$ has a $C_k$-decomposition.
Analogous to the case of the binomial random graph $G(d+1,p)$, it is known that the behaviour of a random subgraph of a $d$-dimensional hypercube, where we include each edge independently with probability $p$, which we denote by $Q^d_p$, undergoes a phase transition around the critical value of $p=\frac{1}{d}$. More precisely, standard arguments show that significantly below this value of $p$, with probability tending to one as $d \to \infty$ (whp for short) all components of this graph have order $O(d)$, whereas Ajtai, Komlós and Szemerédi showed that significantly above this value, in the \e…
A perfect matching reciprocity method for embedding multiple hypercubes in an augmented cube: Applications to Hamiltonian decomposition and fault-tolerant Hamiltonicity
It is known that the $n$-dimensional hypercube $Q_n,$ for $n$ even, has a decomposition into $k$-cycles for $k=n, 2n,$ $2^l$ with $2 \leq l \leq n.$ In this paper, we prove that $Q_n$ has a decomposition into $2^mn$-cycles for $n \geq 2^m.$ As an immediate consequence of this result, we get path decompositions of $Q_n$ as well. This gives a partial solution to a conjecture posed by Ramras and also, it solves some special cases of a conjecture due to Erde.
The spined cube $SQ_n$ is a variant of the hypercube $Q_n$, introduced by Zhou et al. in [Information Processing Letters 111 (2011) 561-567] as an interconnection network for parallel computing. A graph $\G$ is an $m$-Cayley graph if its automorphism group $\Aut(\G)$ has a semiregular subgroup acting on the vertex set with $m$ orbits, and is a Caley graph if it is a 1-Cayley graph. It is well-known that $Q_n$ is a Cayley graph of an elementary abelian 2-group $\mz_2^n$ of order $2^n$. In this paper, we prove that $SQ_n$ is a 4-Cayley graph of $\mz_2^{n-2}$ when $n\geq6$, and is a $\lfloor n/2\…
We introduce and study a $d$-dimensional generalization of Hamiltonian cycles in graphs - the Hamiltonian $d$-cycles in $K_n^d$ (the complete simplicial $d$-complex over a vertex set of size $n$). Those are the simple $d$-cycles of a complete rank, or, equivalently, of size $1 + {{n-1} \choose d}$. The discussion is restricted to the fields $F_2$ and $Q$. For $d=2$, we characterize the $n$'s for which Hamiltonian $2$-cycles exist. For $d=3$ it is shown that Hamiltonian $3$-cycles exist for infinitely many $n$'s. In general, it is shown that there always exist simple $d$-cycles of size ${{n-1} …
Necessary condition to have Hamiltonian cycle in planar graph is given. Examples of regular planar graphs degree three without Hamiltonian cycle are built.
We prove new lower bounds on the crossing number of a complete graphs assuming that it is drawn in such a way that it contains a Hamiltonian cycle with no crossings.
Let $G$ be a finite group. We show that if $|G| = pqrs$, where $p$, $q$, $r$, and $s$ are distinct odd primes, then every connected Cayley graph on $G$ has a hamiltonian cycle.
We first prove a one-to-one correspondence between finding Hamiltonian cycles in a cubic planar graphs and finding trees with specific properties in dual graphs. Using this information, we construct an exact algorithm for finding Hamiltonian cycles in cubic planar graphs. The worst case time complexity of our algorithm is O$(2^n)$.
The central levels problem asserts that the subgraph of the $(2m+1)$-dimensional hypercube induced by all bitstrings with at least $m+1-\ell$ many 1s and at most $m+\ell$ many 1s, i.e., the vertices in the middle $2\ell$ levels, has a Hamilton cycle for any $m\geq 1$ and $1\le \ell\le m+1$. This problem was raised independently by Buck and Wiedemann, Savage, by Gregor and Škrekovski, and by Shen and Williams, and it is a common generalization of the well-known middle levels problem, namely the case $\ell=1$, and classical binary Gray codes, namely the case $\ell=m+1$. In this paper we present …
It is shown that a hamiltonian $n/2$-regular bipartite graph $G$ of order $2n>8$ contains a cycle of length $2n-2$. Moreover, if such a cycle can be chosen to omit a pair of adjacent vertices, then $G$ is bipancyclic.
Following Penrose, we introduce a family of graph functions defined in terms of contractions of certain products of symmetric tensors along the edges of a graph. Special cases of these functions enumerate edge colorings and cycles of arbitrary length in graphs (in particular, Hamiltonian cycles).
We prove that a tournament and its complement contain the same number of oriented Hamiltonian paths (resp. cycles) of any given type, as a generalization of Rosenfeld's result proved for antidirected paths.
