A la hora de justificar un exchange argument es necesario trabajar con la sumatoria de los tiempos o se puede justificar con palabras detallando el por que el tiempo no empeora a la hora de hacer el intercambio.
Gracias
Hola.
El método exchange argument puede aplicarse también para otros problemas que no impliquen sumatorias de tiempo.
En general, tanto la descripción de un algoritmo como los argumentos en su análisis deben ser rigurosos, no ambiguos. Algunas veces esto se puede lograr con lenguaje natural. En ocasiones este método genera ambigüedades que requieren complementarlo con formalismos. La decisión de cuanto énfasis se le da a cada recurso debe estar basada en lograr que el lector entienda lo que se está transmitiendo.
El método exchange argument puede aplicarse también para otros problemas que no impliquen sumatorias de tiempo.
En general, tanto la descripción de un algoritmo como los argumentos en su análisis deben ser rigurosos, no ambiguos. Algunas veces esto se puede lograr con lenguaje natural. En ocasiones este método genera ambigüedades que requieren complementarlo con formalismos. La decisión de cuanto énfasis se le da a cada recurso debe estar basada en lograr que el lector entienda lo que se está transmitiendo.