«cc.complexity-theory» 태그된 질문

P 대 NP 및 기타 리소스 제한 계산.

3
NPI 문제가 모두 같은 복잡성이 아닌 이유는 무엇입니까?
NP-Complete과 반대로 NP-Intermediate 일 가능성이있는 문제와 이유를 어떻게 검토합니까? 문제를보고 그것이 NP-Complete인지 아닌지를 말하기는 종종 매우 간단하지만 문제가 NP-Intermediate인지 여부를 말하기가 훨씬 더 어려워 보입니다. 클래스. 기본적으로 내가 묻는 것은 다항식 시간 (모두 있다면)에서 확인할 수 있지만 다항식 시간 (P가 NP와 같지 않은 한)으로 해결할 수없는 문제가 서로 다항식 시간이 …
1
정수 인수 분해에서 기간의 하한?
1975 년에 Miller는 정수 의 인수 분해를 줄여 함수엔NN 의주기 을 찾는 방법을 보여주었습니다.아르 자형아르 자형rf ( x + r ) = f ( x ) a &lt; N r r에프( x ) = a엑스모드엔f(x)=axmod엔f(x)=a^x\;\bmod\;N에프( x + r ) = f( x )에프(엑스+아르 자형)=에프(엑스)f(x+r)=f(x)a &lt; Nㅏ&lt;엔a<N아르 자형아르 자형r아르 자형아르 자형r …
1
대화 형 증명 시스템에서 완전성 및 건전성에 대한 두 가지 정의의 동등성
대화 형 증거 시스템 의 완전성과 건전성은 다음과 같이 비공식적으로 정의됩니다. 완전성 : 진술이 사실이면, 정직한 증명 자는이 사실을 정직한 검증 자 에게 확신시킬 수 있습니다 whp . 건전성 : 진술이 허위 일 경우, 부정 행위를 한 입증 인은 정직한 검증 자 (허위 진술의 타당성)를 확신 할 수 없습니다. "whp"라는 …
4
대각선 화는 계급 분리의 본질을 포착합니까?
나는 대각선 화와 relativization 결과에 근거하지 않은 클래스 분리를 ​​본 기억이 없습니다. 대각선 화 결론이나 대각선으로 된 튜링 기계 구조에서 비상 대화 주장이 여전히 사용될 수 있기 때문에, 대각선 화는 여전히 남아있는 알려진 클래스를 분리하는 데 사용될 수 있습니다. 다음은 몇 가지 관련 질문입니다. 대각선 화를 기반으로하지 않는 클래스 분리 …
1
Nurikabe의 복잡성은 무엇입니까?
Nurikabe 는 지뢰 찾기 / Nonograms와 거의 유사한 구속 조건 기반 그리드 채우기 퍼즐입니다. 숫자는 각 셀에 대한 켜기 / 끄기 값으로 채워질 그리드에 배치되며 각 숫자는 해당 크기의 연결된 '온'셀 영역을 나타내며 '오프'셀 영역에 대한 약간의 제약 조건이 있습니다. 연결되어 있어야하며 인접한 2x2 영역을 포함 할 수 없습니다). Wikipedia …
4
복잡성 클래스 NEXP
NEXP 문제가 있으며 지수 시간과 단 하나의 교대 (기존 상태에서 시작)를 사용하여 교대 TM으로 해결할 수도 있습니다.NPNP^{\text{NP}} NEXP 대해 알려진 것이 있습니까? NEXP 또는 다른 클래스와 동일합니까? NEXP 기계와 단어가 주어지면 일반적인 기계 이외의 다른 문제 가 있습니까?NPNPNP^{\text{NP}}NPNP^{\text{NP}}
1
주어진 카디널리티의 최소 무게 하위 포리스트
이 질문은 stackoverflow에 대한 질문에 의해 동기 부여되었습니다 . 노드 ( )에 루트 트리 (즉, 루트가 있고 노드에 자식이있는 등) 가 있다고 가정하십시오 .TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n 각 정점 는 음이 아닌 정수 가중치와 관련이 있습니다 : .iiiwiwiw_i 또한 과 같은 정수 가 제공 됩니다.kkk1≤k≤n1≤k≤n1 \le k \le n 노드 …
1
NP- 완전 문제에 비슷한 근사치 비율이없는 이유는 무엇입니까?
2 개의 NP- 완전 문제는 정의상 서로 환원 될 수 있기 때문에, 다른 하나를 해결하는 블랙 박스를 사용하여 그 중 하나에 대한 해를 얻을 수 있습니다. )? 일부 상수 또는 다항식 드리프트는 이해할 수 있다고 생각하지만 일부 NP- 완전 문제에 대한 상수 계수 근사 알고리즘과 다항식 비율 근사 알고리즘으로 근사 …
5
다항식 시간 감소가 아닌 FPT 감소 인스턴스
매개 변수화 된 복잡성에서 사람들은 W-t-hardness를 증명하기 위해 FPT (fixed-parameter-tractable) 감소를 사용합니다. 이론적으로 FPT 감소는 다항식 시간 감소가 아닙니다. 매개 변수 k에서 지수 적으로 실행될 수 있기 때문입니다. 그러나 실제로 내가 본 모든 FPT 감소는 p- 시간 감소이며, 이는 W-t-hardness 증거는 거의 항상 NP-completeness 증거를 의미합니다. 누군가가 매개 변수 에서 …
1
Borel-Cantelli Lemma 및 Derandomization
나는 Programmability with (out) with Random Oracles 라는 제목의 논문을 읽고있었습니다 . 섹션 2.3의 마지막 단락은 다음과 같습니다. [우리의 새로운 접근법을 사용하여] Borel-Cantelli lemma 에 근거한 잘 알려진 고전적인 점근선 (그리고 균일 한) 무작위 화 기술 을 적용 할 필요가 없다 . 우리가 아는 한,이 방법은이 백서에 참신합니다. 나는 Borel-Cantelli …
2
어느 2P1R 게임이 잠재적으로 선명합니까?
2P1R (2-prover one-round) 게임은 근사 경도를위한 필수 도구입니다. 특히, 두 개의 증명 된 1 라운드 게임의 병렬 반복은 근사 문제의 결정 버전에서 간격의 크기를 늘리는 방법을 제공합니다. 주제에 대한 개요는 CCC 2010에서 Ran Raz의 설문 강연을 참조하십시오 . 게임의 병렬 반복에는 무작위 검증자가 독립적으로 작동하지만 두 플레이어가 독립적으로 게임을 플레이 …
1
PCP 정리-알파벳 감소 단계
다음은 어리석은 것처럼 보일 수 있습니다. (아마도 나의 이해 부족을 반영한 것이므로 제발 참아주세요) PCP 정리에 대한 질문이있었습니다. 우리는 처음 세 단계 이후에 알고 있습니다. 정도 감소, 확장 및 갭 증폭, 우리는 개선 된 간격과 큰 알파벳 크기 (예 : Σ d t )를 갖는 구속 그래프 가지고 있습니다. 알파벳 …
1
비 결정적 다자간 통신을위한 하한
이것은 부분 부울 함수의 통신 하한 에 관한 나의 이전의 질문입니다 . 비 결정적 다자간 의사 소통에 대한 하한에 대한 참조를 제안 할 수 있습니까? 필자는 현장에서 논문을 조사했지만 모두가 무작위 프로토콜의 하한과 비 결정적 프로토콜의 (더 작은) 상한 유형의 분리를 보여줍니다. 예를 들어 David, Pitassi 및 Viola 2009 , …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.