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

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

2
일반 언어로 단어를 달성하기 위해 문자를 예약 할 수 있는지 테스트
내가 해결 정규 언어 L을LL 알파벳에 ΣΣ\Sigma , 그리고 내가 전화하는 다음과 같은 문제를 고려 편지 일정 에 대한 L을LL . 비공식적으로, 입력은 각 문자에 대해 n 개의nn 문자와 간격을 제공하며 (즉, 최소 및 최대 위치) 두 번째 문자가 동일한 위치에 매핑되지 않도록 각 문자를 간격에 배치하는 것이 목표입니다. 결과 …
1
P의 PLANAR NAE k-SAT는 어느 것입니까?
부울 변수 의 집합 에 대해 일련의 절 를 고려할 때 모두 같지 않음 -SAT 문제 (NAE -SAT) 는 각 절에 최대 리터럴이 포함 되도록 변수의 실제 할당이 있는지 묻습니다. 각 절에는 하나 이상의 true 및 하나 이상의 false 리터럴이 포함됩니다.kkkkkkCCCXXXkkk PLANAR NAE -SAT 문제는 NAE -SAT가 와 의 입사 …
1
Blum의
에서는 스레드 , Norbet 블룸의 시도 증거는 간결 Tardos 함수 정리 6 반례 것을 주목 반증한다.피≠ N피P≠NPP \neq NP 정리 6 : 모노톤 부울 함수로합니다. CNF-DNF-approximator에 있다고 가정 A를 위해 하한을 증명하는 데 사용될 수 C를 m ( F ) . 그러면 A는 또한 행 같은 저급 증명하는 데 사용될 …
2
SAT를위한 최고의 현재 공간 하한?
에 이어 앞의 질문 , SAT에 가장 적합한 현재 공간 하한 은 무엇 입니까? 공간 하한이있는 경우 여기서는 이진 작업 테이프 알파벳 을 사용하는 Turing 기계에서 사용하는 작업 테이프 셀의 수를 의미합니다 . TM이 고정 된 수의 워크 테이프 셀을 시뮬레이션하기 위해 내부 상태를 사용할 수 있기 때문에 지속적인 추가 …
5
컴퓨터 지원 NP- 완전성 증명에 대한 궁금
Thomas J. Schaefer 의 논문 "만족도 문제의 복잡성" 에서 저자는 This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be instructed to …
10
비가 중 그래프에서는 쉽지만 가중 그래프에서는 어려운 문제
비가 중 그래프와 가중 그래프 모두에서 다항식 시간으로 많은 알고리즘 그래프 문제를 해결할 수 있습니다. 일부 예는 최단 경로, 최소 스패닝 트리, 최장 경로 (지향 비순환 그래프에서), 최대 흐름, 최소 컷, 최대 일치, 최적의 arborescence, 특정 가장 조잡한 하위 그래프 문제, 최대 분리 된 지시 컷, 특정 그래프 클래스의 최대 …
3
과학자들에게 점근 적 최악의 분석을 정당화
나는 생물 학자들에게 흥미롭고 유용한 목표를 가지고 계산 복잡성의 결과 를 이론적 생물학, 특히 진화 및 생태학 에 도입하기 위해 노력하고 있습니다. 내가 직면 한 가장 큰 어려움 중 하나는 하한에 대한 점근 적 최악의 분석의 유용성을 정당화하는 것입니다. 과학 관객에게 하한과 점근 적 최악의 분석을 정당화하는 기사 길이 참조가 …
1
자연스럽고 테스트 할 수없는 그래프 속성
그래프 특성 테스트에서, 알고리즘은 원하는 어느 특정한 속성을 갖거나인지를 판단하는 가장자리 요구의 유무에 대한 목표 그래프를 쿼리 속성을 갖는로부터 -far. (단면 또는 양면 오류로 알고리즘을 성공하도록 요청할 수 있습니다.) 그래프는 입니다. 없으면 속성이없는 것입니다.ϵϵϵ\epsilonϵϵ\epsilonϵ ( n2)ϵ(n2)\epsilon \binom{n}{2} 에지 이끌어 차감 / 추가 할 수 속성이 있습니다. 속성은 하위 선형 수의 …
1
UG-hardness는 무엇이며, 고유 한 게임 추측을 바탕으로 NP-hardness와 어떻게 다릅니 까?
독특한 게임 추측에 의존하는 많은 근사한 결과가 있습니다. 예를 들어 고유 한 게임 추측을 가정하면 상수 R > R GW에 대해 인수 R 내에서 최대 컷 문제를 근사하는 것은 NP-hard 입니다. (여기서 R GW = 0.878…은 Goemans–Williamson 알고리즘의 근사 비율입니다.) 그러나 일부 사람들은“ UG-hard ” 라는 용어를 다음과 같이 사용하는 …
4
모노톤 산술 회로
에 대한 우리의 지식의 상태 일반적인 연산 회로 , 즉 우리가 좋은 낮은 경계가없는 부울 회로에 대한 우리의 지식의 상태와 비슷한 것 같다. 반면에 우리는 모노톤 부울 회로에 대한 지수 크기 하한을 가지고 있습니다 . 모노톤 산술 회로 에 대해 무엇을 알고 있습니까? 우리는 그들과 비슷한 좋은 하한을 가지고 있습니까? …
1
타워 방어 미로 생성, 일명 비가 중 그리드 그래프에서 K 가장 중요한 노드 찾기 ( "노드 별 차단")
타워 방어 게임에는 시작, 마무리 및 여러 벽이있는 NxM 그리드가 있습니다. 적들은 벽을 통과하지 않고 처음부터 끝까지 가장 짧은 경로를 취합니다 (일반적으로 그리드에 구속되지는 않지만 단순성을 위해 말 그대로 대각선 "구멍"을 통해 이동할 수 없습니다) 문제 (적어도이 질문에 대한)을 배치하는 것 까지 완전히 마무리에서 시작을 차단하지 않고, 적을 가지고 가야 …
3
P-hard 이외의 P 외부 문제
Peter Shor 의 답변 과 Adam Crume 의 이전 질문을 읽는 동안 나는 피P\mathsf{P} hard의 의미에 대해 약간의 오해가 있음을 깨달았습니다 . 문제는 피P\mathsf{P} 어떤 문제가있는 경우 -hard 피P\mathsf{P} 와 그것에 환원이다 엘L\mathsf{L} (또는 당신이 선호하는 경우 N CNC\mathsf{NC} ) 감소. 다항식 시간 알고리즘이 없으면 문제가 외부에 피P\mathsf{P}있습니다. 이것은 외부에 …
4
계산 복잡성과 대수 기하학 / 토폴로지의 관계에 관한 논문?
이 질문을 이해하기 위해 어떤 논문을 읽어야하는지 궁금했습니다. 대수 기하학 또는 더 높은 상동 성과 같은 다른 수학 영역과의 예기치 않은 연결. 아마도 아직 수학 영역이 발달하지 않았을 수도 있습니다. 아마도 P 대 NP 문제를 다루기 위해 누군가 수학에 대한 완전히 새로운 방향을 개발할 것입니다. -부터 Fortnow 2002 이 질문의 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.