복잡성 으로 접미사 배열을 작성하는 방법을 배운 후에는 접미사 배열 의 응용 프로그램을 찾는 데 관심이 있습니다. 이 중 하나는 O ( N ) 시간 에서 두 문자열 사이에서 가장 긴 공통 부분 문자열을 찾는 것 입니다. 인터넷에서 다음 알고리즘을 발견했습니다.O(N)영형(엔)O(N)O(N)영형(엔)O(N) 두 개의 문자열 와 B 를 하나의 문자열 A …
Hidoku는 1에서 사이의 미리 채워진 정수 가있는 격자입니다 . 목표는 그리드 에서 연속 정수 (1 ~ ) 의 경로를 찾는 것입니다 . 보다 구체적으로, 그리드의 각 셀은 1에서 까지의 서로 다른 정수를 포함해야 하며 값 각 셀은 값이 인접 셀을 가져야합니다 (대각선 일 수도 있음).n 2 n 2 n 2 …
균등하게 간격을 둔 3 개의 것을 찾는 것에 관한 최근 퍼즐 블로그 게시물 은 O (n lg n) 시간에 그것을한다고 주장하는 최고의 대답과 함께 stackoverflow 질문 으로 이어집니다. 흥미로운 부분은 솔루션이 다항식을 제곱하고, O (n lg n) 시간에 수행하는 방법을 설명하는 논문을 참조 한다는 점 입니다. 이제 다항식을 곱하는 것은 …
두 개 이상의 카운터가있는 카운터 머신 은 일반적으로 계산 이론에 대한 과정에서 튜링 머신과 동등한 것으로 표시됩니다. 그러나, 나는 1 카운터 기계가 어떤 언어를 인식 할 수 있는지에 대한 공식적인 분석을 보지 못했습니다. 이러한 언어는 문맥이없는 언어 (아마도 PDA와 관련하여 일부 영리한 구성)와 동등하거나 완전히 다른 클래스의 언어입니까?
분명히, 만약 , 모든 언어 를 제외하고 및 될 것이다 - 완전한.P ∅ Σ ∗ N PP = N PP=NP{\sf P}={\sf NP}피P{\sf P}∅∅\emptysetΣ※Σ∗\Sigma^*N PNP{\sf NP} 왜이 두 언어가 특별한가요? 수락하거나 수락하지 않을 때 언어를 출력하여 다른 언어를 줄일 수 없습니까 ?피P{\sf P}
이 문제는 매우 흥미로워 보입니다. 직접 그래프에서 간단한주기 (즉, 반복 노드가 아닌주기)를 찾으려고했습니다. 내 솔루션은 다음과 같습니다. 즉,이 그래프는 사례 문제입니다. 깊이 우선 검색 (DFSTree의 내 그림에서 점선으로 표시)에서 "후면 가장자리"를 찾을 수있을 때 그래프에주기가 있다는 것을 알고 있습니다. 모든 간단한 사이클. 왜냐하면, 지시 된 예들은 사이클로부터 매우 중요하기 때문에, …
현재의 체스 알고리즘은 플레이어의 움직임과 상대방의 움직임에 따라 가능한 경로의 트리 아래로 약 1 또는 2 레벨 내려갑니다. 체스 게임에서 상대방의 가능한 모든 움직임을 예측하는 알고리즘을 개발할 수있는 컴퓨팅 능력이 있다고 가정 해 봅시다. 플레이어의 움직임에 따라 상대방이 주어진 순간에 취할 수있는 모든 가능한 경로를 가진 알고리즘. 절대 잃어 버리지 …
한 강의에서 한 교수는 현대 컴퓨터는 무한 메모리가 없기 때문에 튜링 머신만큼 계산 능력이 많지 않으며 무한 메모리를 가질 수있는 컴퓨터가 없기 때문에 튜링 머신은 도달 할 수 없으며 단순히 상한을 나타냅니다 컴퓨팅 이로 인해 컴퓨팅 능력의 범위를 벗어나는 문제 (또는 문제의 종류)에 대한 측정 또는 정의가 있습니까?
Cormen et al.의 알고리즘 소개를 읽었습니다 . 그리고 73 쪽에서 시작하는 마스터 정리의 진술을 읽고 있습니다. 3의 경우 정리를 사용하기 위해 충족되어야하는 규칙 성 조건이 있습니다. ... 3. 경우 f(n)=Ω(nlogba+ε)f(n)=Ω(nlogba+ε)\qquad \displaystyle f(n) = \Omega(n^{\log_b a + \varepsilon}) 상수 경우ε>0ε>0\varepsilon > 0 F( n / b ) ≤ c f( n …
정확도는 떨어지지 만 기본 수단 (생성 기능 없음, 복잡한 분석 없음, 푸리에 분석 없음)에 의해서만 제목 의 고전 논문 을 도출하려고합니다 . 요컨대, 나는 노드 를 가진 나무 의 평균 높이 (즉, 루트에서 잎까지의 최대 노드 수)가 만족 것을 "단지"증명하고 싶다 .hnhnh_nnnnhn∼πn−−−√hn∼πnh_n \sim \sqrt{\pi n} 개요는 다음과 같습니다. 하자 이하의 …
A를 B로 환원 할 수있게하십시오 (예 : . 따라서 를 수락 Turing 머신 은 의 Oracle에 액세스 할 수 있습니다. 허용 Turing 머신 이 이고 대한 오라클 이 . 감축 유형 :A≤BA≤BA \leq BAAABBBAAAMAMAM_{A}BBBOBOBO_{B} 튜링 감소 : 는 여러 번 쿼리 할 수 있습니다 .MAMAM_{A}OBOBO_{B} Karp 축소 : "다항식 시간 …
세트 감안할 때 세트를, 나는 세트 찾으려면 모든 설정하도록 에서 적어도 하나 개의 요소가 포함되어 . 나는 또한 싶습니다 아직이 기준을 충족하면서 하나 이상의 작은이있을 수 있지만, 가능한 몇 가지 요소로 포함하는 이 속성 (솔루션이 반드시 고유하지 않습니다).SS\mathbf{S}MMMSSSSS\mathbf{S}MMMMMMMMM 구체적인 예로, 세트가 국기 세트이고 각 플래그 에 대해 요소가 해당 국가의 …
나는 스스로 배우는 증거 조수 이며 기본적인 증거를 시작하고 내 길을 가기로 결정했습니다. 증명은 다른 증명을 기반으로하므로 계층 구조를 형성하므로 증명 계층 구조의 저장소가 있습니까? 특정 증명 보조자를 선택하고 라이브러리를 분석하여 계층 구조를 추출 할 수 있지만 체인에서 다음 증명을 찾으려면 라이브러리에 없을 때 할 수 없습니다. 내 마음에 나는 …
이 메시지를 작성하기 위해 디지털 컴퓨터를 사용하고 있습니다. 이러한 기계는 당신이 그것에 대해 생각한다면, 사실은 꽤 놀라운하는 속성이 있습니다 : 그것은이다 하나 개의 시스템 , 적절하게 프로그램 된 경우, 수행 할 수있는 가능한 모든 계산을 . 물론 어떤 종류의 기계를 계산하는 것은 고대로 돌아갑니다. 사람들은 덧셈과 뺄셈 (예 : 주판), …