把dataframe中某列格式为20191105092503.0的时间转换为’2020-1-1 13:21:12‘这种格式，应该怎么转

```python
import pandas as pd

# 创建示例数据
df = pd.DataFrame({'time': ['20191105092503.0', '20191012073045.0', '20191201094515.0']})

# 将time列转换为datetime类型
df['time'] = pd.to_datetime(df['time'], format='%Y%m%d%H%M%S.%f')

# 将datetime类型转换为指定格式的字符串
df['time'] = df['time'].dt.strftime('%Y-%m-%d %H:%M:%S')

print(df)
```

输出结果如下：

```
                  time
0  2019-11-05 09:25:03
1  2019-10-12 07:30:45
2  2019-12-01 09:45:15
```

其中，to_datetime函数的format参数用于指定时间字符串的格式。dt.strftime函数的参数用于指定输出字符串的格式。