«decision-problem» 태그된 질문

언어가 규칙적인지 테스트하는 알고리즘 / 체계적인 절차가 있습니까? 다시 말해, 대수 형태로 지정된 언어 ( 와 같은 것으로 )에 언어가 정규 언어인지 여부를 테스트하십시오. 학생들이 모든 숙제를하도록 돕기 위해 웹 서비스를 작성한다고 상상해보십시오. 사용자는 언어를 지정하고 웹 서비스는 "일반", "정규 아님"또는 "모름"으로 응답합니다. (웹 서비스가 가능한 한 자주 "모름"이라고 대답하고 …

11 algorithms  formal-languages  regular-languages  decision-problem 

다음은 NP-complete 문제입니까? (그렇습니다). 입력 : 에지 세트가 두 개의 에지 분리 된 간단한 사이클로 분해 될 수있는 무 방향 그래프 ( 입력의 일부 는 아님 ).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) 질문 : 길이가 보다 큰 간단한주기가 있습니까?kGGGkkk 분명히 문제는 NP에 있고 의 최대 정도 는 이지만 도움이되지 않는 것 같습니다.≤ 4GGG≤4≤4\leq …

11 graph-theory  np-complete  decision-problem 

다음 문제에 대한 알고리즘이 있습니까? 튜링 기계 감안할 때 언어 결정 , 튜링 기계가 있습니까 결정 이되도록 ? L M 2미디엄1M1M_1엘LL미디엄2M2M_2t 2 ( n ) = o ( t 1 ( n ) )엘LL티2( n ) = o ( t1( n ) )t2(n)=o(t1(n))t_2(n) = o(t_1(n)) 기능 및 는 각각 Turing …

11 complexity-theory  computability  undecidability  decision-problem 

알고리즘에 대한 입력으로 대수를 제공한다는 의미를 지정하고 그것에 대해 많은 문헌을 찾지 못했습니다. 따라서 먼저 필드에 대한 대수의 복잡성 분석 주제를 다루고 의사 결정 문제를 명확하게 정의 하는 책이나 논문을 추천 할 수 있는지 묻고 싶습니다 . 파고 난 후에 뭔가를 발견 하고 여기에서 공유하고 더 나아가 정의가 의미가 있고 …

11 computability  terminology  decision-problem 

3 기호 1 차원 셀룰러 오토마타에 대해 정지 문제가 결정 가능한지 알아 내려고 노력했습니다. 정의 하자 의 시간 단계에서 시스템의 구성을 나타내는 . 보다 공식적으로 여기서 는 알파벳입니다.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA 정의. 셀룰러 오토 마톤은 구성에 정지 된 , 만약 우리가있다 .f(w,i)f(w,i)f(w,i)∀k∈N∀k∈N\forall k\in \mathbb{N}f(w,i)=f(w,i+k)f(w,i)=f(w,i+k)f(w,i)=f(w,i+k) 주어진 세포 오토 마톤의 정지 문제는 …

10 computability  decision-problem  halting-problem  cellular-automata 

주어진 숫자 와 같이 에는 숫자 의 순열 인 되도록A 1 ≤ A 2 ≤ . . . ≤ K K Σ 난 = 1 난 = K ( 2 K + 1 ) I 1 , I 2 , . . . , i 2 k 1 , 2 …

10 np-complete  decision-problem 

나의 책은 이것을 말한다 의사 결정 문제 B가 P에 있고 A가 B로 감소하면 의사 결정 문제 A는 P에 있습니다. 결정 문제 B는 B가 NP에 있으면 NP가 완전하고 NP에있는 A의 모든 문제에 대해 A는 B로 감소합니다. C가 NP에 있으면 결정 문제 C는 NP- 완료이고 일부 NP- 완료 문제 B에 대해서는 B가 …

10 complexity-theory  np-complete  decision-problem 

이 부분 집합 합계 문제는 쉽게 / 알려져 있습니까? 주어진 정수 mmm, 양의 정수 집합으로 모든A={x1,x2,...,xn}A={x1,x2,...,xn}A = \{x_1, x_2, ..., x_n\}xixix_i 가 최대를k=2k=2k=2 비트로 설정 111 (xi=2bi1+2bi2,bi1,bi2≥0xi=2bi1+2bi2,bi1,bi2≥0x_i = 2^{b_{i_1}}+2^{b_{i_2}},\;\; b_{i_1},b_{i_2}\geq 0); 서브 세트가 있습니까A′⊆AA′⊆AA' \subseteq A 요소의 합이 같도록 mmm ? 그것은이다 PP\sf{P}? 아직도 그래요NPNP\sf{NP}-완전한? 그리고 모든 경우 xixix_i 기껏해야 …

9 complexity-theory  reference-request  decision-problem