已知x为非空列表，那么执行语句x[0] = 3之后，列表对象x的内存地址不变。

是的，执行语句 `x[0] = 3` 后，列表对象 `x` 的内存地址不会改变。这是因为在 Python 中，列表是一种可变对象，即列表中的元素可以修改，而列表对象本身的内存地址不会改变。

当执行 `x[0] = 3` 时，会将列表 `x` 中下标为 0 的元素的值修改为 3，而不会创建一个新的列表对象。因此，列表对象 `x` 的内存地址保持不变。

例如，以下代码创建了一个包含 3 个元素的列表 `x`，然后将第一个元素的值修改为 3，并输出列表对象的内存地址：

x = [1, 2, 3]
print(id(x))  # 输出列表对象的内存地址

x[0] = 3
print(id(x))  # 输出列表对象的内存地址，与上面相同

这个代码会输出两次相同的列表对象的内存地址，说明执行 `x[0] = 3` 后，列表对象 `x` 的内存地址没有改变。

需要注意的是，列表对象的内存地址不变并不意味着列表对象本身是不可变的。如果对列表执行添加、删除元素等操作，可能会改变列表对象的长度、容量等属性，导致列表对象在内存中的存储结构发生改变。