Andreas Polymeris | Universidad de Concepción (original) (raw)
Uploads
Papers by Andreas Polymeris
Revista Integracion, Jun 1, 2012
Electronic Notes in Discrete Mathematics, 2011
We study the computational complexity of an important property of simple and weighted games, whic... more We study the computational complexity of an important property of simple and weighted games, which is decisiveness. We show that this concept can naturally be represented in the context of hypergraph theory, and that decisiveness can be decided for simple games in quasi-polynomial time, and for weighted games in polynomial time. The strongness condition poses the main difficulties. Instead, properness
Departamento de Ingeniería Informática y Ciencias de la Computación, 1999
La computacion es practica, no es teoria; es la practica de la computacion la que realmente inter... more La computacion es practica, no es teoria; es la practica de la computacion la que realmente interesa; y por eso es que esta Revista se dirige a los que practican la computacion; y no a los teoricos que solo hablan de la computacion; usualmente incluso, empleando un lenguaje criptico, matematico, abstracto, que los practicos no tienen por que entender; puesto que justamente se dedican a la practica y no a la Teoria. ?Sera tan asi?
Ingenieria Informatica, 2000
Hay que abordarlo, porque el tema de las imagenes en computacion no solo es cada dia mas importan... more Hay que abordarlo, porque el tema de las imagenes en computacion no solo es cada dia mas importante. Paso a ser la panacea, el medio que hoy se impone y promete un futuro esplendor. Claro, ya todos interactuamos con nuestras computadoras en ambientes graficos; los textuales estan pasados de moda.
Revista Integracion, 2012
Resumen. Se recuerdan algunos resultados de las matemáticas sociales que se han orientado en el l... more Resumen. Se recuerdan algunos resultados de las matemáticas sociales que se han orientado en el liberalismo, económico y político, que nos legó el siglo XVIII. Me detendré en teoremas que en alguna medida permiten comprender las limitaciones de ese paradigma social, porque muestran que para lograr cooperación social con base en aquellas soluciones negociadas que el liberalismo recomienda, puede ser necesario estructurar los campos de acción e instaurar estructuras que típicamente llevan a priorizar los requerimientos de los agentes más pudientes. Pero que, ello no obstante, no impiden que se planteen coyunturas económicas en que tales soluciones de equilibrio son muy insatisfactorias y que articulen paradojas que sólo podrían ser superadas adoptando éticas más solidarias. Esta revisión también se referirá a las consideraciones que a mi juicio debieran orientar el ejercicio de las matemáticas sociales.
En el ultimo numero de nuestra Revista --en un ensayo titulado iComputo! No Matematicas-- interro... more En el ultimo numero de nuestra Revista --en un ensayo titulado iComputo! No Matematicas-- interrogabamos el rol de las matematicas en computacion: ?Son teoria que se limita a hablar de computacion? ?O participan directamente en la practica computacional?
Ingenieria Informatica, 1999
We study the computational complexity of an important property of simple, regular and weighted ga... more We study the computational complexity of an important property of simple, regular and weighted games, which is decisiveness. We show that this concept can naturally be represented in the context of hypergraph theory, and that decisiveness can be decided for simple games in quasi-polynomial time, and for regular and weighted games in polynomial time. The strongness condition poses the main difficulties, while properness reduces the complexity of the problem, especially if it is amplified by regularity. On the other hand, regularity also allows to specify the problem instances much more economically, implying a reconsideration of the corresponding complexity measure that, as we prove, has important structural as well as algorithmic consequences.
Ic Ai, 2002
Abstract We propose a new formal model of cog-nitive structures and offer a first analysis of the... more Abstract We propose a new formal model of cog-nitive structures and offer a first analysis of their mathematical complexity features. The structures we consider should have response-ability in all but only in the situations they experience. There-fore they have to be coherent, ...
Proceedings of the …
We propose a new formal model of cog-nitive structures and offer a first analysis of their mathem... more We propose a new formal model of cog-nitive structures and offer a first analysis of their mathematical complexity features. The structures we consider should have response-ability in all but only in the situations they experience. There-fore they have to be coherent, ...
Journal of Logic and Computation, 1994
Discrete Applied Mathematics, 2008
We have extended a two player game-theoretical model proposed by V. Gurvich [To theory of multi-s... more We have extended a two player game-theoretical model proposed by V. Gurvich [To theory of multi-step games, USSR Comput. Math and Math. Phys. 13 (1973)] and H. Moulin [The Strategy of Social Choice, North Holland, Amsterdam, 1983]: All the considered game situations are framed by the same game structure. The structure determines the families of potential decisions of the two players, as well as the subsets of possible outcomes allowed by pairs of such choices. To be a solution of a game, a pair of decisions has to determine a (pure) functional equilibrium of the situational pair of payoff mappings which transforms the realized outcome into real-valued rewards of the players. Accordingly we understand that a structure is stable, if it admits functional equilibria for all possible game situations; and that it is complete, if every situation that only partitions the potential outcomes, is dominated by one of the players. We have generalized and strengthened a theorem by V. Gurvich [Equilibrium in pure strategies, Soviet Math. Dokl. 38 (1989)], proving that a proper structure is stable iff it is complete. Additional results provide game-theoretical insight that focuses the inquiry on the complexity of the stability decision problem; in particular, for coherent structures.
Proceedings of the …
We propose a new formal model of cog-nitive structures and offer a first analysis of their mathem... more We propose a new formal model of cog-nitive structures and offer a first analysis of their mathematical complexity features. The structures we consider should have response-ability in all but only in the situations they experience. There-fore they have to be coherent, ...
Resumen. Se recuerdan algunos resultados de las matemáticas sociales que se han orientado en el l... more Resumen. Se recuerdan algunos resultados de las matemáticas sociales que se han orientado en el liberalismo, económico y político, que nos legó el siglo XVIII. Me detendré en teoremas que en alguna medida permiten comprender las limitaciones de ese paradigma social, porque muestran que para lograr cooperación social con base en aquellas soluciones negociadas que el liberalismo recomienda, puede ser necesario estructurar los campos de acción e instaurar estructuras que típicamente llevan a priorizar los requerimientos de los agentes más pudientes. Pero que, ello no obstante, no impiden que se planteen coyunturas económicas en que tales soluciones de equilibrio son muy insatisfactorias y que articulen paradojas que sólo podrían ser superadas adoptando éticas más solidarias. Esta revisión también se referirá a las consideraciones que a mi juicio debieran orientar el ejercicio de las matemáticas sociales.
Revista Integracion, Jun 1, 2012
Electronic Notes in Discrete Mathematics, 2011
We study the computational complexity of an important property of simple and weighted games, whic... more We study the computational complexity of an important property of simple and weighted games, which is decisiveness. We show that this concept can naturally be represented in the context of hypergraph theory, and that decisiveness can be decided for simple games in quasi-polynomial time, and for weighted games in polynomial time. The strongness condition poses the main difficulties. Instead, properness
Departamento de Ingeniería Informática y Ciencias de la Computación, 1999
La computacion es practica, no es teoria; es la practica de la computacion la que realmente inter... more La computacion es practica, no es teoria; es la practica de la computacion la que realmente interesa; y por eso es que esta Revista se dirige a los que practican la computacion; y no a los teoricos que solo hablan de la computacion; usualmente incluso, empleando un lenguaje criptico, matematico, abstracto, que los practicos no tienen por que entender; puesto que justamente se dedican a la practica y no a la Teoria. ?Sera tan asi?
Ingenieria Informatica, 2000
Hay que abordarlo, porque el tema de las imagenes en computacion no solo es cada dia mas importan... more Hay que abordarlo, porque el tema de las imagenes en computacion no solo es cada dia mas importante. Paso a ser la panacea, el medio que hoy se impone y promete un futuro esplendor. Claro, ya todos interactuamos con nuestras computadoras en ambientes graficos; los textuales estan pasados de moda.
Revista Integracion, 2012
Resumen. Se recuerdan algunos resultados de las matemáticas sociales que se han orientado en el l... more Resumen. Se recuerdan algunos resultados de las matemáticas sociales que se han orientado en el liberalismo, económico y político, que nos legó el siglo XVIII. Me detendré en teoremas que en alguna medida permiten comprender las limitaciones de ese paradigma social, porque muestran que para lograr cooperación social con base en aquellas soluciones negociadas que el liberalismo recomienda, puede ser necesario estructurar los campos de acción e instaurar estructuras que típicamente llevan a priorizar los requerimientos de los agentes más pudientes. Pero que, ello no obstante, no impiden que se planteen coyunturas económicas en que tales soluciones de equilibrio son muy insatisfactorias y que articulen paradojas que sólo podrían ser superadas adoptando éticas más solidarias. Esta revisión también se referirá a las consideraciones que a mi juicio debieran orientar el ejercicio de las matemáticas sociales.
En el ultimo numero de nuestra Revista --en un ensayo titulado iComputo! No Matematicas-- interro... more En el ultimo numero de nuestra Revista --en un ensayo titulado iComputo! No Matematicas-- interrogabamos el rol de las matematicas en computacion: ?Son teoria que se limita a hablar de computacion? ?O participan directamente en la practica computacional?
Ingenieria Informatica, 1999
We study the computational complexity of an important property of simple, regular and weighted ga... more We study the computational complexity of an important property of simple, regular and weighted games, which is decisiveness. We show that this concept can naturally be represented in the context of hypergraph theory, and that decisiveness can be decided for simple games in quasi-polynomial time, and for regular and weighted games in polynomial time. The strongness condition poses the main difficulties, while properness reduces the complexity of the problem, especially if it is amplified by regularity. On the other hand, regularity also allows to specify the problem instances much more economically, implying a reconsideration of the corresponding complexity measure that, as we prove, has important structural as well as algorithmic consequences.
Ic Ai, 2002
Abstract We propose a new formal model of cog-nitive structures and offer a first analysis of the... more Abstract We propose a new formal model of cog-nitive structures and offer a first analysis of their mathematical complexity features. The structures we consider should have response-ability in all but only in the situations they experience. There-fore they have to be coherent, ...
Proceedings of the …
We propose a new formal model of cog-nitive structures and offer a first analysis of their mathem... more We propose a new formal model of cog-nitive structures and offer a first analysis of their mathematical complexity features. The structures we consider should have response-ability in all but only in the situations they experience. There-fore they have to be coherent, ...
Journal of Logic and Computation, 1994
Discrete Applied Mathematics, 2008
We have extended a two player game-theoretical model proposed by V. Gurvich [To theory of multi-s... more We have extended a two player game-theoretical model proposed by V. Gurvich [To theory of multi-step games, USSR Comput. Math and Math. Phys. 13 (1973)] and H. Moulin [The Strategy of Social Choice, North Holland, Amsterdam, 1983]: All the considered game situations are framed by the same game structure. The structure determines the families of potential decisions of the two players, as well as the subsets of possible outcomes allowed by pairs of such choices. To be a solution of a game, a pair of decisions has to determine a (pure) functional equilibrium of the situational pair of payoff mappings which transforms the realized outcome into real-valued rewards of the players. Accordingly we understand that a structure is stable, if it admits functional equilibria for all possible game situations; and that it is complete, if every situation that only partitions the potential outcomes, is dominated by one of the players. We have generalized and strengthened a theorem by V. Gurvich [Equilibrium in pure strategies, Soviet Math. Dokl. 38 (1989)], proving that a proper structure is stable iff it is complete. Additional results provide game-theoretical insight that focuses the inquiry on the complexity of the stability decision problem; in particular, for coherent structures.
Proceedings of the …
We propose a new formal model of cog-nitive structures and offer a first analysis of their mathem... more We propose a new formal model of cog-nitive structures and offer a first analysis of their mathematical complexity features. The structures we consider should have response-ability in all but only in the situations they experience. There-fore they have to be coherent, ...
Resumen. Se recuerdan algunos resultados de las matemáticas sociales que se han orientado en el l... more Resumen. Se recuerdan algunos resultados de las matemáticas sociales que se han orientado en el liberalismo, económico y político, que nos legó el siglo XVIII. Me detendré en teoremas que en alguna medida permiten comprender las limitaciones de ese paradigma social, porque muestran que para lograr cooperación social con base en aquellas soluciones negociadas que el liberalismo recomienda, puede ser necesario estructurar los campos de acción e instaurar estructuras que típicamente llevan a priorizar los requerimientos de los agentes más pudientes. Pero que, ello no obstante, no impiden que se planteen coyunturas económicas en que tales soluciones de equilibrio son muy insatisfactorias y que articulen paradojas que sólo podrían ser superadas adoptando éticas más solidarias. Esta revisión también se referirá a las consideraciones que a mi juicio debieran orientar el ejercicio de las matemáticas sociales.