Using an extension of the notion of polynomial time presentable structure we show that some natural presentations of the ordered field ℝalg of algebraic reals and of the field ℂalg of algebraic complex numbers are polynomial-time equivalent to each other and are polynomial time. We also establish upper complexity bounds for the problem of rational polynomial evaluation in ℂalg and for the problem of root-finding for polynomials in ℂalg[x] which improve the previously known bound.
Original languageEnglish
Title of host publicationSailing Routes in the World of Computation
Pages20-29
Number of pages10
DOIs
StatePublished - 1 Jan 2018
Eventcomputability in europe, 2018 -
Duration: 30 Jul 2018 → …

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Nature
Volume10936
ISSN (Print)0302-9743

Conference

Conferencecomputability in europe, 2018
Period30/07/18 → …

    Research areas

  • Algebraic number, Complexity bound, Ordered field, Polynomial, Polynomial-time presentable structure

ID: 126992018