The intrinsic complexity of parametric elimination methods
- Autores
- Heintz, J.; Matera, G.; Pardo, L. M.; Wachenchauzer, R.
- Año de publicación
- 1998
- Idioma
- inglés
- Tipo de recurso
- artículo
- Estado
- versión publicada
- Descripción
- This paper is devoted to the complexity analysis of a particular property, called geometric robustness owned by all known symbolic methods of parametric polynomial equation solving (geometric elimination). It is shown that any parametric elimination procedure which owns this property must necessarily have an exponential sequential time complexity even if highly performant data structures (as e.g. the straight--line program encoding of polynomials) are used. The paper finishes with the motivated introduction of a new non-uniform complexity measure for zero-dimensional polynomial equation systems, called elimination complexity.
Sociedad Argentina de Informática e Investigación Operativa - Materia
-
Ciencias Informáticas
Polynomial system solving
elimination
complexity - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by/4.0/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/135547
Ver los metadatos del registro completo
id |
SEDICI_31ee5b6a995d021ad7fd5245e5523909 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/135547 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
The intrinsic complexity of parametric elimination methodsHeintz, J.Matera, G.Pardo, L. M.Wachenchauzer, R.Ciencias InformáticasPolynomial system solvingeliminationcomplexityThis paper is devoted to the complexity analysis of a particular property, called geometric robustness owned by all known symbolic methods of parametric polynomial equation solving (geometric elimination). It is shown that any parametric elimination procedure which owns this property must necessarily have an exponential sequential time complexity even if highly performant data structures (as e.g. the straight--line program encoding of polynomials) are used. The paper finishes with the motivated introduction of a new non-uniform complexity measure for zero-dimensional polynomial equation systems, called elimination complexity.Sociedad Argentina de Informática e Investigación Operativa1998-06-26info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionArticulohttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdf37-51http://sedici.unlp.edu.ar/handle/10915/135547enginfo:eu-repo/semantics/altIdentifier/url/https://publicaciones.sadio.org.ar/index.php/EJS/article/view/134info:eu-repo/semantics/altIdentifier/issn/1514-6774info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0/Creative Commons Attribution 4.0 International (CC BY 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:34:01Zoai:sedici.unlp.edu.ar:10915/135547Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:34:01.743SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
The intrinsic complexity of parametric elimination methods |
title |
The intrinsic complexity of parametric elimination methods |
spellingShingle |
The intrinsic complexity of parametric elimination methods Heintz, J. Ciencias Informáticas Polynomial system solving elimination complexity |
title_short |
The intrinsic complexity of parametric elimination methods |
title_full |
The intrinsic complexity of parametric elimination methods |
title_fullStr |
The intrinsic complexity of parametric elimination methods |
title_full_unstemmed |
The intrinsic complexity of parametric elimination methods |
title_sort |
The intrinsic complexity of parametric elimination methods |
dc.creator.none.fl_str_mv |
Heintz, J. Matera, G. Pardo, L. M. Wachenchauzer, R. |
author |
Heintz, J. |
author_facet |
Heintz, J. Matera, G. Pardo, L. M. Wachenchauzer, R. |
author_role |
author |
author2 |
Matera, G. Pardo, L. M. Wachenchauzer, R. |
author2_role |
author author author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas Polynomial system solving elimination complexity |
topic |
Ciencias Informáticas Polynomial system solving elimination complexity |
dc.description.none.fl_txt_mv |
This paper is devoted to the complexity analysis of a particular property, called geometric robustness owned by all known symbolic methods of parametric polynomial equation solving (geometric elimination). It is shown that any parametric elimination procedure which owns this property must necessarily have an exponential sequential time complexity even if highly performant data structures (as e.g. the straight--line program encoding of polynomials) are used. The paper finishes with the motivated introduction of a new non-uniform complexity measure for zero-dimensional polynomial equation systems, called elimination complexity. Sociedad Argentina de Informática e Investigación Operativa |
description |
This paper is devoted to the complexity analysis of a particular property, called geometric robustness owned by all known symbolic methods of parametric polynomial equation solving (geometric elimination). It is shown that any parametric elimination procedure which owns this property must necessarily have an exponential sequential time complexity even if highly performant data structures (as e.g. the straight--line program encoding of polynomials) are used. The paper finishes with the motivated introduction of a new non-uniform complexity measure for zero-dimensional polynomial equation systems, called elimination complexity. |
publishDate |
1998 |
dc.date.none.fl_str_mv |
1998-06-26 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Articulo http://purl.org/coar/resource_type/c_6501 info:ar-repo/semantics/articulo |
format |
article |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/135547 |
url |
http://sedici.unlp.edu.ar/handle/10915/135547 |
dc.language.none.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/url/https://publicaciones.sadio.org.ar/index.php/EJS/article/view/134 info:eu-repo/semantics/altIdentifier/issn/1514-6774 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/4.0/ Creative Commons Attribution 4.0 International (CC BY 4.0) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by/4.0/ Creative Commons Attribution 4.0 International (CC BY 4.0) |
dc.format.none.fl_str_mv |
application/pdf 37-51 |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1844616220415885312 |
score |
13.070432 |