human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "popularity stability and the dominant matching polytope"):
  Abstract: Let $G = (A \cup B, E)$ be an instance of the stable marriage problem with strict preference lists. A matching $M$ is popular in $G$ if $M$ does not lose a head-to-head election against any matching where vertices are voters. Every stable matching is popular; another subclass of popular matchings that always exist and can be easily computed is the set of dominant matchings. A popular matching $M$ is dominant if $M$ wins the head-to-head election against any larger matching. The set of dominant matchings is the linear image of the set of stable matchings in an auxiliary graph. #R##N#In this paper, we investigate the difference between the tractability of stable and dominant matchings, and its consequence for popular matchings. We give the first known complete description of the dominant matching polytope in the original space and show that it has an exponential number of facets (recall that the stable matching polytope has a linear number of facets). This polyhedral asymmetry is reflected by a complexity asymmetry: We show that it is easy to decide if every popular matching in $G$ is also stable, however it is co-NP hard to decide if every popular matching in $G$ is also dominant. #R##N#We show that several hardness results in popular matchings, including the above result and the hardness of finding a popular matching in a non-bipartite graph, can be attributed to the NP-hardness of the following two stable matching problems: #R##N#- does $G$ admit a stable matching that is not dominant? #R##N#- does $G$ admit a stable matching that is also dominant?

Includes members:
  Member "max size popular matchings and extensions":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "understanding popular matchings via stable matchings")
  Member "popular matching in roommates setting is np hard":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "understanding popular matchings via stable matchings")
  Member "popular matchings and limits to tractability":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "understanding popular matchings via stable matchings")
  Member "popular matchings with two sided preferences and one sided ties":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "understanding popular matchings via stable matchings")
  Member "popular edges and dominant matchings":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "understanding popular matchings via stable matchings")

Question: Please tell me which class the source paper 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.DM(Discrete Mathematics)