A system and method for processing a large constraint satisfaction problem quickly, including a subset generating module (1), which divides a set of alternatives provided for a plurality of parts of a given problem into a plurality of subsets, such that each subset has not more than two alternatives for each part. For each subset generated by the division, a solution calculation module (2) finds a solution by calculating combinations of alternatives satisfying a constraint between alternatives selected for each two parts. The calculation of a solution for a subset, such that each subset has not more than two alternatives for each part, requires a very short period of processing time, even if the parts are many. Thus, the sum of the times required for finding a solution for all the subsets is much shorter than the time required for finding a solution for the original problem without such processing.

Un sistema y un método para procesar un problema grande de la satisfacción del constreñimiento rápidamente, incluyendo un subconjunto que generaba el módulo (1), que divide un sistema de alternativas previeron una pluralidad de partes de un problema dado en una pluralidad de subconjuntos, tales que cada subconjunto no tiene más de dos alternativas para cada parte. Para cada subconjunto generado por la división, un módulo del cálculo de la solución (2) encuentra una solución calculando combinaciones de los alternativas que satisfacen un constreñimiento entre los alternativas seleccionados para cada dos piezas. El cálculo de una solución para un subconjunto, tal que cada subconjunto no tiene más de dos alternativas para cada parte, requiere un período muy corto del tiempo de transformación, incluso si las piezas son muchas. Así, la suma de los tiempos requeridos para encontrar una solución para todos los subconjuntos es mucho más corta que la época requerida para encontrar una solución para el problema original sin tal proceso.