«complexity-theory» 태그된 질문

문제 해결의 (계산적) 복잡성과 관련된 질문

3
예 또는 아니오가 아닌 결정 문제 대“실제”문제
나는 몇 가지 문제가에 근접하기 어려운 것을 여러 곳에서 읽기 (이다 NP-하드 근사치 를). 그러나 근사는 결정적인 문제가 아닙니다. 대답은 예 또는 아니오가 아닌 실수입니다. 또한 각각의 원하는 근사 계수에 대해 많은 정답과 오답이 있으며, 이는 원하는 근사 계수로 바뀝니다! 그렇다면이 문제가 NP-hard라고 어떻게 말할 수 있습니까? (상기 제 탄환 …
2
다항식 시간에 해결할 수 있지만 다항식 시간에 확인할 수없는 작업이 있습니까?
내 동료와 나는 방금 우리 교수 중 한 명에게 연락했다. 이 메모에는 다항식 시간 (PF 클래스에 있음)으로 해결할 수 있지만 다항식 시간에 검증 할 수없는 (NPF 클래스에는 없음) 작업이 있습니다. 이 클래스들에 대해 설명하기 위해 : 우리는 입력 X를 얻고 출력 X를 생성하여 (X, Y)가 우리의 작업을 나타내는 R에있다. 다항식 …
4
P가 아닌 NP 완료가 아닌 NP 문제가 있습니까?
에서 알려진 문제가있는 (그리고에 없음) 완료? 내 이해는 이것이 사실 인 경우 현재 알려진 문제는 없지만 가능성으로 배제되지 않았다는 것입니다. NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP} 인 문제가있는 경우 (그리고 \ mathsf {P} )하지만 \ mathsf {당기 순이익 \ 텍스트 {-} 전체가} , 이것은 그 문제의 인스턴스와 사이에 존재하는 동형의 결과 일 것이다 \ mathsf …
1
쓰레기통을 최소한의 움직임으로 채우는 것은 NP-hard입니까?
있다 쓰레기통과 공의 유형. 번째 빈 라벨 갖는다 에 대해 ,이 타입의 볼의 예상 번호 .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj 유형의 볼로 시작 합니다. 유형의 각 볼 은 가중치 를 가지며 bin 가 가중치 볼을 빈에 . 이전 상태를 유지하는 볼의 분포를 실현 가능한 솔루션이라고합니다.bjbjb_jjjjjjjwjwjw_jiiicicic_i bin 유형의 공이 있는 실행 가능한 솔루션을 …
2
왜 PSPACE ≠ EXPTIME이라고 믿습니까?
PSPACE가 일반적으로 EXPTIME과 다른 이유를 직관적으로 이해하는 데 어려움을 겪고 있습니다. PSPACE가 입력 크기 의 공간 다항식에서 해결할 수있는 문제의 집합 인 경우 지수 시간이 더 크게 발생하고 지수 공간을 사용하지 않는 일련의 문제 가있을 수 있습니까?f(n)f(n)f(n) Yuval Filmus의 답변은 이미 매우 도움이됩니다. 그러나 PSPACE ≠ EXPTIME (예 : PSPACE가 …
2
NP에 없지만 결정 가능한 NP-Hard 문제
NP-Complete 가 아니며 결정 불가능한 NP-Hard 문제를 쉽게 이해할 수있는 좋은 예가 있는지 궁금합니다 . 예를 들어, 정지 문제 는 NP-Complete가 아니라 결정 불가능한 NP-Hard입니다. 나는 이것이 다항식 시간이 아닌 해결책을 검증 할 수있는 문제라는 것을 의미한다고 생각합니다. (이 경우가 아니면이 설명을 수정하십시오).
4
다항식 시간으로 Traveling Salesman Problem에 대한 솔루션을 확인하려면 어떻게해야합니까?
따라서 TSP (Travelling salesman problem) 의사 결정 문제는 NP 완료 입니다. 그러나 다항식 시간에서 최적의 솔루션을 찾을 수있는 방법이 없기 때문에 TSP에 대한 주어진 솔루션이 실제로 다항식 시간에서 최적임을 확인할 수있는 방법을 이해하지 못합니다 (P에 문제가 없기 때문에)? 실제로 다항식 시간에 검증을 수행 할 수 있다는 것을 알 수있는 방법이 …
1
유 방향 그래프에서 두 노드 사이의 간단한 경로 수를 계산하는 것이 얼마나 어려운가요?
유 방향 그래프에서 두 노드 사이에 경로가 있는지 여부를 결정하는 쉬운 다항식 알고리즘이 있습니다 (심도 우선 검색으로 일상적인 그래프 탐색 만 수행). 그러나 놀랍게도 존재 여부를 테스트하는 대신 경로 수 를 계산 하려는 경우 문제가 훨씬 어려워집니다 . 우리는 재사용 정점에 경로를 허용하는 경우 다음에서 경로의 수를 찾을 수있는 동적 …
4
일반화 된 3SUM (k-SUM) 문제?
3SUM의 문제 시도 3 개 식별하는 정수 세트로부터는 의 크기 이되도록 .S n a + b + c = 0a,b,ca,b,ca,b,cSSSnnna+b+c=0a+b+c=0a + b + c = 0 이차보다 더 나은 해결책이 없다고 추측된다. 즉 . 또는 다르게 말하면 입니다.o ( n log ( n ) + n 2 )o(n2)o(n2)\mathcal{o}(n^2)o(nlog(n)+n2)o(nlog⁡(n)+n2)\mathcal{o}(n \log(n) + …
3
상대화가 왜 장벽인가?
우리가 가질 수있는 오라클, P=NPP=NP\mathsf{P} = \mathsf{NP} , 그리고 친구에게 P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} 를 가질 수있는 오라클이 있다는 베이커-길-솔로 니아의 증거를 설명 할 때 , 왜 그런지에 대한 의문이 생겼습니다. 이러한 기술은 P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} 문제 를 입증하는 데 적합 하지 않으며 만족스러운 답변을 드릴 수 없습니다. 좀 더 구체적으로 …
1
많은 분할 조건을 가진 부분 집합 합계 문제
를 자연수의 집합으로 하자 . 분할 성 부분 순서에 따라 를 고려 합니다. 방해S s 1 ≤ s 2SSSSSSs1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V 반 사슬 }}\} . 다중 집합이 SSS 에있는 부분합 합 문제를 고려하면 \ alpha (S) …
2
C의 void 유형이 빈 / 하단 유형과 유사하지 않은 이유는 무엇입니까?
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 
3
SAT 인스턴스의 난이도 측정
SAT 인스턴스가 주어지면 인스턴스를 해결하기가 얼마나 어려울 지 예상하고 싶습니다. 한 가지 방법은 기존 솔버를 실행하는 것이지만, 이러한 종류의 문제는 난이도 추정의 목적을 무효화합니다. 두 번째 방법은 랜덤 SAT에서 위상 전이에 대해 수행되는 것처럼 절 대 변수의 비율을 찾는 것일 수 있지만 더 나은 방법이 존재한다고 확신합니다. SAT 사례를 보면 …
6
요소를 반복하지 않고 한 쌍의 세트에서 조합 생성
한 쌍의 세트가 있습니다. 각 쌍은 x, y가 범위의 정수에 속하도록 (x, y) 형식 [0,n)입니다. 따라서 n이 4이면 다음 쌍이 있습니다. (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) 이미 쌍이 있습니다. 이제 n/2정수를 반복하지 않도록 쌍을 사용하여 조합을 만들어야합니다 (즉, 각 정수는 적어도 마지막 조합에서 한 번 이상 나타납니다). 다음은 더 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.