ZoĆ© Christoff edited section_Convergence_label_sec_convergence__.tex  almost 8 years ago

Commit id: e530dfd8db2d5e8697162c6e79612b8e4005f6d3

deletions | additions      

       

A set of nodes $S\subseteq \N$ is said to be:  %\begin{itemize}[noitemsep]  \begin{itemize}  \item[]\emph{a cycle in $G$} if there is a path of length $|S|$ $|S-1|$  containing all and only elements of $S$ which is a cycle, \item[]\emph{connected} if for any $i , j \in S$: $i R^{*}j$,   \item[] \emph{strongly connected} if for any $i,j \in S$: there is a path $\tuple{i,\dots, j}$,   \item[]\emph{closed} if for any $i\in S$, $j \notin S$, it is not the case that $iRj$,