이론 컴퓨터 과학

이것은 고전적인 비서 문제 의 연장이다 . 채용 게임에는 후보자 세트가 있습니다. C={c1,…,cN}C={c1,…,cN}\mathcal C=\{c_1,\ldots,c_N\}각 직원의 숙련도에 따라 주문합니다. Wlog, 우리는 가정 c1c1c_1 가장 숙련되고 c2c2c_2등 응시자들의 인터뷰 순서는 무작위로 균일하게 선택되며 고용주에게 알려지지 않습니다. 이제 두 명의 고용주가있는 시장이 있다고 가정하십시오. 매 라운드마다 새로운 후보자가 두 회사를 대상으로 인터뷰를하고 있습니다.A,BA,BA,B). …

9 ds.algorithms  gt.game-theory 

일부 유한 필드에 대해 선형 방정식 시스템을 풀기의 복잡성에 대해 알려진 것은 무엇입니까? 솔루션을 계산 하는 알고리즘 (Gauss)이 있으며 희소 시스템의 경우 더 나은 알고리즘이 있다는 것을 알고 있습니다. 그러나 나는이 문제에 대한 약간의 복잡성 이론적 특성이 있는지 궁금합니다. 예를 들어, 의 해당 결정 문제가 있습니까? 복잡성 수업이 완료 되었습니까?O(n3)O(n3)O(n^3)NCNC\mathbf{NC}

9 cc.complexity-theory  linear-equations 

가장 빠른 알려진 무 방향 그래프 동형 알고리즘은 무엇입니까?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

허락하다 d: { 0,1}케이× { 0 ,1}케이→ Rd:{0,1}케이×{0,1}케이→아르 자형d:\{0,1\}^k\times \{0,1\}^k \to \mathbb{R}우리가 유사성 함수 라고하는 함수 입니다. 유사도 함수의 예는 코사인 거리,엘2엘2l_2 규범, 해밍 거리, Jaccard 유사성 등 치다 엔엔n 길이의 이진 벡터 케이케이k: V⃗ ∈({0,1}k)nv→∈({0,1}k)n\vec{v} \in (\{0,1\}^k)^n. 우리의 목표는 비슷한 벡터를 그룹화하는 것입니다. 더 공식적으로, 우리 는 노드가 벡터이고 …

9 ds.algorithms  graph-algorithms  clustering 

부울 함수 -1,1 -1,1 있고 에 -random 제한을 적용 한다고 가정 해 봅시다 . 또한, 를 계산 하는 결정 트리 가 임의 제한의 결과로 크기 로 축소 된다고 가정 하십시오. 이것은 가 총 영향이 매우 낮다는 것을 의미합니까 ?f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f:\{-1,1\}^n\rightarrow \{-1,1\}δδ\deltafffTTTfffO(1)O(1)O(1)fff

9 cc.complexity-theory  co.combinatorics  circuit-complexity  boolean-functions 

하자 연산 회로에 의해 주어진 다항식 사이즈 . 를 입력으로 가정 할 때 에서 의 돌이킬 수없는 모든 요소 가 선형 형태 인지 확인하는 결정적인 알고리즘이 있습니까? 관련 메모에서 선형 형식 주어지면 이 인자 인지 결정적으로 확인할 수 있습니다 . 물론, 우리는 두 경우 모두에서 실행 시간이 다항식이되기를 원합니다. 크기로, …

9 ds.algorithms  algebraic-complexity  arithmetic-circuits 

죄송합니다. 이것은 "부드러운"질문입니다. 정보 이론에는 계산 복잡성의 개념이 없습니다. 예를 들어, SAT의 인스턴스, 또는 SAT의 인스턴스 및 만족도를 나타내는 비트에 동일한 양의 정보가 전달된다. "다 항적으로 알 수있는"개념을 공식화하는 방법이 있습니까? 이러한 프레임 워크는 예를 들어 Y가 주어진 다항식 시간에서 X를 계산하는데 필요한 비트 수로서 랜덤 변수 X 상대 Y …

9 cc.complexity-theory  it.information-theory  polynomial-time 

