Algorithm 4: DirectCommunication Function

Require: $\mathrm{C}$D${}_{\mathsf{1}}$$,\mathrm{C}$D${}_{\mathsf{2}}$  Ensure: $TrueorFalse$   for $\forall {\mathrm{R}}_{★}$ $\in \mathrm{C}$D${}_{\mathsf{1}}$ do    for $\forall {\mathrm{R}}_{\circ }$ $\in \mathrm{C}$D${}_{\mathsf{2}}$ do      if R★ $[\mathrm{D}\mathrm{O}\mathrm{M}$$]\cap {\mathrm{R}}_{\circ }$ $\left[\mathrm{D}\mathrm{O}\mathrm{M}\right]$      and R★$\left[\mathrm{R}\mathrm{E}\mathrm{Q}\mathrm{U}\mathrm{I}\mathrm{R}\mathrm{E}\mathrm{S}\right]\cap {\mathrm{R}}_{\circ }$ $\left[\mathrm{P}\mathrm{R}\mathrm{O}\mathrm{V}\mathrm{I}\mathrm{D}\mathrm{E}\mathrm{S}\right]\ne \varnothing$ then      return $True$     end if    end for   end for   return $False$