给定含有n个元素的多重集合S，每个元素在S中出现的次数称为该元素的重数。多重集S中最大的元素称为众数。给定一个n个自然数组成的多重集合S，设计算法求其众数和重数。

为了在一个包含n个元素的多重集合S中找到众数及其重数，可以使用哈希表或计数排序来解决这个问题。这里是一个简单的步骤描述：

1. **初始化**：创建两个变量，一个用于存储最大元素（初始值设为第一个元素），另一个用于存储最大元素的计数（初始值设为1）。同时，初始化一个空的哈希表或使用一个大小足够大的数组记录每个元素的出现次数。

2. **遍历数组**：对于数组S中的每个元素e，执行以下操作：
- 如果e等于当前的最大元素，则将最大元素的计数加一。
- 否则，如果哈希表或数组中存在e，并且它的计数大于最大元素的计数，更新最大元素和最大计数。
- 如果哈希表或数组中不存在e，添加e到哈希表或数组，并将其计数设置为1。

3. **查找众数**：遍历结束后，哈希表或数组中的某个元素可能是众数，因为它有最大的计数。遍历一次即可找到并返回这个元素及其对应的计数作为重数。

4. **验证结果**：确认最大元素的计数是否只有一份，如果是，则它就是唯一的众数；如果有多个元素计数相等且都是最大值，那么它们都是众数。

示例代码（Python）：
def find_mode_and_count(S):
    counts = {}
    max_element = S[0]
    max_count = 1

    for num in S:
        if num in counts:
            counts[num] += 1
        else:
            counts[num] = 1
        
        if counts[num] > max_count:
            max_element = num
            max_count = counts[num]

    mode = [num for num, count in counts.items() if count == max_count]
    
    return max_element, max_count, mode if len(mode) > 1 else max_element

# 使用示例
S = [1, 1, 2, 3, 3, 3, 4, 4, 5]
mode, count, possible_modes = find_mode_and_count(S)