n مجموعهی S1,S2,…,Sn وجود دارند که هر کدام دقیقا nعضو دارند.
جدول A با ابعداد n×n×n در دست است که درایه A[i,j,c] این جدول از نوع boolean است و true است اگر عضو c ام از مجموعهی Si، عضو مجموعهی Sj نیز باشد. و در غیر این صورت false است.
الگوریتمی طراحی کنید که در زمان O(n3) مشخص کند مجموعهی S چند عضو دارد:
S=S1∪S2…∪Sn
دقت کنید که در الگوریتم به خود مجموعهها دسترسی نداریم و تنها طریق دسترسی به آنها از طریق جدول A است.