«boolean-formulas» 태그된 질문

계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 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 

나는 대수의 대수를 번갈아 가며 정량화 된 부울 수식 클래스에 어려운 문제를 연구하고 있습니다. 이 클래스의 문제는 다음과 같습니다. ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F 여기서 로그 N = N , 및 변수의 부울 식이다 .alogn=nalog⁡n=na_{\log n} = nFFFx1…xnx1…xnx_1 …

15 cc.complexity-theory  boolean-formulas 

다음 결정 문제를 고려하십시오 입력 : 모노톤 CNF ΦΦ\Phi 및 모노톤 DNF .ΨΨ\Psi 질문 : 는 팽팽한가요?Φ→ΨΦ→Ψ\Phi \to \Psi 확실히 O(2n⋅poly(l))O(2n⋅poly(l))O(2^n \cdot \mathrm{poly}(l)) 시간 에서이 문제를 해결할 수 있습니다 . 여기서 nnn 은 의 변수 수 Φ→ΨΦ→Ψ\Phi \to \Psi이고 lll 은 입력 길이입니다. 한편,이 문제는 coNP-complete입니다. 또한,도 세스되지 않는 프로그램을 …

14 exp-time-algorithms  boolean-formulas  fine-grained 

1 회 읽기 결정 트리는 다음과 같이 정의됩니다. 및 F a l s e 는 1 회 읽기 결정 트리입니다.True티아르 자형유이자형TrueFalse에프ㅏ엘에스이자형False 경우 와 B는 의사 결정 트리 일단 읽기되고 x가 발생하지 변수입니다 와 B , 다음 ( X ∧ ) ∨ ( ˉ X ∧ B는 ) 또한 읽기 번 …

11 cc.complexity-theory  lo.logic  decision-trees  boolean-formulas 

부울 수식 균형 문제 의 복잡성에 대한 참조를 찾고 있습니다. 특히, 부울 공식은 에서 균형을 수 있다는 것을 알고 있습니까?C0AC0\mathsf{AC^0} 부울 공식 밸런싱이 있다는 간단한 증거가 있습니까?C0AC0\mathsf{AC^0} "단순"이란 아래에서 언급 한 것보다 단순한 증거를 의미합니다. 특히 에있는 부울 수식 평가에 의존하지 않는 증거를 찾고 있습니다.N C1NC1\mathsf{NC^1} 배경 여기에 언급 된 …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas