Что касается программы, которую вы перечислили в разделе 6 примечаний к лекции:
Я не понимаю, как этот график является хордовым.Я понимаю, что программа не в форме SSA.
Вы правы, что исходная программа не в форме SSA.Вы также по праву смущены тем, почему его «хордовый граф» является хордовым: это не .Авторы допустили небольшую ошибку.Там, где они написали «хордальный граф» в отношении этой первой программы, они означали для написания «интерференционного графа».
Этот второй граф, на который вы ссылаетесь, является тривиально аккорд, потому что он не содержит циклов.Запомните определение хордального графа, который вы дали:
хордальный граф - это тот, в котором все циклы из четырех или более вершин имеют хорду , то есть ребро, которое не является ребромчасть цикла, но соединяет две вершины цикла
Если есть нулевые циклы, то в вакууме все этих циклов содержат аккорд.