«reductions» 태그된 질문

축소는 한 문제를 다른 문제로 변환하는 것입니다. 축소를 사용하는 예는 문제 P를 결정할 수 없는지를 보여주는 것입니다. 이것은 결정 문제 의 결정을 결정 불가능한 문제로 변환하거나 수행함으로써 달성 될 수있다 . 이것이 달성 될 수 있다면, 우리는이 문제 P가 결정 불가능하다는 것을 보여 주었다. 피

2
제곱근 근본 문제?
제곱근 문제 의 합은 두 개의 시퀀스 및 b 1 , b 2 , … , b n 에 양의 정수가 있는지, 합계 ∑ i √에이1,2, ... ,엔a1,a2,…,ana_1, a_2, \dots, a_n비1, b2, … , b엔b1,b2,…,bnb_1, b_2, \dots, b_n 보다 같거나 합보다ΣI√∑나는에이나는−−√∑iai\sum_i \sqrt{a_i} . 이 문제의 복잡성 상태는 열려 있습니다. 자세한 …
3
알고리즘보다 랜덤 성이 감소에 더 큰 영향을 미치는 이유는 무엇입니까?
임의성이 다항식 시간 알고리즘의 검정력을 확장하지 않는 것으로 추측됩니다. 즉, 는 보류하도록 추측됩니다. 반면, 임의성은 다항식 시간 단축 에 상당히 다른 영향을 미치는 것으로 보입니다 . 용감한 및 Vazirani의 공지 된 결과에 의해, S T는 로 감소 U S T 랜덤 다항식 시간 단축을 통해. N P = U P를 …
2
용감한 용감한 바지 라니?
용감한-Vazirani 정리 말한다 정확히 하나 개 만족 할당을 가지는 SAT 식 및 식 시켰음을 구별하기위한 다항식 시간 알고리즘 (결정 론적 또는 랜덤)이 있다면 - 후 NP = RP에게 . 이 정리는 UNIQUE-SAT가 무작위 감소 에서 NP - hard 임을 보여줌으로써 증명됩니다 . 그럴듯한 탈 무작위 화 추측에 따라, 정리는 "유일한 …
5
RSA에서 SAT 로의 빠른 감소
Scott Aaronson의 블로그 게시물은 오늘 흥미로운 열린 문제 / 작업 목록을 복잡하게 나열했습니다. 특히 하나는 내 관심을 끌었다 : 가능한 한 적은 변수와 절을 사용하여 3SAT 인스턴스로 구성된 공개 라이브러리를 구축하면 해결 될 때 주목할만한 결과가 발생합니다. (예를 들어, RSA 인수 분해 문제를 인코딩하는 인스턴스입니다.)이 라이브러리에서 최고의 최신 SAT 솔버의 …
7
NP의 사소한 회원
에있는 언어의 예가 있습니까? 그러나이 언어의 멤버십에 대한 다항식 증인이 있음을 보여줌으로써이 사실을 직접 증명할 수없는 곳은 있습니까?NPNPNP 대신, 언어가 있다는 사실은 언어를 다른 언어로 줄여서 증명할 수 있는데,이 둘 사이의 연결은 사소하지 않고 신중한 분석이 필요합니다.NPNPNPNPNPNP 더 일반적으로, 문제의 몇 가지 흥미로운 사례가 그래서 그들이에 있다고보기는 어렵다입니다 ?NPNPNPNPNPNP 반 …
27 reductions  np 
1
PLANAR SAT에 대한 서브 지수 알고리즘이 알려져 있습니까?
일반 그래프에서 지수가되는 일부 NP-hard 문제는 트리 폭이 최대 이고 트리 폭에서 지수 이기 때문에 평면 그래프에서 하위 지수입니다.4.9 | V( G ) |−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} 기본적으로 NP-complete 인 PLANAR SAT에 대한 하위 지수 알고리즘이 있는지에 관심이 있습니다. 하자 변수에 CNF 식 수 는 AND 번째 절은 .x i i c …
2
퍼머넌트를 사용하여 비 이혼 완전 매칭을 계산하기위한 직접 / 자연 감소가 있습니까?
이분 그래프에서 완전 매칭의 수를 세는 것은 영구적을 계산하는 데 즉시 환원 될 수 있습니다. 이분자가 아닌 그래프에서 완벽하게 일치하는 것을 찾는 것은 NP에 있기 때문에,이 분이 아닌 그래프에서 영구적으로 약간의 감소가 있지만, Cook의 SAT 감소를 사용하여 불완전한 다항식 파열이 발생할 수 있습니다. 퍼머넌트. 비 이중 그래프 에서 행렬 효율적이고 …
6
복잡도 하한을 결정하는 고급 기술
여러분 중 일부는 이 질문을 따르고 있었을 것인데, 이는 연구 수준이 아니기 때문에 폐쇄되었습니다. 그래서 나는 연구 수준에있는 질문의 일부를 추출하고 있습니다. 정렬 감소 또는 EXPTIME 완료 문제와 같은 "간단한"기술 외에도 문제의 시간 복잡성에 대한 하한을 증명하기 위해 어떤 기술이 사용 되었습니까? 특히: 지난 10 년간 개발 된 "최첨단"기술은 무엇입니까? …
2
자연스러운 CLIQUE to K-Color 감소
둘 다 NP-Complete이기 때문에 CLIQUE에서 k-Color로 분명히 축소되었습니다. 사실, 저는 3-SAT에서 k-Color로 축소하여 CLIQUE에서 3-SAT로 축소를 구성하여 하나를 구성 할 수 있습니다. 내가 궁금해하는 것은 이러한 문제 사이에 합리적인 직접 축소가 있는지 여부입니다. SAT와 같은 중간 언어를 설명 할 필요없이 친구에게 간략하게 설명 할 수있는 축소를 말하십시오. 내가 찾고있는 것의 …
5
컴퓨터 지원 NP- 완전성 증명에 대한 궁금
Thomas J. Schaefer 의 논문 "만족도 문제의 복잡성" 에서 저자는 This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be instructed to …
1
이진 곱셈과 패리티 컨볼 루션
이 질문은 이진수의 곱셈과 다항식 곱셈 mod 2의 관계에 관한 것입니다. 질문을 구체적으로 만들기 위해 Knuth vol의 질문에 대한 더 나은 해결책이 있는지 이상적으로 알고 싶습니다. 2 권 3 호 계수가 컴퓨터 단어로 묶여 있으면 이진 컴퓨터에서 일반적인 산술 연산을 사용하여 다항식 모듈로 2의 곱셈을 촉진 할 수 있습니까?” Knuth는 …
9
책에서 감축.
이것은 " 책에서 알고리즘 "의 라인을 따라 입니다. 축소도 알고리즘이지만,이 책의 알고리즘에 대한 질문에 대한 응답이 축소 될 것이라고 생각하는 것은 의심 스럽다. 따라서 별도의 쿼리! 모든 종류의 감소는 가장 환영합니다. 먼저 정점 표지에서 별에 대한 다중 컷으로의 간단한 축소로 시작하겠습니다. 감소는 소스 문제가 확인되면 거의 그 자체로 제안됩니다 (그 …
3
무작위 또는 P / 폴리 감소에서 NP가 완료된 문제.
에서 이 질문에 우리는 (이 숫자 이론의 검증되지 않은 가정에 해당되는 달려 있지만) 결정의 감소에 따라 무작위 감소에서 NP-완료, 그러나 가능하지 않은 자연의 문제를 식별 한 것으로 보인다. 다른 알려진 문제가 있습니까? P / poly 감소에서 NP- 완전이지만 P 감소에서 알려지지 않은 자연적인 문제가 있습니까?
1
USTCONN에 로그 공간이 필요하다는 것을 증명하는 방법?
USTCONN은 그래프 G 의 소스 정점 sss 에서 대상 정점 까지의 경로가 있는지 여부를 결정해야하는 문제이며 , 여기서 모두 입력의 일부로 제공됩니다.tttGGG Omer Reingold는 USTCONN이 L에 있음을 보여 주었다 (doi : 10.1145 / 1391289.1391291 ). 이 증거는 지그재그 제품을 사용 하여 일정한 정도의 확장기 를 구성합니다 . 일정한 정도의 확장기는 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.