Index appearance record with preorders

被引：1
作者：
Kretinsky, Jan [1 ]
Meggendorfer, Tobias [2 ]
Waldmann, Clara [3 ]
Weininger, Maximilian [1 ]
机构：
[1] Tech Univ Munich, Munich, Germany
[2] IST Austria, Klosterneuburg, Austria
[3] Tech Univ Munich, Operat Res Grp, Munich, Germany
来源：
ACTA INFORMATICA | 2022年 / 59卷 / 05期
关键词：
AUTOMATA; GAMES; BUCHI;
D O I：
10.1007/s00236-021-00412-y
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Transforming omega-automata into parity automata is traditionally done using appearance records. We present an efficient variant of this idea, tailored to Rabin automata, and several optimizations applicable to all appearance records. We compare the methods experimentally and show that our method produces significantly smaller automata than previous approaches.
引用
收藏
页码：585 / 618
页数：34
相关论文
共 30 条
  • [21] Axiomatizing the Public Good Index via merging and new arrival properties
    Safokem, Adin
    Moyouwou, Issofa
    Mekuko, Aurelien Y.
    DISCRETE APPLIED MATHEMATICS, 2021, 305 : 86 - 102
  • [22] Sport Medicine Surveillance 101: What Clinicians Need To Know When Choosing Software Programs To Record Injuries and Illnesses
    Shrier, Ian
    Lamme, Eric
    Deschenes, Eric
    CURRENT SPORTS MEDICINE REPORTS, 2014, 13 (05) : 341 - 348
  • [23] A Deviation Index Proposal to Evaluate Group Decision Making Based on Equilibrium Solutions
    Leoneti, Alexandre Bevilacqua
    de Sessa, Fernanda
    GROUP DECISION AND NEGOTIATION: THEORY, EMPIRICAL EVIDENCE, AND APPLICATION, GDN 2016, 2017, 274 : 101 - 112
  • [24] Reformulation of Public Help Index θ Using Null Player Free Winning Coalitions
    Stach, Izabella
    GROUP DECISION AND NEGOTIATION, 2022, 31 (02) : 317 - 334
  • [25] Gittins index based control policy for a class of pursuit-evasion problems
    Tan, Cheng
    Xu, Changbao
    Yang, Lin
    Wong, Wing Shing
    IET CONTROL THEORY AND APPLICATIONS, 2018, 12 (01) : 110 - 118
  • [26] Inverted Index Automata Frequent Itemset Mining for Large Dataset Frequent Itemset Mining
    Dai, Xin
    Hamed, Haza Nuzly Abdull
    Su, Qichen
    Hao, Xue
    IEEE ACCESS, 2024, 12 : 195111 - 195130
  • [27] The New Model of Game Cross Efficiency DEA With Index Groups and an Application to Land Utilization Efficiency
    Xiu-Qing Zou
    Guo, Min
    Wen-Chang Zou
    Qi-Qing Song
    Tian, Cui
    Ma, Yong
    IEEE ACCESS, 2022, 10 : 3608 - 3616
  • [28] Strategic analysis of medal markets at the Winter Olympics Introducing an index to analyse the market potential of sports disciplines
    Weber, Andreas Christoph
    De Bosscher, Veerle
    Shibli, Simon
    Kempf, Hippolyt
    TEAM PERFORMANCE MANAGEMENT, 2019, 25 (3-4) : 229 - 252
  • [29] The (multi-player) linear quadratic state feedback control problem for index one descriptor systems
    Engwerda, J. C.
    Salmah
    Wijayanti, I. E.
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2011, 348 (10): : 2923 - 2941
  • [30] Can Experiential Games and Improved Risk Coverage Raise Demand for Index Insurance? Evidence from KenyaJEL codes
    Janzen, Sarah
    Magnan, Nicholas
    Mullally, Conner
    Shin, Soye
    Palmer, I. Bailey
    Oduol, Judith
    Hughes, Karl
    AMERICAN JOURNAL OF AGRICULTURAL ECONOMICS, 2021, 103 (01) : 338 - 361
123