We contribute to the study of efficient enumeration algorithms for all solutions of constraint satisfaction problems. The only algorithm known so far, presented by Creignou and Hébrard [CH97] and generalized by Cohen [Coh04], reduces the enumeration problem for a constraint language Γ to the decision problem for a slightly enlarged constraint language Γ, i.e., it yields an efficient enumeration...

The cycle index polynomial of a symmetric group is a basic tool in combinatorics and especially in Pólya enumeration theory. It seems irrelevant to numerical analysis. Through Faá di Bruno’s formula, cycle index is connected with numerical analysis. In this work, the Hermite interpolation polynomial is explicitly expressed in terms of cycle index. Applications in Gauss-Turán quadrature formula ...

background and objectives: numerous procedures in biology and medicine require the counting of cells. direct enumer- ation of colony forming units (cfus) is time-consuming and dreary accurate cell counting on plates with high numbers of cfus is error prone. in this study we report a new indirect cell counting method that was developed based on the use of redsafe fluorometric assay. the usefulne...

The concentration of easily assimilable organic carbon (AOC) largely determines the microbiological stability of drinking water. However, AOC determination is often neglected in practice due to the complex and tedious nature of the conventional bioassay. The three major drawbacks of the conventional method are (1) a long assay time of 9-12 days, (2) the use of a labor-intensive enumeration tech...