输入一串用空格分开的人名，其中含有重复的人名，请去重后给出一共有多少个不同名的人名。

好的，可以使用 Python 编写一个简单的程序来实现这个功能：

names = input().split()  # 获取输入的人名列表
unique_names = set(names)  # 将列表转换为集合，去重
print(len(unique_names))  # 输出集合的长度，即不同名的人名数量

你可以将一串用空格分开的人名输入到程序中，它将输出不同名的人名数量。注意，程序中使用了 Python 的内置数据类型 set 来实现去重操作。