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 "all or nothing toward a promise problem dichotomy for constraint problems"):
  Abstract: A finite constraint language $\mathscr{R}$ is a finite set of relations over some finite domain $A$. We show that intractability of the constraint satisfaction problem $\mathsf{CSP}(\mathscr{R})$ for $\mathscr{R}$ can, in all known cases, be replaced by an infinite hierarchy of intractable promise problems of increasingly disparate promise conditions: where instances are guaranteed to be either have no solutions, or are $k$-robustly satisfiable (for any fixed $k$), meaning that every "reasonable" partial instantiation on $k$ variables extends to a solution. For example, subject to the assumption $\texttt{P}\neq \texttt{NP}$, then for any $k$, we show that there is no polynomial time algorithm that can distinguish non-$3$-colorable graphs, from those for which any reasonable $3$-coloring of any $k$ of the vertices can extend to a full $3$-coloring. #R##N#The enormous flexibility granted by $k$-robust satisfiability enables the complexity of a large number of other computational problems for $\mathscr{R}$ to be tied precisely to that of $\mathsf{CSP}(\mathscr{R})$. A key example is the problem of deciding if an instance has \emph{implied constraints}: constraints not given explicitly, but which are preserved under any solution. Our results show that such instances cannot be efficiently distinguished from those with no solutions at all. Our result holds wherever the algebraic dichotomy conjecture has been shown to hold. In particular they are true for list homomorphism problems, for graphs, and for constraint languages on small domains.

Includes members:
  Member "a dichotomy theorem for nonuniform csps":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "when symmetries are not enough a hierarchy of hard constraint satisfaction problems")
  Member "gap theorems for robust satisfiability boolean csps and beyond":
    also connected through other hyperedges:
      (none)
  Member "asking the metaquestions in constraint tractability":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "algebraic approach to promise constraint satisfaction")
  Member "on minimal constraint networks":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "on equivalence and cores for incomplete databases in open and closed worlds")

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.CC(Computational Complexity)