2 개의 n 비트 정수를 곱한 회로의 게이트 수에 가장 적합한 결과는 무엇입니까? 명백한 방법은 게이트를 생성합니다. 가 더 나은 접근법과 와 게이트.θ (엔2)θ(n2)\theta(n^2)θ ( n 로그N 로그로그n )θ(nlog⁡nlog⁡log⁡n)\theta(n\log n \log\log n)θ ( n 로그엔2로그※(n ))θ(nlog⁡n2log∗⁡(n))\theta(n\log n2^{\log^*(n)}) 게이트로 곱셈을 처리 할 수있는 부울 회로 제품군을 찾을 수 없습니다 . 그런 …

9 cc.complexity-theory  circuit-complexity 

모호한 CFG와 모든 CFG 의 비율은 무엇입니까 ? 두 세트 모두 셀 수없이 무한하기 때문에 비율이 잘 정의되어 있지 않습니다. 그러나 점근 밀도 는 어떻 습니까 ? 임n ↦ ∞# 크기 모호한 CFG < N# 크기 CFG < Nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n \mapsto \infty}\frac {\# \text{ …

9 fl.formal-languages  grammars  context-free 

클러스터 내 제곱합을 최소화하기 위해 점 집합을 동일한 크기의 두 하위 집합으로 나누고 싶습니다. 점들이 2 차원 유클리드 공간에 있다고 가정 할 수 있습니다. k = d = 2가 주어지면 일반적인 k- 평균 군집 알고리즘보다 빠른 것을 원합니다. 누구나 좋은 알고리즘의 방향으로 나를 가리킬 수 있습니까? 근사치가 좋은 경우 정확한 …

9 ds.algorithms  approximation-algorithms  clustering 

동형 그래프에서 그래프에 매핑 인 로부터 로 이되도록하는 경우 및 으로 인접한 후 및 는 인접 해있다 . 자기 사상 그래프의 로부터 동형 인 자체; 그것에는 고정 소수점 부담 없이 존재하는 경우 되도록 이되고 비 단순은 그 신원이 아닌 경우.G=(V,E)G=(V,E)G = (V, E)G′=(V′,E′)G′=(V′,E′)G' = (V', E')fffVVVV′V′V'xxxyyyEEEf(x)f(x)f(x)f(y)f(y)f(y)E′E′E'GGGGGGxxxf(x)=xf(x)=xf(x) = x 나는 최근 …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

대부분의 종속 유형 시스템에는 유도 유형에 대한 엄격한 양성 조건이 있습니다. 조건을 위반하면 시스템에서 불일치가 발생하는 예를 아는 사람이 있습니까?

9 lo.logic  type-theory  dependent-type 

고전적인 # P- 완전 문제 # 3SAT를 고려하십시오. 즉, 변수를 만족 하는 3CNF를 만들기 위해 평가 횟수를 계산합니다 . 첨가제 근사치에 관심이 있습니다. 분명히 -error 를 달성하는 사소한 알고리즘이 있지만 이면 효율적인 근사 알고리즘을 가질 수 있거나이 문제도 # P-hard입니다. ?엔nn2n - 12n−12^{n-1}k &lt;2n - 1k&lt;2n−1k<2^{n-1}

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

의사 소통 복잡성을 자체적으로, 그리고 계산 복잡성 이론과 관련하여 동기를 부여하고 배우는 가장 좋은 출처 (책과 논문)는 무엇입니까?

9 cc.complexity-theory  reference-request  communication-complexity  books 

심어진 파편 문제에서 케이kkErdos-Renyi 랜덤 그래프에 심은 G ( n , p )G(n,p)G(n,p). 이것은 주로 살펴 보았습니다p =12p=12p=\frac{1}{2}이 경우 다항식 시간 해결이 가능한 것으로 알려져 있습니다. k &gt;엔−−√k&gt;nk > \sqrt{n} 그리고 열심히 추측 k &lt;엔−−√k&lt;nk< \sqrt{n}. 내 질문은 : 다른 가치에 대해 알려진 / 믿는 것 피pp? 구체적으로피pp 상수입니다 [ …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness