”约瑟夫问题“的ADT定义

ADT 竞赛

         Data:

                  每个数据元素类型相同。相邻元素具有前驱与后继关系，且第一个元素与最后一个元素互为前驱或后继。

         Operation:

                  Initlist:

                             前置条件：线性表不存在

                             输入：人数n，密码m

                             功能：线性表的初始化

                             输出：无

                             后继条件：创建一个有N个元素的循环链表

                 Delete:

                             前置条件：线性表存在

                             输入：无

                             功能：删除特定的元素

                             输出：无

                             后继条件：循环链表减少一个元素

                 Count:

                             前置条件：线性表存在

                             输入：

                             功能：计数

                             输出：

                             后继条件：循环链表不变

                 Judgement:

                             前置条件：线性表存在

                             输入：无

                             功能：比赛的执行与结果的判断

                             输出：优胜者

                             后继条件：循环链表不变

AND ADT