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

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

3
문제
그래프의 간결한 표현에 대한 연구는 Galperin과 Wigderson 에 의해 1983 년의 논문에서 시작되었으며 , 여기서 그래프에서 삼각형을 찾는 것과 같은 많은 간단한 문제에 대해, 의 해당 간결한 버전은 - 을 증명합니다 . 파파 디미트리 오우 및 Yanakkakis은 상기 본 연구의 라인, 및 문제에 대한 증명할 이다 - 완전한 / - …
2
의 결과는 무엇입니까
시바 Kintali 단지 (멋진!)를 발표했다 그 결과 폭 경계 treewidth 그래프에 대한 그래프 동형 IS -hard를⊕ L≥4≥4\geq 4⊕L⊕L\oplus L . 비공식적으로 내 질문은 "얼마나 힘든가요?"입니다. 우리는 않다는 것을 알고 있습니다. 이 질문에 대한 답을보십시오 . 또한 일 가능성이 적다는 것을 알고 있습니다. 이 질문에 대한 답을보십시오 . 이라면 얼마나 놀라운 …
3
L과 NL 사이의 중간 문제
지향성 st- 연결성 은 완전 하다는 것이 잘 알려져있다 . Reingold의 획기적인 결과는 지정되지 않은 st-connectivity 가 있음을 보여줍니다 . 평면 지향 연결성 은 알려져 있습니다 . Cho와 Huynh 는 매개 변수화 된 배낭 문제를 정의하고 과 사이에서 문제의 계층 구조를 보여 .L U L ∩ c o U L …
3
#P = FP의 결과
#P = FP의 결과는 무엇입니까? 실용적이고 이론적 인 결과에 관심이 있습니다. 실용적인 관점에서 저는 특히 인공 지능에 대한 결과에 관심이 있습니다. 논문이나 책에 대한 포인터는 환영 이상입니다. #P = FP가 P = NP를 의미한다고 말하지 마십시오. 이미 알고 있습니다. 또한, "알고리즘이 시간에 실행되면 실질적인 결과는 없을 것입니다 . 여기서 는 …
3
없는
에는 U P ∩ c o U P에 있지 않은 것으로 알려진 자연적인 문제가 있습니까?NP∩coNP엔피∩기음영형엔피NP \cap coNPUP∩coUP유피∩기음영형유피UP \cap coUP 분명히 큰 하나 모두가에 대해 알고있는 인수의 결정 버전입니다 (n은 가장 k에 크기의 요소가 않습니다)하지만 그건에서 사실상 U P ∩ C O U P .NP∩coNP엔피∩기음영형엔피NP \cap coNPUP∩coUP유피∩기음영형유피UP \cap coUP
3
국제 드래프트를 올바르게 플레이하는 것은 NP-hard입니까?
다음은 NP-hard 문제입니까? 국제 초안에 대한 보드 구성이 주어지면 단일 법적 조치를 찾으십시오.n × nn×nn\times n 미국 체커 (일명 영어 draughts)에 해당하는 문제 는 다항식 시간으로 사소하게 해결 될 수 있습니다. 이 두 게임 사이에는 세 가지 주요 차이점이 있습니다.n × nn×nn\times n 첫 번째이자 가장 중요한 차이점은“비행 왕”규칙입니다. 체커에서, …
4
경계 카디널리티 경계 주파수 세트 커버 : 근사 경도
다음 제한 사항의 최소 집합 적용 범위 문제를 고려하십시오 . 각 집합은 최대 요소를 포함 하고 유니버스의 각 요소는 최대 f 개의 세트 에서 발생 합니다.kkkfff 예 : 이고 f = 2 인 경우 최대 차수가 4 인 그래프의 최소 정점 커버 문제와 같습니다.k=4k=4k = 4f=2f=2f = 2 하자 ( …
3
Max-3SAT에 대한 정보 계산
3CNF 식의 경우 하자 에 대한 할당에 만족 조항의 최대 번호를 수 . 이는 최대 - 3SAT가 (P ≠ NP에 따라), 즉 입력 할 3CNF 식 아니 polytime 알고리즘 없다 근사 어려운 것으로 알려져 , 및 그 출력을 수 되도록 이내 으로부터의 곱셈 계수 , 여기서 은 절대 양의 상수CCCM(C)M(C)M(C)CCCCCCM′M′M'M(C)M(C)M(C)1+c1+c1+cM′M′M'c>0c>0c>0 …
3
만족도 임계 값을 초과하는 SAT 에 대한 연구가 있습니까?
SAT 사례 의 잘 알려진 특성은 변수 개수 대한 절 개수 의 비율 , 즉 몫 입니다. 모든 에 대해 대한 임계 값 st \ 가 있으며 대부분의 인스턴스는 만족스럽고 대부분의 인스턴스는 만족스럽지 않습니다. 문제를 다 많은 연구가 있었다 , 충분히 작은 문제에 대한 ,m n ρ = m / …
4
NP의 자연 문제에 대해 가장 잘 알려진 결정 론적 시간 복잡성 하한
이론적 컴퓨터 과학에서 해결되지 않은 주요 문제에 대한 답 은 ? 문제는 NP의 특정 문제에 시간이 필요한 경우 개방되어 있음을 나타냅니다 .Ω ( n2)Ω(n2)\Omega(n^2) 답변 아래의 의견을 보면 궁금해졌습니다. 패딩 및 이와 유사한 트릭을 제외하고 NP 의 흥미로운 문제 에 대해 결정 론적 RAM 시스템 (또는 다중 테이프 결정 론적 …
3
자연적 증거와 기하학적 복잡성의 구성 성
최근 Ryan Willams는 Natural Proof의 Constructivity가 복잡한 클래스 ( 및 T C 0) 의 분리를 유도 할 수 없음을 증명했습니다 . NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} 자연 증명의 구성 성은 회로 복잡성의 모든 조합 증명이 만족하는 조건이며 (또는 다른 "하드"복잡도 클래스) 의 대상 함수 가 실행되는 알고리즘에 의해 "하드"속성을 갖는지 여부를 결정할 수 있습니다 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.