FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950103341> ?p ?o ?g. }

• W2950103341 abstract "We consider both finite-state game graphs and recursive game graphs (or pushdown game graphs), that can model the control flow of sequential programs with recursion, with multi-dimensional mean-payoff objectives. In pushdown games two types of strategies are relevant: global strategies, that depend on the entire global history; and modular strategies, that have only local memory and thus do not depend on the context of invocation. We present solutions to several fundamental algorithmic questions and our main contributions are as follows: (1) We show that finite-state multi-dimensional mean-payoff games can be solved in polynomial time if the number of dimensions and the maximal absolute value of the weight is fixed; whereas if the number of dimensions is arbitrary, then problem is already known to be coNP-complete. (2) We show that pushdown graphs with multi-dimensional mean-payoff objectives can be solved in polynomial time. (3) For pushdown games under global strategies both single and multi-dimensional mean-payoff objectives problems are known to be undecidable, and we show that under modular strategies the multi-dimensional problem is also undecidable (whereas under modular strategies the single dimensional problem is NP-complete). We show that if the number of modules, the number of exits, and the maximal absolute value of the weight is fixed, then pushdown games under modular strategies with single dimensional mean-payoff objectives can be solved in polynomial time, and if either of the number of exits or the number of modules is not bounded, then the problem is NP-hard. (4) Finally we show that a fixed parameter tractable algorithm for finite-state multi-dimensional mean-payoff games or pushdown games under modular strategies with single-dimensional mean-payoff objectives would imply the solution of the long-standing open problem of fixed parameter tractability of parity games." @default.
• W2950103341 created "2019-06-27" @default.
• W2950103341 creator A5016093552 @default.
• W2950103341 creator A5052607806 @default.
• W2950103341 date "2012-10-11" @default.
• W2950103341 modified "2023-09-27" @default.
• W2950103341 title "Hyperplane Separation Technique for Multidimensional Mean-Payoff Games" @default.
• W2950103341 cites W1482647296 @default.
• W2950103341 cites W1526785305 @default.
• W2950103341 cites W1557750304 @default.
• W2950103341 cites W1790689966 @default.
• W2950103341 cites W1803317697 @default.
• W2950103341 cites W1869554259 @default.
• W2950103341 cites W1968137129 @default.
• W2950103341 cites W1971499713 @default.
• W2950103341 cites W1974179433 @default.
• W2950103341 cites W1979349468 @default.
• W2950103341 cites W1984451181 @default.
• W2950103341 cites W2005059149 @default.
• W2950103341 cites W2008632553 @default.
• W2950103341 cites W2012329067 @default.
• W2950103341 cites W2016206563 @default.
• W2950103341 cites W2026128612 @default.
• W2950103341 cites W2026261955 @default.
• W2950103341 cites W2036772106 @default.
• W2950103341 cites W2069791914 @default.
• W2950103341 cites W2096272173 @default.
• W2950103341 cites W2101561362 @default.
• W2950103341 cites W2103658959 @default.
• W2950103341 cites W2125267391 @default.
• W2950103341 cites W2150954457 @default.
• W2950103341 cites W2158437920 @default.
• W2950103341 cites W2170933628 @default.
• W2950103341 cites W2294334272 @default.
• W2950103341 cites W2951121950 @default.
• W2950103341 cites W2952266944 @default.
• W2950103341 cites W3145128584 @default.
• W2950103341 hasPublicationYear "2012" @default.
• W2950103341 type Work @default.
• W2950103341 sameAs 2950103341 @default.
• W2950103341 citedByCount "1" @default.
• W2950103341 countsByYear W29501033412015 @default.
• W2950103341 crossrefType "posted-content" @default.
• W2950103341 hasAuthorship W2950103341A5016093552 @default.
• W2950103341 hasAuthorship W2950103341A5052607806 @default.
• W2950103341 hasConcept C11413529 @default.
• W2950103341 hasConcept C114614502 @default.
• W2950103341 hasConcept C118615104 @default.
• W2950103341 hasConcept C134306372 @default.
• W2950103341 hasConcept C144237770 @default.
• W2950103341 hasConcept C153269930 @default.
• W2950103341 hasConcept C167822520 @default.
• W2950103341 hasConcept C192034797 @default.
• W2950103341 hasConcept C22171661 @default.
• W2950103341 hasConcept C33923547 @default.
• W2950103341 hasConcept C34388435 @default.
• W2950103341 hasConcept C41008148 @default.
• W2950103341 hasConcept C77944639 @default.
• W2950103341 hasConcept C90119067 @default.
• W2950103341 hasConceptScore W2950103341C11413529 @default.
• W2950103341 hasConceptScore W2950103341C114614502 @default.
• W2950103341 hasConceptScore W2950103341C118615104 @default.
• W2950103341 hasConceptScore W2950103341C134306372 @default.
• W2950103341 hasConceptScore W2950103341C144237770 @default.
• W2950103341 hasConceptScore W2950103341C153269930 @default.
• W2950103341 hasConceptScore W2950103341C167822520 @default.
• W2950103341 hasConceptScore W2950103341C192034797 @default.
• W2950103341 hasConceptScore W2950103341C22171661 @default.
• W2950103341 hasConceptScore W2950103341C33923547 @default.
• W2950103341 hasConceptScore W2950103341C34388435 @default.
• W2950103341 hasConceptScore W2950103341C41008148 @default.
• W2950103341 hasConceptScore W2950103341C77944639 @default.
• W2950103341 hasConceptScore W2950103341C90119067 @default.
• W2950103341 hasLocation W29501033411 @default.
• W2950103341 hasOpenAccess W2950103341 @default.
• W2950103341 hasPrimaryLocation W29501033411 @default.
• W2950103341 hasRelatedWork W115934038 @default.
• W2950103341 hasRelatedWork W120296374 @default.
• W2950103341 hasRelatedWork W1502195915 @default.
• W2950103341 hasRelatedWork W1663331386 @default.
• W2950103341 hasRelatedWork W1818968539 @default.
• W2950103341 hasRelatedWork W1827439371 @default.
• W2950103341 hasRelatedWork W1898131300 @default.
• W2950103341 hasRelatedWork W2008487582 @default.
• W2950103341 hasRelatedWork W2042796301 @default.
• W2950103341 hasRelatedWork W2096272173 @default.
• W2950103341 hasRelatedWork W2133370266 @default.
• W2950103341 hasRelatedWork W2243301700 @default.
• W2950103341 hasRelatedWork W2341159425 @default.
• W2950103341 hasRelatedWork W2364159064 @default.
• W2950103341 hasRelatedWork W2755538704 @default.
• W2950103341 hasRelatedWork W2785504350 @default.
• W2950103341 hasRelatedWork W2904346387 @default.
• W2950103341 hasRelatedWork W2951121950 @default.
• W2950103341 hasRelatedWork W2954919894 @default.
• W2950103341 hasRelatedWork W3154344524 @default.
• W2950103341 isParatext "false" @default.
• W2950103341 isRetracted "false" @default.
• W2950103341 magId "2950103341" @default.
• W2950103341 workType "article" @default.