Suchergebnisse - Exact enumeration problems, generating functions

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

Volltext

Heuristic Logic Resynthesis Algorithms at the Core of Peephole Optimization von 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 …”
Volltext

Generalization to d-dimensions of a fermionic path integral for exact enumeration of polygons on hypercubic lattices von 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 …”
Volltext

Distributions of successions of arbitrary multisets von 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 …”
Volltext

Enumeration of three-quadrant walks via invariants: some diagonally symmetric models von 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 …”
Volltext

On the Joint Distributions of Increasing and Decreasing Successions of Arbitrary Multisets von 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 …”
Volltext

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

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

On univariate optimal partitioning by complete enumeration von 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 …”
Volltext

A direct method to obtain the joint distribution of successes, failures and patterns in enumeration problems von 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 …”
Volltext

Exact counting of subtrees with diameter no more than d in trees: A generating function approach von 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 …”
Volltext

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

“… In the last section, we present some open problems …”
Volltext

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

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

A history and a survey of lattice path enumeration von 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 …”
Volltext

Counting maps on doughnuts von 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 …”
Volltext

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

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

Chemical trees enumeration algorithms von 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 …”
Volltext

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

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

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

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

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

Volltext

On 3-Dimensional Lattice Walks Confined to the Positive Octant von 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 …”
Volltext