다항식으로 OR 표현

23

나는 변수 에 대한 OR 함수 가 다항식 로 정확하게 표현 될 수 있음을 알고 있습니다 : 이며 . $n$ $x_1,\ldots, x_n$ $p(x_1,\ldots,x_n)$ $p(x_1,\ldots,x_n) = 1-\prod_{i = 1}^n\left(1-x_i\right)$ $n$

그러나 $p$ 가 OR 함수를 정확하게 나타내는 다항식 인 경우 (그래서 $\forall x \in \{0,1\}^n : p(x) = \bigvee_{i = 1}^n x_i$ ) 다음 $\deg(p) \ge n$ ?

— matthon
소스

1

실제 다항식에 대해 이야기하고 있습니까? 아니면 다항식 모듈로 2? 모듈로 6 (또는 다른 복합 수)에 대해 이야기하고 싶다면 질문이 더 흥미 롭습니다.

— Igor Shinkar

30

하자 부울 함수이다. 이 다항식 표현되어있는 경우 다음은 multilinear 다항식 표현 갖는다 정도를 : 그냥 전원 교체 , 여기서 의해 . 따라서 우리는 다 선형 다항식에 대한주의를 제한 할 수 있습니다. $f\colon \{0,1\}^n \to \{0,1\}$ $P$ $Q$ $\deg Q \leq \deg P$ $x_i^k$ $k \geq 2$ $x_i$

주장 : 다항식 $\{ \prod_{i \in S} x_i : S \subseteq [n] \}$ , 함수 $\{0,1\}^n \to \mathbb{R}$ 은 공간의 기초를 형성합니다. 모든 함수 중 $\{0,1\}^n \to \mathbb{R}$ 입니다.

증명 : 먼저 다항식이 선형 적으로 독립적이라는 것을 보여줍니다. 모든 대해 이라고 가정하십시오 . 우리는그 . 모든 대해 이라고 가정하십시오. , 카디널리티 의 집합 가 주어 . 모든 대해 이므로 . 여기서 는 의 좌표에서 입력입니다 . $f = \sum_S c_S \prod_{i \in S} x_i = 0$ $(x_1,\ldots,x_n) \in \{0,1\}^n$ $|S|$ $c_S = 0$ $c_T = 0$ $|T| < k$ $S$ $k$ $T \subset S$ $c_T = 0$ $0 = f(1_S) = c_S$ $1_S$ $1$ $S$ $~\qquad\square$

주장은 함수 의 다중 선 표현 이 고유 하다는 것을 보여줍니다 (실제로 는 값일 필요조차 없습니다 ) . OR의 고유 한 다중 표현은 이며 . $f\colon \{0,1\}^n \to \{0,1\}$ $f$ $0/1$ $1-\prod_i(1-x_i)$ $n$

— 유발 필름 러스
소스

26

하자 그 모든 다항식하여야 , . 다항식 의 대칭성을 고려하십시오 . OR 함수는 대칭 부울 함수이므로 , 및 입니다. 이후 의 다항식 비 제로이고, 그것이 갖는 적어도 개의 0, 그 이상의 정도 있어야 . 따라서 도 차수 가져야합니다 . $p$ $x\in \{0,1\}^n$ $p(x) = \sf{OR}(x)$ $p$

q (k) = \frac{1}{(\binom{n}{k})} \sum_{x : | x | = k} p (x) .

$q(k) = \frac{1}{\binom{n}{k}} \sum_{x: |x| = k} p(x).$

k = 1, 2, \dots, n

$k = 1, 2, \ldots, n$

q (k) = 1

$q(k) = 1$

q (0) = 0

$q(0) = 0$

q - 1

$q-1$

n

$n$

n

$n$

p

$p$

n

$n$

대칭은 종종 대략적인 부울 함수와 양자 쿼리 복잡성의 연구에 사용됩니다. 예를 들어 http://www.math.uwaterloo.ca/~amchilds/teaching/w11/l19.pdf를 참조하십시오 .

— 헨리 위엔
소스

증거가 작동하려면 q의 정도가 최대 p의 정도임을 보여 주어야합니다. 이것은 나에게 분명하지 않습니다. 이것을 어떻게 보여줍니까?

— matthon

d = deg (p)라고하자. 그런 다음 q는 차수 d 다항식의 합이므로 q의 차수는 최대 d입니다.

— Henry Yuen

3

유발과 헨리는이 사실에 대한 두 가지 다른 증거를 제시했습니다. 세 번째 증거가 있습니다.

첫째, Yuval의 답변 에서처럼 우리는 다 선형 다항식에 대한 관심을 제한합니다. 이제 OR 함수와 같은 차수 다선 다항식을 이미 표시했습니다 . 이제 우리가 보여줄 필요는이 다항식이 독특하다는 것입니다. 결과적으로 그 차수는 입니다. $n$ $n$

주장 : 두 개의 다 선형 다항식 p와 q가 하이퍼 큐브에서 같으면 어디에서나 동일합니다.

증명 : r (x) = p (x)-q (x)라고하고, 우리는 모든 x에 대해 r (x) = 0임을 알고 있습니다. r (x)가 동일하게 0임을 보여주고 자합니다. 모순을 향해, 그렇지 않다고 가정하고, 최소도를 갖는 0이 아닌 계수로 r에서 모든 단항을 선택하십시오. 이 monomial 외부의 모든 변수를 0으로 설정하고이 monomial의 모든 변수를 1로 설정하십시오. r (x)는이 입력에서 0이 아니지만이 입력은 부울이므로 모순입니다. $\{0,1\}^n$

— 로빈 코타 리
소스