우리가 큰 (감독) 그래프가있는 경우 와 작은 뿌리 나무 ,의 서브 그래프 찾기위한 가장 잘 알려진 복잡성 무엇 에 동형를 ? 와 가 모두 나무이고 가 평면이거나 나무 너비 (및 기타) 경계가 있는 하위 트리 동형에 대한 결과를 알고 있지만이 그래프와 트리의 경우에는 해당되지 않습니다. GGGHHHGGGHHHGGGHHHGGG
주어 행렬 (가정 , 컬럼의 랭크 및 기준을 계산하는 가장 빠른 알고리즘이 무엇인가)?m×nm×nm \times nm≥nm≥nm \ge n 선형 Matroid 교차를 통해 해결할 수 있다는 것을 알고 있습니다 .O 시간 결정 알고리즘과 시간 무작위 알고리즘을 의미합니다. 거기에 보다 직접적 행렬 곱셈에 문제 (또는 가우스 소거법)를 감소하는 시간 결정적 알고리즘?O(mn1.62)O(mn1.62)O(mn^{1.62})O(mnω−1)O(mnω−1)O(mn^{\omega-1})O(mnω−1)O(mnω−1)O(mn^{\omega-1})
대수 알고리즘과 복잡성에 대해 배우고 싶습니다. 특히 PIT에 관심이 있습니다. Sipser의 책이나 Arora-Barak의 복잡한 교과서와 같은 이론에 대한 표준 교과서를 읽은 학생들을위한 강의 노트, 책, 논문 및 설문 조사 세트가 있습니까? 참조 세트에는 최근 고급 결과가 포함됩니다.
모두가 아시다시피, SAT는 대한 완료 다항식 시간 많은 한 감소를 WRT. 여전히 wrt 많은 일 감소입니다.N P엔피\mathsf{NP}C0ㅏ씨0\mathsf{AC^0} 내 질문은 축소에 필요한 최소 깊이는 얼마입니까? 더 공식적으로 최소한의 무엇입니까 SAT가되도록 -hard WRT 많은 일 감소?디디dN P엔피\mathsf{NP}C0디ㅏ씨디0\mathsf{AC^0_d} 나에게 보인다 충분해야한다? 누구든지 참조를 알고 있습니까?C02ㅏ씨20\mathsf{AC^0_2}
물리학에서 나는 기하학적 관점에서 많은 문제를 조사하도록 훈련되었습니다. 예를 들어, 역학 시스템 등에서 매니 폴드의 차등 기하학. 컴퓨터 과학의 기초를 읽을 때, 나는 항상 기하학적 해석을 찾으려고 노력합니다. 재귀 적으로 열거 가능한 집합에 대한 그럴듯한 기하학적 해석처럼 수식) 또는 숫자 정렬을위한 간단한 알고리즘의 아름다운 기하학적 결과. 나는 전문가가 아니지만 기하학적 …
배경 : 수학 석사 학위를 마치고 8 월에 논리 박사 학위를 시작할 것입니다. 더 많은 논리를 연구할수록 이론과 컴퓨터 이론에 더 많이 노출됩니다. 나의 주요 관심 분야 (집합 이론 및 범주 이론)에도 컴퓨터 과학 분야의 응용 프로그램이 있지만, 지금까지 순수 수학의 관점에서만 연구했습니다. 문제: 컴퓨터 과학에 대한 배경 지식이 부족하여 …
GI 와 Knot Problem은 모두 수학적 객체의 구조적 동등성을 결정하는 문제입니다. 그들 사이에 연결을 설정 한 결과가 있습니까? 매듭 다항식을 통해 통계 물리학에 대한 매듭 문제의 좋은 연관성이 탐구되었으며 , 대해 유사한 결과가 있습니까?GIGIGI G I를 조사하기 전에 표준 결과 / 경고 / 제안 / 의견이 있는지 알아두면 특히 도움이됩니다.GIGIGI …
고려 차원 공간 및하자 형태의 선형 제약 될 여기서 , 및 .nnn{0,1}n{0,1}n\{0,1\}^ncccㅏ1엑스1+ a2엑스2+ a삼엑스삼+ . . . + a n - 1엑스n - 1+ a엔엑스엔≥ka1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka_1x_1 + a_2x_2 + a_3x_3 +\ ...\ + a_{n-1}x_{n-1} + a_nx_n \geq kai∈Rai∈Ra_i \in \mathbb{R}xi∈{0,1}xi∈{0,1}x_i \in \{0,1\}k∈Rk∈Rk \in \mathbb{R} 분명히 ccc 는 두 개의 …