乐胖代购免代理版

{"id":"https://openalex.org/W2096608485","doi":"https://doi.org/10.1016/j.tcs.2012.07.038","title":"Energy parity games","display_name":"Energy parity games","publication_year":2012,"publication_date":"2012-08-09","ids":{"openalex":"https://openalex.org/W2096608485","doi":"https://doi.org/10.1016/j.tcs.2012.07.038","mag":"2096608485","pmid":"https://pubmed.ncbi.nlm.nih.gov/23470985","pmcid":"https://www.ncbi.nlm.nih.gov/pmc/articles/3587466"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2012.07.038","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.tcs.2012.07.038","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052607806","display_name":"Krishnendu Chatterjee","orcid":"https://orcid.org/0000-0002-4561-241X"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Krishnendu Chatterjee","raw_affiliation_strings":["IST Austria (Institute of Science and Technology Austria), Austria#TAB#"],"affiliations":[{"raw_affiliation_string":"IST Austria (Institute of Science and Technology Austria), Austria#TAB#","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102787606","display_name":"Laurent Doyen","orcid":"https://orcid.org/0000-0003-3714-6145"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laurent Doyen","raw_affiliation_strings":["LSV, ENS Cachan & CNRS, France#TAB#"],"affiliations":[{"raw_affiliation_string":"LSV, ENS Cachan & CNRS, France#TAB#","institution_ids":["https://openalex.org/I1294671590"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2690,"currency":"USD","value_usd":2690,"provenance":"doaj"},"apc_paid":{"value":2690,"currency":"USD","value_usd":2690,"provenance":"doaj"},"fwci":9.512,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":108,"citation_normalized_percentile":{"value":0.999897,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"458","issue":null,"first_page":"49","last_page":"60"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9996,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9996,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9718,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9673,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/parity","display_name":"Parity (physics)","score":0.8897198},{"id":"https://openalex.org/keywords/stochastic-game","display_name":"Stochastic game","score":0.43243387}],"concepts":[{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.8897198},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.52384377},{"id":"https://openalex.org/C22171661","wikidata":"https://www.wikidata.org/wiki/Q1074380","display_name":"Stochastic game","level":2,"score":0.43243387},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.41997084},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37848222},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.27473888},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06744477},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.05780998},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2012.07.038","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://europepmc.org/articles/pmc3587466","pdf_url":null,"source":{"id":"https://openalex.org/S4306400806","display_name":"Europe PMC (PubMed Central)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1303153112","host_organization_name":"European Bioinformatics Institute","host_organization_lineage":["https://openalex.org/I1303153112"],"host_organization_lineage_names":["European Bioinformatics Institute"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3587466","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":["National Institutes of Health"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/23470985","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":["National Institutes of Health"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2012.07.038","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund","award_id":"S11407-N23"},{"funder":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund","award_id":"P 23499-N23"}],"datasets":[],"versions":[],"referenced_works_count":26,"referenced_works":["https://openalex.org/W1482244486","https://openalex.org/W1508088786","https://openalex.org/W1521551618","https://openalex.org/W1569758148","https://openalex.org/W1569998753","https://openalex.org/W1590266960","https://openalex.org/W1786377004","https://openalex.org/W1816620374","https://openalex.org/W1855477342","https://openalex.org/W1887826286","https://openalex.org/W1966347268","https://openalex.org/W1969912861","https://openalex.org/W1971138850","https://openalex.org/W1979349468","https://openalex.org/W2016206563","https://openalex.org/W2017759899","https://openalex.org/W2026128612","https://openalex.org/W2060375000","https://openalex.org/W2065595179","https://openalex.org/W2111642536","https://openalex.org/W2125267391","https://openalex.org/W2170933628","https://openalex.org/W2277235828","https://openalex.org/W2575731723","https://openalex.org/W3037477934","https://openalex.org/W4241604193"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W3002753104","https://openalex.org/W2962838298","https://openalex.org/W2600246793","https://openalex.org/W2142036596","https://openalex.org/W2077600819","https://openalex.org/W2072657027","https://openalex.org/W2061531152","https://openalex.org/W2007980826","https://openalex.org/W1979597421"],"abstract_inverted_index":{"Energy":[0],"parity":[1,20,57,93,104,124,142,155,181],"games":[2,7,58,66,105,143],"are":[3,76],"infinite":[4],"two-player":[5],"turn-based":[6],"played":[8],"on":[9],"weighted":[10],"graphs.":[11],"The":[12],"objective":[13],"of":[14,29,35,52,61,65,98,136,149],"the":[15,23,27,30,33,38,48,62,96,100,134,138,147,151],"game":[16],"combines":[17],"a":[18,169,174],"(qualitative)":[19],"condition":[21],"with":[22,67],"(quantitative)":[24],"requirement":[25],"that":[26,133],"sum":[28],"weights":[31],"(i.e.,":[32],"level":[34],"energy":[36,56,92,103,123,128,141],"in":[37,47,91,102,109,140,153,162],"game)":[39],"must":[40],"remain":[41],"positive.":[42],"Beside":[43],"their":[44],"own":[45],"interest":[46],"design":[49],"and":[50,70,84,115],"synthesis":[51],"resource-constrained":[53],"omega-regular":[54],"specifications,":[55],"provide":[59],"one":[60],"simplest":[63],"model":[64],"combined":[68],"qualitative":[69],"quantitative":[71],"objectives.":[72],"Our":[73],"main":[74],"results":[75],"as":[77],"follows:":[78],"(a)":[79],"exponential":[80],"memory":[81],"is":[82,144],"sufficient":[83],"may":[85],"be":[86,107,160],"necessary":[87],"for":[88],"winning":[89],"strategies":[90],"games;":[94],"(b)":[95],"problem":[97,135,148],"deciding":[99,137,150],"winner":[101,139,152],"can":[106,158],"solved":[108,161],"NP":[110,163],"[Formula:":[111,164],"see":[112,165],"text]":[113,166],"coNP;":[114],"(c)":[116],"we":[117,171],"give":[118],"an":[119],"algorithm":[120,177],"to":[121,127,146,178],"solve":[122,179],"by":[125],"reduction":[126],"games.":[129,182],"We":[130],"also":[131,172],"show":[132],"logspace-equivalent":[145],"mean-payoff":[154,180],"games,":[156],"which":[157],"thus":[159],"coNP.":[167],"As":[168],"consequence":[170],"obtain":[173],"conceptually":[175],"simple":[176]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2096608485","counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":14},{"year":2020,"cited_by_count":12},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":14},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":19},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":1}],"updated_date":"2025-01-06T06:03:37.444750","created_date":"2016-06-24"}