이론 컴퓨터 과학

하자 { 0 , . . . , N - 1 } 및 ∘ : S × S → S . ○ 가 연관 인지 여부를 결정하는 통신 복잡성을 계산하고 싶습니다 .S=S=S=0,...,n−10,...,n−10,...,n-1∘:S×S→S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ 모델은 다음과 같습니다. 는 행렬 M으로 주어진다 . Alice (Resp. Bob)에는 무작위로 …

12 cc.complexity-theory  communication-complexity 

종이 Lauri Hella 및 José María Turull-Torres, 고차원 논리를 사용한 쿼리 쿼리 , TCS 355 197–214, 2006. doi : 10.1016 / j.tcs.2006.01.009 가변 순서 논리, 논리 VO를 제안합니다. 이를 통해 변수에 대한 차수를 수량화 할 수 있습니다. VO는 매우 강력하며 계산할 수없는 쿼리를 표현할 수 있습니다. (아래 Arthur Milchior가 지적한 …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

이것은 David Eppstein의 최근 질문에 대한 후속 조치 이며 동일한 문제에 의해 동기가 부여됩니다. 정점에 실수 가중치가있는 dag이 있다고 가정합니다. 처음에는 모든 정점이 표시되지 않습니다. (1) 표시되지 않은 선행 작업없이 정점을 표시하거나 (2) 표시된 후속 작업없이 정점을 표시 해제하여 표시된 정점 세트를 변경할 수 있습니다. (따라서 표시된 정점 세트는 항상 …

12 ds.algorithms  directed-acyclic-graph  partial-order 

a의 개념 비밀 공유 기법은 종종 (A. 샤미르, 사밀에 기인 비밀 공유하는 방법 , 블래키 (GR 블래키 612-613.., 쪽을, 통신. ACM, 22 (1979)) 및 암호화 키를 안전 보호 에, Proc. NCC, vol. 48, 1979, 313-317 쪽). 전체적인 아이디어는 몇 가지 비밀 S 대신 각 공유의받는 참가자 숨겨져 있다는 것입니다 난을 …

12 cr.crypto-security  application-of-theory 

대부분의 사람들에게 그래프 채색 문제는 이미 충분히 어렵다 . 그럼에도 불구하고 저는 난이도가 높아야하고 하이퍼 그래프 색상에 대한 문제를 묻습니다. 질문. k- 균일 한 하이퍼 그래프에 대해 거의 최적의 가장자리 채색을 찾기 위해 어떤 효율적인 알고리즘이 있습니까? 세부 사항 --- k- 균일 하이퍼 그래프는 각 모서리에 정확히 k 개의 정점이 …

12 co.combinatorics  hypergraphs  graph-colouring 

거대한 데이터 스트림에서 작동하는 유용한 알고리즘은 무엇이며 결과도 상당히 작으며 결과를 병합하여 두 스트림을 혼합하여 결과를 계산할 수 있습니까? 몇 가지 이름을 지정할 수 있습니다. sum, min, max, count, top-K 등과 같은 명백한 것 히스토그램, 별개의 항목 수 계산 또는 Quantile 계산을위한 대략적인 "스케치 기반"스트림 알고리즘 다른 사람이 있습니까? (이 …

12 ds.algorithms  big-list  data-streams 

스트림 알고리즘은 대부분 사소한 작업을 수행하기 위해 무작위 화가 필요하며, 공간 제약이 적기 때문에 공간을 거의 사용하지 않는 PRG가 필요합니다. 지금까지 스트림 알고리즘에 사용하기 위해 인용 된 두 가지 방법에 대해 알고 있습니다. 원래 F 2 추정 문제에대해 Alon / Matias / Szegedy가 사용하는 4 와이어 독립 패밀리와 같은 k- …

12 ds.algorithms  derandomization  streaming  pseudorandom-generators 

그래프 동형이 아닌 다른 문제 는 ? 당신은 몇 가지 참조를 줄 수 있습니까?엔피∩ c o A MNP∩coAMNP\cap coAM 업데이트 : 알려지지 않은 언어에 관심이 있음을 언급하지 않았습니다 .c o N피coNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

PAC 학습의 경우, 계산되지 않은 학습자에 의한 정보 이론 학습에 필요한 샘플 복잡성과 다항식에 필요한 샘플 복잡성 사이에 다항식 갭이 존재하는 자연스러운 개념 클래스 (예 : 의사 결정 목록의 하위 집합)가 있습니다. 시간 학습자. (예 : http://portal.acm.org/citation.cfm?id=267489&dl=GUIDE 또는 http://portal.acm.org/citation.cfm?id=301437 참조 ) 이러한 결과는 특정 예에서 비밀을 인코딩하는 데 의존하는 것처럼 …

12 machine-learning  lg.learning  sample-complexity 

별개의 점 보자 . . . n1...n1...n1 ... n 은 앉아있다 R2R2\mathbb{R}^2. 우리는 포인트라고 iii 및 jjj 이웃 경우입니다 |i−j|&lt;3(modn−2)|i−j|&lt;3(modn−2)|i-j| < 3 \pmod{n-2} . 즉, 각 점은 2 안에 색인이있는 점이있는 이웃입니다 222. 문제는: 각 이웃 쌍에 대해 쌍별 거리가 주어지며 (그리고 어떤 거리가 어떤 점에 해당하는지 알고 있음) 모든 …

12 cg.comp-geom 

에서 순수 기능 최악의 상수 시간 Catenable 정렬 된 목록 , Brodal 등. O (1) 연결 및 O (lg n) 삽입, 삭제 및 찾기를 통해 순전히 기능적 균형 트리를 제공합니다. 데이터 구조는 다소 복잡합니다. O (1)이 연결되고 기능적이거나 그렇지 않은 간단한 균형 검색 트리가 있습니까?

12 functional-programming  ds.data-structures 

나는 여기서 증거를 읽고 있는데 기술적 (아직 결정적인) 문제에 걸려 넘어졌다. 나는 이것이 다소 구체적이고 상황이 문제가 있다는 것을 알고 있지만 스스로 알아낼 수는 없습니다. 51 페이지와 55 페이지에서 "표준"검증기를 제시 한 후 분할 할당을 확인하기 위해 검증기를 수정합니다. 첫 번째 사례 (51 페이지)에서 f1,…,fkf1,…,fkf_1,\dots,f_k 가 다항식 코드와 0.010.010.01 가까운 …

12 cc.complexity-theory  pcp 

분명히 이론가들의 고향 인 학계 외에도, 순수한 수학적 배경을 요구하는 이론 컴퓨터 과학과 관련된 산업 직업에 대해 궁금합니다. 건배!

12 career  computational-mathematics 

이 질문에 대한 사과는 사전에 정답이없는 간단한 질문입니다. 이것은 아마도 내 질문을하는 가장 좋은 포럼 일 것입니다. 저는 미국 톱 15 학교 이론 그룹의 3 학년 대학원생 입니다. 지금까지 나는 잘 지내고 있었다. 지금까지 첫 번째 저자 이론 논문과 첫 번째 저자 실용적인 논문이 있습니다. 저의 조언자는 저의 기술을 연마하는 …

12 soft-question  advice-request 

비 결정적 비트를 사용하는 다항식 비결정론 적 프로그램 으로 문제 를 결정할 수 있는 경우 (즉, 모든 증인의 길이는 로그 길이 임) 입니다.ㅏㅏAO ( 로그n )영형(로그⁡엔)O(\log n)A ∈ Pㅏ∈피A \in \mathsf{P} 그렇다면 "증인을 찾는 것보다 증인을 확인하는 것이 더 쉬운가?"라는 질문을하면 그러한 문제에 대해 모든 다항식 실행 시간이 동등한 것으로 …

12 cc.complexity-theory