Constructing Dixon Matrix for Sparse Polynomial Equations Based on Hybrid and Heuristics Scheme

Solving polynomial equations inevitably faces many severe challenges, such as easily occupying storage space and demanding prohibitively expensive computation resources. There has been considerable interest in exploiting the sparsity to improve computation efficiency, since asymmetry phenomena are p...

Full description

Bibliographic Details
Main Authors: Guoqiang Deng, Niuniu Qi, Min Tang, Xuefeng Duan
Format: Article
Language:English
Published: MDPI AG 2022-06-01
Series:Symmetry
Subjects:
Online Access:https://www.mdpi.com/2073-8994/14/6/1174
_version_ 1797482008215027712
author Guoqiang Deng
Niuniu Qi
Min Tang
Xuefeng Duan
author_facet Guoqiang Deng
Niuniu Qi
Min Tang
Xuefeng Duan
author_sort Guoqiang Deng
collection DOAJ
description Solving polynomial equations inevitably faces many severe challenges, such as easily occupying storage space and demanding prohibitively expensive computation resources. There has been considerable interest in exploiting the sparsity to improve computation efficiency, since asymmetry phenomena are prevalent in scientific and engineering fields, especially as most of the systems in real applications have sparse representations. In this paper, we propose an efficient parallel hybrid algorithm for constructing a Dixon matrix. This approach takes advantage of the asymmetry (i.e., sparsity) in variables of the system and introduces a heuristics strategy. Our method supports parallel computation and has been implemented on a multi-core system. Through time-complexity analysis and extensive benchmarks, we show our new algorithm has significantly reduced computation and memory overhead. In addition, performance evaluation via the Fermat–Torricelli point problem demonstrates its effectiveness in combinatorial geometry optimizations.
first_indexed 2024-03-09T22:22:08Z
format Article
id doaj.art-65e90301d6ba4f7e95a1deacce966208
institution Directory Open Access Journal
issn 2073-8994
language English
last_indexed 2024-03-09T22:22:08Z
publishDate 2022-06-01
publisher MDPI AG
record_format Article
series Symmetry
spelling doaj.art-65e90301d6ba4f7e95a1deacce9662082023-11-23T19:12:00ZengMDPI AGSymmetry2073-89942022-06-01146117410.3390/sym14061174Constructing Dixon Matrix for Sparse Polynomial Equations Based on Hybrid and Heuristics SchemeGuoqiang Deng0Niuniu Qi1Min Tang2Xuefeng Duan3School of Computer Science and Information Security, Guilin University of Electronic Technology, Guilin 541004, ChinaSchool of Mathematics and Computing Science, Guangxi Colleges and Universities Key Laboratory of Data Analysis and Computation, Guilin University of Electronic Technology, Guilin 541004, ChinaSchool of Mathematics and Computing Science, Guangxi Colleges and Universities Key Laboratory of Data Analysis and Computation, Guilin University of Electronic Technology, Guilin 541004, ChinaSchool of Mathematics and Computing Science, Guangxi Colleges and Universities Key Laboratory of Data Analysis and Computation, Guilin University of Electronic Technology, Guilin 541004, ChinaSolving polynomial equations inevitably faces many severe challenges, such as easily occupying storage space and demanding prohibitively expensive computation resources. There has been considerable interest in exploiting the sparsity to improve computation efficiency, since asymmetry phenomena are prevalent in scientific and engineering fields, especially as most of the systems in real applications have sparse representations. In this paper, we propose an efficient parallel hybrid algorithm for constructing a Dixon matrix. This approach takes advantage of the asymmetry (i.e., sparsity) in variables of the system and introduces a heuristics strategy. Our method supports parallel computation and has been implemented on a multi-core system. Through time-complexity analysis and extensive benchmarks, we show our new algorithm has significantly reduced computation and memory overhead. In addition, performance evaluation via the Fermat–Torricelli point problem demonstrates its effectiveness in combinatorial geometry optimizations.https://www.mdpi.com/2073-8994/14/6/1174sparsityhybrid algorithmsuccessive Sylvester resultant computationsfast recursive algorithmDixon matrix
spellingShingle Guoqiang Deng
Niuniu Qi
Min Tang
Xuefeng Duan
Constructing Dixon Matrix for Sparse Polynomial Equations Based on Hybrid and Heuristics Scheme
Symmetry
sparsity
hybrid algorithm
successive Sylvester resultant computations
fast recursive algorithm
Dixon matrix
title Constructing Dixon Matrix for Sparse Polynomial Equations Based on Hybrid and Heuristics Scheme
title_full Constructing Dixon Matrix for Sparse Polynomial Equations Based on Hybrid and Heuristics Scheme
title_fullStr Constructing Dixon Matrix for Sparse Polynomial Equations Based on Hybrid and Heuristics Scheme
title_full_unstemmed Constructing Dixon Matrix for Sparse Polynomial Equations Based on Hybrid and Heuristics Scheme
title_short Constructing Dixon Matrix for Sparse Polynomial Equations Based on Hybrid and Heuristics Scheme
title_sort constructing dixon matrix for sparse polynomial equations based on hybrid and heuristics scheme
topic sparsity
hybrid algorithm
successive Sylvester resultant computations
fast recursive algorithm
Dixon matrix
url https://www.mdpi.com/2073-8994/14/6/1174
work_keys_str_mv AT guoqiangdeng constructingdixonmatrixforsparsepolynomialequationsbasedonhybridandheuristicsscheme
AT niuniuqi constructingdixonmatrixforsparsepolynomialequationsbasedonhybridandheuristicsscheme
AT mintang constructingdixonmatrixforsparsepolynomialequationsbasedonhybridandheuristicsscheme
AT xuefengduan constructingdixonmatrixforsparsepolynomialequationsbasedonhybridandheuristicsscheme