التخطيطات الديناميكية: إثبات أسرع وأرخص