«nondeterminism» 태그된 질문

많은 사람들이 합니다. 그러나 가 다항식 계층 구조의 두 번째 수준에 있다는 것만 알고 있습니다 . 즉, 입니다. 를 표시하기위한 단계 는 먼저 다항식 계층의 첫 번째 수준 (예 : 입니다.BPP=P⊆NPBPP=P⊆NP\mathsf{BPP} = \mathsf{P} \subseteq \mathsf{NP}BPPBPP\mathsf{BPP}BPP⊆ΣP2∩ΠP2BPP⊆Σ2P∩Π2P\mathsf{BPP}\subseteq \Sigma^ \mathsf{P}_2 \cap \Pi^ \mathsf{P}_2BPP=PBPP=P\mathsf{BPP} = \mathsf{P}BPP⊆NPBPP⊆NP\mathsf{BPP} \subseteq \mathsf{NP} 격리는 비결정론이 다항식 시간에 대한 임의성만큼 …

34 cc.complexity-theory  randomness  randomized-algorithms  nondeterminism  barriers 

경계가없는 비결정론 은 함수 를 자원이 제한된 결정 론적 튜링 머신이 허용하는 언어 의 클래스 와 연관시켜 새로운 클래스 - 를 형성합니다 . 이 클래스는 를 정의하는 데 사용 된 것과 동일한 자원 한계를 준수하는 일부 비 결정적 Turing 머신 허용되는 언어로 구성 되지만 은 최대 비 결정적 이동을 수행 …

30 cc.complexity-theory  graph-theory  graph-isomorphism  nondeterminism 

비 결정적 유한 오토마타 및 함수 . 또한 합니다.A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i 이제 다음 문장을 분석해 보자. 만약 후, .Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* 그것은 대한 것으로 쉽게 보여주는 것이다 이 오토마타가 개까지 길이가 모든 단어를 생성 따라서 경우에 해당하는 …

28 automata-theory  fl.formal-languages  nondeterminism 

하자 NFA 쌍이에 의해 주어진 두 개의 정규 언어가 될 입력으로.M 1 , M 2엘1, L2L1,L2L_1,L_2엠1, M2M1,M2M_1,M_2 인지 확인하고 싶다고 가정하자 . 이것은 의 제품 오토 마톤을 계산하는 2 차 알고리즘으로 명확하게 수행 할 수 있지만 더 효율적인 것이 있는지 궁금합니다.M 1 , M 2엘1∩ L2≠ ∅L1∩L2≠∅L_1\cap L_2\neq \emptyset엠1, M2M1,M2M_1,M_2 …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

최초의 비결정론 적 시간 계층 정리는 Cook에 기인한다 (링크는 비결정론 적 시간 복잡성을위한 계층 , S. Cook , JCSS 7 343-353, 1973). 정리는 임의의 실수 r1r1r_1 과 r2r2r_2 에 대해 1≤r1<r21≤r1<r21 \le r_1 \lt r_2 이면 NTIME ( nr1nr1n^{r_1} )은 NTIME ( nr2nr2n^{r_2} ) 에 엄격하게 포함된다고 명시 합니다. 증명의 …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

두 가지 역사적 질문이 있습니다. 누가 비 결정적 계산을 처음 설명했습니까? Cook은 NP-complete 문제를 설명했으며 Edmonds는 P 알고리즘이 "효율적"또는 "좋은"알고리즘이라고 제안했습니다. 이 위키피디아 기사를 검색 하고 "계산의 복잡성 알고리즘"을 훑어 보았지만 비결정론 적 계산이 처음 논의 된 시점에 대한 언급을 찾을 수 없었습니다. NP 클래스에 대한 첫 번째 참조는 무엇입니까? …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

결정 문제 CNF-SAT는 다음과 같이 설명 될 수 있습니다. 입력 : 결합 형 일반 형식 의 부울 수식ϕϕ\phi 질문 : 를 충족하는 변수 할당이 있습니까?ϕϕ\phi 비 결정적 2 테이프 튜링 머신으로 CNF-SAT를 해결하기위한 여러 가지 접근 방식을 고려하고 있습니다. 단계 에서 CNF-SAT를 해결하는 NTM이 있다고 생각 합니다.n ⋅ 폴리 ( …

19 time-complexity  sat  turing-machines  np  nondeterminism 

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

비 결정적 부울 회로에는 일반 입력 외에 "비 결정적"입력 세트 있습니다. 비 결정적 회로 는 회로 출력 on 와 같이 가 존재하는 경우 입력 받아 들입니다 . (다항식 크기 ​​회로로 결정 가능한 언어 클래스) 와 유사하게 는 다항식 크기 ​​비 결정적 회로로 결정 가능한 언어 클래스로 정의 할 수 있습니다. …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

오토마타 이론 (finite automata, pushdown automata, ...)과 복잡성에는 "모호성"이라는 개념이 있습니다. 적어도 2 개의 별개의 수용 실행을 갖는 단어 가 있으면, 오토 마톤은 모호하다 . 기계는 모든 단어에 대한 경우 -ambiguous 가장에있다가 기계에 의해 허용 받아들이는 별개의 실행 .k w k wwwwkkkwwwkkkwww 이 개념은 문맥이없는 문법에 대해서도 정의됩니다. 문법은 두 …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

문제 하자 = ⟨ Σ , Q , Q 0 , F는 , Δ가 ⟩ 언어 인식하는 부치 오토메이션 수 L ⊆ Σ ω를 . 우리는 가정 A는 다음과 같은 의미에서 수용 전략을 가지고 : 함수가 σ : Σ * → Q 의 파일럿 실행하는 데 사용할 수 있습니다 A는 …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

비결정론이 결정 론적 계산을 가속화 할 수 있습니까? 그렇다면 얼마입니까? 비결정론에 의한 결정 론적 계산 속도를 높이면 다음과 같은 형식의 결과를 의미합니다. DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) 예를 들어 DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) 비결정론에 의한 결정 론적 계산의 가장 잘 알려진 가속 결과는 무엇입니까? 무엇에 대해 또는 대신에 ? A T i m …

