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 "symmetric polymorphisms and efficient decidability of promise csps"):
  Abstract: In the field of constraint satisfaction problems (CSP), promise CSPs are an exciting new direction of study. In a promise CSP, each constraint comes in two forms: "strict" and "weak," and in the associated decision problem one must distinguish between being able to satisfy all the strict constraints versus not being able to satisfy all the weak constraints. The most commonly cited example of a promise CSP is the approximate graph coloring problem--which has recently benefited from multiple breakthroughs [BKO19, WZ19] due to a systematic study of promise CSPs under the lens of "polymorphisms," operations that map tuples in the strict form of each constraint to a tuple in its weak form. #R##N#In this work, we present a simple algorithm which in polynomial time solves the decision problem for all promise CSPs that admit infinitely many symmetric polymorphisms, that is the coordinates are permutation invariant. This generalizes previous work of the authors [BG19]. We also extend this algorithm to a more general class of block-symmetric polymorphisms. As a corollary, this single algorithm solves all polynomial-time tractable Boolean CSPs simultaneously. These results give a new perspective on Schaefer's classic theorem and shed further light on how symmetries of polymorphisms enable algorithms.

Includes members:
  Member "improved hardness for h colourings of g colourable graphs":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "the generalized orthogonality dimension of generalized kneser graphs bounds and applications")
  Member "the complexity of 3 colouring h colourable graphs":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "improved hardness for h colourings of g colourable graphs")
  Member "an algorithmic blend of lps and ring equations for promise csps":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "the power of the combined basic lp and affine relaxation for promise csps")
  Member "algebraic approach to promise constraint satisfaction":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "the generalized orthogonality dimension of generalized kneser graphs bounds and applications")
  Member "the proof of csp dichotomy conjecture":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "optimal polynomial time compression for boolean max csp")
  Member "absorbing subalgebras cyclic terms and the constraint satisfaction problem":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "topology is relevant in a dichotomy conjecture for infinite domain constraint satisfaction problems")

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.DS(Data Structures and Algorithms)