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: "promises make finite constraint satisfaction problems infinitary"
  Abstract: The fixed template Promise Constraint Satisfaction Problem (PCSP) is a recently proposed significant generalization of the fixed template CSP, which includes approximation variants of satisfiability and graph coloring problems. All the currently known tractable (i.e., solvable in polynomial time) PCSPs over finite templates can be reduced, in a certain natural way, to tractable CSPs. However, such CSPs are often over infinite domains. We show that the infinity is in fact necessary by proving that a specific finite-domain PCSP, namely (1-in-3-SAT, Not-All-Equal-3-SAT), cannot be naturally reduced to a tractable finite-domain CSP, unless P=NP.

Connected through hyperedge HE-1 (induced by source paper "sandwiches for promise constraint satisfaction"):
  with members:
    - "symmetric polymorphisms and efficient decidability of promise csps"

Connected through hyperedge HE-2 (induced by source paper "algebraic theory of promise constraint satisfaction problems first steps"):
  with members:
    - "an algorithmic blend of lps and ring equations for promise csps"
    - "algebraic approach to promise constraint satisfaction"
    - "promise constraint satisfaction algebraic structure and a symmetric boolean dichotomy"
    - "a dichotomy theorem for nonuniform csps"
    - "the proof of csp dichotomy conjecture"
    - "improved hardness of approximating chromatic number"

Connected through hyperedge HE-3 (induced by source paper "algebraic approach to promise constraint satisfaction"):
  with members:
    - "topology is relevant in a dichotomy conjecture for infinite domain constraint satisfaction problems"
    - "dichotomy for symmetric boolean pcsps"
    - "an algorithmic blend of lps and ring equations for promise csps"
    - "improved inapproximability of rainbow coloring"
    - "super polylogarithmic hypergraph coloring hardness via low degree long codes"
    - "promise constraint satisfaction algebraic structure and a symmetric boolean dichotomy"
    - "a dichotomy theorem for nonuniform csps"
    - "the complexity of finite valued csps"

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)