Description of the connected components of a semialgebraic set in single exponential time

This paper is devoted to the following result: let R be a real closed field and let S be a semialgebraic subset of Rn defined by a boolean combination of polynomial inequalities. Let D be the sum of the degrees of the polynomials involved. Then it is possible to find algorithmically a description of...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Heintz, J., Roy, M.-F., Solernó, P.
Formato: Artículo publishedVersion
Publicado: 1994
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_01795376_v11_n1_p121_Heintz
http://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_01795376_v11_n1_p121_Heintz_oai
Aporte de:
id I28-R145-paper_01795376_v11_n1_p121_Heintz_oai
record_format dspace
spelling I28-R145-paper_01795376_v11_n1_p121_Heintz_oai2020-10-19 Heintz, J. Roy, M.-F. Solernó, P. 1994 This paper is devoted to the following result: let R be a real closed field and let S be a semialgebraic subset of Rn defined by a boolean combination of polynomial inequalities. Let D be the sum of the degrees of the polynomials involved. Then it is possible to find algorithmically a description of the semialgebraically connected components of S in sequential time Dn o(1) and parallel time (n log D)o(1) This implies that the problem of finding the connected components of a semialgebraic set can be solved in P-SPACE. © 1994 Springer-Verlag New York Inc. Fil:Solernó, P. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. application/pdf http://hdl.handle.net/20.500.12110/paper_01795376_v11_n1_p121_Heintz info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar Discrete Comput Geom 1994;11(1):121-140 Description of the connected components of a semialgebraic set in single exponential time info:eu-repo/semantics/article info:ar-repo/semantics/artículo info:eu-repo/semantics/publishedVersion http://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_01795376_v11_n1_p121_Heintz_oai
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-145
collection Repositorio Digital de la Universidad de Buenos Aires (UBA)
description This paper is devoted to the following result: let R be a real closed field and let S be a semialgebraic subset of Rn defined by a boolean combination of polynomial inequalities. Let D be the sum of the degrees of the polynomials involved. Then it is possible to find algorithmically a description of the semialgebraically connected components of S in sequential time Dn o(1) and parallel time (n log D)o(1) This implies that the problem of finding the connected components of a semialgebraic set can be solved in P-SPACE. © 1994 Springer-Verlag New York Inc.
format Artículo
Artículo
publishedVersion
author Heintz, J.
Roy, M.-F.
Solernó, P.
spellingShingle Heintz, J.
Roy, M.-F.
Solernó, P.
Description of the connected components of a semialgebraic set in single exponential time
author_facet Heintz, J.
Roy, M.-F.
Solernó, P.
author_sort Heintz, J.
title Description of the connected components of a semialgebraic set in single exponential time
title_short Description of the connected components of a semialgebraic set in single exponential time
title_full Description of the connected components of a semialgebraic set in single exponential time
title_fullStr Description of the connected components of a semialgebraic set in single exponential time
title_full_unstemmed Description of the connected components of a semialgebraic set in single exponential time
title_sort description of the connected components of a semialgebraic set in single exponential time
publishDate 1994
url http://hdl.handle.net/20.500.12110/paper_01795376_v11_n1_p121_Heintz
http://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_01795376_v11_n1_p121_Heintz_oai
work_keys_str_mv AT heintzj descriptionoftheconnectedcomponentsofasemialgebraicsetinsingleexponentialtime
AT roymf descriptionoftheconnectedcomponentsofasemialgebraicsetinsingleexponentialtime
AT solernop descriptionoftheconnectedcomponentsofasemialgebraicsetinsingleexponentialtime
_version_ 1766026679003643904