In this paper we present a general methodology to solve a wide variety of classical lattice path counting problems in an uniform way. These counting problems are related to Dyck paths, Motzkin paths and some generalizations. The methodology uses weighted automata, equations of ordinary generating functions and continued fractions. It is a variation of the technique proposed by J. Rutten, which is called Coinductive Counting.
El presente trabajo tiene como objetivo presentar una propuesta para encontrar un punto interior factible en la región definida por las restricciones de problemas de programación lineal, con la ventaja de no tener que recurrir al empleo de variables de holgura o exceso. La región factible en los problemas de programación lineal es el conjunto solución del sistema de desigualdades lineales Ax ≤ b, las cuales definen un poliedro que puede ser acotado o no acotado. Encontrar un punto interior o en la frontera de esta no es trivial y es un aspecto necesario para iniciar los algoritmos de solución de problemas de programación lineal. Para lograrlo, se recurre a funciones irrestrictas de penalización no lineales que deben ser optimizadas. Como resultado se demuestra que la propuesta converge a un punto interior del poliedro original o se establece que el mismo no es factible. Se concluye que el procedimiento algorítmico propuesto tiene características ventajosas para resolver problemas de programación lineal.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.