14 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

NXA (Non-deterministic Xor Automata)는 구문 상 NFA이지만 NFA의 경우 수용 경로 수가 홀수 인 경우 (NFA 경우 하나 이상의 허용 경로 대신) NXA에서 단어를 수락한다고합니다. 유한 한 정규 언어 , 어떤 주기도 포함하지 않는 최소 NFA가 존재 한다는 것을 쉽게 알 수 있습니다 (주기가 초기 상태에서 도달 할 수 있고 …

14 fl.formal-languages  automata-theory  nondeterminism  minimization 

것을 오메르 레인 골드의 증거 USTCON위한 알고리즘을 제공합니다 (AN에서 U는 특별한 정점과 그래프 ndirected 들 과 t을 그들이, 콘 에만 LOGSPACE를 사용하여 nected?). 기본 아이디어는 원래 그래프에서 확장기 그래프를 작성한 다음 확장기 그래프에서 보행을 수행하는 것입니다. 확장기 그래프는 원래 그래프를 대수적으로 제곱하여 만들어집니다. 익스팬더 그래프에서 직경은 로그 만이므로 로그 깊이에 …

13 graph-algorithms  nondeterminism  expanders  logspace 

SETH ( 강한 지수 시간 가설 ) 의 비 결정적 확장에 대해 논의한 이 논문 에 따르면 , 윌리엄스는 최근 k-TAUT의 멀린-아더 복잡성에 관한 관련 가설이 거짓임을 보여 주었다. 그러나 그 신문은 개인적인 의사 소통 만 인용합니다. MA 버전의 SETH는 어떻게 거짓으로 증명됩니까? 나는 그것이 공식을 대 수화 하는 것과 …

13 sat  proofs  nondeterminism