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 "using higher order fourier analysis over general fields"):
  Abstract: Higher-order Fourier analysis, developed over prime fields, has been recently used in different areas of computer science, including list decoding, algorithmic decomposition and testing. We extend the tools of higher-order Fourier analysis to analyze functions over general fields. Using these new tools, we revisit the results in the above areas. #R##N#* For any fixed finite field $\mathbb{K}$, we show that the list decoding radius of the generalized Reed Muller code over $\mathbb{K}$ equals the minimum distance of the code. Previously, this had been proved over prime fields [BL14] and for the case when $|\mathbb{K}|-1$ divides the order of the code [GKZ08]. #R##N#* For any fixed finite field $\mathbb{K}$, we give a polynomial time algorithm to decide whether a given polynomial $P: \mathbb{K}^n \to \mathbb{K}$ can be decomposed as a particular composition of lesser degree polynomials. This had been previously established over prime fields [Bha14, BHT15]. #R##N#* For any fixed finite field $\mathbb{K}$, we prove that all locally characterized affine-invariant properties of functions $f: \mathbb{K}^n \to \mathbb{K}$ are testable with one-sided error. The same result was known when $\mathbb{K}$ is prime [BFHHL13] and when the property is linear [KS08]. Moreover, we show that for any fixed finite field $\mathbb{F}$, an affine-invariant property of functions $f: \mathbb{K}^n \to \mathbb{F}$, where $\mathbb{K}$ is a growing field extension over $\mathbb{F}$, is testable if it is locally characterized by constraints of bounded weight.

Includes members:
  Member "a characterization of locally testable affine invariant properties via decomposition theorems":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "a characterization of constant sample testable properties")
  Member "estimating the distance from testable affine invariant properties":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "fast fourier sparsity testing")
  Member "algorithmic regularity for polynomials and applications":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "bias vs structure of polynomials in large fields and applications in effective algebraic geometry and coding theory")
  Member "every locally characterized affine invariant property is testable":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "torus polynomials an algebraic approach to acc lower bounds")
  Member "testing low complexity affine invariant properties":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "testing noisy linear functions for sparsity")
  Member "a unified framework for testing linear invariant properties":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "testing noisy linear functions for sparsity")
  Member "succinct representation of codes with applications to testing":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "a new upper bound on the query complexity for testing generalized reed muller codes")

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)