Tengo una solución parcial, excluyendo tangenciality, una cota superior para las configuraciones.
Básicamente se puede dividir a las relaciones entre los círculos en tres excluyendo tipos: inclusión, exclusión, intersección, es decir, un círculo puede cortar en dos puntos, puede ser completamente separado de los demás, o puede ser en una.
Si algún círculo está en el otro tanto de los círculos tienen la misma propiedad de exclusión respecto a un exterior del círculo, es decir, $(A\cap B=\emptyset)\de la tierra (C\subconjunto B)\implica C\cap a=\emptyset$.
Tangenciality puede ser pensado como un caso particular para la inclusión o la exclusión. Trate de ver los círculos como abrir sets.
Por lo que las propiedades de la inclusión o exclusión son "heredadas" por subconjuntos. Sé que una analogía en la teoría de números: divisibilidad y co-primalidad. Un número que puede ser co-prime de otros O puede dividir una a la otra (en una dirección) O ninguno de los dos, esto es análogo a la inclusión/exclusión/intersección de los de antes.
Así que tengo algún número N de círculos y quiero caracterizar cada círculo con un número único. Cada número estará compuesto por una combinación de factores.
Necesito, al menos, un primer factor completamente diferente para cada número para que yo pueda tener todos los números completamente diferentes una de la otra si quiero.
ACTUALIZACIÓN:
He descubierto que usted necesita, para algunos de instalación de los círculos, más que N factores. Usted no puede expresar todas las configuraciones posibles con sólo N factores, por ejemplo, en una cadena de círculos. Ejemplo: para 3 círculos, vinculadas como una cadena (un corte a los otros en una línea) se necesitan al menos $ab$, $bc$ y $cd$... por lo que necesita 4 factores de 3 círculos.
Me puede representar un válido el programa de instalación con un (0,1)-matriz, donde cada fila representa un círculo y cada columna representan la existencia de algún misma el primer factor. Para una instalación de círculos de S son todos válidos y no redundante cuadrado (0,1)-matriz de dimensión N, donde N es el número de círculos:
$$\mathbf{S_{N\times N}} = \left( \begin{array}{rrrr} 1 & x & \cdots & x \\ x & 1 & \cdots & x \\ \vdots & \vdots & \ddots & \vdots \\ x & x & \cdots & 1 \end{array} \right).$$
donde $x\in \{0, 1\}$
Una matriz S es válida si:
- Tiene la diagonal llena de.
- No hay una fila es idéntica a la de otros (los círculos son diferentes círculos).
Pero el gran problema aquí es la redundancia: una matriz es redundante si es equivalente a cualquier otro comedero cualquier número de filas y columnas de intercambio.
Y aquí es donde radica el gran problema para el recuento de estas matrices: las clases de equivalencia para un (0,1)-matriz bajo swaps de filas y columnas es similar a la gráfica de isomorfismo problema [1] [2].
Así tenemos, en mi opinión, dos de las principales estrategias de aquí: tratar de definir algunos obligado por estos número de matrices (y si es posible incluir tangenciality) o para evaluar a estos números comedero experimentación con algún programa estadístico como R.
En cualquier caso, parece que no existe una forma cerrada para evaluar el número de estas configuraciones con círculos.
P. S.: también puede representar a la instalación de los círculos con un grafo completo.