«decision-problem» 태그된 질문

법률 코드와 복잡성이 관련된 작업이 있는지 알고 싶습니다. 특히, "이 법률 서와 특정 상황을 감안할 때 피고인이 유죄입니까?"라는 결정 문제가 있다고 가정합니다. 어떤 복잡한 클래스에 속합니까? 카드 게임 Magic : The Gathering이 NP와 Turing-complete 인 것으로 입증 된 결과가 있으므로 법적인 코드에 대해 유사한 결과가 없어야합니까?

64 complexity-theory  np-complete  decision-problem 

Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 void빈 / 하단 유형의 정의에 더 잘 맞는 것처럼 혼란 스럽습니다 . void내가 알 수있는 한 값이 없습니다 . 반환 유형이 void 인 함수는 함수가 아무것도 반환하지 않으므로 일부 부작용 만 수행 할 수 …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

한 쌍의 세트가 있습니다. 각 쌍은 x, y가 범위의 정수에 속하도록 (x, y) 형식 [0,n)입니다. 따라서 n이 4이면 다음 쌍이 있습니다. (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) 이미 쌍이 있습니다. 이제 n/2정수를 반복하지 않도록 쌍을 사용하여 조합을 만들어야합니다 (즉, 각 정수는 적어도 마지막 조합에서 한 번 이상 나타납니다). 다음은 더 …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 각 최적화 / 검색 문제에는 동등한 결정 문제가있는 것으로 알려져 있습니다. 예를 들어 최단 경로 문제 최적화 / 검색 버전 : 무 방향 비가 중 그래프 …

26 complexity-theory  optimization  search-problem  decision-problem 

분명히 NP에는 결정 불가능한 문제가 없습니다. 그러나 Wikipedia 에 따르면 : NP는 응답이 "예"인 경우 결정 론적 튜링 머신에 의해 다항식 시간으로 검증 할 수있는 [.. 증명]을 갖는 모든 결정 문제의 집합입니다. [...] 다항식 시간으로 실행되는 문제에 대한 검증자가있는 경우에만 문제가 NP에 있다고합니다. 이제 다음 문제를 고려하십시오. Diophantine 방정식이 주어지면 …

25 complexity-theory  computability  undecidability  decision-problem 

그 용어들은 나를 혼동합니다. 내가 이해 한 바로는 SAT 솔버 : 제안 논리의 만족도를 결정합니다 (DPLL 또는 로컬 검색 사용). 결정 절차는 특정 결정 가능한 1 차 이론의 만족도를 결정하는 절차입니다. SMT 솔버는 SAT 솔버 + 결정 절차입니다. 정리 증명은 KeY 도구와 같은 Dynamic Logic과 같은 것을 나타냅니다. 제약 사항 …

23 algorithms  terminology  reference-request  decision-problem 

결정 문제가 다음과 같이 정의된다는 생각을 이해합니다. 비용이 C보다 낮은 경로 P가 있습니까? 수신 경로를 확인하여 이것이 사실인지 쉽게 확인할 수 있습니다. 그러나이 기준에 맞는 경로가 없으면 어떻게됩니까? 최고의 경로 TSP 문제를 해결하지 않고 "아니오"라는 대답을 어떻게 확인하고 가장 좋은 방법을 찾는 것이 C보다 비용이 더 비쌉니까?

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

NP 완료 결정 문제가 있습니다. 문제의 인스턴스가 주어지면 문제가 발생하면 YES를 출력하고 그렇지 않으면 NO를 출력하는 알고리즘을 설계하고 싶습니다. (물론 알고리즘이 최적이 아닌 경우 오류가 발생합니다.) 이러한 문제에 대한 근사 알고리즘을 찾을 수 없습니다. 나는 SAT를 구체적으로 찾고 있었고 근사 알고리즘 에 대한 Wikipedia 페이지 에서 다음을 발견했습니다 . 이 …

18 algorithms  satisfiability  approximation  decision-problem 

언어에 컨텍스트가 없는지 테스트하는 알고리즘 / 체계적인 절차가 있습니까? 다시 말해, 대수 형태로 지정된 언어 ( 와 같은 것으로 생각)가 주어지면 언어에 컨텍스트가 없는지 테스트하십시오. 학생들이 모든 숙제를 도와 줄 수 있도록 웹 서비스를 작성한다고 상상해보십시오. 언어를 지정하면 웹 서비스는 "문맥없는"또는 "문맥없는"를 출력합니다. 이것을 자동화하는 좋은 접근 방법이 있습니까?L={anbnan:n∈N}L={anbnan:n∈N}L=\{a^n b^n …

18 algorithms  formal-languages  context-free  decision-problem 

270 페이지 의 Michael Sipser의 계산 이론에서 그는 다음과 같이 씁니다. P = 멤버쉽을 신속하게 결정할 수있는 언어 클래스. NP = 회원 자격을 신속하게 확인할 수있는 언어 클래스. "결정된"과 "확인 된"의 차이점은 무엇입니까?

16 complexity-theory  terminology  decision-problem 

예를 들어 xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) ? 표현은 일반적인 고등학교 대수에서 나왔지만 , 역수, 빼기 또는 나누기가없는 산술 덧셈과 곱셈 (예 : )으로 제한됩니다. 문자는 변수입니다.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 도움이된다면 이외의 숫자 값으로 표현 가능한 표현은 금지 할 수 있습니다 . 즉 또는 또는 아닙니다 .111x2x2x^23x3x3x444 multilinear , 이외의 거듭 제곱 없음 : 은 괜찮지 …

14 complexity-theory  time-complexity  decision-problem 

문제의 결정 가능성이 결정 가능한 문제인지 궁금합니다. 나는 추측하지 않지만 초기 검색 후이 문제에 대한 문헌을 찾을 수 없습니다.

13 computability  undecidability  decision-problem 

나는 Sipser의 책 서신 후 문제에 대한 계산 이론 소개의 일부 페이지를 읽었으며 PCP가 실제로 NP에 있다고 생각합니다. 인증 자이다 : 더미의 입력 구성 연접 문자열로서 와 연접 을 문자열 로 설정 한 다음 와 를 비교 하여 둘이 같은지 확인한 다음 입력이 실제로 PCP에 대한 솔루션이라고 결론을 내립니다.(t1/b1,t2/b2,...tn/bn)(t1/b1,t2/b2,...tn/bn)(t_1/b_1, t_2/b_2,...t_n/b_n)t1,t2,...,tnt1,t2,...,tnt_1, …

12 complexity-theory  decision-problem  np 

따라서 정규 언어 이 정규 언어 의 하위 집합 인지 테스트하는 것은 결정 가능합니다. 두 언어를 모두 DFA로 변환하고 계산 한 다음이 언어가 비어 있는지 테스트 할 수 있기 때문입니다.S R ∩ ˉ SRRRSSSR∩S¯R∩S¯R \cap \bar{S} 그러나이를 위해서는 DFA로 변환해야하므로 입력 NFA의 상태 수에 따라 DFA 및 테스트 알고리즘이 기하 …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

따라서 두 개의 DFA가 주어지면 동일한 언어를 생성 할 수 있는지를 결정하는 데 문제가 있습니까? 나는 두 CFL의 평등이 결정 불가능하다는 것을 이미 알고 있습니다. 두 DFA의 평등은 어떻습니까? DFA와 관련된 대부분의 문제를 결정할 수 있다는 점을 고려할 때, 이것도 결정할 수 있습니까?

11 computability  automata  finite-automata  decision-problem