이전에 게시 한 질문 과 매우 유사합니다 . 그러나 이번에는 그래프가 방향이 지정되지 않았습니다. 주어진 무향 그래프 없음 에지 또는 다중 고리와 함께,GGG 소스 정점 ,sss 타겟 정점 ttt , 최대 경로 길이 lll , G′G′G' - 찾고 있습니다 . 길이가 \ leq l 인 s 에서 t 까지 의 …
다양한 복잡성 포함 클래스 다항식 계층의 각 레벨 사이에 포함되어- , DP , BH의 K 및 Σ P I ∩ Π P 난 . 더 나은 용어가 없으면 다항식 계층에서 i 와 i + 1 사이의 중간 클래스 로이 클래스 와 다른 클래스를 참조합니다 . 이 질문의 목적 상, 그것이 …
다음 작업과 함께 개의 공간 단어 를 사용하는 정수 우선 순위 대기열 에 모두 최악의 시간에 무작위로 액세스하지 않고 있습니까?O(n)O(n)O(n) createEmptyQueue에서 를위한 약간의 정수 .O(lgcU)O(lgcU)O(lg^c U)ccc insert에서 .O(1)O(1)O(1) deleteMin에서 여기서 \ 델타 _ {\ 분} 작고 두번째 키 작은 차이이다.O(δmin)O(δmin)O(\delta_{\min})δminδmin\delta_{\min} 또한 키 kkk 에 a가 적용 deleteMin되면 모든 추가 인서트는 …
잔여 유한 상태 오토마타 ([DLT02]에 정의 된 RFSA)는 DFA와 공통점이있는 NFA입니다. 특히 모든 정규 언어에 대해 표준 최소 크기의 RFSA가 항상 있으며 RFSA의 각 주에서 인식되는 언어는 DFA에서와 마찬가지로 잔류입니다. 그러나, 최소의 DFA 상태는 모든 잔차와 함께 약탈을 형성하지만, 정식 RFSA 상태는 주요 잔차와 함께 약화된다; 이들 중 기하 급수적으로는 …
무작위 보행 방법에 관한 최신 논문에서 고려 된 종류의 볼록 다면체의 양을 추정하기위한 구체적이고 강력한 응용 분야는 무엇입니까? 볼륨 추정에 관한이 논문은 수치 적 통합을 하나의 동기로 언급합니다. 사람들이 실제로 계산하고자하는 적분의 예는 무엇입니까? 이전 방법으로는 계산하기가 매우 어렵습니다. 아니면 1000 차원 폴리 토프의 부피를 계산하기위한 다른 실용적인 응용 프로그램이 …
이 백서 는 문과 압력판이있는 게임에서 (플레이어) 아바타가 특정 위치에 도달 할 수 있는지 여부를 결정하는 것이 PSPACE 어렵다는 증거를 제공합니다. 이것은 TQBF 의 감소에 의해 입증되며 , 결과 솔루션의 길이는 공식의 범용 정량 자의 수에 기하 급수적으로 의존합니다. NPSPACE 기계에서 게임 솔루션의 길이가 기계의 수용 경로의 길이와 다항식으로 관련되는 …
나는 결정적이지 않은 유한 한 오토 마톤을 가지고 있으며이를 DFA로 변환해야합니다. 큰 의미에서 나는 40000 개 이상의 상태를 의미합니다. 지금까지 몇 가지 실험을 수행하고 테이블을 검색하는 기본 알고리즘을 프로그래밍 했지만 ( 여기에 설명 된대로 ) 최적화 후에도 메모리 속도가 매우 느리고 매우 소비됩니다. 나는 국가의 수가 기하 급수적으로 증가 할 …
이 질문은이 게시물에 의해 동기 부여됩니다 . 다항식 시간에서 두 순열의 합을 식별 할 수 있습니까? , 순열의 계산 속성에 관심이 있습니다. 차등이 시퀀스 1 , 2 , ... N 순열의 π 숫자 1 , 2 , ... , N + 1 순열의 모든 인접한 두 숫자 사이의 차이에 의해 …
이것은 웹에서 찾은 흥미로운 질문입니다. n 개의 숫자를 포함하는 배열이 주어지면 (그들에 대한 정보가 없음), 우리는 숫자 1 <= k가 주어지면 O (k) 시간에 가장 작은 k 개의 요소를 반환 할 수 있도록 선형 시간으로 배열을 사전 처리해야합니다 <= n 나는이 문제를 몇몇 친구들과 논의했지만 아무도 해결책을 찾지 못했다. 도움을 …
TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd 대한 Zoo 항목TC0TC0\mathsf{TC^0} 은 깊이 2와 3 사이의 분리 만 언급합니다. 계층 구조가 붕괴되지 않는다는 사실에 대한 표준 참조도 있습니까?AC0dACd0\mathsf{AC^0_d}
현재 정규 언어 이상이지만 컨텍스트가없는 언어 클래스가 포함 된 일부 공식 언어 연구를하고 있습니다. 리버스 바운드 멀티 카운터 머신, 단일 스택 카운터 머신, 결정적 CFL 등을보고 있습니다. 이 언어의 속성을 설명하는 좋은 책이나 설문지를 아는 사람이 있는지 궁금합니다. 내가보고있는 대부분의 내용은 Hopcroft-Ullman 서적 (1979 년판)에 속하기에는 너무 모호하거나 너무 새롭습니다. …
가능한 결과가 각각 [-1,0, + 1] 인 [lose, draw, win] 인 극도로 많은 상태를 가진 결정 론적 부분 정보 제로섬 게임을 감안할 때 , 그러한 가치의 근사치의 복잡성은 무엇입니까? 내의 부가 적으로 게임 ?ϵϵ\epsilon 특히, 나는 그것을하는 어떤 알고리즘도 만들 수 없습니다 . 이 게시물의 나머지 부분은 전적으로 문제에 대한 …
선형 프로그래밍 및 k- 평균과 같은 많은 문제에 대한 정확한 알고리즘의 런타임을 이해하기 위해 스무딩 분석이 여러 번 적용되었습니다. 이 영역에는 꽤 일반적인 결과가 있습니다 (예 : Heiko Röglin 및 Berthold Vöcking, Smoothed analysis of integer programming , 2005). 이러한 일반적인 결과 중 일부는 고유 한 최적의 솔루션으로 인스턴스를 생성하기 …