Abstract <p>In many practical situations, we need to compute an enclosure for the range of a polynomial in several variables <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12258_2025_281_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(f({{x}_{1}}, \ldots ,{{x}_{n}})\)</EquationSource> <!--NumAnAp2503005Kreinovich-m1--> </InlineEquation> on given intervals <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12258_2025_281_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\([{{\underline x }_{1}},{{\bar {x}}_{1}}]\)</EquationSource> <!--NumAnAp2503005Kreinovich-m2--> </InlineEquation>, …, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12258_2025_281_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\([{{\underline x }_{n}},{{\bar {x}}_{n}}]\)</EquationSource> <!--NumAnAp2503005Kreinovich-m3--> </InlineEquation> with a certain relative accuracy <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12258_2025_281_Article_IEq4.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon &gt; 0\)</EquationSource> <!--NumAnAp2503005Kreinovich-m4--> </InlineEquation>. It was known that this problem is NP-hard for all <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12258_2025_281_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon &lt; 1{\text{/}}8\)</EquationSource> <!--NumAnAp2503005Kreinovich-m5--> </InlineEquation>, but it was not known whether the problem is NP-hard for other values <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12258_2025_281_Article_IEq6.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon \)</EquationSource> <!--NumAnAp2503005Kreinovich-m6--> </InlineEquation>. Our article provides a complete answer to this question, namely, we prove that the problem under study is NP-hard for all <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12258_2025_281_Article_IEq7.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon \leqslant 1\)</EquationSource> <!--NumAnAp2503005Kreinovich-m7--> </InlineEquation> and feasible (polynomially complex) for all <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12258_2025_281_Article_IEq8.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon &gt; 1\)</EquationSource> <!--NumAnAp2503005Kreinovich-m8--> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Estimating the Range of a Polynomial Over Interval with Relative Accuracy ε is NP-hard for ε ≤ 1 and Feasible for ε > 1

  • V. Kreinovich,
  • S. P. Shary

摘要

Abstract

In many practical situations, we need to compute an enclosure for the range of a polynomial in several variables \(f({{x}_{1}}, \ldots ,{{x}_{n}})\) on given intervals \([{{\underline x }_{1}},{{\bar {x}}_{1}}]\) , …, \([{{\underline x }_{n}},{{\bar {x}}_{n}}]\) with a certain relative accuracy \(\varepsilon > 0\) . It was known that this problem is NP-hard for all \(\varepsilon < 1{\text{/}}8\) , but it was not known whether the problem is NP-hard for other values \(\varepsilon \) . Our article provides a complete answer to this question, namely, we prove that the problem under study is NP-hard for all \(\varepsilon \leqslant 1\) and feasible (polynomially complex) for all \(\varepsilon > 1\) .