Title :
Using automaton model to determine the complexity of algorithmic problems for virtual laboratories
Author :
E.A. Efimchik;M.S. Chezhin;A.V. Lyamin;A.V. Rusak
Author_Institution :
ITMO University, Saint Petersburg, Russia
Abstract :
This paper describes automaton model of reference algorithm for constructing a correct solution of algorithmic problems for virtual laboratories. This model is developed on the basis of the automated control object. In addition, a method for formal determination of the problem variant´s complexity and an example of evaluating the complexity function are presented. The complexity function defines the dependency between the resulting complexity of problem variant and its properties and provides the opportunity of variants´ automatic construction with a predetermined complexity.
Keywords :
"Automata","Complexity theory","Laboratories","Yttrium","Automation","Standards","Data models"
Conference_Titel :
Application of Information and Communication Technologies (AICT), 2015 9th International Conference on
Print_ISBN :
978-1-4673-6855-1
DOI :
10.1109/ICAICT.2015.7338619