입니다 NPNPNP 오라클 액세스 NPNPNP 그냥보다 큰 NPNPNP? 내가 알아들은 바로는NPNPNPNPNP^ {NP} 다른 사람에게 질문을 할 수있는 튜링 머신입니다. NPNPNP 기계보다 NPNPNP 시뮬레이션 할 수 있습니다 NPNPNPNPNP^{NP}? 이 주장에 문제가 있습니까?
주어진 평면 그래프 라인 세그먼트 세트에 의해 규정되는 평면에 포함 된, 각 세그먼트 엔드 포인트에 의해 표현된다 . 평면 세분화를위한 DCEL 데이터 구조를 구성하고 알고리즘을 설명하며 정확성을 입증하고 복잡성을 보여줍니다.지 ( V), E)G(V,E)G(V,E)이자형= {이자형1, . . . ,이자형미디엄}E={e1,...,em}E= \left \{ e_1,...,e_m \right \} 이자형나는eie_i{엘나는,아르 자형나는}{Li,Ri}\left \{ L_i,R_i \right \} DCEL …
나는 Spearman의 순위 상관 계수를 연구하고 있습니다 ρ =∑나는(엑스나는−엑스¯) (와이나는−와이¯)∑나는(엑스나는−엑스¯)2∑나는(와이나는−와이¯)2−−−−−−−−−−−−−−−−−−−√ρ=∑나는(엑스나는−엑스¯)(와이나는−와이¯)∑나는(엑스나는−엑스¯)2∑나는(와이나는−와이¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} 입니다. 두 개의 목록 및 입니다. 알고리즘 의 복잡성 은 무엇입니까 ?엑스1, ... ,엑스엔엑스1,…,엑스엔x_1, \dots, x_n와이1, ... ,와이엔와이1,…,와이엔y_1, \dots, y_n 알고리즘은 단지 뺄셈을 계산해야 하기 때문에 있습니까?엔엔nO ( n )영형(엔)O(n)
이 사이트에는 TM이 중지 문제를 결정할 수 있는지 여부, 다른 모든 TM 또는 특정 하위 집합에 대한 질문에 많은 변형이 있습니다. 이 질문은 다소 다릅니다. 중지 문제가 모든 TM에 적용되는지를 TM이 결정할 수 있는지 묻습니다. 나는 대답이 '아니오'라고 믿고 나의 추론을 확인하고 싶다. 메타 정지 언어 를 TM이 중지되는지 여부를 …
Coq는 핵심 언어로 let-expression을 포함합니다. let 표현식을 다음과 같은 애플리케이션으로 변환 할 수 있습니다 . typechecking 때 let x : t = v in b ~> (\(x:t). b) v 값 v을 사용할 수 없기 때문에 항상 작동하지는 않습니다 b. 그러나 이는 특수한 형태의 응용 분야에 대한 유형 검사를 통해 쉽게 …
그래프 에서 너비 우선 탐색 (BFS)의 실행 시간 이 라고 종종 언급됩니다 (예 : Wikipedia . 그러나 연결된 그래프에는 있으며 연결되지 않은 그래프에서도 BFS는 시작 정점을 포함하는 구성 요소 외부의 정점을 절대로 보지 않습니다. 해당 구성 요소에는 최대 모서리를 포함하므로 최대 정점이 포함되며 알고리즘이 방문 할 유일한 정점입니다.G = ( …
나는 Sipser Book (2 판)을 통해 작업하고 있으며이 예제를 보았습니다. 이 책에서는이 NFA가 빈 문자열 허용한다고 명시하고 있습니다.ϵϵ\epsilon 이것이 왜 그런지 누군가가 나를 안내 할 수 있습니까? 내 이해는 이 수락 상태가 아닌 로 이동한다는 것 입니다.ϵϵ\epsilonq3q3q_3
문제는 , st, 의 존재를 증명하거나 반증하는 것입니다 ; ; . ( 는 해밍 거리를 나타냄)CCC|c|=6,∀c∈C|c|=6,∀c∈C|c| = 6,\forall c\in C|C|=32|C|=32|C| = 32d(ci,cj)≥2,1≤i<j≤32d(ci,cj)≥2,1≤i<j≤32d(c_i,c_j)\geq2,1\leq i<j\leq32ddd 만족스러운 코드를 만들려고했습니다. 내가 얻을 수있는 최선의 방법은 , 의 크기를 16으로 는 이론적으로 크기의 상한입니다. 문제를 해결하기 위해 다음에 무엇을해야할지 모르겠습니다.C=C′×C′C=C′×C′C = C'\times C'C′={000,011,110,101}C′={000,011,110,101}C' = \{000,011,110,101\}
나는 항상 긴 줄로 줄어드는 많은 알고리즘 문제를 봅니다. 당신은이 정수 배열을h[1..n]≥0h[1..n]≥0h[1..n]\geq 0, 당신은 찾아야합니다 i,ji,ji,j 그런 최대화 (h[j]−h[i])(j−i)(h[j]−h[i])(j−i)(h[j]-h[i])(j-i) 에 O(n)O(n)O(n) 시각. 분명히 O(n2)O(n2)O(n^2) 시간 솔루션은 모든 쌍을 고려하는 것이지만 식을 최대화 할 수있는 방법이 있습니까? O(n)O(n)O(n) 의 속성에 대해 다른 것을 몰라도 hhh? 내가 생각한 한 가지 아이디어는 해결하는 …
라틴 사각형과 관련된 문제를 연구 중이며 의사 결정 문제로 본질적으로 요약되는 방법을 원합니다. 입력 : 유한하고 간단한 그래프 G. 출력 : YESG에 사소한 자동 변형이있는 경우 NO그렇지 않은 경우. 그 후... 질문 : 그래프에 사소한자가 형성이 있는지 여부를 결정하는 효율적인 알고리즘이 있습니까? 우리는 Nauty 또는 Bliss (및 다른 패키지)를 사용하여 …
라이스 정리의 한 진술은 "전산 복잡성 : 현대적 접근"(Arora-Barak)의 35 페이지에 나와 있습니다. 에서 부분 기능 {0,1}∗{0,1}∗\{0,1\}^* 에 {0,1}∗{0,1}∗\{0,1\}^*모든 입력에 반드시 정의되어있는 것은 아닙니다. 우리는 TM이라고MMM 부분 함수를 계산합니다 fff 모든 경우에 xxx 어느 fff 정의 M(x)=f(x)M(x)=f(x)M(x) = f(x) 그리고 모든 xxx 어느 fff 정의되지 않았습니다 MMM 입력시 실행될 때 …
또는 등과 같은 여러 표기법 이 있습니다 . 실제로 또는 와 같은 변형이 있거나 수학적으로 부 정확한지 궁금합니다.OOOO(n)O(n)O(n)O(n2)O(n2)O(n^2)O(2n2)O(2n2)O(2n^2)O(logn2)O(logn2)O(\log n^2) 아니면 를 로 향상시킬 수 있다고 말하는 것이 ? 나는 아직 런타임을 알아낼 필요가 없으며 아무것도 개선 할 필요가 없지만 이것이 실제로 함수를 설명하는 방법인지 알아야합니다.O(5n2)O(5n2)O(5n^2)O(3n2)O(3n2)O(3n^2)
나는이 문제를 발견하고 그것에 접근하는 방법을 찾기 위해 고심하고 있습니다. 어떤 생각이라도 대단히 감사하겠습니다! 예를 들어, 행렬이 있다고 가정합니다 .{−1,0,1}n × k{−1,0,1}n × k\{-1, 0, 1\}^{n\ \times\ k} ⎡⎣⎢⎢⎢⎢⎢⎢1−10−11001−101010000010−11−11−1⎤⎦⎥⎥⎥⎥⎥⎥[1010−1−100010110−1−1−10111000−1]\begin{bmatrix} 1 & 0 & 1 & 0 & -1 \\ -1 & 0 & 0 & 0 & 1 \\ 0 …