关于同步迭代的时间复杂度疑问：等长双数组迭代的复杂度判定

是的，这种同步迭代的时间复杂度确实是O(a.length)（或者等价的O(b.length)，因为题目明确两个数组长度相同）。

原因很简单：大O表示法描述的是算法运行时间随输入规模增长的趋势，会忽略掉常数系数。在你的同步迭代代码中：

def process(a: list, b: list):
    for i in range(len(a)):
      a[i]
      b[i]

循环总共执行了n次（n等于a.length），每次循环内的两个数组元素访问操作都是O(1)的常数时间操作。总操作次数是2n，但根据大O的规则，常数因子会被忽略，所以最终时间复杂度简化为O(n)，也就是O(a.length)。

对比你给出的第一个顺序迭代的例子：如果两个数组长度相同，那它的总操作次数也是n + n = 2n，时间复杂度同样是O(n)——只不过同步迭代是把两次O(1)操作放在同一个循环里，本质上和两个独立循环的总操作量级是一致的，只是代码结构不同。

内容的提问来源于stack exchange，提问作者Sergii V.