按照顶 点值大小的顺序等，这样有助于快速查找“带有某种极值”的顶点。 206 第 10 章 搜索 Abstract 搜索是一场未知的冒险，我们或许需要走遍神秘空间的每个角落，又或许可以快速锁定目标。 在这场寻觅之旅中，每一次探索都可能得到一个未曾料想的答案。 第 10 章 搜索 hello‑algo.com 207 10.1 二分查找 二分查找（binary search）是一种

按照顶 点值大小的顺序等，这样有助于快速查找“带有某种极值”的顶点。 207 第 10 章 搜索 Abstract 搜索是一场未知的冒险，我们或许需要走遍神秘空间的每个角落，又或许可以快速锁定目标。 在这场寻觅之旅中，每一次探索都可能得到一个未曾料想的答案。 第 10 章 搜索 www.hello‑algo.com 208 10.1 二分查找 二分查找（binary search

对象转移与冻结 Kotlin/Native 运行时维护的一个重要的不变式是，对象要么归单个线程/worker 所有，要么不可变（共享 XOR 可变）。这确保了同一数据只有一个修改方， 因此不需要锁定。为了实现这个不变式，我们使用了非外部引用的对象子图的 概念。 这是一个没有来自子图以外的外部引用的子图，（在 ARC 系统中）可 由 O(N) 复杂度进行算法检测，其中 N 是这种子图中元素的数量。

对象转移与冻结 Kotlin/Native 运行时维护的一个重要的不变式是，对象要么归单个线程/worker 所有，要么不 可变（共享 XOR 可变）。这确保了同一数据只有一个修改方， 因此不需要锁定。为了实现这 个不变式，我们使用了非外部引用的对象子图的概念。 这是一个没有来自子图以外的外部引 用的子图，（在 ARC 系统中）可由 O(N) 复杂度进行算法检测，其中 N 是这种子图中元素的