<p>In recent years, <i>k</i>-submodular functions have garnered significant attention due to their natural extension of submodular functions and their practical applications, such as influence maximization and sensor placement. Influence maximization involves selecting a set of nodes in a network to maximize the spread of information, while sensor placement focuses on optimizing the locations of sensors to maximize coverage or detection efficiency. This paper first proposes two randomized algorithms aimed at improving the approximation ratio for maximizing monotone <i>k</i>-submodular functions under matroid constraints and individual size constraints. Under the matroid constraints, we design a randomized algorithm with an approximation ratio of <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1299_Article_IEq1.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{nk}{2nk-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mrow> <mi mathvariant="italic">nk</mi> </mrow> <mrow> <mn>2</mn> <mi>n</mi> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> </mfrac> </math></EquationSource> </InlineEquation> and a complexity of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1299_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="135" /> </InlineMediaObject> <EquationSource Format="TEX">\(O(rn(\text {RO}+k\text {EO}))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mi>r</mi> <mi>n</mi> <mo stretchy="false">(</mo> <mtext>RO</mtext> <mo>+</mo> <mi>k</mi> <mtext>EO</mtext> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <i>n</i> represents the total number of elements in the ground set, <i>k</i> represents the number of disjoint sets in a <i>k</i>-submodular function, <i>r</i> denotes the size of the largest independent set, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1299_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {RO}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>RO</mtext> </math></EquationSource> </InlineEquation> indicates the time required for the matroid’s independence oracle, and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1299_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {EO}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>EO</mtext> </math></EquationSource> </InlineEquation> denotes the time required for the evaluation oracle of the <i>k</i>-submodular function.Meanwhile, under the individual size constraints, we achieve an approximation factor of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1299_Article_IEq5.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{nk}{3nk-2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mrow> <mi mathvariant="italic">nk</mi> </mrow> <mrow> <mn>3</mn> <mi>n</mi> <mi>k</mi> <mo>-</mo> <mn>2</mn> </mrow> </mfrac> </math></EquationSource> </InlineEquation> with a complexity of <i>O</i>(<i>knB</i>), where <i>n</i> is the total count of elements in the ground set, and <i>B</i> is the upper bound on the total size of the <i>k</i> disjoint subsets, belonging to <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1299_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z_{+}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <mo>+</mo> </msub> </math></EquationSource> </InlineEquation>. Additionally, this paper designs two double randomized algorithms to accelerate the algorithm’s running speed while maintaining the same approximation ratio, with success probabilities of (<InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1299_Article_IEq7.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(1-\delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>-</mo> <mi>δ</mi> </mrow> </math></EquationSource> </InlineEquation>), where <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1299_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>δ</mi> </math></EquationSource> </InlineEquation> is a positive parameter input by the algorithms. Under the matroid constraint, the complexity is reduced to <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1299_Article_IEq9.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="195" /> </InlineMediaObject> <EquationSource Format="TEX">\(O(n\log r\log \frac{r}{\delta }(\text {RO}+k\text {EO}))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>log</mo> <mi>r</mi> <mo>log</mo> <mfrac> <mi>r</mi> <mi>δ</mi> </mfrac> <mrow> <mo stretchy="false">(</mo> <mtext>RO</mtext> <mo>+</mo> <mi>k</mi> <mtext>EO</mtext> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Under the individual size constraint, the complexity becomes <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10878_2025_1299_Article_IEq10.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="129" /> </InlineMediaObject> <EquationSource Format="TEX">\(O(k^{2}n\log \frac{B}{k}\log \frac{B}{\delta })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>k</mi> <mn>2</mn> </msup> <mi>n</mi> <mo>log</mo> <mfrac> <mi>B</mi> <mi>k</mi> </mfrac> <mo>log</mo> <mfrac> <mi>B</mi> <mi>δ</mi> </mfrac> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Randomized approximation algorithms for monotone k-submodular function maximization with constraints

  • Yuying Li,
  • Min Li,
  • Yang Zhou,
  • Shuxian Niu,
  • Qian Liu

摘要

In recent years, k-submodular functions have garnered significant attention due to their natural extension of submodular functions and their practical applications, such as influence maximization and sensor placement. Influence maximization involves selecting a set of nodes in a network to maximize the spread of information, while sensor placement focuses on optimizing the locations of sensors to maximize coverage or detection efficiency. This paper first proposes two randomized algorithms aimed at improving the approximation ratio for maximizing monotone k-submodular functions under matroid constraints and individual size constraints. Under the matroid constraints, we design a randomized algorithm with an approximation ratio of \(\frac{nk}{2nk-1}\) nk 2 n k - 1 and a complexity of \(O(rn(\text {RO}+k\text {EO}))\) O ( r n ( RO + k EO ) ) , where n represents the total number of elements in the ground set, k represents the number of disjoint sets in a k-submodular function, r denotes the size of the largest independent set, \(\text {RO}\) RO indicates the time required for the matroid’s independence oracle, and \(\text {EO}\) EO denotes the time required for the evaluation oracle of the k-submodular function.Meanwhile, under the individual size constraints, we achieve an approximation factor of \(\frac{nk}{3nk-2}\) nk 3 n k - 2 with a complexity of O(knB), where n is the total count of elements in the ground set, and B is the upper bound on the total size of the k disjoint subsets, belonging to \(\mathbb {Z_{+}}\) Z + . Additionally, this paper designs two double randomized algorithms to accelerate the algorithm’s running speed while maintaining the same approximation ratio, with success probabilities of ( \(1-\delta \) 1 - δ ), where \(\delta \) δ is a positive parameter input by the algorithms. Under the matroid constraint, the complexity is reduced to \(O(n\log r\log \frac{r}{\delta }(\text {RO}+k\text {EO}))\) O ( n log r log r δ ( RO + k EO ) ) . Under the individual size constraint, the complexity becomes \(O(k^{2}n\log \frac{B}{k}\log \frac{B}{\delta })\) O ( k 2 n log B k log B δ ) .