束。记法 Result(n) 被用作"第 n 步的结果" 的缩写。Type(x) 被用作"x 的类型"的缩写。 加法、减法、取负、乘法、除法这些数学运算，以及这一节稍后定义的数学函数应被理解 为总是使用实数做精确的数学计算，这不包括无穷大或 负零。本标准中的算法在适当的地方会 建模浮点数运算，描述其步骤，处理无穷大和有符号零并进行舍入。如果数学运算或函数应用 于一个浮点数，应被理解为应用 于此浮点数所 如果一个有限的数值非零且用来表达它（上文两种形式之一）的整数 m 是奇数，则该数值 有 奇数标记(odd significand)。否则，它有 偶数标记(even significand)。 在本规范中，当 x 表示一个精确的非零实数数学量（甚至可以是无理数，比如 π）时，短 语"the number value for x"意为，以下面的方式选择一个数字 值。考虑数值类型的所有有限值的 集合（不包括 -0 和两个被加入在数值类型中但不可呈现的值，即

asymptotic upper bound」。 我们要推算时间复杂度，本质上是在计算「操作数量函数 ?(?) 」的渐近上界。下面我们先来看看函数渐近上 界的数学定义。 � 函数渐近上界 若存在正实数 ? 和实数 ?0 ，使得对于所有的 ? > ?0 ，均有 ?(?) ≤ ? ⋅ ?(?) 则可认为 ?(?) 给出了 ?(?) 的一个渐近上界，记为 ?(?) = ?(?(?)) Figure 2‑2

asymptotic upper bound」。 我们要推算时间复杂度，本质上是在计算「操作数量函数 ?(?) 」的渐近上界。下面我们先来看看函数渐近上 界的数学定义。 � 函数渐近上界 若存在正实数 ? 和实数 ?0 ，使得对于所有的 ? > ?0 ，均有 ?(?) ≤ ? ⋅ ?(?) 则可认为 ?(?) 给出了 ?(?) 的一个渐近上界，记为 ?(?) = ?(?(?)) Figure 2‑2

notation），表示函数 ?(?) 的 渐近上界（asymptotic upper bound）。 时间复杂度分析本质上是计算“操作数量 ?(?)”的渐近上界，它具有明确的数学定义。 函数渐近上界 若存在正实数 ? 和实数 ?0 ，使得对于所有的 ? > ?0 ，均有 ?(?) ≤ ? ⋅ ?(?) ，则可认为 ?(?) 给 出了 ?(?) 的一个渐近上界，记为 ?(?) = ?(?(?)) 。 如图 2‑8

notation），表示函数 ?(?) 的 渐近上界（asymptotic upper bound）。 时间复杂度分析本质上是计算“操作数量 ?(?)”的渐近上界，它具有明确的数学定义。 函数渐近上界 若存在正实数 ? 和实数 ?0 ，使得对于所有的 ? > ?0 ，均有 ?(?) ≤ ? ⋅ ?(?) ，则可认为 ?(?) 给 出了 ?(?) 的一个渐近上界，记为 ?(?) = ?(?(?)) 。 如图 2‑8

notation），表示函数 ?(?) 的 渐近上界（asymptotic upper bound）。 时间复杂度分析本质上是计算“操作数量 ?(?)”的渐近上界，它具有明确的数学定义。 函数渐近上界 若存在正实数 ? 和实数 ?0 ，使得对于所有的 ? > ?0 ，均有 ?(?) ≤ ? ⋅ ?(?) ，则可认为 ?(?) 给 出了 ?(?) 的一个渐近上界，记为 ?(?) = ?(?(?)) 。 如图 2‑8

notation），表示函数 ?(?) 的 渐近上界（asymptotic upper bound）。 时间复杂度分析本质上是计算“操作数量 ?(?)”的渐近上界，它具有明确的数学定义。 函数渐近上界 若存在正实数 ? 和实数 ?0 ，使得对于所有的 ? > ?0 ，均有 ?(?) ≤ ? ⋅ ?(?) ，则可认为 ?(?) 给 出了 ?(?) 的一个渐近上界，记为 ?(?) = ?(?(?)) 。 如图 2‑8

notation），表示函数 ?(?) 的 渐近上界（asymptotic upper bound）。 时间复杂度分析本质上是计算“操作数量 ?(?)”的渐近上界，它具有明确的数学定义。 函数渐近上界 若存在正实数 ? 和实数 ?0 ，使得对于所有的 ? > ?0 ，均有 ?(?) ≤ ? ⋅ ?(?) ，则可认为 ?(?) 给 出了 ?(?) 的一个渐近上界，记为 ?(?) = ?(?(?)) 。 如图 2‑8

) 的「渐近上界 asymptotic upper bound」。 时间复杂度分析本质上是计算“操作数量函数 ?(?)”的渐近上界，其具有明确的数学定义。 � 函数渐近上界 若存在正实数 ? 和实数 ?0 ，使得对于所有的 ? > ?0 ，均有 ?(?) ≤ ? ⋅ ?(?) ，则可认为 ?(?) 给出了 ?(?) 的一个渐近上界，记为 ?(?) = ?(?(?)) 。 如图 2‑8 所示，计算渐近上界就是寻找一个函数

(?) 的「渐近上界 asymptotic upper bound」。 时间复杂度分析本质上是计算“操作数量 ?(?)”的渐近上界，它具有明确的数学定义。 � 函数渐近上界 若存在正实数 ? 和实数 ?0 ，使得对于所有的 ? > ?0 ，均有 ?(?) ≤ ? ⋅ ?(?) ，则可认为 ?(?) 给出了 ?(?) 的一个渐近上界，记为 ?(?) = ?(?(?)) 。 如图 2‑8 所示，计算渐近上界就是寻找一个函数