Modelos de topología combinatoria para problemas de cartas rusas

Autor: Jesús Jorge Armenta Segura
El problema generalizado de las cartas rusas presenta a tres agentes A, B y C que se reparten a, b y c cartas de un mazo con a+b+c cartas. A y B quieren informarse entre ellos las cartas que poseen cada uno pero sin enterar a C en el proceso. Si la única forma posible de comunicación es mediante anuncios públicos que los tres pueden oír, ¿cómo podrían A y B lograr su objetivo?. En este cartel presentaremos una introducción al problema de las cartas rusas, que ha sido estudiado desde sus orígenes en "On a problem in combinations" de Thomas P. Kirkman (1847) y un modelo de topología combinatoria para el problema consistente en complejos simpliciales relacionados con lógica y lenguajes formales al estilo de "A simplicial complex model for dynamic epistemic logic to study distributed task computability" de S. Rajsbaum, E. Goubault y J. Ledent (2018), el cual permite verificar posibles soluciones para el problema.