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

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

2
해밀턴 사이클과 해밀턴 경로 문제의 복잡도가 다른 그래프 클래스
그래프 클래스와 그 포함에 관한 정보 시스템을 검색하는 동안 해밀턴 사이클 문제가 NP- 완전한 반면 해밀턴 경로 문제의 복잡성은 알려지지 않은 여러 그래프 클래스를 발견했습니다 . 이러한 클래스 중 일부는 이분 최대 최대 3 차 그래프, 최대 3 차 그리드 그래프 및 2 개 연결된 입방 평면 그래프입니다. 또한이 현상은 …
1
대한 증거는 무엇입니까
Josh Grochow의 제안에 따라 이전 질문의 의견을 새로운 질문으로 변환합니다. 대한 증거는 무엇입니까 ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} 여기서 은 "yes"인스턴스에 고유 한 허용 경로가 있고 "no"인스턴스에 허용 경로가없는 다항식 비 결정적 튜링 머신으로 인식 할 수있는 언어 클래스입니다.UPUP\mathsf{UP} 분명히 인데 왜 봉쇄가 엄격하다고 생각합니까? 내가 찾을 수있는 증거는 오라클 분리입니다 : …
2
그래프 동형 문제
Graph isomorphism 문제에 대한 문헌 검토를하고 있습니다. 제가 읽고있는 대부분의 논문은 EM Luks와 Laszlo Babai가 작성했습니다. 이 논문은 그룹 이론과 복잡성 이론에 대한 높은 수준의 지식을 사용합니다. 이 분야를 처음 접했을 때 많은 것들이 명확하지 않습니다. 이 논문에 제시된 아이디어와 기법을 배울 수있는 방법을 제안 해 주시면 다른 아이디어를 생각해 …
3
정확히 25 % 확률로 오류가 발생하는 무작위 알고리즘은 어떤 클래스입니까?
E (xact) BPP를 호출 할 수있는 다음과 같은 BPP 변형을 고려한다고 가정합니다. 다항식 시간 무작위 TG가 있으면 언어의 모든 단어를 정확히 3/4 확률로 받아들이고 모든 단어는 정확히 1/4 확률로 언어. 분명히 EBPP는 BPP에 포함되어 있지만 동일합니까? 이것이 연구 되었습니까? 유사하게 정의 가능한 ERP는 어떻습니까? 자극. 나의 주요 동기는 Faenza et …
5
경제학자들이 계산 복잡성에 관심을 가져야하는 이유
경제학자들이 인쇄에서 복잡성 이론의 관련성을 확신 시키려고 할 때 인용에 대한 표준 참조가 있습니까? 저는 Noam Nisan의 블로그 게시물 , Tim Roughgarden의 설문 조사 및 Scott Aaronson의 에세이 11 장에 익숙 합니다. 이 게시물은 컴퓨터 과학자가 액세스 할 수 있지만 경제학자의 언어를 사용하지 않으며 일반적으로 읽는 장소에는 게시되지 않습니다. 경제학자를 …
1
부울 함수의 푸리에 변환 샘플링의 복잡성
양자 컴퓨터가 할 수있는 한 가지는 (아마도 BPP + 로그 깊이 양자 회로로도 가능) P에서 부울 값 함수 의 푸리에 변환을 근사 샘플링하는 것입니다.± 1±1\pm 1 푸리에 변환 샘플링에 대해 이야기 할 때 여기와 아래에서 . (필요한 경우 대략 정규화 됨).| 에프^( x ) |2|에프^(엑스)|2|\hat f(x)|^2 P의 근사 샘플링 부울 …
1
이 가장자리 채색 문제의 복잡성은 무엇입니까?
최근에 나는 다음과 같은 변색의 변형을 만났다. 무 방향 그래프가 연결된 경우 최대 정점 수를 사용하는 가장자리의 색상을 찾고 모든 정점에 대한 제약 조건을 만족시킵니다. VVv가장자리에 VVv 최대 두 가지 색상을 사용하십시오. 내 첫 번째 추측은 문제가 NP-hard라는 것입니다. 그래프 색상 문제에 대한 고전적인 NP-hard 증거는 대부분 3SAT에서 감소한 것입니다. …
3
효율적인 정확성과 효율성 증명없이 건설적으로 효율적인 알고리즘
효율적인 알고리즘 (다항식 시간) 의 자연스러운 예를 찾고 있습니다. 정확성과 효율성은 건설적으로 입증 될 수 있지만 (예 : 또는 )피RPRAPRAHㅏHAHA 효율적인 개념만을 사용한 증거는 알려져 있지 않습니다 (즉, 우리는 또는 에서 정확성과 효율성을 입증하는 방법을 모릅니다 ).S (1) (2)티V0TV0TV^0에스12S21S^1_2 인공적인 예를 직접 만들 수 있습니다. 그러나 나는 흥미로운 자연 사례, …
2
폴리 로그 바운드 깊이 회로의 회로 하한 상태
경계 깊이 회로 복잡도는 회로 복잡도 이론 내에서 주요 연구 분야 중 하나입니다. 이 주제에는 "패리티 함수가 "및 "mod 함수가 "에 의해 계산되지 않습니다 ( 여기서 는 클래스 와 같은 결과 가 있습니다. 불균일하고 일정한 깊이, 다항식 크기, 무한 팬인 AND, OR, NOT 및 모듈로 게이트에 의해 결정될 수있는 언어로 …
1
# 2-SAT의 # P- 완전 서브 패밀리는 무엇입니까?
짧은 버전. # 2-SAT가 # P- 완전 하다는 원래의 증거 는 사실, 단조로운 (변수의 부정을 포함하지 않음) 및 이분 (모두의 변수는 이분 그래프입니다)는 #P -hard입니다. 따라서 # 2-MONOTONE-SAT 및 # 2-BIPARTITE-SAT의 두 가지 특수 사례는 #P -hard입니다. #P -hard 인 공식의 '자연'속성으로 특징 지을 수있는 다른 특별한 경우가 있습니까? 긴 …
1
누가 복잡성 등급 AC를 도입 했습니까?
나는 오늘 하한을 가르쳤으며 , 한 학생은 라는 이유에 대해 물었습니다 . 공식적인 설명은 "A"는 "Alternation"을 나타냅니다.AC0AC0AC^0ACACAC 몇 년 전에 Nick Pippenger Steve Cook이 Nick Pippenger (Nick의 수업)의 이름을 , 나중에 Nick이 Steve (Steve의 수업)의 이름을 지명 했다는 말을 모호하게 기억 합니다.NCNCNCSCSCSC 이야기 의 부분은 예를 들어 Wikipedia 와 복잡한 …
4
더 높은 속 그래프에 대한 어려운 문제
평면 그래프는 속이 0입니다. 원환 체에 삽입 가능한 그래프는 최대 1 개입니다. 내 질문은 간단합니다. 평면 그래프에서는 다항식으로 해결할 수 있지만 속 1 그래프에서는 NP-hard 문제가 있습니까? 보다 일반적으로 속 g의 그래프에서는 다항식으로 해결할 수있는 문제가 있지만 속> g의 그래프에서는 NP-hard?
2
평범한 폴리 타임 감소를 사용하여 강력한 NP- 경도를 실제로 나타낼 수 있습니까?
나는 최근에 문제가 강력한 NP- 하드 문제에서 (다항식 시간으로) 간단히 줄임으로써 문제가 NP- 하드 였다는 증거를 최근에 읽었습니다. 이것은 나에게 의미가 없었습니다. 축소에 사용 된 숫자와 축소하려는 문제의 인스턴스가 문제 크기에서 다항식으로 묶여 있음을 보여 주어야한다고 생각했을 것입니다. 나는 Wikipedia가 이런 종류의 증거에 대해 동일한 일반적인 지침 을 제공하는 것을 …
1
부정적인 적대적 방법의 추가 힘 사용
부정적 대 적법 ( )은 양자 질의 복잡성을 특징 짓는 SDP입니다. 그것은 널리 사용되는 적대적 방법 ( A D V ) 의 일반화이며, 적대적 방법 을 방해 한 두 가지 장벽을 극복합니다.A D V±ㅏ디V±ADV^\pmA D Vㅏ디VADV 속성 테스트 장벽 : 모든 0 인스턴스가있는 경우 -far 모두 1 인스턴스에서 다음 대적 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.