计算机判断题标准 ★ 精品

寄存器分配 — 计算机判断题

编译原理（大学通用）代码优化与目标代码生成 AI 三重审校通过

题目

在基于图着色的寄存器分配中，设可用物理寄存器数为 k，干涉图中某变量 x 的度数（相邻冲突变量个数）为 d。有同学断言：若 d ≥ k，则该干涉图必定不能用 k 种颜色完成着色，即 x 及其相邻变量必无法在 k 个寄存器内完成分配。试判断该说法的正误。