Výsledky vyhľadávania - Exact enumeration problems, generating functions

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

Získať plný text

Heuristic Logic Resynthesis Algorithms at the Core of Peephole Optimization Autor 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…”
Získať plný text

Generalization to d-dimensions of a fermionic path integral for exact enumeration of polygons on hypercubic lattices Autor 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…”
Získať plný text

Distributions of successions of arbitrary multisets Autor 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…”
Získať plný text

Enumeration of three-quadrant walks via invariants: some diagonally symmetric models Autor 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…”
Získať plný text

On the Joint Distributions of Increasing and Decreasing Successions of Arbitrary Multisets Autor 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…”
Získať plný text

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

“…In this paper we study the problem of finding maximally sized subsets of binary strings (codes…”
Získať plný text

On univariate optimal partitioning by complete enumeration Autor 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…”
Získať plný text

A direct method to obtain the joint distribution of successes, failures and patterns in enumeration problems Autor 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…”
Získať plný text

Exact counting of subtrees with diameter no more than d in trees: A generating function approach Autor 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…”
Získať plný text

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

“… In the last section, we present some open problems…”
Získať plný text

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

“…We consider the problem of dualizing a monotone CNF (equivalently, computing all minimal transversals of a hypergraph…”
Získať plný text

A history and a survey of lattice path enumeration Autor 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…”
Získať plný text

Counting maps on doughnuts Autor 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…”
Získať plný text

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

“…Dualization of a monotone Boolean function represented by a conjunctive normal form (CNF…”
Získať plný text

Chemical trees enumeration algorithms Autor 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…”
Získať plný text

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

“…Solving the first nonmonotonic, longer-than-three instance of a classic enumeration problem, we obtain the generating functionH(x…”
Získať plný text

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

“…) confined to the quadrant. The generating functions of such walks are archetypal solutions of partial discrete differential equations…”
Získať plný text

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

Získať plný text

On 3-Dimensional Lattice Walks Confined to the Positive Octant Autor 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…”
Získať plný text