$n$ مجموعهی $S_1,S_2,…,S_n$ وجود دارند که هر کدام دقیقا $n$عضو دارند.
جدول $A$ با ابعداد $n \times n \times n$ در دست است که درایه $A[i,j,c]$ این جدول از نوع $boolean$ است و $true$ است اگر عضو $c$ ام از مجموعهی $S_i$، عضو مجموعهی $S_j$ نیز باشد. و در غیر این صورت $false$ است.
الگوریتمی طراحی کنید که در زمان $O(n^3)$ مشخص کند مجموعهی $S$ چند عضو دارد:
$$S=S_1\cup S_2 … \cup S_n$$
دقت کنید که در الگوریتم به خود مجموعهها دسترسی نداریم و تنها طریق دسترسی به آنها از طریق جدول $A$ است.