업데이트 :이 문제는 최근에 연구되어 해결 된 것으로 보입니다 .http : //en.wikipedia.org/wiki/Tree_walking_automaton 및이 설문 조사 : http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf 일반적인 단어 집합 인 {0,1} * 대신에 우리의 단어가 선형이 아니라 일부 트리 구조에 있다고 가정 해 봅시다. 우리 기계가 "잃어 버리는"것을 방지하기 위해, 단어를 이진 임베디드 arborescence 세트로 정의하십시오. (따라서 모든 …
나는 독학 전문 프로그래머입니다. 나는 그것에 능숙합니다 (Ruby, Unix, Clojure, Java, Objective-C).하지만 지금은 CS에서 석사 또는 PhD 프로그램을 신청하여 다음 단계로 가져갈 생각입니다. 이 목표를 준비하기 위해 수학에서 어떤 주제를 공부해야합니까?
문제 설명 : 허락하다 M미디엄M (잠재적으로 결정적이지 않은) 푸시 다운 오토 마톤이어야하고 Aㅏ\cal A입력 알파벳입니다. 단어가 있습니까w∈A∗w∈A∗w \in \cal A^* 성 |w|≤k|w|≤k|w| \leq k 그것은 받아 들여진다 M미디엄M ? 이 문제가 NP-complete입니까? 연구 되었습니까? 그런 단어를 찾을 수있는 알고리즘이 있습니까?
그래프 모듈 식 분해를 도입 할 때 대부분의 저자는 11-vertex 그래프를 사용합니다.이 그래프는 Wikipedia에서 복사 한 것입니다. 문제는 누가 그것의 원래 디자이너인가입니다. (위키피디아에 대해 누가이 그래프를 그렸는지 묻지는 않지만 원본은 그 출처입니다.) wikipedia 페이지는 2006 년 12 월에 만들어졌습니다. 내가 찾을 수있는 가장 빠른 자료는 2006 년 5 월 17 …
많은 문제들에 대해, 가장 점증적인 복잡성을 갖는 알고리즘은 큰 O 표기법에 의해 숨겨지는 매우 큰 상수 인자를 갖는다. 이것은 행렬 곱셈, 정수 곱셈 (특히, Harvey와 van der Hoeven의 최근 O (n log n) 정수 곱셈 알고리즘), 낮은 정렬 네트워크 및 그래프 마이너 찾기에서 발생합니다. 이러한 알고리즘을 때때로 은하계 알고리즘이라고합니다. 일반 …
최근에, 나는 대수 기하학에 관심을 갖게되고 그것에 대해 읽기 시작했습니다. 나는 여전히이 분야에 대해 거의 알지 못하지만 그것이 나의 주요 분야, 유형 이론 및 프로그래밍 언어와 관련이 있는지 알고 싶습니다. 대수 토폴로지는 유형 이론 (homotopy type 이론 등)에 많은 응용 프로그램이 있지만 유형 이론 / PL 이론과 AG는 범주 이론의 …
[1]에서 Garey et al. 유클리드 TSP의 NP- 완전성을 해결하는 과정에서 나중에 제곱근 문제의 합으로 알려진 것을 식별합니다. 주어진 정수 ㅏ1,ㅏ2, ... ,ㅏ엔ㅏ1,ㅏ2,…,ㅏ엔a_1, a_2, \ldots, a_n 과 엘엘L, 여부를 결정 ㅏ1−−√+ㅏ2−−√+ ⋯ +ㅏ엔−−√< Lㅏ1+ㅏ2+⋯+ㅏ엔<엘\sqrt{a_1} + \sqrt{a_2} + \cdots + \sqrt{a_n} < L 그들은이 문제가 NP에 있다는 것이 명백하지 않다는 것을 관찰한다. …
허락하다 G∼G(n,n−1/2)G∼G(n,n−1/2)G \sim G(n, n^{-1/2}) 에 무작위 그래프이다 ≈n3/2≈n3/2\approx n^{3/2}가장자리. 매우 높은 확률로GGG 많이있다 444사이클. 우리의 목표는 다음 중 하나를 출력하는 것입니다444가능한 빨리 순환합니다. 우리가 액세스 할 수 있다고 가정 GGG 인접성 목록 양식에서 우리는 일정한 확률로 성공할 수 있습니다. O(n−−√)O(n)O(\sqrt{n}) 다음과 같이 시간 : 노드를 선택하십시오 vvv 그리고 무작위로 …
TCS에는 일반적으로 부트 스트랩 결과 라고하는 유형의 결과가 있습니다. 일반적으로 형식입니다 제안 보류되면 제안 보류됩니다.AAAA′A′A' 여기서 와 는 비슷해 보이는 제안이며, 는 보다 '약한'것처럼 보입니다 . 이것이 우리가 이러한 유형의 결과를 명명하는 이유입니다. 몇 가지 구체적인 예를 들어 보겠습니다.AAAA′A′A'AAAA′A′A' 정리. [Chen and Tell, STOC'19] 문제 . 모든 대해 이 무한히 …
Gödel의 첫 번째 불완전 성 정리의 약한 형태, Gödel의 방식으로 길고, 관련이 있으며, 반 직관적 인 장소에서 직접 증거는 정지 문제의 결정 불가능 성을 기반으로 간단하고 직관적 인 증거를 가지고 있습니다-예를 들어 https : / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof 누가이 증거를 처음 제안했으며 어떤 기사 나 책에서 처음 출판 되었습니까?
언어 간 변환을 정의하기위한 여러 가지 모델이 있습니다. 문자열 그래프에 대한 유한 상태 변환기와 MSO 정의 가능 그래프 변환은 내가 가장 잘 알고있는 두 가지입니다. 2-way 유한 상태 변환기 (1-way 대응보다 표현력이 우수함)와 MSO 정의 가능 문자열 변환은 결합기를 사용하는 덜 알려진 다른 모델과 함께 동일한 변환 세트를 캡처한다는 것을 …
고정 된 크기의 배열 하나를 사용하여 두 개의 스택을 효율적으로 구현할 수 있습니다. 스택 # 1은 왼쪽 끝에서 시작하여 오른쪽으로 커지고 스택 # 2는 오른쪽 끝에서 시작하여 왼쪽으로 커집니다. 세 개의 스택에 대해서도 동일합니까? 보다 구체적으로, 다음과 같은 조건에서 3 개의 스택을 구현할 수 있습니다. N 개의 개체를 담을 수있는 …
건축 미적분에 대한 강력한 정규화의 증거를 이해하는 데 어려움이 있습니다. 나는 허먼 거버 (Herman Geuvers)의 논문 "건축 미적분학에 대한 강력하고 정규화 된 증거"를 증명하려고 노력한다. 나는 추론의 주요 노선을 잘 따를 수 있습니다. 거버는 각 유형 에 대해 유형 변수 의 일부 평가에 따라 해석 해석을 구성합니다 . 그런 다음 …