«np-complete» 태그된 질문

1
일반화 된 15- 퍼즐에 대한 의사 결정 문제의 NP- 완전성
나는 유명한 15- 퍼즐 의 자연 일반화에 관심이 있습니다. 여기서 주어진 숫자를 모두 정렬 할 때까지 블록을 슬라이드해야합니다 (일반적으로 1 블록의 간격이 있습니다). 이제 일반화는 퍼즐의 크기를 15에서 로 확장하는 것인데 , 여기서 한 필드는 자유입니다. 나는 작은 그림을 만들었습니다 (파선 화살표는 허용 된 움직임을 보여주고 아래쪽 구성은 해결 된 …
3
SAT 오라클이 다항식 시간 알고리즘의 속도를 높이는 데 얼마나 도움이됩니까?
오라클 에 대한 액세스 는 모든 항목에 대해 대폭적인 초고속 속도를 제공합니다 (세트가 비어 있지 않다고 가정). 그러나 \ bf P 가이 오라클 액세스로부터 얼마나 많은 이점을 얻을 수 있는지는 분명하지 않습니다 . 물론 \ bf P 의 속도 향상은 다항식 일 수는 없지만 여전히 다항식 일 수 있습니다. 예를 …
6
준 다항식 시간에는 자연스러운 문제가 있지만 다항식 시간에는 문제가 없습니까?
라즐로 바바이 (László Babai)는 최근 그래프 동 형사상 문제가 준 다항식 시간 에 있음을 증명했다 . 시카고 대학교에서의 그의 강연 을 참조하십시오. Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 의 대화 내용을 참고하십시오 . Ladner의 정리에 따르면 인 경우 가 비어 있지 않습니다. 즉 …
1
“거의 쉬운”NP- 완전 문제
거의 모든 입력에서 L 을 올바르게 결정하는 다항식 시간 알고리즘이있는 경우 언어 엘LL 은 P- 밀도-클로즈 라고 가정하겠습니다 .엘LL ∈A∈A\in L Δ ALΔAL\Delta AALL임n → ∞| (LΔA)∩{0,1 }엔|2엔= 0limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap \{0,1\}^n|}{2^n}=0.에이AA엘LL엘LL 참고 드문 드문 일 필요는 없습니다. 예를 들어, 비트 문자열이있는 경우 이므로 지수 지수로 여전히 소실됩니다. .2 …
1
동 형사상에 대한 자연스런 후보?
유명한 동형 추측 버먼과 Hartmanis의는 모든 것을 말한다 - 완전한 언어가 서로 다항식 시간 동형 (P-동형)입니다. 추측의 중요한 의미는 P ≠ N P를 암시한다는 것 입니다. 그것은 1977 년에 출판, 증거를 지원하는 조각은 모든 것을이었다 N P 당시에 알려진 - 완전한 문제가 실제로 P-동형했다. 사실, 그들은 모두 패딩 가능했습니다 . …
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
1
NP 완료 문제를 사용한 비밀번호 해싱
일반적으로 사용되는 비밀번호 해싱 알고리즘은 오늘날 다음과 같이 작동합니다. 비밀번호에 소금을 바르고 KDF에 공급합니다. 예를 들어, PBKDF2-HMAC-SHA1을 사용하는 경우 비밀번호 해싱 프로세스는 DK = PBKDF2(HMAC, Password, Salt, ...)입니다. HMAC는 패딩 된 키가있는 2 라운드 해싱이고 SHA1은 일련의 순열, 시프트, 회전 및 비트 연산을 기본으로하기 때문에 전체 프로세스는 특정 방식으로 구성된 …
1
고유 한 솔루션의 약속 하에서 효율적인 알고리즘을 인정하는 NP-Complete 문제
나는 최근 Valiant와 Vazirani 의 매우 훌륭한 논문을 읽었으며 이면 만족스럽지 않거나 독특한 해결책이 있다고 약속하더라도 SAT를 해결하는 효율적인 알고리즘이 없다는 것을 보여줍니다 . 따라서 SAT가 최대 하나의 솔루션이 있다고 약속하더라도 효율적인 알고리즘을 인정하지 않음을 보여줍니다.N P ≠ R P엔피≠아르 자형피\mathbf{NP \neq RP} 엄숙한 축소 (솔루션 수를 유지하는 축소)를 통해 …
2
주어진 정점 쌍 사이의 최대 거리를 줄이려면 해밀턴 경로에 일치 항목을 추가하십시오.
다음 문제의 복잡성은 무엇입니까? 입력 : 해밀턴 경로에서 K의 NHHHKn케이엔K_n 정점 쌍의 서브 세트R⊆[n]2아르 자형⊆[엔]2R \subseteq [n]^2 양의 정수 k케이k 쿼리 : 모든 ( v , u ) ∈ R , d G ( v , u ) ≤ k에 대해 일치하는 있습니까? (여기서, G = ( [ N ] …
2
무한히 많은 문자열을 제외하고 NP 완전한 언어의 폴리 타임 수퍼 셋
임의의 NP 완전한 언어에 대해 항상 보완 시간이 무한한 다중 시간 수퍼 셋이 있습니까? /cs//q/50123/42961 에서 수퍼 셋에 무한 보완을 요구하지 않는 간단한 버전이 요청되었습니다. 이 질문의 목적으로 라고 가정 할 수 있습니다 . Vor가 설명했듯이 이면 답은 "아니오"입니다. ( 인 경우 은 NP- 완료입니다. 분명히 수퍼 셋 은 무한대이고 …
1
가장 느린 1 대 감소?
가 complete 임을 증명하고자 할 때 , 표준 접근법은 알려진 complete 문제를 대한 다항식 시간 계산 가능한 다 대일 감소를 나타내는 것 입니다. 이러한 맥락에서 우리는 감소의 실행 시간에 긴밀한 경계가 필요하지 않습니다. 그것은 것으로 충분 어떤 것이 가능성이 매우 높은 학위를 가질 수 있도록, 다항식 바인딩.L ∈ N P엘∈엔피L\in …
2
최단 경로 문제의“친척”
음이 아닌 간선 가중치와 두 개의 고유 정점 s,ts,ts,t 로 연결된 무 방향 그래프를 고려하십시오 . 다음은 모두 다음과 같은 형식의 일부 경로 문제입니다. 경로에서 가장자리 가중치의 일부 기능이 최소가 되도록 s−ts−ts-t 경로를 찾으십시오 . 이런 의미에서 그것들은 모두 최단 경로 문제의 "상대적"입니다. 후자의 함수는 단순히 합계입니다. 참고 : 우리는 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.