Timed Accepting Hybrid Networks of Evolutionary Processors
Accepting Hybrid Networks of Evolutionary Processors are bio-inspired, massively parallel computing models that have been used succesfully in characterizing several usual complexity classes and also in solving efficiently decision problems. However, this model does not seem close to the usual algorithms, used in practice, since, in general, it lacks the property of stopping on every input. We add new features in order to construct a model that has this property, and also, is able to characterize uniformly CoNP, issue that was not solved in the framework of regular AHNEPs. This new model is called Timed AHNEPs (TAHNEP). We continue by adressing the topic of problem solving by means of this new defined model. Finally, we propose a tehnique that can be used in the design of algorithms as efficient as possible for a given problem; this tehnique consists in defining the notion of Problem Solver, a model that extends the previously defined TAHNEP.
Unable to display preview. Download preview PDF.
- 4.Garey, M.R., Johnson, D.S.: Computers and Intractability. A Guide to the Theory of NP-Completness. W.H. Freeman, New York (1979)Google Scholar
- 6.Manea, F.: Using AHNEPs in the Recognition of Context-Free Languages. Grammars (in press); In: Proc. of the Workshop on Symbolic Networks, ECAI 2004 (2004)Google Scholar
- 7.Manea, F., Margenstern, M., Mitrana, V., Perez-Jimenez, M.: A new characterization for NP (submitted)Google Scholar
- 8.Margenstern, M., Mitrana, V., Perez-Jimenez, M.: Accepting hybrid networks of evolutionary processors. In: Pre-proc. DNA, vol. 10, pp. 107–117 (2004)Google Scholar
- 9.Martin-Vide, C., Mitrana, V., Perez-Jimenez, M., Sancho-Caparrini, F.: Hybrid networks of evolutionary processors. In: Cantú-Paz, E., Foster, J.A., Deb, K., Davis, L., Roy, R., O’Reilly, U.-M., Beyer, H.-G., Kendall, G., Wilson, S.W., Harman, M., Wegener, J., Dasgupta, D., Potter, M.A., Schultz, A., Dowsland, K.A., Jonoska, N., Miller, J., Standish, R.K. (eds.) GECCO 2003. LNCS, vol. 2723, pp. 401–412. Springer, Heidelberg (2003)CrossRefGoogle Scholar