592 results for counting

www.reddit.com/r/counting/comments/msceil/by_7s_77000/

By 7s | 77000

carrying on from [here](https://old.reddit.com/r/counting/comments/mm1d1f/by_7s_70000/gurp2ye/?context=3) next get 84,000...

arxiv.org/abs/math/0011214v2

Counting Singular Plane Curves Via Hilbert Schemes

We give a method of counting the number of curves with a given type of singularity in a suitably ample linear series on a smooth surface using punctual Hilbert schemes. The types of singulaties for which our methods suffice include the topological...

arxiv.org/abs/2502.18406v1

The Gradient of Algebraic Model Counting

Algebraic model counting unifies many inference tasks on logic formulas by exploiting semirings. Rather than focusing on inference, we consider learning, especially in statistical-relational and neurosymbolic AI, which combine logical, probabilistic...

arxiv.org/abs/2411.16492v2

Counting Nonattacking Chess Piece Placements: Bishops and Anassas

We derive recurrences and closed-form expressions for counting nonattacking placements of two types of chess pieces with unbounded straight-line moves, namely the bishop (two diagonal moves) and the anassa (one horizontal or vertical move and one dia...

arxiv.org/abs/2302.11443v2

Engineering a Distributed-Memory Triangle Counting Algorithm

Counting triangles in a graph and incident to each vertex is a fundamental and frequently considered task of graph analysis. We consider how to efficiently do this for huge graphs using massively parallel distributed-memory machines. Unsurprisingly,...

arxiv.org/abs/1208.0884v2

Curve-counting invariants for crepant resolutions

We construct curve counting invariants for a Calabi-Yau threefold $Y$ equipped with a dominant birational morphism $π:Y \to X$. Our invariants generalize the stable pair invariants of Pandharipande and Thomas which occur for the case when $π:Y\to Y...

arxiv.org/abs/2408.06199v1

Dynamic Blocked Clause Elimination for Projected Model Counting

In this paper, we explore the application of blocked clause elimination for projected model counting. This is the problem of determining the number of models ||\exists X.Σ|| of a propositional formula Σ after eliminating a given set X of variables...