$1$-product problems with congruence conditions in nonabelian groups

Let $G$ be a finite group and $D_{2n}$ be the dihedral group of $2n$ elements. For a positive integer $d$, let ${\mathsf{s}}_{d\mathbb{N}}(G)$ denote the smallest integer $\mathrm{\ell }\in {\mathbb{N}}_0\cup \{+\mathrm{\infty }\}$ such that every sequence $S$ over $G$ of length $\mathrm{\mid }S\mathrm{\mid }\ge \mathrm{\ell }$ has a nonempty $1$-product subsequence $T$ with $\mathrm{\mid }T\mathrm{\mid }\equiv 0$ (mod $d$). In this paper, we mainly study the problem for dihedral groups $D_{2n}$ and determine their exact values: ${\mathsf{s}}_{d\mathbb{N}}(D_{2n})=2d+\lfloor lo{g}_{2}n\rfloor$, if $d$ is odd with $n\mathrm{\mid }d$; ${\mathsf{s}}_{d\mathbb{N}}(D_{2n})=nd+1$, if $gcd(n,d)=1$. Furthermore, we also analysis the problem for metacyclic groups $C_p{⋉}_s{C}_q$ and obtain a result: $$\mathsf{s}$_{kp$\mathbb{N}$}(C_p\ltimes_s C_q)=lcm(kp,q)+p-2+gcd(kp,q)$,where$p\geq 3$and$p|q-1$.