kunta-labs / aos-paper Goto Github PK

\begin{equation} 
 	\texttt{PCE} := (B_i  \: \texttt{mod} \: \vert N \vert) + 1 
 \end{equation} 
  
 \hspace*{15pt} 
 where we add \(1\) to the result assuming node ids, \(N_{id}\) begin at \(1\), not \(0\). The node then checks for whether or not its own node id, \(N_{id}\), is equal to the result of \texttt{PCE}. Effectively, this is checking whether or not \(N_{id}\) is congruent to the next \(B_i\) modulo the cardinality of nodes being considered or proposal creation, \(\vert N \vert\).   
  
 \begin{equation} 
 	N_{id} = B_i \: (\texttt{mod} \: \vert N \vert) 
 \end{equation}