Strongly Polynomial FPTASes for Monotone Dynamic Programs

In this paper we introduce a framework for the automatic generation of Strongly Polynomial Fully Polynomial Time Approximation Schemes (SFPTASes) for monotone dynamic programs. While some ad-hoc SFPTASes for specific problems are already known, this is the first framework yielding such SFPTASes. In...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Algorithmica Jg. 84; H. 10; S. 2785 - 2819
Hauptverfasser: Alon, Tzvi, Halman, Nir
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York Springer US 01.10.2022
Springer Nature B.V
Schlagworte:
Agents (artificial intelligence)
Algorithm Analysis and Problem Complexity
Algorithms
Approximation
Computer Science
Computer Systems Organization and Communication Networks
Data Structures and Information Theory
Mathematical analysis
Mathematics of Computing
Polynomials
Theory of Computation
Strongly polynomial algorithms
approximation sets and functions
Dynamic programming
ISSN:0178-4617, 1432-0541
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this paper we introduce a framework for the automatic generation of Strongly Polynomial Fully Polynomial Time Approximation Schemes (SFPTASes) for monotone dynamic programs. While some ad-hoc SFPTASes for specific problems are already known, this is the first framework yielding such SFPTASes. In addition, it is possible to use our algorithm to get efficient (non strongly polynomial) FPTASes. Our results are derived by improving former (non strongly polynomial) FPTASes which were designed via the method of K -approximation sets and functions. We demonstrate our SFPTAS framework on five application problems, namely, 0/1 Knapsack, counting 0/1 Knapsack, Counting s - t paths, Mobile agent routing and Counting n -tuples, for the last problem we get the fastest SFPTAS known to date. In addition, we use our algorithm to get the fastest (non strongly polynomial) FPTASes for the following other three application problems: Stochastic ordered knapsack, Bi-criteria path problem with maximum survival probability and Minimizing the makespan of deteriorating jobs.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0178-4617
1432-0541
DOI:10.1007/s00453-022-00954-8