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 "on large scale graph generation with validation of diverse triangle statistics at edges and vertices"):
  Abstract: Researchers developing implementations of distributed graph analytic algorithms require graph generators that yield graphs sharing the challenging characteristics of real-world graphs (small-world, scale-free, heavy-tailed degree distribution) with efficiently calculable ground-truth solutions to the desired output. Reproducibility for current generators [1] used in benchmarking are somewhat lacking in this respect due to their randomness: the output of a desired graph analytic can only be compared to expected values and not exact ground truth. Nonstochastic Kronecker product graphs [2] meet these design criteria for several graph analytics. Here we show that many flavors of triangle participation can be cheaply calculated while generating a Kronecker product graph. Given two medium-sized scale-free graphs with adjacency matrices A and B, their Kronecker product graph has adjacency matrix C = A ? B. Such graphs are highly compressible: |E| edges are represented in O(|?|^1/2) memory and can be built in a distributed setting from small data structures, making them easy to share in compressed form. Many interesting graph calculations have worst-case complexity bounds O(|?|^p) and often these are reduced to O(|?|^p/2) for Kronecker product graphs, when a Kronecker formula can be derived yielding the sought calculation on C in terms of related calculations on A and B. We focus on deriving formulas for triangle participation at vertices, tC, a vector storing the number of triangles that every vertex is involved in, and triangle participation at edges, ?_C, a sparse matrix storing the number of triangles at every edge. When factors A and B are undirected, C is also undirected. In the case when both factors have no self loops we show t_C = 2 t_A ? t_B, ?_C = ?_A ? ?_B. Moreover, we derive the respective formulas when A and B have self loops, which boosts the triangle counts for the associated vertices/edges in C. We additionally demonstrate strong assumptions on B that allow the truss decomposition of C to be derived cheaply from the truss decomposition of A. We extend these results and show Kronecker formulas for triangle participation in both directed graphs and undirected, vertex-labeled graphs. In these classes of graphs each vertex / edge can participate in many different types of triangles.

Includes members:
  Member "design generation and validation of extreme scale power law graphs":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "a fast and efficient incremental approach toward dynamic community detection")
  Member "distributed triangle counting in the graphulo matrix math library":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "design generation and validation of extreme scale power law graphs")
  Member "static graph challenge subgraph isomorphism":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "a systematic survey of general sparse matrix matrix multiplication")
  Member "a comparative study on exact triangle counting algorithms on the gpu":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "a systematic survey of general sparse matrix matrix multiplication")
  Member "higher order organization of complex networks":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "hypergraph motifs concepts algorithms and discoveries")
  Member "node2vec scalable feature learning for networks":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "deep graph matching consensus")
  Member "directed closure measures for networks with reciprocity":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "measuring directed triadic closure with closure coefficients")

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.DM(Discrete Mathematics)