The automatic complexity analysis of divide-and-conquer algorithmsReportar como inadecuado




The automatic complexity analysis of divide-and-conquer algorithms - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 INRIA Rocquencourt

Abstract : Current tools performing automatic complexity analysis are capable to deal with function definitions based on structural induction. Divide-and-conquer algorithms with -intelligent- divide function like quicksort are not based on structural induction, but on noetherian induction. This paper presents a method of automatic complexity analysis to deal with such kinds of functions.





Autor: Paul Zimmermann - Wolf Zimmermann

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados