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: "large induced subgraphs via triangulations and cmso"
  Abstract: We obtain an algorithmic meta-theorem for the following optimization problem. Let \phi\ be a Counting Monadic Second Order Logic (CMSO) formula and t be an integer. For a given graph G, the task is to maximize |X| subject to the following: there is a set of vertices F of G, containing X, such that the subgraph G[F] induced by F is of treewidth at most t, and structure (G[F],X) models \phi. #R##N#Some special cases of this optimization problem are the following generic examples. Each of these cases contains various problems as a special subcase: #R##N#1) "Maximum induced subgraph with at most l copies of cycles of length 0 modulo m", where for fixed nonnegative integers m and l, the task is to find a maximum induced subgraph of a given graph with at most l vertex-disjoint cycles of length 0 modulo m. #R##N#2) "Minimum \Gamma-deletion", where for a fixed finite set of graphs \Gamma\ containing a planar graph, the task is to find a maximum induced subgraph of a given graph containing no graph from \Gamma\ as a minor. #R##N#3) "Independent \Pi-packing", where for a fixed finite set of connected graphs \Pi, the task is to find an induced subgraph G[F] of a given graph G with the maximum number of connected components, such that each connected component of G[F] is isomorphic to some graph from \Pi. #R##N#We give an algorithm solving the optimization problem on an n-vertex graph G in time O(#pmc n^{t+4} f(t,\phi)), where #pmc is the number of all potential maximal cliques in G and f is a function depending of t and \phi\ only. We also show how a similar running time can be obtained for the weighted version of the problem. Pipelined with known bounds on the number of potential maximal cliques, we deduce that our optimization problem can be solved in time O(1.7347^n) for arbitrary graphs, and in polynomial time for graph classes with polynomial number of minimal separators.

Connected through hyperedge HE-1 (induced by source paper "hitting topological minors is fpt"):
  with members:
    - "hitting topological minor models in planar graphs is fixed parameter tractable"
    - "improved analysis of highest degree branching for feedback vertex set"
    - "losing treewidth by separating subsets"
    - "a 2 approximation algorithm for feedback vertex set in tournaments"
    - "polylogarithmic approximation for minimum planarization almost"
    - "exact algorithms for maximum independent set"
    - "bidimensionality and kernels"
    - "exact algorithms via monotone local search"

Connected through hyperedge HE-2 (induced by source paper "subexponential parameterized algorithms and kernelization on almost chordal graphs"):
  with members:
    - "a complexity dichotomy for hitting connected minors on bounded treewidth graphs the chair and the banner draw the boundary"
    - "feedback vertex set inspired kernel for chordal vertex deletion"
    - "approximation and kernelization for chordal vertex deletion"
    - "polynomial kernels for weighted problems"
    - "linear recognition of almost interval graphs"
    - "data reduction for graph coloring problems"
    - "interval deletion is fixed parameter tractable"
    - "kernelization lower bounds by cross composition"

Connected through hyperedge HE-3 (induced by source paper "induced subgraphs of bounded treewidth and the container method"):
  with members:
    - "on cycle transversals and their connected variants in the absence of a small linear forest"
    - "on the maximum weight independent set problem in graphs without induced cycles of length at least five"
    - "minimum connected transversals in graphs new hardness results and tractable cases using the price of connectivity"
    - "polynomial time algorithm for maximum weight independent set on p_6 free graphs"
    - "maximum weight independent sets in odd hole free graphs without dart or without bull"
    - "finding induced subgraphs via minimal triangulations"

Connected through hyperedge HE-4 (induced by source paper "structural parameterizations with modulator oblivion"):
  with members:
    - "polylogarithmic approximation algorithms for weighted mathcal f deletion problems"
    - "0 1 all csps half integral a path packing and linear time fpt algorithms"
    - "approximation and kernelization for chordal vertex deletion"
    - "on problems as hard as cnf sat"
    - "faster parameterized algorithms using linear programming"
    - "on multiway cut parameterized above lower bounds"

Connected through hyperedge HE-5 (induced by source paper "three in a tree in near linear time"):
  with members:
    - "graph pattern detection hardness for all induced patterns and faster non induced cycles"
    - "a faster algorithm to recognize even hole free graphs"
    - "on the structure of pan even hole free graphs"
    - "powers of tensors and fast matrix multiplication"
    - "detecting an induced net subdivision"
    - "induced disjoint paths in claw free graphs"
    - "detecting 2 joins faster"
    - "the k in a path problem for claw free graphs"

Connected through hyperedge HE-6 (induced by source paper "reducing topological minor containment to the unique linkage theorem"):
  with members:
    - "hitting topological minor models in planar graphs is fixed parameter tractable"
    - "improved analysis of highest degree branching for feedback vertex set"
    - "losing treewidth by separating subsets"
    - "a 2 approximation algorithm for feedback vertex set in tournaments"
    - "polylogarithmic approximation for minimum planarization almost"
    - "exact algorithms for maximum independent set"
    - "linear kernels for edge deletion problems to immersion closed graph classes"
    - "bidimensionality and kernels"

Connected through hyperedge HE-7 (induced by source paper "potential maximal cliques parameterized by edge clique cover"):
  with members:
    - "hyperbench a benchmark and tool for hypergraphs and empirical findings"
    - "constraint solving via fractional edge covers"
    - "on the tractability of optimization problems on h graphs"
    - "ranked enumeration of minimal triangulations"
    - "positive instance driven dynamic programming for treewidth"
    - "on distance d independent set and other problems in graphs with few minimal separators"
    - "general and fractional hypertree decompositions hard and easy cases"
    - "on the number of minimal separators in graphs"

Connected through hyperedge HE-8 (induced by source paper "subexponential time algorithms for finding large induced sparse subgraphs"):
  with members:
    - "deleting vertices to graphs of bounded genus"
    - "polynomial time algorithm for maximum weight independent set on p_6 free graphs"
    - "exact algorithms via monotone local search"
    - "tight running time lower bounds for vertex deletion problems"
    - "hitting forbidden subgraphs in graphs of bounded treewidth"
    - "largest chordal and interval subgraphs faster than 2 n"
    - "finding a maximum induced degenerate subgraph faster than 2 n"
    - "problems parameterized by treewidth tractable in single exponential time a logical approach"

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