Vi bevisar i detta dokument att policy iteration i allmänhet kan definieras inom ändligt område av mallar med hjälp av Lagrange dualitet. Sådan policy iteration algoritm konvergerar till en fast punkt när för mycket enkel teknik villkor håller. Denna fasta punkt ger en säker över-uppskattning av den uppsättning av nåbara värden som tas av variablerna i ett program. Vi visar också att policy iteration enkelt kan initieras för en enda slinga program när mallar väljs korrekt.
I detta dokument anpassar vi policy iteration baserad på Lagrange duality REF till styckvisa kvadratiska funktioner.
Policy Iteration in Finite Templates Domain
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}