อัลกอริทึมขั้นสูงสุดสำหรับการวิเคราะห์การเขียนโปรแกรมเชิงทำนายโดยใช้เกมาเทรียและไพรมิง