The cross-section enumeration problem is to list all words of length n in a regular language L in lexicographical order. The enumeration problem is to list the rst m words in L according to radix order. We present an algorithm for the crosssection enumeration problem that is linear in n + t, where t is the output size. We provide a detailed analysis of the asymptotic running time of our algorit...

The cross-section enumeration problem is to list all words of length n in a regular language L in lexicographical order. The enumeration problem is to list the first m words in L according to radix order. We present an algorithm for the cross-section enumeration problem that is linear in n. We provide a detailed analysis of the asymptotic running time of our algorithm and that of known algorith...

We discuss a notion of forcing that characterises enumeration 1genericity and we investigate the immunity, lowness and quasiminimality properties of enumeration 1-generic sets and their degrees. We construct an enumeration operator ∆ such that, for any A, the set ∆ is enumeration 1-generic and has the same jump complexity as A. We also prove that every nonzero ∆ 2 degree bounds a nonzero enumer...

This is a collection of open problems presented at the Lorentz Workshop “Enumeration Algorithms using Structure” which took place at the Lorentz Center of the University of Leiden (The Netherlands), August 24 30, 2015. The workshop brought together researchers interested in various aspects of enumeration algorithms; in particular classical output-sensitive enumeration including output-polynomia...

This paper gives two definability results in the local theory of the ω-enumeration degrees. First we prove that the local structure of the enumeration degrees is first order definable as a substructure of the ω-enumeration degrees. Our second result is the definability of the the classes Hn and Ln of the highn and lown ω-enumeration degrees. This allows us to deduce that the first order theory ...

Gold [Gol67] discovered a fundamental enumeration technique, the so-called identi cation-by-enumeration, a simple but powerful class of algorithms for learning from examples (inductive inference). We introduce a variety of more sophisticated (and more powerful) enumeration techniques and characterize their power. We conclude with the thesis that enumeration techniques are even universal in that...

An efficient variation of the sphere decoding (SD) is the orthotope sphere decoding (OSD). In simulations for many channels, the OSD has lower complexity than the SD. For this lower complexity achieving algorithm, there have been no enumeration schemes. In this paper, we present the orthotopic Schnorr-Echner (OSE) enumeration to further reduce the complexity of the OSD. By using O-metric for th...

background: the consumption of healthy food is considered as an essential need to devoid the physical, chemical, and biological hazards. the importance of this issue is more conspicuous in places such as hospitals where people with somehow compromised immune systems are under treatment. therefore, this research aimed to evaluate the microbiological quality of food contact surfaces in a kitchen ...

The enumeration of permutation classes has been accomplished with a variety of techniques. One wide-reaching method is that of enumeration schemes, introduced by Zeilberger and extended by Vatter. In this paper we further extend the method of enumeration schemes to words avoiding permutation patterns. The process of finding enumeration schemes is programmable and allows for the automatic enumer...