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 条
  • [1] Mean-Payoff Pushdown Games
    Chatterjee, Krishnendu
    Velner, Yaron
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 195 - 204
  • [2] Mean-payoff parity games
    Chatterjee, K
    Henzinger, TA
    Jurdzinski, M
    LICS 2005: 20th Annual IEEE Symposium on Logic in Computer Science - Proceedings, 2005, : 178 - 187
  • [3] Incentive Stackelberg Mean-Payoff Games
    Gupta, Anshul
    Schewe, Sven
    Trivedi, Ashutosh
    Deepak, Maram Sai Krishna
    Padarthi, Bharath Kumar
    SOFTWARE ENGINEERING AND FORMAL METHODS: 14TH INTERNATIONAL CONFERENCE, SEFM 2016, 2016, 9763 : 304 - 320
  • [4] Stochastic Window Mean-Payoff Games
    Doyen, Laurent
    Gaba, Pranshu
    Guha, Shibashis
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PT I, FOSSACS 2024, 2024, 14574 : 34 - 54
  • [5] Mean-payoff games with partial observation
    Hunter, Paul
    Pauly, Arno
    Perez, Guillermo A.
    Raskin, Jean-Francois
    THEORETICAL COMPUTER SCIENCE, 2018, 735 : 82 - 110
  • [6] Mean-payoff games and propositional proofs
    Atserias, Albert
    Maneva, Elitza
    INFORMATION AND COMPUTATION, 2011, 209 (04) : 664 - 691
  • [7] A note on the approximation of mean-payoff games
    Gentilini, Raffaella
    INFORMATION PROCESSING LETTERS, 2014, 114 (07) : 382 - 386
  • [8] Faster algorithms for mean-payoff games
    L. Brim
    J. Chaloupka
    L. Doyen
    R. Gentilini
    J. F. Raskin
    Formal Methods in System Design, 2011, 38 : 97 - 118
  • [9] Mean-Payoff Games with ω-Regular Specifications
    Gutierrez, Julian
    Steeples, Thomas
    Wooldridge, Michael
    GAMES, 2022, 13 (01):
  • [10] The Complexity of Ergodic Mean-payoff Games
    Chatterjee, Krishnendu
    Ibsen-Jensen, Rasmus
    AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, 2014, 8573 : 122 - 133
12345