이론 컴퓨터 과학

내가 특히 궁금한 것은 그러한 문제가 다루기 쉬운 것을 보장하기 위해 3SAT 공식을 만족시키는 과제의 비율에 흥미로운 조건이 있는지 여부입니다. 예를 들어, 2 n 가능한 대입 중 이 부울 공식을 만족시키는 3SAT 문제의 클래스를 가정하십시오 . 만족스러운 과제를 효율적으로 찾을 수 있습니까? 무엇을 위해 ε는 P의 결과 문제가?ϵ ( n …

12 cc.complexity-theory  ds.algorithms  sat  np 

문장이 비 상대적이라는 사실에 근거하여 문장이 공식적으로 독립적이어야 함을 증명할 수 있습니까? 다시 말해, 계산 가능성 / 복잡성 이론의 문장의 예는 a) 두 클래스가 같은지 아닌지에 대한 문제를 해결하는 모든 증거는 상대화되어야하고 b) 그런 해상도로 사용할 수 있습니까? 파트 b를 만족시키는 결과가 나오기가 더 쉽다고 생각합니다. 이 질문을하는 또 다른 …

12 lo.logic  relativization 

Baker-Gill-Solovay 결과에 따르면 P = NP 질문은 상대성이 증명되지 않았으며 (Oracle의 존재에 민감하지 않은) 상대적인 증거가 P = NP 질문을 해결할 수 없다는 의미에서 관련성이 없습니다. 내 질문은 : "PH- 완전 문제가 있습니까?"라는 질문에 대해 비슷한 결과가 있습니까? 이 질문에 대한 부정적인 대답은 P! = NP; 긍정적 인 대답은 PH가 …

12 cc.complexity-theory  complexity-classes 

감안 (평균이 IID 가우시안 0 이고 분산이 1 ), 가능 (알아보기) 샘플 (대이고 m = K 2 ) Y 1 , ... , Y가 있어요 되도록 Y I 의이 짝을 평균이 0 이고 분산이 1 인 독립 가우스 .X1,…,XkX1,…,XkX_1,\ldots,X_k000111m=k2m=k2m=k^2Y1,…,YmY1,…,YmY_1, \ldots, Y_mYiYiY_i000111

12 derandomization  pr.probability 

이전 질문에 의욕을 불러 일으키면서 복잡성이 궁금한 최첨단 파티션 문제입니다 . 입력 : 3 차 그래프 G=(V,E)G=(V,E)G=(V,E) 질문 : 의 파티션이 로 E 1 , E 2 , ... , E 의 이러한 각에 의해 유도 된 서브 그래프 E 난 (예 중 하나 발톱입니다 K 1 , 3 , …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

으로 http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf 경우 PSPACE 완성 언어이며, .P A = N P AㅏAA피ㅏ= N피ㅏPA=NPAP^{A}=NP^{A} 경우 결정적 다항식 시간 오라클, 인 (가정 ).P B ≠ N P B P ≠ N P비BB피비≠ N피비PB≠NPBP^{B}\ne NP^{B}피≠ N피P≠NPP\ne NP # P P ⊆ P P ⊆ P S P A C E피피PPPP 는 및 대한 …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

문제 무 방향 그래프 (멀티 에지 포함)가 있으며 시간이 지남에 따라 변경되며 노드와 가장자리가 삽입 및 삭제 될 수 있습니다. 그래프를 수정할 때마다이 그래프의 연결된 구성 요소를 업데이트해야합니다. 속성 추가 속성은 두 구성 요소가 다시 연결되지 않는다는 것입니다. 분명히, 그래프는 임의의 양으로 사이클을 가질 수 있습니다 (그렇지 않으면 솔루션은 사소합니다). …

12 ds.algorithms  graph-theory  approximation-algorithms  online-algorithms 

DES의 S-Box에서 6 비트 값을 4 비트 값으로 매핑 할 때 데이터가 손실되지 않습니까? 그렇다면 올바른 출력이 표시되도록 어떻게 되돌릴 수 있습니까?

12 cr.crypto-security 

수천 점의 데이터 세트와 두 점 사이의 거리를 측정하는 수단이 있지만 데이터 점에는 차원이 없습니다. 이 데이터 세트에서 클러스터 센터를 찾는 알고리즘을 원합니다. 데이터에 차원이 없기 때문에 클러스터 센터는 여러 데이터 포인트와 공차로 구성 될 수 있으며 클러스터 내 멤버쉽은 데이터 포인트와 클러스터 센터의 모든 데이터 포인트까지의 거리 평균에 의해 …

12 machine-learning  lg.learning  clustering 

나는 2 년째에 MSC에서 TCS와 너무 관련이없는 것으로 생각합니다. 기본적으로 제어 이론, 신호 및 시스템에 관한 것이며 고급 시스템 (강건, 비선형, 최적, 확률 적), 고급 신호 처리 및 볼록 최적화에서 수업을 들었습니다. 논문 논문을 다루는 데 도움이되는 좋은 영역을 찾으려고 노력하고 있으며 어떻게하면 TCS 주제와 관련이 있는지 궁금합니다. 내가 생각할 …

12 reference-request  soft-question 

시스템 또는 모델의 보안을 테스트 할 때 다음 질문이 여러 번 발생했습니다 . 동기 부여 : 소프트웨어 보안 결함은 종종 유효한 입력으로 인한 버그가 아니라 유효 입력에 충분히 근접한 유효하지 않은 입력으로 인해 발생하는 버그가 많은 간단한 유효성 검사를 통과합니다. 고전적인 예는 물론 버퍼 오버 플로우인데, 입력이 너무 크다는 것 …

12 lo.logic  csp  security 

PCP 정리의 등가 공식은 다음과 같습니다. Max 3-SAT의 경우, 만족할 수있는 공식과 절의 최대 r- 분획이 만족할 수있는 공식 (일부 r \ lt 1 ) 을 구별 하는 것은 - hard입니다 .NPNPNPrrrr<1r<1r\lt 1 모든 Max CSP가 격차가 있는지 여부에 따라 분류되는 알려진 이분법 정리가 있습니까? 2010 년 12 월 16 …

12 cc.complexity-theory  pcp  csp 

전산 기하학은 제가 흥미로워하는 분야이며, 한두 달 정도 걸리므로 프로젝트를 소개하고 주요 개념을 배우도록 돕고 싶습니다. 이것에 접근하는 좋은 방법은 무엇이며 내가 소개해야 할 주요 개념은 무엇입니까?

12 soft-question  cg.comp-geom 

두 개의 매우 희소 한 부울 행렬을 곱하기위한 가장 실질적으로 효율적인 알고리즘은 무엇입니까 (예 : N = 200이고 0이 아닌 100-200 개의 요소 만 있음)? 실제로 A에 B를 곱하면 B가 미리 정의되어 있고 임의로 복잡한 전처리를 수행 할 수 있다는 이점이 있습니다. 또한 제품 결과가 항상 원래 행렬만큼 희박하다는 것을 …

12 ds.algorithms  matrix-product  sparse-matrix  boolean-matrix  implementation 

트리 폭 은 그래프가 나무에 얼마나 가까운 지 측정합니다. 나무 너비가 제한된 그래프에서는 몇 가지 NP-hard 문제를 다루기 쉽습니다. 문제가 나무에 NP-hard로 남아 있으면 나무 너비는 우리를 구할 수 없습니다. 이것은 나무의 NP-hard 문제를 요구하는 이전 질문 중 하나의 배후의 동기였습니다 . 방향성 그래프가 DAG (Directed Acyclic Graph)에 얼마나 가까운지를 …

12 np-hardness  directed-acyclic-graph