Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Computing Real Roots of a Real Polynomial ... and now for Real
Speaker:Alexander Kobel
coming from:Max-Planck-Institut für Informatik - D1
Speakers Bio:
Event Type:AG1 Mittagsseminar (own work)
Visibility:D1, D2, D3, D4, D5, RG1, SWS, MMCI
We use this to send out email in the morning.
Level:AG Audience
Language:English
Date, Time and Location
Date:Tuesday, 15 March 2016
Time:13:00
Duration:30 Minutes
Location:Saarbrücken
Building:E1 4
Room:024
Abstract
Recent work by Michael S. and Kurt introduces an asymptotically fast subdivision algorithm, denoted ANewDsc, for isolating the real roots of a univariate real polynomial. The method combines Descartes' Rule of Signs to test intervals for the existence of roots, Newton iteration to speed up convergence against clusters of roots, and approximate computation to decrease the required precision. ANewDsc achieves record bounds on the worst-case complexity for the considered problem, matching the complexity of Pan's method for computing all complex roots and improving upon the complexity of other subdivision methods by several magnitudes.

In this talk, we report on an implementation of ANewDsc on top of the RS root isolator. At the current stage, RS is the most efficient realization of the classical Descartes method, and also constitutes the default real root solver for polynomials in Maple. We describe several crucial design changes within ANewDsc as well as within RS that have led to a high-performance implementation without harming the theoretical complexity of the underlying algorithm. Testing our implementation on numerous benchmark instances shows that the theoretical gain in performance of ANewDsc over other subdivision methods also transfers into practice. Experiments show that our new implementation outperforms RS by magnitudes for notoriously hard instances with clustered roots. For all other instances, there is almost no overhead due to the integration of additional techniques.

Contact
Name(s):Alexander Kobel
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):

Created by:Alexander Kobel, 01/22/2016 09:51 AMLast modified by:Uwe Brahm/MPII/DE, 11/24/2016 04:13 PM
  • Alexander Kobel, 03/08/2016 09:37 AM
  • Alexander Kobel, 02/16/2016 12:52 PM
  • Alexander Kobel, 01/22/2016 05:55 PM
  • Alexander Kobel, 01/22/2016 09:53 AM
  • Alexander Kobel, 01/22/2016 09:51 AM -- Created document.