Order automatic mapping class
نویسندگان
چکیده
We prove that the mapping class group of a compact surface with a nite number of punctures and non-empty boundary is order automatic. More precisely, the group is right-orderable, has an automatic structure as described by Mosher, and there exists a nite state automaton that decides, given the Mosher normal forms of two elements of the group, which of them represents the larger element of the group. Moreover, the decision takes linear time in the length of the normal forms.
منابع مشابه
2 Order Automatic Mapping Class
We prove that the mapping class group of a compact surface with a nite number of punctures and non-empty boundary is order automatic. More precisely, the group is right-orderable, has an automatic structure as described by Mosher, and there exists a nite state automaton that decides, given the Mosher normal forms of two elements of the group, which of them represents the larger element of the g...
متن کاملOrder automatic mapping class groups
We prove that the mapping class group of a compact surface with a finite number of punctures and non-empty boundary is order automatic. More precisely, the group is right-orderable, has an automatic structure as described by Mosher, and there exists a finite state automaton that decides, given the Mosher normal forms of two elements of the group, which of them represents the larger element of t...
متن کاملReducing Light Change Effects in Automatic Road Detection
Automatic road extraction from aerial images can be very helpful in traffic control and vehicle guidance systems. Most of the road detection approaches are based on image segmentation algorithms. Color-based segmentation is very sensitive to light changes and consequently the change of weather condition affects the recognition rate of road detection systems. In order to reduce the light change ...
متن کامل