FUNCTION CONVERSION DEVICE, FUNCTION CONVERSION METHOD, AND PROGRAM

• Main Author: MIYAHARA, Kazuhiro
• Format: Patent
• Language: English; French; Japanese
• Published: 20.10.2022
• Subjects: CALCULATING; COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS; COMPUTING; COUNTING; PHYSICS

The present invention converts an arbitrary constrained multivariate function f(x1, ..., xN) into a multivariate polynomial q(x1, ..., xN). When (s1, ..., sN) = (x1, ..., xN), P(s1, ..., sN, x1, ..., xN) = 1, and when (s1, ..., sN) ≠ (x1, ..., xN), P(s1, ..., sN, x1, ..., xN) = 0. A conversion unit lets f'(s1, ..., sN) for (s1, ..., sN) identical to a set (x1, ..., xN) satisfying a constraint condition be f(s1, ..., sN), lets f'(s1, ..., sN) for others be f''(s1, ..., sN), and adds together f'(s1, ..., sN)P(s1, ..., sN, x1, ..., xN) to obtain q(x1, ..., xN). It is to be noted that the number of terms in q(x1, ..., xN) is less than the number of terms in g(x1, ..., xN) obtained by adding together f(s1, ..., sN)P(s1, ..., sN, x1, ..., xN). La présente invention convertit une fonction contrainte arbitraire à plusieurs variables f(x1, ..., xN) en un polynôme à plusieurs variables q(x1, ..., xN). Lorsque (s1, ..., sN) = (x1, ..., xN), P(s1, ..., sN, x1, ..., xN) = 1, et lorsque (s1, ..., sN) ≠ (x1, , xN), P(s1, ..., sN, x1, ..., xN) = 0. Une unité de conversion permet à f'(s1, ..., sN) pour (s1, ..., sN) identique à un ensemble (x1, ..., xN) satisfaisant à une condition de contrainte d'être f(s1, ..., sN), permet à f'(s1, ..., sN) pour d'autres d'être f''(s1, ..., sN), et additionne f'(s1, ..., sN)P(s1, ..., sN, x1, ..., xN) pour obtenir q(x1, ..., xN). Il est à noter que le nombre de termes dans q(x1, ..., xN) est inférieur au nombre de termes dans g(x1, ..., xN) obtenu par addition de f(s1, ..., sN)P(s1, ..., sN, x1, ..., xN). 任意の制約条件付き多変数関数ｆ（ｘ１，...，ｘＮ）を多変数多項式ｑ（ｘ１，...，ｘＮ）に変換する。（ｓ１，...，ｓＮ）＝（ｘ１，...，ｘＮ）のときにＰ（ｓ１，...，ｓＮ，ｘ１，...，ｘＮ）＝１であり、（ｓ１，...，ｓＮ）≠（ｘ１，...，ｘＮ）のときにＰ（ｓ１，...，ｓＮ，ｘ１，...，ｘＮ）＝０である。変換部が、制約条件を満たす組（ｘ１，...，ｘＮ）と同一の（ｓ１，...，ｓＮ）についてのｆ'（ｓ１，...，ｓＮ）をｆ（ｓ１，...，ｓＮ）とし、その他のｆ'（ｓ１，...，ｓＮ）をｆ"（ｓ１，...，ｓＮ）とし、ｆ'（ｓ１，...，ｓＮ）Ｐ（ｓ１，...，ｓＮ，ｘ１，...，ｘＮ）を足し合わせたｑ（ｘ１，...，ｘＮ）を得る。ただし、ｑ（ｘ１，...，ｘＮ）の項数は、ｆ（ｓ１，...，ｓＮ）Ｐ（ｓ１，...，ｓＮ，ｘ１，...，ｘＮ）を足し合わせたｇ（ｘ１，...，ｘＮ）の項数よりも少ない。