Un conjunto de dados no transitivos es un conjunto de dados en los que la relación «es más probable que aparezca un número más alto que» no es transitiva.
Esta situación es similar a la del juego Piedra, papel o tijera, en el que cada elemento tiene ventajas y desventajas sobre alguno de los otros.
Sean tres dados A, B y C tales que Por lo tanto: Por tanto es más probable que en A salga un número más alto que en B, también es más probable que en B salga un número mayor que en C y a la vez es más probable que en C salga un número mayor que en A.
Esto muestra que la relación «es más probable que aparezca un número más alto que» no es transitiva en estos datos, y por tanto se dice de ellos que son dados no transitivos.
Los dados de Efron (Efron's dice en inglés) son un conjunto de cuatro dados no transitivos inventado por el matemático estadounidense Bradley Efron.
Los cuatro dados A, B, C, D tienen los siguientes números en sus distintas caras: Son un conjunto de 5 dados no transitivos inventados por el matemático británico James Grime Tienen la particularidad de que si se juega con dos dados la relación de «es más probable que aparezca un número más alto que» se invierte en muchos caos en concreto: (eso no ocurre siempre, por ejemplo en los dados de Efron no hay tal inversión) Para un dado: A>B>C>D>E>A y también A>C>E>B>D>A Para dos dados: casi se mantiene A>B>C>D>E=A pero A , se define el conjunto de dados como las variables aleatorias sobre n , j n , j {\displaystyle \mathbb {P} \left[D_{n}=v_{n,j}\right]={\frac {1}{J}}} caras equiprobables. Para conseguir un conjunto de dados intransitivos, basta con establecer los valores de las caras n , j {\displaystyle v_{n,j}} n , j = 1 , 2 , … , siguiendo la expresión n , j + ( n − j ) {\displaystyle v_{n,j}=(j-1)N+(n-j){\text{mod}}(N)+1} , obteniendo un conjunto de Se puede comprobar que siguiendo esta estructura se obtiene el siguiente valor para la probabilidad de un dado del conjunto obtener un número mayor que otro en un lanzamiento ( n − m ) {\displaystyle \mathbb {P} \left[D_{m} , por lo que cada dado vence a otros dados del conunto. El conjunto de dados en este caso es equivalente al primer ejemplo en esta página, eliminando las caras repetidas. Se puede comprobar que De nuevo se puede comprobar que Además en este caso cada dado vence a más de un dado en el conjunto