'''렌스트라의 타원곡선 알고리즘 (Lenstra Elliptic Curve Algorithm)'''은 타원곡선의 성질을 이용한 소인수분해 방법이다. 모든 자연수에 적용할 있으면서 일반적인 컴퓨터에서 실행할 있는 소인수분해 알고리즘 3번째로 빠른 알고리즘이며 (2번째는 다중 이차 Multiple Polynomial Quadratic Sieve, 1번째는 수체 General Number Field Sieve), 주로 소인수분해하고 싶은 수에서 작은 소인수들을 분리하는 많이 쓰이는 알고리즘이다. 또한 알고리즘은 소인수분해하고 싶은 수가 60-70자리를 넘지 않는 소인수를 가지고 있을 때는 가장 빨리 작동하는 알고리즘이다. == 알고리즘 == 렌스트라의 타원곡선 알고리즘은 다음과 같이 작동한다. 여기서 소인수분해하고 싶은 자연수는 n이며, 모든 과정의 수들이나 타원 곡선은 (mod n)을 기준으로 계산한다. 즉, n으로 나눈 나머지를 생각한다. 무작위로 타원곡선을 하나 고른다. 여기서 타원 곡선은 형태의 곡선이며, 타원 곡선의 비자명한 구한다. 과정은 간단히 무작위로 정수 x0, y0, a를 고른 후, 구하면 된다. 밑의 '타원곡선의 덧셈 법칙' 문단에 나오는 s를 이용하여 (k번 더한다)를 계산한다. 여기서 k는 여러 작은 소인수들을 많이 가지고 있는 자연수이며, k는 간단히 충분히 작은 B를 이용하여 k=B!라고 해도 된다. 계산하는 경우 먼저 계산한 후, 계산하고, 이런 식으로 계산하거나 s를 구하는 과정에서 n의 비자명한 약수가 나올 때까지 계속하면 된다. ## 여기서 s를 구할 s가 분수 형태로 나온다면 확장된 유클리드 호제법을 이용해서 분모의 역수를 구한다. 만약 분모의 역수가 존재하지 않고 분모와 n의 최대공약수가 1보다 크면서 n보다 작을 최대공약수가 n의 비자명한 약수가 된다. 경우 약수를 출력한 알고리즘을 종료한다. ## 만약 계산했는데 비자명한 약수가 나오지 않았다면 다른 x0, y0, a, b를 고른 알고리즘을 다시 실행하거나, 폴라드 알고리즘이나 이차 같은 다른 소인수분해 알고리즘으로 n을 소인수분해한다. === 타원곡선의 덧셈 법칙 === 타원곡선의 점을 때, 점을 더하면 타원 곡선 위에 있는 다른 점을 있는데, 이때 점을 더하는 법칙을 타원곡선의 덧셈 법칙이라고 한다. 타원곡선의 덧셈 법칙은 다음과 같다. 여기서 타원 곡선은 이며, 모든 과정에서는 n으로 나눈 나머지만을 생각한다는 것에 주의한다. (단, xP와 xQ의 값은 다르다)를 더한 값이 이라고 때, xR과 yR은 다음과 같이 구하면 된다. ** 구한다. 만약 수가 정수가 아니라면 확장된 유클리드 호제법을 이용하여 분모의 역수를 구한 역수를 곱한 값을 s로 정하면 된다. 과정에서 역수를 구할 없다면 수와 n의 최대공약수는 n의 비자명한 약수가 된다. ** 된다. 만약 xP=xQ인 경우 다음과 같이 구하면 된다. ** 구한다. 위에서와 마찬가지로 수가 정수가 아니라면 확장된 유클리드 호제법을 이용하여 분모의 역수를 구한 역수를 에다가 곱한 값을 s로 정한다. 과정에서 역수를 구할 없다면 수와 n의 최대공약수는 n의 비자명한 약수가 된다. ** 된다. === 확장된 유클리드 호제법 === 타원곡선 알고리즘에서는 (mod n)에서 어떤 x의 역수 y를 구해야 하는 경우가 생긴다. 이때 되게 하는 y를 x의 역수, x-1 (mod n)이라고 정의한다. 이때, 확장된 유클리드 호제법은 일반적인 유클리드 호제법과는 다르게 a와 b의 최대공약수뿐만이 아니라 어떤 p, q에 대하여 인지도 알려 주는데, 여기서 a=n이라 하고 b는 역수를 구하고 싶은 수라고 하면 gcd(n, b)가 또는 n이 아닌 경우에는 gcd(n, b)가 n의 비자명한 약수가 되고, gcd(n, b)가 1인 경우에는 되므로 q가 b의 역수가 된다. 이때, 확장된 유클리드 호제법은 다음과 같이 작동한다. 이고 이며, 이라고 초깃값을 설정한다. 다음 점화식에 따라 r, s, t를 계산해 나간다. ** (단, 여기서 이며, 조건이 qi를 정의한다. 과정은 간단하게 ri+1은 ri-1을 ri로 나눈 나머지, qi는 ri-1을 ri로 나눈 몫이라고 생각하면 된다.) ** ** 만약 이라면 확장된 유클리드의 호제법은 멈추게 되고, 되며 된다. 여기서 k는 n의 비자명한 약수가 되고 rk=1인 경우 tk가 b의 역수가 된다. == 원리 == 만약 p와 q가 n의 소인수라고 하면, (mod n)을 (mod p)나 (mod q)로 바꾸어도 똑같은 해들을 가지게 된다. 타원곡선들에서 타원곡선 위의 점들을 더해 나가 얻어낸 해들은 군을 이루게 되는데, 만약 군이 각각 Np, Nq개의 원소를 가지고 있다면 라그랑주의 정리에 의해 원래 타원곡선의 아무 P에 대해서 k>0이면서 (mod p)인 최소의 k가 존재하고 k는 Np를 나누게 되며 된다. 또한 논리는 (mod q)인 경우에도 그대로 적용할 있다. 여기서 원래의 타원곡선이 무작위로 골라진다면 Np와 Nq는 각각 p+1과 q+1에 근접한 어떤 수가 되고, 이때 Np의 소인수들과 Nq의 소인수들은 대부분 다른 수가 된다. 따라서 차이에 의해 만약 우리가 임의의 e에 대하여 ''eP''를 계산해 나가면 우리는 어떤 k에 대하여 ''kP''가 (mod p)에서는 ∞의 값을 가지지만 (mod q)에서는 ∞이 아닌 경우가 생기거나 반대의 경우가 생겨나게 된다. 이때 원래의 타원곡선 ((mod n)의 경우)에서는 ''kP''라는 점이 존재하지 않게 되는데, 점이 존재하지 않는 경우 우리는 알고리즘의 과정 중에서 어떤 v에 대하여 gcd(v, n)=p이거나 gcd(v, n)=q인 v를 찾아내게 된다. 경우, gcd(v, n)은 n의 비자명한 약수 (p 또는 q)를 찾아내게 되어 타원곡선 알고리즘이 n의 비자명한 약수를 찾아내게 된다. == 예시 == 455839를 소인수분해하고 싶다고 하자. x0, y0, a는 0부터 n-1 사이의 정수 아무 수나 뽑으면 된다. 여기서 무작위로 수들을 고르면 x0=1, y0=1, a=5이고 되므로 타원곡선은 이고 타원곡선 위의 점이 된다. 10!P를 계산하기로 하면 먼저 2P를 계산하고, 다음 3(2P), 4(3!P), ... 이런 식으로 10(9!P)까지 계산하면 된다. ## 2P P+P를 계산하려면 먼저 s를 구한다. 위의 알고리즘 문단의 공식에 대입하면 s=4가 되고, 다시 위의 공식에 대입하면 2P (14, -53)이 된다. 실제로 2P (14, -53)은 (-53)2 143+5·14-5 (mod 455839)가 되어 타원곡선 위의 점이 된다. ## 다음으로 3!P 2P+2P+2P를 계산한다. 먼저 2P+2P를 구하면 이므로 106의 역수를 확장된 유클리드 호제법을 이용하여 구하면 81707이 된다 (즉, 106−1 81707 (mod 455839)이다). 따라서 s=-593 81707 322522 (mod 455839)이고, s와 위의 공식을 이용하여 2P+2P=4P를 계산하면 4P (259851, 116255)이며 역시 원래 타원곡선 위의 점이 된다. 4P와 2P를 다시 더하면 3!P를 구할 있게 된다. ## 이런 식으로 반복하면 비슷한 방식으로 4!P, 5!P, 6!P 등을 구할 있게 되는데, 8!P를 구하는 과정에서 타원곡선 알고리즘은 599의 역수를 구하게 된다. 여기서 확장된 유클리드 알고리즘은 455839가 599로 나누어 떨어진다고 나오고, 수는 모두 소수이므로 n을 소인수분해하면 455839 599 761이 된다. 여기서 타원곡선 알고리즘이 작동한 이유는 640 (= 27 5)개의 점들을 가지지만, 777 (= 37)개의 점들을 가졌고, 640과 777은 각각 (mod 599)와 (mod 761)에서 만족하는 최소의 자연수 k들이었기 때문이다. 알고리즘에서 8!은 640의 배수이지만 777의 배수는 아니었으므로 (mod 599)에서 8!P는 존재했지만 (mod 761)에서 8!P는 존재하지 않게 되었다. 따라서 부분에서 알고리즘은 599라는 455839의 약수를 찾아내게 되어 455839의 소인수분해에 성공했던 것이다. == 변형 == 방금 예시 문단에서 사용한 타원곡선의 종류는 바이어슈트라스 형태의 타원 곡선식인데, 실제로 약수를 찾을 때에는 몽고메리 형태의 타원 곡선식이나 뒤틀린 에드워즈 곡선 등을 이용하면 평균적으로 약수 (소인수)를 빨리, 그리고 많이 찾아낼 있다. == 시간복잡도 == 타원곡선 알고리즘의 시간복잡도는 소인수분해하고 싶은 자연수 n의 크기보다는 자연수의 최소의 소인수 p가 작을수록 작동하는 알고리즘이다. 타원곡선 알고리즘의 시간복잡도는 이며, 여기서 p는 자연수 n의 최소의 소인수이다. == 이용 == 렌스트라의 타원곡선 알고리즘은 어떤 수를 소인수분해하고자 먼저 작은 소인수들을 걸러내는 자주 쓰이는 알고리즘이다. 또한 GIMPS에서는 타원곡선 알고리즘을 개량한 알고리즘을 이용하여 메르센 수들의 약수를 찾아내기도 하고, 최근에는 알고리즘의 변형 개량된 알고리즘도 다양하게 쓰이고 있다. == 같이 보기 == 소인수분해 알고리즘 소수판별법 타원곡선 알고리즘과 이차 체를 이용하여 소인수분해를 주는 사이트 ** Only evaluate를 누르면 계산만 주고, Factor를 누르면 소인수분해해 준다. 참고로 웬만한 계산 기호는 넣을 있고 컴퓨터로 경우 매우 빠르게 소인수분해할 있다. 분류:소인수 분해 알고리즘 분류:유한체