[논문 리뷰] On the Complexity of Real Functions

Mark Braverman|ArXiv.org|2005. 02. 15.

Computability, Logic, AI Algorithms참고 문헌 17인용 수 6

한 줄 요약

이 논문은 실수 함수에 대한 새로운 계산 가능성 및 복잡도 프레임워크를 제안하며, BSS 모델과 비트 계산 가능성의 이론을 통합하고 확장하여 비연속 함수와 다중값 함수를 포함한다. 함수의 그래프의 효과적 계산 가능성에 기반하여 계산 가능성과 약한, 강한 계산 가능성의 개념을 정의함으로써, 연속 함수에 대해서는 다항시간 계산 가능성을 보장하고 비연속 함수에 대해서는 복잡도 갭을 드러내며, 특정 함수에 대해 그래프의 다항시간 계산 가능성은 P = NP 를 암시한다.

ABSTRACT

We develop a notion of computability and complexity of functions over the reals, which seems to be very natural when one tries to determine just how "difficult" a certain function is. This notion can be viewed as an extension of both BSS computability [Blum, Cucker, Shub, Smale 1998], and bit computability in the tradition of computable analysis [Weihrauch 2000] as it relies on the latter but allows some discontinuities and multiple values.

연구 동기 및 목표

• 계산의 '쉬움'과 '어려움'에 대한 직관적 개념을 반영하는 실수 함수에 대한 계산 가능성 및 복잡도 이론을 개발하기 위해.
• BSS 모델의 한계를 해결하기 위해, exp(x)와 √x와 같은 함수를 포함하지 못하는 점과, 히비사이드 단위계단 함수와 같은 비연속 함수를 포함하지 못하는 비트 계산 가능성 모델의 한계를 해결하기 위해.
• 연속적인 분⽀이 없는 복소수 제곱근 √: C → C와 같은 다중값 함수의 계산 가능성으로 확장하기 위해.
• P 및 NP와 같은 이산 복잡도 클래스와 일치하는 실수 함수의 복잡도 계층을 수립하기 위해.
• 특정 비연속 함수에 대해 그래프의 다항시간 계산 가능성은 P = NP 를 암시하며, 이는 기본적인 복잡도 상충을 드러내기 위해.

제안 방법

• 입력의 이진 근사값에 대한 오라클에 액세스하는 방식으로, 함수 f: R^k → R^ℓ 의 그래프의 효과적 계산 가능성에 기반한 새로운 계산 가능성 모델을 도입한다.
• 세 가지 복잡도 개념을 정의한다: 그래프의 강한, 약한, 표준 다항시간 계산 가능성으로, 강한 계산 가능성은 표준을 포함하고, 표준은 약한을 포함한다.
• 입력 x의 이진 근사값을 질의하는 오라클 튜링 기계를 사용하여, 요구된 정밀도 내에서 f(x)의 이진 근사값을 계산한다.
• 연속 함수의 다항시간 계산 가능성은 연속성의 모듈러스 개념을 활용하여 특성화하며, 이는 고전적 복잡도와 연결된다.
• 그래프가 강하게 다항시간 계산 가능한 다중값 비연속 함수 f: [0,1] → P([0,1]) 를 구성하며, 이 함수의 계산이 다항시간 내에 가능하다면 P = NP 를 암시한다.
• BSS 모델에서 집합 A 는 −log x 에 대해 다항시간에 계산 가능하지만, f(x,y) = x·χA(x,y) 라는 함수는 SAT 를 P 내에서 해결하지 않고서는 그래프의 다항시간 계산이 불가능하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 BSS 계산 가능성과 비트 계산 가능성의 이론을 실수 함수에 대해 통합하고 확장하는 복잡도 프레임워크를 개발할 수 있는가?
• RQ2 히비사이드 단위계단 함수나 복소수 제곱근과 같은 비연속 및 다중값 실수 함수는 어떻게 의미적으로 계산 가능하다고 분류할 수 있는가?
• RQ3 함수의 그래프의 다항시간 계산 가능성과 함수 자체의 다항시간 계산 가능성 사이의 관계는 무엇인가?
• RQ4 특정 비연속 함수에 대해 그래프의 다항시간 계산 가능성이 존재할 경우, 이는 P = NP 와 같은 더 강력한 복잡도 결과를 암시하는가?
• RQ5 −log x 에 대해 다항시간에 계산 가능한 BSS 집합 A 는 그래프의 다항시간 계산이 불가능한 함수를 유도할 수 있는가?

주요 결과

• 다항식 연속성 모듈러스를 갖는 연속 함수의 그래프는 표준 정의에 따른 다항시간 계산 가능성이 있음과 동시에 그다음에만 다항시간 계산 가능하다.
• 비연속이고 다중값인 함수 f: [0,1] → P([0,1]) 가 존재하며, 그 그래프는 강하게 다항시간 계산 가능하지만, f 자체를 다항시간에 계산할 수 있다면 P = NP 를 암시한다.
• 동일한 함수는 f 의 표준 다항시간 계산 가능성은 그래프의 강한 다항시간 계산 가능성을 암시하지 않으며, P = NP 가 성립하지 않는 한.
• −log x 에 대해 다항시간에 계산 가능한 BSS 집합 A ⊂ [0,1]×[−1,1] 이 존재하며, 이에 대응하는 함수 f(x,y) = x·χA(x,y) 는 BSSε,b_C-계산 가능하지만, 그래프의 다항시간 계산은 SAT 를 P 내에서 해결하지 않고서는 불가능하다.
• 이 프레임워크는 그래프의 약한 계산 가능성과 표준 비트 계산 가능성 간의 동치성을 수립하며, 일반적인 경우 강한 그래프 계산 가능성은 표준 함수 계산 가능성보다 엄밀히 더 강력하다.
• 결과적으로 실수 함수의 복잡도는 함수를 계산하는지 그래프를 계산하는지에 따라 결정되며, 비연속성은 근본적인 복잡도 갭을 초래할 수 있음을 보여준다.