human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "rational proofs with multiple provers"
  Abstract: Interactive proofs (IP) model a world where a verifier delegates computation to an untrustworthy prover, verifying the prover's claims before accepting them. IP protocols have applications in areas such as verifiable computation outsourcing, computation delegation, cloud computing. In these applications, the verifier may pay the prover based on the quality of his work. Rational interactive proofs (RIP), introduced by Azar and Micali (2012), are an interactive-proof system with payments, in which the prover is rational rather than untrustworthy---he may lie, but only to increase his payment. Rational proofs leverage the provers' rationality to obtain simple and efficient protocols. Azar and Micali show that RIP=IP(=PSAPCE). They leave the question of whether multiple provers are more powerful than a single prover for rational and classical proofs as an open problem. #R##N#In this paper, we introduce multi-prover rational interactive proofs (MRIP). Here, a verifier cross-checks the provers' answers with each other and pays them according to the messages exchanged. The provers are cooperative and maximize their total expected payment if and only if the verifier learns the correct answer to the problem. We further refine the model of MRIP to incorporate utility gap, which is the loss in payment suffered by provers who mislead the verifier to the wrong answer. #R##N#We define the class of MRIP protocols with constant, noticeable and negligible utility gaps. We give tight characterization for all three MRIP classes. We show that under standard complexity-theoretic assumptions, MRIP is more powerful than both RIP and MIP ; and this is true even the utility gap is required to be constant. Furthermore the full power of each MRIP class can be achieved using only two provers and three rounds. (A preliminary version of this paper appeared at ITCS 2016. This is the full version that contains new results.)

Connected through hyperedge HE-1 (induced by source paper "non cooperative rational interactive proofs"):
  with members:
    - "efficient rational proofs with strong utility gap guarantees"
    - "verifiable computation with massively parallel interactive proofs"

Connected through hyperedge HE-2 (induced by source paper "efficient rational proofs with strong utility gap guarantees"):
  with members:
    - "rational proofs with non cooperative provers"
    - "streaming verification in data analysis"
    - "verifying computations with streaming interactive proofs"

Connected through hyperedge HE-3 (induced by source paper "rational proofs with non cooperative provers"):
  with members:
    - "time optimal interactive proofs for circuit evaluation"
    - "verifying computations with streaming interactive proofs"

Connected through hyperedge HE-4 (induced by source paper "streaming verification of graph properties"):
  with members:
    - "bipartite perfect matching is in quasi nc"
    - "tight bounds for linear sketches of approximate matchings"
    - "sublinear estimation of weighted matchings in dynamic data streams"
    - "maximum matching in turnstile streams"
    - "sketching cuts in graphs and hypergraphs"
    - "an improved interactive streaming algorithm for the distinct elements problem"
    - "semi streaming algorithms for annotated graph streams"
    - "streaming lower bounds for approximating max cut"

Connected through hyperedge HE-5 (induced by source paper "multi round master worker computing a repeated game approach"):
  with members:
    - "the importance of being earnest in crowdsourcing systems"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.CC(Computational Complexity)