python读取图像文件，然后获取图像的尺寸，在图像尺寸范围内随机生成若干（1至20个）随机位置，并把这些位置上的像素颜色值设置为黑色，最后保存为新的图像文件1.png。重复上面的过程一定次数（具体次数由输入确定），生成2.png、3.png、4.png等一系列图像文件。 注意，生成的每个图像文件都是在circle.png图像的基础上为图像随机位置增加黑色像素点，每个图像中被修改的像素数量也是随机的，但是每个图像最多修改20个像素。

可以使用Python中的Pillow库来实现这个功能。以下是实现的代码：

from PIL import Image
import random

# 打开原始图像
img = Image.open("circle.png")

# 获取图像尺寸
width, height = img.size

# 重复生成图像的次数
for i in range(10):
    # 随机生成要修改的像素数量
    num_pixels = random.randint(1, 20)
    
    # 在图像尺寸范围内随机生成 num_pixels 个位置
    pixels_to_modify = []
    for j in range(num_pixels):
        x = random.randint(0, width-1)
        y = random.randint(0, height-1)
        pixels_to_modify.append((x, y))
        
    # 修改图像像素值
    for x, y in pixels_to_modify:
        img.putpixel((x, y), (0, 0, 0))
    
    # 保存修改后的图像
    img.save(f"{i+1}.png")
    
    # 重新打开原始图像，以便下一次循环使用
    img = Image.open("circle.png")

注意，这里的`circle.png`是指原始图像的文件名，需要替换成实际的文件名。另外，如果原始图像是RGBA格式的，需要先转换为RGB格式再进行修改，否则会报错。可以使用以下代码转换：

img = img.convert("RGB")