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

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

7
수학적 분석과 계산의 복잡성?
계산 복잡성에는 많은 양의 조합론과 수 이론, 확률론의 일부 무분별 함, 새로운 대수학이 포함됩니다. 그러나 저는 분석 분야이기 때문에이 분야에 분석을 적용 할 수 있는지 아니면 분석에서 영감을 얻은 아이디어가 있는지 궁금합니다. 이것에 약간 일치하는 것은 유한 그룹의 푸리에 변환입니다. 도와주세요?
2
"가장 중요한 차별 비트"문제가 NP 완료입니까?
이것이 제가이 문제를 위해 만든 이름입니다. 나는 그것이 이전에 설명 된 것을 보지 못했습니다. 이 문제에 대한 NP- 완전성 또는 다항식 시간 알고리즘에 대한 증거를 아직 찾지 못했습니다. 숙제 문제가 아닙니다. 이것은 제가 일할 때 겪었던 문제와 관련이 있습니다. 최저 징수 비트 INSTANCE : 비트 벡터를 포함하는 세트 T. 각 …
1
유한 한 오토 마톤이 받아 들일 수있는 별개의 글자가 가장 적은 단어 문제의 복잡성
유한 (결정 론적 또는 비결정론 적)을 감안할 때, 자동 마톤 A와 임계 값 n , A는 최대 n 개의 고유 문자를 포함하는 단어를 허용 합니까? ( k 다른 문자로 aabaa 에는 두 개의 다른 문자 a 와 b 가 있음을 의미합니다 .) 나는이 문제가 NP- 완전임을 보여 주었지만, 나의 축소는 …
1
그래프 사소한 정리의 역 수학적 강도로부터의 결론
비 결정적 다항식 시간으로 확인할 수있는 그래프 속성과 약한 공식 시스템 (예 : RCA 0 )에서 속성이 약간 닫혀 있다는 증거가 있다고 가정 해 봅시다 . 주어진 유한 한 배제 된 마이너 세트가 주어진 그래프 속성을 특성화한다는 것을 증명할 수있는 공식 시스템의 강점에 대해 말할 수 있습니까? 맥락 Kruskal의 트리 …
1
무한 반원에 대한 애들 맨의 정리?
Adleman은 1978 년에 임을 보여 주었다 BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}: n 변수 의 부울 함수 fff 가 M 크기의 확률 적 부울 회로에 의해 계산 될 수 있다면 , f 는 또한 결정적인 부울 회로에 의해 계산 될 수있다 M 및 n의 다항식 ; 실제로, 사이즈의 O ( N M ) . …
2
ALogTime! = PH는 증명하기 어렵고 알려지지 않았습니까?
Lance Fortnow는 최근에 L! = NP를 증명하는 것이 P! = NP를 증명하는 것보다 쉬워야 한다고 주장했습니다 . 대수 공간에서 NP를 분리하십시오. 나는 아무도 공개하지 않았지만 2001 년 사전 블로그 에서 대각선 화 에 관한 4 가지 접근법 (섹션 3)을 제시했다. P를 NP에서 분리하는 것보다 훨씬 쉽습니다. 관련 설문 조사의 섹션 …
1
라빈의“함수 계산의 난이도와 재귀 집합의 부분 순서”
내가 찾고 있어요: Michael O. Rabin, "함수 계산의 어려움과 재귀 집합의 부분 순서 정도", 히브리 대학교, 예루살렘, 1960 요약: “우리는 주어진 계산 가능한 (재귀) 함수를 계산하는 작업에 내재 된 작업량을 측정하려고합니다. 컴퓨팅의 난이도에 대한 개념이 소개되고 연구됩니다. 이 개념은 문제의 기능을 계산하는 데 사용되는 이상적인 컴퓨터 (Turing Machines)와 독립적이라는 의미에서 …
1
가장 느린 1 대 감소?
가 complete 임을 증명하고자 할 때 , 표준 접근법은 알려진 complete 문제를 대한 다항식 시간 계산 가능한 다 대일 감소를 나타내는 것 입니다. 이러한 맥락에서 우리는 감소의 실행 시간에 긴밀한 경계가 필요하지 않습니다. 그것은 것으로 충분 어떤 것이 가능성이 매우 높은 학위를 가질 수 있도록, 다항식 바인딩.L ∈ N P엘∈엔피L\in …
2
Turing 기계와 관련하여 mP / poly에 대한 동등한 정의는 무엇입니까?
P / poly는 다항식 크기의 부울 회로로 해결할 수있는 결정 문제의 클래스입니다. 대안 적으로 다항식 시간 튜링 기계로 정의 될 수 있으며, 다항식 크기는 n 단위이고 어드바이스 문자열은 n 크기에만 기반하는 어드바이스 문자열을받습니다. mP / poly는 다항식 크기의 모노톤 부울 회로로 해결할 수있는 의사 결정 문제의 클래스이지만 다항식 시간 튜링 …
2
사전 순으로 분류 된 분류 된 DAG의 토폴로지
우리가 지시 된 비순환 그래프 , 에서 총 순서 (예를 들어, 정수) 를 갖는 일부 세트 까지 의 라벨링 함수 를 입력으로 제공 하고 우리에게 묻는 문제를 고려하십시오 사 전적으로 가장 작은 위상 종류의 를 로 계산합니다 . 보다 정확하게는, 의 토폴로지 종류 는 를 으로 열거하는 것입니다. 에서 까지의 …
1
네트워크에서 두 번째로 작은
아무것도 두 번째 작은 대해 알려진 - t 절단의 흐름 네트워크에서? 또는이 문제에 대한보다 일반적인 내용은 다음과 같습니다.에스ss티tt 입력 : 네트워크 과 숫자 k 는 모두 이진수입니다. 출력 : k 번째 가장 작은 s - t 컷.엔NN케이kk케이kk에스ss티tt 번째 작은 S - t의 컷 ( S , T는 ) 어느 하나 …
1
“뱀”재구성 문제
비디오 게임의 복잡성에 대한 작은 글을 쓰는 동안 Nibbler 와 Snake ; 둘 다 평면 그래프에서 재구성 문제로 모델링 될 수 있음을 발견했습니다. 모션 계획 영역에서 이러한 문제가 잘 연구되지 않은 것 같습니다 (예 : 연결된 캐리지 또는 로봇 체인 상상). 게임은 잘 알려져 있지만 관련 재구성 모델에 대한 간단한 …
2
높은 수준의
-hierarchy 복잡성 클래스의 계층 인 W [ t ] 파라미터 복잡성은 참조 복잡성 동물원 대한 정의. 대안 정의 정의 W [ t는 ] 대한 FAGIN의 가중 definability 사용 Π의 t에서 , 1 차 논리의 -formulas을 참조 Flum 및 GROHE 의해 교과서 .여W\mathsf{W}승 [t]W[t]\mathsf{W}[t]승 [t]W[t]\mathsf{W}[t]Π티Πt\Pi_t 최하위 클래스 및 W [ 2 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.