Greedy Feasibility Checks

After building a candidate, validate constraints in one linear pass.

Try this in Python

def valid(order, deadlines):
    t = 0
    for job, d in zip(order, deadlines):
        t += job
        if t > d:
            return False
    return True

print(valid([2, 1], [3, 3]))

Key takeaways

• Validation catches bugs faster than proof attempts.
• Randomized stress vs brute for small n.
• Separate construction from checking for clarity.