«reductions» 태그된 질문

계산 가능성과 복잡성에서 다른 문제의 솔루션을 사용하여 한 문제를 해결할 수있는 문제 간의 매핑을 찾습니다. 프로그래밍 언어 이론의 축소 (예 : 베타 감소)는 [lambda-calculus] 또는 [term-rewriting]을 참조하십시오.

2
정수 인수 분해 문제를 NP-Complete 문제로 줄이기
NP-Intermediate와 NP-Complete의 관계를 이해하려고 애 쓰고 있습니다. Ladner Theorem을 기반으로 한 P! = NP 인 경우 NP에는 있지만 P 또는 NP-Complete에는없는 언어 클래스가 있음을 알고 있습니다. NP의 모든 문제를 NP-Complete 문제로 줄일 수는 있지만 NPI 문제 (정수 분해)와 같은 것으로 의심되는 NPI 문제를 NP-Complete 문제로 줄이는 예제는 보지 못했습니다. 누구든지 …
3
새로운 DAG로 DAG 계약의 최소 크기
DAG가 있습니다. 우리는 노드 F:V→N에프:V→엔F\colon V\to \mathbb N (느슨하게 말해서 노드에 번호를 매 깁니다). 다음 규칙을 사용하여 새로운 방향 그래프를 작성하려고합니다. 동일한 번호의 노드 만 동일한 새 노드로 계약 할 수 있습니다. F(x)≠F(y)⇒x′≠y′F(x)≠F(y)⇒x′≠y′F(x) \neq F(y) \Rightarrow x' \neq y' . (그러나 x′≠y′⇏F(x)≠F(y)x′≠y′⇏F(x)≠F(y)x' \neq y'\nRightarrow F(x) \neq F(y) ) 우리는 새로운 …
2
Hidoku NP가 완료 되었습니까?
Hidoku는 1에서 사이의 미리 채워진 정수 가있는 격자입니다 . 목표는 그리드 에서 연속 정수 (1 ~ ) 의 경로를 찾는 것입니다 . 보다 구체적으로, 그리드의 각 셀은 1에서 까지의 서로 다른 정수를 포함해야 하며 값 각 셀은 값이 인접 셀을 가져야합니다 (대각선 일 수도 있음).n 2 n 2 n 2 …
2
감소 유형 및 경도의 관련 정의
A를 B로 환원 할 수있게하십시오 (예 : . 따라서 를 수락 Turing 머신 은 의 Oracle에 액세스 할 수 있습니다. 허용 Turing 머신 이 이고 대한 오라클 이 . 감축 유형 :A≤BA≤BA \leq BAAABBBAAAMAMAM_{A}BBBOBOBO_{B} 튜링 감소 : 는 여러 번 쿼리 할 수 ​​있습니다 .MAMAM_{A}OBOBO_{B} Karp 축소 : "다항식 시간 …
1
튜링 결정 가능한 문제의 클래스에 대한 완전한 문제가 있습니까?
같은 언어 있습니다 많은 하나의 감소에 따라. 에도 완전한 문제가 있음을 아는 것은 쉽지 않습니다. S. Schmitz [1] 은 과 사이의 일부 클래스를 고려 합니다. 그들은 특별히 만들어진 축소에서이 수업에 대한 완전한 문제를 제시합니다.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} 약한 감소와 관련하여 (일명 )에 대한 완전한 문제가 있습니까? 튜링 감소는 모든 작업을 수행 할 수 …
1
평면 1-in-3 SAT의 평면 조건
Planar 3SAT 는 NP-complete입니다. 평면 3SAT 인스턴스는 다음 규칙을 사용하여 작성된 그래프가 평면 인 3SAT 인스턴스입니다. 모든 및 ¯ x i에 꼭짓점 추가엑스나는엑스나는x_i엑스나는¯엑스나는¯\bar{x_i} 모든 조항에 대한 정점을 추가 씨제이씨제이C_j 모든 쌍 에 대해 모서리를 추가( x나는, x나는¯)(엑스나는,엑스나는¯)(x_i,\bar{x_i}) 정점 (또는 ¯ x i ) 에서 모서리 를 포함하는 절을 나타내는 각 …
2
모든 NP 문제에 다량의 ILP 제제가 있습니까?
Integer Linear Programming은 NP-complete이기 때문에 NP의 문제로 인한 Karp 감소가 있습니다. 나는 이것이 NP의 문제에 대해 항상 다항식 크기의 ILP 공식이 있다는 것을 암시한다고 생각했다. 그러나 나는 사람들이 "이것은 최초의 폴리 사이즈 제형이다"또는 "알려진 폴리 사이즈 제형은 없다"와 같은 것을 쓰는 특정 NP 문제에 관한 논문을 보았다. 그게 내가 당황한 …
1
다이렉트 환원
우리가 알고있는 인 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 …
2
ILP에서 SAT 로의 폴리 타임 감소?
따라서 알려진 바와 같이 ILP의 0-1 결정 문제는 NP- 완료입니다. NP로 표시하는 것은 쉽지만 원래 감소는 SAT에서 나왔습니다. 그 이후로, 많은 다른 NP-Complete 문제는 ILP 공식화 (그러한 문제에서 ILP 로의 감소로 기능 함)를 갖는 것으로 나타났습니다. 왜냐하면 ILP는 매우 유용하기 때문입니다. 인하 에서 ILP는 더 힘들어 자신을하거나 추적 중 하나에 …
2
3- 파티션 문제에서 균형 잡힌 파티션 문제로 감소
3- 파티션 문제는 정수 세트를 3 개의 정수 세트 로 분할하여 각 세트가 주어진 정수 까지 수 있는지 묻습니다 . 균형 분할 문제는 정수를 두 개의 동일한 카디널리티 세트로 분할하여 두 세트의 합계가 같은지 여부를 묻습니다 . 두 문제는 모두 NP- 완전한 것으로 알려져 있습니다. 그러나 3- 파티션은 NP가 완전합니다. …
1
알려진 AM- 완전 문제가 있습니까 / AM- 완전히 정의되어 있습니까?
Arthur-Merlin Complex 클래스에 완전한 문제가 있는지 궁금합니다. 그래프 비 동형화 (GNI)는 AM 의 문제 에 대한 정식 사례 인 것 같지만 아마도 완전한 문제 는 아닙니다. "완전한"문제가 AM에 대해 잘 정의되어 있는지 궁금합니다. AM = BP.NP이므로 AM으로의 "감소"는 결정적 복잡성 클래스에 사용하는 Karp 감소보다는 3SAT의 무작위 감소에 의존하는 것 같습니다. …
2
Karp Reduction은 Levin Reduction과 동일합니까?
정의 : Karp Reduction 언어 AAA 언어로 카프의 환원성 인 BBB 다항식 시간 계산 가능한 기능이 있는지 f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^* 되도록 모든 대 xxx , x∈Ax∈Ax\in A 경우에만, f(x)∈Bf(x)∈Bf(x)\in B . 정의 : 레빈 감소 검색 문제 VAVAV_A 레빈 검색 문제에 환원 인 VBVBV_B 다항식 시간 함수가있는 경우 fff 카프가 감소 시킨다는 …
1
직사각형 조각으로 덮는 NP 경도 (Google Hash Code 2015 Test Round)
Google 해시 코드 2015 테스트 라운드 ( problem statement )는 다음 문제에 대해 질문했습니다. 입력 : 일부 사각형이 표시된 그리드 , 임계 값 T ∈ N , 최대 면적 A ∈ NMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} 출력 : 각 사각형에 적어도 T 표시 사각형이 포함되고 각 사각형에 최대 A의 영역이 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.