«boolean-functions» 태그된 질문

부울 함수 및 해당 분석에 대한 질문

3
부울 함수의 푸리에 분석이 왜 작동합니까?
수년에 걸쳐 많은 TCS 정리가 이산 푸리에 분석을 사용하여 증명되는 것을 보았습니다. Walsh-Fourier (Hadamard) 변환은 속성 테스트, 의사 난수, 통신 복잡성 및 양자 컴퓨팅을 포함하여 TCS의 거의 모든 하위 필드에서 유용합니다. 문제를 해결할 때 부울 함수의 푸리에 분석을 매우 유용한 도구로 사용하는 것이 편했지만 푸리에 분석을 사용하는 경우에 대해 꽤 …
1
푸리에 계수 AND OR 및 XOR 게이트가있는 경계 깊이 회로로 설명되는 부울 함수
하자 부울 기능하고 이제부터 함수로 f를 생각하자 에 . 이 언어에서 f의 푸리에 확장은 단순히 사각형이없는 단항의 관점에서 f의 확장입니다. (이 모노 미알은 에 대한 실제 함수의 공간을 기초로합니다 . 계수의 제곱의 합은 단순히 이므로 는 제곱 자유 모수에 대한 확률 분포로 이어집니다. 이 분포를 F- 분포라고합니다.에프에프f{ − 1 , …
4
모노톤 산술 회로
에 대한 우리의 지식의 상태 일반적인 연산 회로 , 즉 우리가 좋은 낮은 경계가없는 부울 회로에 대한 우리의 지식의 상태와 비슷한 것 같다. 반면에 우리는 모노톤 부울 회로에 대한 지수 크기 하한을 가지고 있습니다 . 모노톤 산술 회로 에 대해 무엇을 알고 있습니까? 우리는 그들과 비슷한 좋은 하한을 가지고 있습니까? …
4
사회적 선택, 화살표 정리 및 공개 문제?
지난 몇 달 동안 나는 사회적 선택, 화살표 정리 및 관련 결과에 대해 강의하기 시작했습니다. 중요한 결과에 대해 읽은 후 부분 순서 환경 설정에서 발생하는 일에 대해 스스로에게 물었습니다 .Pini et al. : 부분적으로 정렬 된 환경 설정 집계 : 불가능 및 가능성 결과 . 그런 다음 허용 가능한 사회적 …
1
실제 다항식으로 낮은 수준의 랜덤 함수
실수 다항식으로서의 학위가 최대 균일하게 임의의 부울 함수 을 샘플링하는 (합리적인) 방법이 있습니까?f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}ddd 편집 : Nisan과 Szegedy 는 의 함수가 최대 좌표 에 의존 한다는 것을 보여 주었 으므로 라고 가정 할 수 있습니다 . 우리가 임의의 부울 함수를 선택하는 경우 1) 한편 : 나 볼과 같은 문제는 …
2
선형 독립 푸리에 계수
벡터 공간의 기본 속성은 그 벡터 공간 V⊆Fn2V⊆F2nV \subseteq \mathbb{F}_2^n 차원 n−dn−dn-d 특징으로 할 수있는 ddd , 존재이다 - 선형 독립적 인 선형 제약 ddd 선형 독립적 벡터 직교 .w1,…,wd∈Fn2w1,…,wd∈F2nw_1, \ldots, w_d \in \mathbb{F}_2^nVVV 푸리에 관점에서,이 인디케이터 기능한다는 동등 의 있다 선형 독립적 인 비 - 제로 계수를 푸리에. 참고 …
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
2
XORification의 사용
XORification은 모든 변수 를 고유 변수 의 XOR 로 대체하여 부울 함수 또는 수식을 더 어렵게 만드는 기술 입니다. k ≥ 2 x 1 ⊕ … ⊕ x k엑스xxk ≥ 2k≥2k\geq 2엑스1⊕ … ⊕ x케이x1⊕…⊕xkx_1 \oplus \ldots \oplus x_k 필자는 논문과 같이 해상도 기반 증명 시스템의 공간 하한을 얻기 위해 …
1
감도가 블록 감도와 동일한 부울 함수
감도 대 블록 감도에 대한 일부 연구 는 가 보다 다 항적으로 더 크다는 추측을 해결하기 위해 와 사이에 가능한 한 큰 간격을 가진 함수를 조사하는 것을 목표로하고 있습니다. . 반대 방향은 어떻습니까? 함수에 대해 알려진 것은 무엇입니까 ?s(f)s(f)s(f)bs(f)bs(f)bs(f)bs(f)bs(f)bs(f)s(f)s(f)s(f)s(f)=bs(f)s(f)=bs(f)s(f) = bs(f) 분명히 상수 함수는 입니다. 또한 사소하게, 함수 에는 있습니다. …
1
합계에서 임계 값으로 표현할 수있는 모노톤 부울 함수는 무엇입니까?
예를 들어 문제를 소개하겠습니다. 특정 독립적 인 질문으로 구성된 시험을 설계한다고 가정 해 봅시다 (후보자가 옳고 그름을 얻을 수 있음). 총점이 특정 임계 값을 초과하는 응시자는 통과하고 나머지는 실패하는 규칙을 사용하여 각 질문에 부여 할 점수를 결정하려고합니다.nnn 실제로, 당신은 이것에 대해 매우 철저 하고 가능한 모든 결과를 구상 했으며 ,이 …
2
내부의 학습 가능성 상태
임계 값 게이트를 통해 표현할 수있는 기능의 복잡성을 이해하려고 노력하고 있으며이를 통해 . 특히, 나는 해당 분야 의 전문가가 아니기 때문에 현재 T C 0 내부 학습에 대해 알려진 것에 관심 이 있습니다.TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 지금까지 내가 발견 한 것은 : 모든 C 0 을 통해 균일 한 분포 하에서 quasipolynomial 시간 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.