Tropical pseudolinear and pseudoquadratic optimization as parametric mean-payoff games

被引：0
|
作者：
Parsons, Jamie [1 ]
Sergeev, Serge [1 ]
Wang, Huili [2 ]
机构：
[1] Univ Birmingham, Sch Math, Edgbaston, England
[2] Southwest Petr Univ, Sch Sci, Chengdu, Sichuan, Peoples R China
来源：
OPTIMIZATION | 2023年 / 72卷 / 11期
基金：
中国国家自然科学基金; 英国工程与自然科学研究理事会;
关键词：
Tropical; mean-payoff games; optimization; THEOREM;
D O I：
10.1080/02331934.2022.2085100
中图分类号：
C93 [管理学]; O22 [运筹学];
学科分类号：
070105 ; 12 ; 1201 ; 1202 ; 120202 ;
摘要：
We apply an approach based on parametric mean-payoff games to develop bisection and Newton schemes for solving problems of tropical pseudolinear and pseudoquadratic optimization with general two-sided constraints.
引用
收藏
页码：2793 / 2822
页数：30
相关论文
共 50 条
  • [41] TROPICAL POLYHEDRA ARE EQUIVALENT TO MEAN PAYOFF GAMES
    Akian, Marianne
    Gaubert, Stephane
    Guterman, Alexander
    INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2012, 22 (01)
  • [42] A synthesis method for zero-sum mean-payoff asynchronous probabilistic games
    Zhao, Wei
    Liu, Wanwei
    Liu, Zhiming
    Wang, Tiexin
    SCIENTIFIC REPORTS, 2025, 15 (01):
  • [43] The Complexity of Mean-Payoff Automaton Expression
    Velner, Yaron
    AUTOMATA, LANGUAGES, AND PROGRAMMING, ICALP 2012, PT II, 2012, 7392 : 390 - 402
  • [44] Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games
    Gutierrez, Julian
    Lin, Anthony W.
    Najib, Muhammad
    Steeples, Thomas
    Wooldridge, Michael
    32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
  • [45] Looking at mean-payoff and total-payoff through windows
    Chatterjee, Krishnendu
    Doyen, Laurent
    Randour, Mickael
    Raskin, Jean-Francois
    INFORMATION AND COMPUTATION, 2015, 242 : 25 - 52
  • [46] Looking at Mean-Payoff Through Foggy Windows
    Hunter, Paul
    Perez, Guillermo A.
    Raskin, Jean-Francois
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 429 - 445
  • [47] Tropical polar cones, hypergraph transversals, and mean payoff games
    Allamigeon, Xavier
    Gaubert, Stephane
    Katz, Ricardo D.
    LINEAR ALGEBRA AND ITS APPLICATIONS, 2011, 435 (07) : 1549 - 1574
  • [48] Synthesis from LTL Specifications with Mean-Payoff Objectives
    Bohy, Aaron
    Bruyere, Veronique
    Filiot, Emmanuel
    Raskin, Jean-Francois
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 169 - 184
  • [49] Energy and Mean-Payoff Parity Markov Decision Processes
    Chatterjee, Krishnendu
    Doyen, Laurent
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2011, 2011, 6907 : 206 - 218
  • [50] On Omega-Languages Defined by Mean-Payoff Conditions
    Alur, Rajeev
    Degorre, Aldric
    Maler, Oded
    Weiss, Gera
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 333 - +
12345