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

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

1
NP 대 co-NP 및 2 차 논리
NP = co-NP 및 다항식 가 3-CNF 인스턴스 대한 불만족스러운 증거의 길이를 제한 한다고 가정합니다 . 그렇다면 길이 에 대한 불만족스러운 증거는 어떤 형태로 나타날 수 있습니까? 즉, 그러한 증거는 예를 들어 무한한 구조보다 2 차 논리의 모든 힘을 사용해야합니다 (나는 증명할 제안-공식이 만족스럽지 않다는 것을 2 차 논리로 표현할 …
2
정점 분리기의 경도
주어진 그래프 에 대해, 분리기 문제는 작은 카디널리티 (또는 가중치)의 정점 또는 에지 세트가 존재하여 제거가 G 가 대략 동일한 크기의 두 개의 분리 된 그래프로 분할되는지를 묻습니다 . 제거 된 세트가 정점 세트 인 경우이를 정점 분리기 문제라고하고 에지 세트 인 경우 모서리 분리기 문제라고합니다. 두 가지 문제 모두 …
1
사람들이 부울 회로에서 루프 중첩을 보나요?
EE 학부 과정에서 몇 개의 강의에 참석하여 몇 개의 중첩 루프가 있는지에 대한 부울 회로의 훌륭한 특성을 제시했습니다. 복잡성에서, 부울 회로는 종종 dags로 생각되지만 실제 하드웨어주기에서는 일반적입니다. 이제 루프가 무엇인지, 그리고 중첩 루프를 구성하는 것에 대한 몇 가지 기술은 기본적으로 하드웨어에서 오토 마톤을 구현하려면 두 개의 중첩 루프가 필요하며 프로세서를 …
3
NP의 두 가지 변형
NP 정의에 대한 두 가지 변형이 있습니다. 그것들은 (거의 확실하게) 뚜렷한 복잡성 클래스를 정의하지만 내 질문은 :이 클래스에 맞는 문제의 자연스러운 예가 있습니까? (여기서 자연스러워하는 것에 대한 나의 임계치는 평소보다 약간 낮습니다.) 클래스 1 (NP의 수퍼 클래스) : 검증에 초 다항식이지만 지수하에 시간이 걸리는 다항식 증인 문제. 구체적으로 time 이라고합시다 …
2
일반 및 임의의 oracles와 다른 무언가의 예?
Cohen / Baire 범주의 의미에서 지지G 일반적인 오라클 이라고하자 . 보자 아르 자형아르 자형R 임의의 오라클합니다. 이 복잡성 클래스 A와 B가 함께있는 또는 다른 방법으로, ㅏ지= B지과ㅏ아르 자형≠ B아르 자형ㅏ지=비지과ㅏ아르 자형≠비아르 자형\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^Rㅏ지≠ B지과ㅏ아르 자형= B아르 자형?ㅏ지≠비지과ㅏ아르 자형=비아르 자형?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} 이 질문은 Scott Aaronson의 의견 에서 영감을 얻었습니다 .
2
N 퀸즈는 NP-hard 문제입니까?
N 여왕 문제는 다음과 같습니다. 입력 : N 출력 : NXN 체스 판에 N "퀸"을 배치하여 두 개의 퀸이 같은 행, 열 또는 대각선에 놓이지 않도록합니다. 이것에 대한 Google 검색을 수행하면서 많은 교수의 많은 슬라이드가 이것이 NP-Hard 문제라고 주장했습니다 (예 : web.mst.edu/~ercal/387/slides/NP-Hard.ppt) 그러나 나는 증거를 찾을 수 없었습니다. 내가이 질문을하는 …
4
계산 복잡성과 정보의 관계
나는 뉴런의 쌍 또는 그룹 사이의 상호 정보를 정량화하는 계산 신경 과학 실험실에서 일합니다. 최근에 상사는 "신경 역학의 복잡성"측정에 초점을 맞췄다. 이 연구 라인을 추구하면서, 우리 그룹의 일부 사람들은 "복잡한"과 "높은 엔트로피가있다"를 동일시하는 것으로 보입니다. 누구든지 정보 이론적 의미에서 계산 복잡성 (CS 의미에서)과 엔트로피의 관계가 무엇인지 안내해 줄 수 있습니까? …
2
NP-hard 감소에서 '가제트'란 무엇입니까?
이 질문은 기술적이지 않을 수 있습니다. 비 원어민 강사이자 알고리즘 클래스의 TA로서 나는 항상 '가제트'또는 '가변 가제트'에서 가제트가 무엇을 의미 하는지 궁금했습니다 . 사전은 가제트가 기계 또는 장치라고 말하지만 NP- 완전 증거와 관련하여 구어체가 어떤 의미인지는 잘 모르겠습니다.
2
최소 트루 모노톤 3SAT
CNF 공식이 모노톤 (변인은 무시되지 않음) 인 SAT 변형에 관심이 있습니다. 이러한 공식은 분명히 만족할 만하다. 그러나 진정한 변수의 수는 솔루션이 얼마나 좋은지 측정하는 것이라고 말합니다. 따라서 다음과 같은 문제가 있습니다. 최소 참 모노톤 3SAT INSTANCE : 리터럴이 변수 (부정되지 않음) 인 변수의 U, 3 개의 리터럴의 분리 절 모음 …
1
Red-Blue 퍼펙트 매칭의 존재를 결정하는 것은 얼마나 어렵습니까?
2 색의 완벽한 일치 문제는 각 노드가 정확히 하나의 이웃과 동일한 색을 갖도록 그래프가 두 가지 색으로 채색되는지 여부를 결정하는 것입니다. 이 문제는 Schaefer에 의해 NP가 완료된 것으로 입증되었습니다 . 평면 입방 형 그래프에서도 NP- 완전 상태를 유지합니다. 입력 그래프에 두 가지 색상으로 색상이 지정되는지 여부를 결정하려는 변형에 관심이 있습니다. …
1
ETH와 같은 방해
우리는 이자형티H이자형티HETH 하에서 어떤 함수 f ( K ) (보통 2 O ( K ) ) 에서 f ( K ) p o l y ( n K )의 케이케이K SUM을 해결할 수 없다는 것을 알고 있습니다 .에프( K) p o l y( n 개의 K)에프(케이)피영형엘와이(엔케이)f(K)poly(nK)에프( K)에프(케이)f(K)2O ( K)2영형(케이)2^{O(K)} ( …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.