튜링 기계의 정지 문제는 아마도 정식 결정 불가능한 세트 일 것입니다. 그럼에도 불구하고 거의 모든 인스턴스를 결정하는 알고리즘이 있음을 증명합니다. 따라서 정지 문제는 복잡성 이론의 "블랙홀"현상을 나타내는 사람들의 증가하는 수집 중에 있으며, 실현 불가능하거나 결정 불가능한 문제의 어려움은 문제가있는 매우 작은 영역 인 블랙홀에 국한됩니다. 쉬운. [Joel David Hamkins와 Alexei …
유명한 동형 추측 버먼과 Hartmanis의는 모든 것을 말한다 - 완전한 언어가 서로 다항식 시간 동형 (P-동형)입니다. 추측의 중요한 의미는 P ≠ N P를 암시한다는 것 입니다. 그것은 1977 년에 출판, 증거를 지원하는 조각은 모든 것을이었다 N P 당시에 알려진 - 완전한 문제가 실제로 P-동형했다. 사실, 그들은 모두 패딩 가능했습니다 . …
글쎄, 제목은 거의 모든 것을 말합니다. 위의 흥미로운 질문은 내 블로그에서 논평자 Jay가 질문 한 것입니다 ( 여기 및 여기 참조 ). 나는 대답이 그렇고 비교적 간단한 증거가 있다고 생각하지만, 그것을 직접 볼 수는 없습니다. (거의 대략 의 언어가PRPRP^R 가 아닌 경우 과 무한한 알고리즘 상호 정보를 가져야 하며,이 경우 …
한정된 트리 폭 그래프 에서 다항식 시간으로 많은 하드 그래프 문제를 해결할 수 있습니다. 실제로, 교과서는 전형적으로 예를 들어 독립 세트를 예로 사용하는데, 이는 국소 문제 이다. 대략 로컬 문제는 모든 정점의 작은 이웃을 검사하여 솔루션을 확인할 수있는 문제입니다. 흥미롭게도, 전역 특성 의 문제 (해밀턴 경로) 조차도 한정된 트리 폭 …
Max-Sat 문제는 가능한 한 많은 절을 만족시키는 CNF 공식의 할당을 찾도록 요청합니다. 더 간단한 문제 SAT의 경우 다항식 시간으로 해결할 수있는 알려진 특수한 사례가 많이 있습니다. 예를 들어, 다항식 시간에서 2-SAT를 해결할 수 있습니다. Max-Sat의 경우 2-CNF 수식의 경우에도 Max-Sat이 NP-hard이므로 상황이 다릅니다 (각 절에는 2 개의 변수 만 포함됨). …
특정 문제를 해결하려고하는데 automata 이론을 사용하여 해결할 수 있다고 생각했습니다. 다항식 시간에 어떤 오토마타 모델이 격리를 결정할 수 있는지 궁금합니다. 즉 기계 있는 경우 효율적으로 테스트 할 수 있습니다 .M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) 기억해야 할 것은 DFA와 역수 제한 카운터 머신입니다. 카운터 수가 고정되어 있습니다 ( 이 백서 참조 ). …
무 방향 그래프의 시퀀스 이 있습니까? 여기서 각 은 정확히 개의 정점과 문제가 있습니다{ C엔}n ∈ N{씨엔}엔∈엔\{C_n\}_{n\in \mathbb N}씨엔씨엔C_n엔엔n 주어 및 그래프 이다 의 유도 서브 그래프 ?엔엔n지지G씨엔씨엔C_n지지G 클래스에있는 것으로 알려져 있습니까? (예를 들어, 경우 이는 NP- 완료 크리크 문제입니다.)피피\mathsf{P}씨엔= K엔씨엔=케이엔C_n=K_n
이 문제는 최근 블로그 게시물 에서 나왔습니다 . TSP 둘러보기가 제공되었다고 가정합니다. 최소 한도인지 확인하는 것은 공동 NP 완료입니까? 다음은 NP-complete 문제입니다. 인스턴스 : 양의 정수로 가중치를 부여한 간선과 G의 모든 노드를 방문하는 간단한주기 C가있는 완전한 그래프 G가 제공됩니다. 질문 : G에서 D의 모든 모서리의 총 무게가 G에서 C의 모든 …
그래프 의 트리 폭 을 계산하고 싶습니다 . 하위 그래프 동형에 대한 VF2 와 같은 다른 NP-hard 그래프 문제에 대한 휴리스틱이 실제로 있으며 igraph 에서 코드를 사용할 수 있습니다 . 나는 그래프에서 그것들을 시험해 보았고 내 데이터에 대해 매우 빠르게 실행되는 것을 발견했습니다. 비슷한 맥락에서 트리 폭 계산을위한 빠른 알고리즘이 …
현재 그래프 동형화 (GI) 문제에 대한 문헌 조사를하고 있습니다. 다음과 관련된 공개 질문을 알고 싶습니다. GI의 고정 매개 변수 다루기 쉬운 문제가있는 그래프 매개 변수는 무엇입니까? GI의 다항식 시간 용해도를 고정시킴으로써 그래프 파라미터가 무엇인지는 알려져 있지 않다. 많은 그래프 클래스로 제한 될 때 GI의 복잡성은 일반 GI (GI-Completeness)와 같습니다. GI …
두 글자가 같지 않도록 Σ 위에있는 모든 k 문자 문자열 로 구성된 언어 L k - d i s t i n c t를 고려하십시오 .Lk−distinctL_{k-distinct}kkΣ\Sigma L k - d i s t i n c t : = { w = σ 1 σ 2 . . . σ …