«exp-time-algorithms» 태그된 질문

4
Metric TSP의 근사 알고리즘
메트릭 TSP는 내에서 근사 될 수 있으며 다항식 시간에서 보다 근사 할 수는 없습니다 . 지수 시간에 (예를 들어, 이하 근사 솔루션을 찾는 것에 대해 아무것도 알려져있다 만 다항식 공간 단계)? 예를 들어 어떤 시간과 공간에서 거리가 최대 인 투어를 찾을 수 있습니까?1.51.51.5123122123122123\over 1222n2n2^n1.1×OPT1.1×OPT1.1\times OPT
2
클래식 SAT에서 양자 알고리즘이 개선됩니까?
고전 알고리즘은 시간 (무작위 화) 또는 시간 (결정적)으로 3-SAT를 해결할 수 있습니다 . (참고 : SAT 최고 상한 )1.3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n 비교를 위해, 양자 컴퓨터에서 Grover 알고리즘을 사용 하면 무작위 로 의 솔루션을 찾고 제공 할 수 있습니다 . (여전히 솔루션의 존재 여부에 대한 지식이 여전히 필요할 수 있지만, 그 범위가 여전히 …
3
정확하게 슈퍼 스트링 해결
가장 짧은 슈퍼 스트링 문제의 정확한 복잡성에 대해 알려진 것은 무엇입니까? 그것은보다 더 빨리 해결 될 수 ? TSP로 줄이지 않고 가장 짧은 수퍼 스트링을 해결하는 알려진 알고리즘이 있습니까?O∗(2n)O∗(2n)O^*(2^n) UPD : 는 다항식을 억제합니다.O∗(⋅)O∗(⋅)O^*(\cdot) 가장 짧은 수퍼 스트링 문제는 주어진 문자열 집합의 각 문자열을 포함하는 가장 짧은 문자열 인 대답입니다. …
1
모노톤 CNF가 모노톤 DNF를 내포하는지 여부를 결정하는 문제
다음 결정 문제를 고려하십시오 입력 : 모노톤 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입니다. 또한,도 세스되지 않는 프로그램을 …
3
실제 크기에서 지수 알고리즘이 다항식 알고리즘보다 빠르게 실행되는 문제의 예는 무엇입니까?
실제 문제의 크기 에 대해 지수 알고리즘이 가장 잘 알려진 다항식 시간 대응보다 훨씬 빠르게 실행되는 모든 문제 (바람직하게는 다소 잘 알려진)를 알고 있습니까 ? 예를 들어, 문제의 실제 크기가 이고 두 개의 알려진 알고리즘이 있다고 가정합니다 . 하나는 2 n 이고 다른 하나는 상수 c에 대해 n c 입니다 …
1
비 볼록 이차 프로그래밍을위한 정확한 알고리즘
이 질문은 박스 제약 (box-QP)을 가진 2 차 프로그래밍 문제, 즉 양식의 최적화 문제에 관한 것입니다. 최소화 하고 x ∈ [ 0 , 1 ] n에 적용 합니다.에프( x ) = x티A x + c티엑스f(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x ∈[0,1 ]엔x∈[0,1]n\mathbf{x} \in [0,1]^n 가 양의 반정의 라면 …
2
?
이 가능하다는 ? 그러한 격리의 흥미로운 결과가 있습니까? 지수 시간 가설과 모순됩니까?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))
1
SETH의 계산 모델
Impuriliazzo, Paturi 및 Calabro, Impagliazzo, Paturi 는 ETH (Exponential-Time Hypothesis) 및 SETH (강하게 지수-시간 가설)를 도입했습니다. 대략 SETH는 시간에 SAT를 해결하는 알고리즘이 없다고 말합니다 . 1.99엔1.99n1.99^n 나는 그것이 SETH를 깨뜨리는 것이 무엇을 의미하는지 궁금했습니다. 우리는 확실히 단계 미만으로 SAT를 해결하는 알고리즘을 찾아야 하지만, 어떤 계산 모델을 사용해야하는지 잘 모르겠습니다. 내가 …
1
EXP- 완전한 문제 대 서브 지수 알고리즘
문제 가 EXP- 시간 완료라는 사실이 가 있지 않다는 것을 의미 합니까?AAAAAADTIME(2o(n))DTIME(2o(n))DTIME(2^{o(n)}) 시간 계층 정리에 따르면 은 포함되지 않습니다 . 그럼에도 불구하고 이것은 모든 EXP-complete 문제 대한 하위 지수 시간 알고리즘의 존재를 즉시 배제하지 않는 것 같습니다 .EXP 문제 인스턴스 를 의 문제 y의 인스턴스 y로 줄일 때 우리는 다항식을 …
2
0-1 프로그래밍을위한 정확한 지수 시간 알고리즘
순진 알고리즘을 능가하는 다음 문제에 대한 알려진 알고리즘이 있습니까? 입력 : A 시스템 의 m 선형 불평등.A x ≤ bAx≤bAx \le b미디엄mm 출력 : 실행 가능한 솔루션 경우).엑스※∈ { 0 , 1 }엔x∗∈{0,1}nx^*\in \{0,1 \}^n 와 b 에 정수 항목이 있다고 가정하십시오 . 최악의 상황에 관심이 있습니다.ㅏAAbbb
2
서브 세트 번호 매기기
수정하십시오 k≥5k≥5k\ge5. 충분히 큰 nnn , { 1 ... T }의 양의 정수 로 크기가 정확히 n / k 인 {1..n}{1..n}\{1..n\} 의 모든 서브 세트에 레이블을 지정하려고 합니다. 이 레이블이 다음 속성을 만족시키기를 원합니다. 정수 세트 S , st가 있습니다n/kn/kn/k{1...T}{1...T}\{1...T\}SSS 경우 kkk 크기의 부분 집합 n/kn/kn/k 하지 교차 할 (즉, …
2
음수가 아닌 데이터가있는 0-1 프로그램에 대한 정확한 지수 시간 알고리즘
순진 알고리즘을 능가하는 다음 문제에 대한 알려진 알고리즘이 있습니까? 입력 : 행렬 AAA및 벡터 (여기서 의 모든 엔트리 는 음이 아닌 정수임).b,cb,cb,cA,b,cA,b,cA,b,c 출력 : 최적 솔루션 ~ .x∗x∗x^*max{cTx:Ax≤b,x∈{0,1}n}max{cTx:Ax≤b,x∈{0,1}n}\max \{ c^T x : Ax \le b, x \in \{ 0,1\}^n \} 이 질문은 이전 질문 0-1 프로그래밍 에 대한 정확한 지수 …
2
TSP를위한 Held-Karp 알고리즘의 시간 복잡성
Michael Held와 Richard M. Karp의 " 시퀀싱 문제에 대한 동적 프로그래밍 접근 방법 "을 살펴보면 다음 질문을하게되었습니다. 왜 TSP에 대한 알고리즘의 복잡성이 (p. 199), 요인 어디에서 가져 ? 내가 올바르게 이해한다면 은 도시의 각 하위 집합에 대한 추가 수를 의미합니다. 그럼 왜 각 추가 작업은 나에게 알 수없는와 결합 작업? …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.