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: "the expressibility of functions on the boolean domain with applications to counting csps"
  Abstract: An important tool in the study of the complexity of Constraint Satisfaction Problems (CSPs) is the notion of a relational clone, which is the set of all relations expressible using primitive positive formulas over a particular set of base relations. Post's lattice gives a complete classification of all Boolean relational clones, and this has been used to classify the computational difficulty of CSPs. Motivated by a desire to understand the computational complexity of (weighted) counting CSPs, we develop an analogous notion of functional clones and study the landscape of these clones. One of these clones is the collection of log-supermodular (lsm) functions, which turns out to play a significant role in classifying counting CSPs. In the conservative case (where all nonnegative unary functions are available), we show that there are no functional clones lying strictly between the clone of lsm functions and the total clone (containing all functions). Thus, any counting CSP that contains a single nontrivial non-lsm function is computationally as hard to approximate as any problem in #P. Furthermore, we show that any nontrivial functional clone (in a sense that will be made precise) contains the binary function “implies”. As a consequence, in the conservative case, all nontrivial counting CSPs are as hard to approximate as #BIS, the problem of counting independent sets in a bipartite graph. Given the complexity-theoretic results, it is natural to ask whether the “implies” clone is equivalent to the clone of lsm functions. We use the Mobius transform and the Fourier transform to show that these clones coincide precisely up to arity 3. It is an intriguing open question whether the lsm clone is finitely generated. Finally, we investigate functional clones in which only restricted classes of unary functions are available.

Connected through hyperedge HE-1 (induced by source paper "lower bounds for testing graphical models colorings and antiferromagnetic ising models"):
  with members:
    - "approximating pairwise correlations in the ising model"
    - "learning graphical models using multiplicative weights"
    - "sample optimal identity testing with high probability"
    - "structure learning of h colorings"
    - "a new approach for testing properties of discrete distributions"
    - "testing ising models"
    - "bis hardness for 2 spin systems on bipartite bounded degree graphs in the tree non uniqueness region"
    - "inapproximability of the partition function for the antiferromagnetic ising and hard core models"

Connected through hyperedge HE-2 (induced by source paper "counting independent sets and colorings on random regular bipartite graphs"):
  with members:
    - "algorithms for bis hard problems on expander graphs"
    - "improved bounds for randomly sampling colorings via linear programming"
    - "bis hardness for 2 spin systems on bipartite bounded degree graphs in the tree non uniqueness region"
    - "inapproximability of the partition function for the antiferromagnetic ising and hard core models"
    - "an fptas for counting proper four colorings on cubic graphs"
    - "fptas for bis with degree bounds on one side"
    - "ferromagnetic potts model refined bis hardness and related results"
    - "approximating the partition function of the ferromagnetic potts model"

Connected through hyperedge HE-3 (induced by source paper "holant clones and the approximability of conservative holant problems"):
  with members:
    - "boolean approximate counting csps with weak conservativity and implications for ferromagnetic two spin"
    - "inapproximability of the independent set polynomial in the complex plane"
    - "functional clones and expressibility of partition functions"
    - "the complexity of holant problems over boolean domain with non negative weights"
    - "the complexity of approximating conservative counting csps"
    - "the complexity of conservative valued csps"
    - "complexity of counting csp with complex weights"
    - "approximation complexity of complex weighted degree two counting constraint satisfaction problems"

Connected through hyperedge HE-4 (induced by source paper "boolean approximate counting csps with weak conservativity and implications for ferromagnetic two spin"):
  with members:
    - "functional clones and expressibility of partition functions"
    - "inapproximability of the partition function for the antiferromagnetic ising and hard core models"
    - "the complexity of approximating conservative counting csps"
    - "the complexity of ferromagnetic two spin systems with external fields"
    - "approximating the tutte polynomial of a binary matroid and other related combinatorial polynomials"
    - "approximation algorithms for two state anti ferromagnetic spin systems on bounded degree graphs"
    - "correlation decay up to uniqueness in spin systems"
    - "from holant to csp and back dichotomy for holant c problems"

Connected through hyperedge HE-5 (induced by source paper "bis hardness for 2 spin systems on bipartite bounded degree graphs in the tree non uniqueness region"):
  with members:
    - "inapproximability of the partition function for the antiferromagnetic ising and hard core models"
    - "the complexity of approximating conservative counting csps"
    - "approximating the partition function of planar two state spin systems"
    - "the complexity of ferromagnetic two spin systems with external fields"
    - "inapproximability for antiferromagnetic spin systems in the tree non uniqueness region"
    - "inapproximability after uniqueness phase transition in two spin systems"
    - "approximating the partition function of the ferromagnetic potts model"
    - "approximation algorithms for two state anti ferromagnetic spin systems on bounded degree graphs"

Connected through hyperedge HE-6 (induced by source paper "functional clones and expressibility of partition functions"):
  with members:
    - "the complexity of approximating conservative counting csps"
    - "analysis of boolean functions"
    - "inapproximability of the tutte polynomial of a planar graph"
    - "approximating the partition function of the ferromagnetic potts model"

Connected through hyperedge HE-7 (induced by source paper "fptas for bis with degree bounds on one side"):
  with members:
    - "a simple fptas for counting edge covers"
    - "the complexity of ferromagnetic two spin systems with external fields"
    - "spatial mixing and the connective constant optimal bounds"
    - "fptas for counting monotone cnf"
    - "spatial mixing and approximation algorithms for graphs with bounded connective constant"
    - "the complexity of approximately counting stable roommate assignments"
    - "approximating the partition function of the ferromagnetic potts model"
    - "approximation algorithms for two state anti ferromagnetic spin systems on bounded degree graphs"

Connected through hyperedge HE-8 (induced by source paper "the complexity of approximating conservative counting csps"):
  with members:
    - "the complexity of conservative valued csps"
    - "the complexity of weighted and unweighted csp"
    - "approximating the partition function of the ferromagnetic potts model"
    - "complexity of counting csp with complex weights"
    - "a maximal tractable class of soft constraints"
    - "approximate counting for complex weighted boolean constraint satisfaction problems"
    - "an effective dichotomy for the counting constraint satisfaction problem"
    - "non negative weighted csps an effective complexity dichotomy"

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