나는 BIG-의 측면에서, 가장 잘 알려진 알고리즘 무엇인가 궁금하네요 정수 선형 계획법을 해결하기 위해, 표기?영형영형O 나는 문제가 완전 하다는 것을 알고 있으므로 다항식을 기대하지 않습니다. 그리고 CPLEX와 같은 실제 응용 프로그램에 사용되는 휴리스틱이 많이 있지만 정확한 알고리즘의 공식적인 최악의 복잡성에 더 관심이 있습니다.엔피엔피NP 일부 - 완전한 문제는 시간의 알고리즘이 및 …
나는 "전산 복잡성 : 현대적 접근"(2009) 책에 언급 된 Karp-Lipton 정리의 증거를 이해하려고 노력하고있다. 특히,이 책은 다음을 설명합니다. 카르 프-리프 톤 정리 만약 NP 다음 PH .P ∖ p o l y⊆⊆\subseteq 피∖ p o l y피∖피영형엘와이P_{\backslash poly} = Σ피2=Σ2피= \Sigma^p_2 증명 : 정리 5.4, 저자는 보여 PH가 ,이 표시에 …
예를 들어 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 , 이외의 거듭 제곱 없음 : 은 괜찮지 …
최근에 한 학생이 NP 경도 증거를 확인하도록 요청했습니다. 그들은 다음 라인을 따라 축소를 수행했습니다. 내 문제 에 대해 NP- 완전으로 알려진 이 문제 줄입니다 (폴리 타임 다 대일 감소로) 는 NP-hard입니다.P′P′P'PPPPPP 내 대답은 기본적으로 다음과 같습니다. 이후 의 값을 가진 경우가 당신이 감소를 건너 뛸 수 있도록이 하찮게 튜링 계산할 …
두 개의 숫자 과 r 이 주어지고 l ≤ i에 대해 max ( i ⊕ j ) 를 찾고 싶다고 가정 해 봅시다 .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)} .l≤i,j≤rl≤i,j≤rl\le i,\,j\le r 순진한 알고리즘은 단순히 모든 가능한 쌍을 확인합니다. 예를 들어 루비에는 다음이 있습니다. def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each …
이것은 Wiring Length Minimization 에서이 질문에 대답하려고하는 동안 나타났습니다 . 나는 이것을 "일부 다처제 결혼"문제라고 부르려고했지만 인터넷은 새끼 고양이였습니다. 예이! 명이 채택해야하는 고양이 , 이 있다고 가정 합니다. 각각의 고양이, 및 각 사람 ( )에 대해 비용 . 모든 새끼 고양이를 입양시키는 데 드는 총 비용을 최소화하고 싶습니다. 제약 조건도 …
문제 입력 길이 과 관련하여 런타임 을 알고 있는 튜링 머신 이 의 런타임 입니까?O ( g ( N ) ) N M ∈ O ( F ( N ) )MMMO(g(n))O(g(n)){O}(g(n))nnnM∈O(f(n))M∈O(f(n))M \in {O}(f(n)) 와 의 일부 사소한 쌍에 대해 위의 문제를 결정할 수 있습니까? 경우 솔루션은 사소합니다 .f g ( …
동등한 상태를 찾아 병합하여 DFA를 최소화 할 수 있지만 NFA와 동일한 결과를 얻을 수없는 이유는 무엇입니까? 증거가 이해하기 쉽지 않은 한, 나는 증거 나 그와 비슷한 것을 찾고 있지 않습니다. DFA 최소화가 아닌 경우 NFA 최소화가 어려운 이유를 직관적으로 이해하고 싶습니다.
이 두 가지 주제에 대한 여러 가지 관련 질문이 있습니다. 첫째, 대부분의 복잡한 텍스트는 클래스에만 적용됩니다 . 연구를 더 깊이 다루는 좋은 자료가 있습니까? 예를 들어 아래의 모든 질문에 대해 설명합니다. 또한, 는 병렬화와의 연관성으로 인해 여전히 상당한 양의 연구를보고 있다고 가정 하지만 틀릴 수 있습니다. 복잡성 동물원의 섹션은별로 도움이되지 …
다음은 잘 알려진 문제입니다. 양의 정수 배열 가 주어지면 배열에 없는 가장 작은 양의 정수를 출력하십시오.A[1…n]A[1…n]A[1\dots n] 문제는 공간 및 시간 에서 해결 될 수 있습니다 . 배열을 읽고, 1 , 2 , … , n + 1이 발생 했는지 여부에 관계없이 O ( n ) 공간 에서 추적 상태를 …
Integer Linear Programming은 NP-complete이기 때문에 NP의 문제로 인한 Karp 감소가 있습니다. 나는 이것이 NP의 문제에 대해 항상 다항식 크기의 ILP 공식이 있다는 것을 암시한다고 생각했다. 그러나 나는 사람들이 "이것은 최초의 폴리 사이즈 제형이다"또는 "알려진 폴리 사이즈 제형은 없다"와 같은 것을 쓰는 특정 NP 문제에 관한 논문을 보았다. 그게 내가 당황한 …
우리가 알고있는 인 N L 로 정리 Immerman-Szelepcsényi 이후 정리 S t - C O N N E C t 난 V 나 마에 Y가 인 N L - H R에 D 따라서 S t - N Ost-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}st-connectivityst-connectivityst\text{-}connectivityNL-hardNL-hard\mathsf{NL\text{-}hard} 는 s t - c o n n e c t i …