FPT algorithms for a special block-structured integer program with applications in scheduling.
Saved in:
| Title: | FPT algorithms for a special block-structured integer program with applications in scheduling. |
|---|---|
| Authors: | Chen, Hua1 (AUTHOR), Chen, Lin2 (AUTHOR), Zhang, Guochuan1 (AUTHOR) zgc@zju.edu.cn |
| Source: | Mathematical Programming. Nov2024, Vol. 208 Issue 1/2, p463-496. 34p. |
| Subjects: | Computable functions, Absolute value, Integer programming, Integers, Logarithms |
| Abstract: | In this paper, a special case of the generalized 4-block n-fold IPs is investigated, where B i = B and B has a rank at most 1. Such IPs, called almost combinatorial 4-block n-fold IPs, include the generalized n-fold IPs as a subcase. We are interested in fixed parameter tractable (FPT) algorithms by taking as parameters the dimensions of the blocks and the largest coefficient. For almost combinatorial 4-block n-fold IPs, we first show that there exists some λ ≤ g (γ) such that for any nonzero kernel element g , λ g can always be decomposed into kernel elements in the same orthant whose ℓ ∞ -norm is bounded by g (γ) (while g itself might not admit such a decomposition), where g is a computable function and γ is an upper bound on the dimensions of the blocks and the largest coefficient. Based on this, we are able to bound the ℓ ∞ -norm of Graver basis elements by O (g (γ) n) and develop an O (g (γ) n 3 + o (1) L ^ 2) -time algorithm (here L ^ denotes the logarithm of the largest absolute value occurring in the input). Additionally, we show that the ℓ ∞ -norm of Graver basis elements is Ω (n) . As applications, almost combinatorial 4-block n-fold IPs can be used to model generalizations of classical problems, including scheduling with rejection, bi-criteria scheduling, and a generalized delivery problem. Therefore, our FPT algorithm establishes a general framework to settle these problems. [ABSTRACT FROM AUTHOR] |
| Copyright of Mathematical Programming is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| FullText | Links: – Type: pdflink Text: Availability: 1 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 180268659 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: FPT algorithms for a special block-structured integer program with applications in scheduling. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Chen%2C+Hua%22">Chen, Hua</searchLink><relatesTo>1</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Chen%2C+Lin%22">Chen, Lin</searchLink><relatesTo>2</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Zhang%2C+Guochuan%22">Zhang, Guochuan</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> zgc@zju.edu.cn</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Mathematical+Programming%22">Mathematical Programming</searchLink>. Nov2024, Vol. 208 Issue 1/2, p463-496. 34p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Computable+functions%22">Computable functions</searchLink><br /><searchLink fieldCode="DE" term="%22Absolute+value%22">Absolute value</searchLink><br /><searchLink fieldCode="DE" term="%22Integer+programming%22">Integer programming</searchLink><br /><searchLink fieldCode="DE" term="%22Integers%22">Integers</searchLink><br /><searchLink fieldCode="DE" term="%22Logarithms%22">Logarithms</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: In this paper, a special case of the generalized 4-block n-fold IPs is investigated, where B i = B and B has a rank at most 1. Such IPs, called almost combinatorial 4-block n-fold IPs, include the generalized n-fold IPs as a subcase. We are interested in fixed parameter tractable (FPT) algorithms by taking as parameters the dimensions of the blocks and the largest coefficient. For almost combinatorial 4-block n-fold IPs, we first show that there exists some λ ≤ g (γ) such that for any nonzero kernel element g , λ g can always be decomposed into kernel elements in the same orthant whose ℓ ∞ -norm is bounded by g (γ) (while g itself might not admit such a decomposition), where g is a computable function and γ is an upper bound on the dimensions of the blocks and the largest coefficient. Based on this, we are able to bound the ℓ ∞ -norm of Graver basis elements by O (g (γ) n) and develop an O (g (γ) n 3 + o (1) L ^ 2) -time algorithm (here L ^ denotes the logarithm of the largest absolute value occurring in the input). Additionally, we show that the ℓ ∞ -norm of Graver basis elements is Ω (n) . As applications, almost combinatorial 4-block n-fold IPs can be used to model generalizations of classical problems, including scheduling with rejection, bi-criteria scheduling, and a generalized delivery problem. Therefore, our FPT algorithm establishes a general framework to settle these problems. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Mathematical Programming is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=180268659 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/s10107-023-02046-z Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 34 StartPage: 463 Subjects: – SubjectFull: Computable functions Type: general – SubjectFull: Absolute value Type: general – SubjectFull: Integer programming Type: general – SubjectFull: Integers Type: general – SubjectFull: Logarithms Type: general Titles: – TitleFull: FPT algorithms for a special block-structured integer program with applications in scheduling. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Chen, Hua – PersonEntity: Name: NameFull: Chen, Lin – PersonEntity: Name: NameFull: Zhang, Guochuan IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 11 Text: Nov2024 Type: published Y: 2024 Identifiers: – Type: issn-print Value: 00255610 Numbering: – Type: volume Value: 208 – Type: issue Value: 1/2 Titles: – TitleFull: Mathematical Programming Type: main |
| ResultId | 1 |