Search Results - Exact enumeration problems, generating functions

Exact enumeration of satisfiable 2-SAT formulae by Dovgal, Sergey, De Panafieu, Élie, Ravelomanana, Vlady

Get full text

Heuristic Logic Resynthesis Algorithms at the Core of Peephole Optimization by Lee, Siang-Yun, Micheli, Giovanni De

“… While exact methods such as enumeration and SATbased synthesis guarantee optimal solutions, limitations on the problem size are inevitable due to scalability concerns…”
Get full text

Generalization to d-dimensions of a fermionic path integral for exact enumeration of polygons on hypercubic lattices by Ostilli, M., Rocha, G. W. C., Bezerra, C. G., Viswanathan, G. M.

“… On the cubic and hypercubic lattices the generating function is still unknown and the problem remains open…”
Get full text

Distributions of successions of arbitrary multisets by Kong, Yong

“…By using the matrix formulation of the two-step approach to distributions of patterns in random sequences, recurrence and explicit formulas for the generating functions of successions in random…”
Get full text

Enumeration of three-quadrant walks via invariants: some diagonally symmetric models by Bousquet-Mélou, Mireille

“… Most of these results deal with the nature of the associated generating function: for which models is it algebraic, D-finite, D-algebraic…”
Get full text

On the Joint Distributions of Increasing and Decreasing Successions of Arbitrary Multisets by Kong, Yong

“… Using the two-step approach to pattern distributions in random sequences previously developed by the author, we derive recurrence and explicit formulas for the generating functions of increasing…”
Get full text

Repetition Error Correcting Sets: Explicit Constructions and Prefixing Methods by Dolecek, Lara, Anantharam, Venkat

“…In this paper we study the problem of finding maximally sized subsets of binary strings (codes…”
Get full text

On univariate optimal partitioning by complete enumeration by Aubry, Philippe

“…[Display omitted] Partitioning a set of elements into a given number of classes to find a globally optimal solution can be challenging due to the combinatorial explosion of the problem size…”
Get full text

A direct method to obtain the joint distribution of successes, failures and patterns in enumeration problems by Antzoulakos, Demetrios L., Boutsikas, Michael V.

“…Let E be a pattern (single or composite) defined over a sequence of Bernoulli trials. Let X n , S n and F n be the number of occurrences of E , the number of…”
Get full text

Exact counting of subtrees with diameter no more than d in trees: A generating function approach by Yang, Yu, Jin, Bang-Bang, Sun, Xiaoming, Zhang, Xiao-Dong, Li, Bo, Zhao, Kai, Wang, Hua

“…s. For an n-vertex tree T, by introducing novel generating functions with (d+2) variables, we propose an innovative algorithm for the exact enumeration of T's subtrees…”
Get full text

Enumeration of L-convex polyominoes by rows and columns by Castiglione, G., Frosini, A., Restivo, A., Rinaldi, S.

“… In the last section, we present some open problems…”
Get full text

New Results on Monotone Dualization and Generating Hypergraph Transversals by Eiter, Thomas, Gottlob, Georg, Makino, Kazuhisa

“…We consider the problem of dualizing a monotone CNF (equivalently, computing all minimal transversals of a hypergraph…”
Get full text

A history and a survey of lattice path enumeration by Humphreys, Katherine

“…In celebration of the Sixth International Conference on Lattice Path Counting and Applications, it is befitting to review the history of lattice path enumeration and to survey how the topic has progressed thus far…”
Get full text

Counting maps on doughnuts by Walsh, Timothy R.

“…? I solved this problem for doughnuts with up to 10 holes, and my colleagues Alain Giorgetti and Alexander Mednykh counted maps by number of edges alone on doughnuts with up to 11 holes…”
Get full text

Computational aspects of monotone dualization: A brief survey by Eiter, Thomas, Makino, Kazuhisa, Gottlob, Georg

“…Dualization of a monotone Boolean function represented by a conjunctive normal form (CNF…”
Get full text

Chemical trees enumeration algorithms by Aringhieri, Roberto, Hansen, Pierre, Malucelli, Federico

“… of fast enumeration algorithms. This paper considers the isomeric acyclic structures focusing on the enumeration of the alkane molecular family…”
Get full text

Exact Enumeration of 1342-Avoiding Permutations: A Close Link with Labeled Trees and Planar Maps by Bóna, Miklós

“…Solving the first nonmonotonic, longer-than-three instance of a classic enumeration problem, we obtain the generating functionH(x…”
Get full text

An elementary solution of Gessel's walks in the quadrant by Bousquet-Mélou, Mireille

“…) confined to the quadrant. The generating functions of such walks are archetypal solutions of partial discrete differential equations…”
Get full text

Optimization via enumeration: a new algorithm for the Max Cut Problem by Galluccio, Anna, Loebl, Martin, Vondrák, Jan

Get full text

On 3-Dimensional Lattice Walks Confined to the Positive Octant by Bostan, Alin, Bousquet-Mélou, Mireille, Kauers, Manuel, Melczer, Stephen

“… The classification is now complete for walks with steps in { 0 , ± 1 } 2 : the generating function is D-finite if and only if a certain group associated with the step set is finite…”
Get full text