다음 은 대안이지만 MonadPlus가 아닌 Monad의 예는 무엇입니까? : 이 모나드라고 가정하십시오 . 관계의의 차이와의 무엇입니까 m 되는 대체 하는 MonadPlusCatch 과 MonadPlusDistr은 ? mmmmmm여섯 가지 가능한 쌍 각각에 대해 하나는 다른 것을 의미한다는 증거 또는 그렇지 않은 반례를 갖고 싶습니다. (사용하고 있습니다 왼쪽 캐치 규칙 을 만족 하는 MonadPlus …
함수 있다고 가정하면 ( 따라서 을 분포로 생각할 수 있습니다 . 이러한 함수의 엔트로피를 다음과 같이 정의하는 것은 당연합니다. f:Zn2→Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R}∑x∈Zn2f(x)2=1∑x∈Z2nf(x)2=1\sum _{x\in \mathbb{Z}_2^n} f(x)^2 = 1{f(x)2}x∈Zn2{f(x)2}x∈Z2n\{ f(x)^2\} _{x\in \mathbb{Z}_2^n}H(f)=−∑x∈Zn2f(x)2log(f(x)2).H(f)=−∑x∈Z2nf(x)2log(f(x)2).H(f) = -\sum _{x \in \mathbb{Z}_2^n} f(x)^2 \log \left( f(x)^2 \right) . 이제 와 의 컨벌루션을 생각해보십시오 . (참고 우리 다루는 …
일반적인 적의 하한은 Reichardt 등의 혁신적인 작업으로 인한 양자 쿼리 복잡성을 특성화하는 것으로 알려져 있습니다. 또한 동일한 작업 라인이 스팬 프로그램 프레임 워크에 연결하여 양자 알고리즘을 설계합니다. Simon의 알고리즘과 같은 지수 속도가 증가하고주기를 찾기위한 Shor의 알고리즘을 포함하여 많은 흥미로운 양자 알고리즘이 양자 쿼리 모델로 표현 될 수 있습니다. 일반적인 적대적 …
크기 n1n1n_1 과 의 두 개의 스트링이 주어지면 n2n2n_2, 표준 레 벤슈 테인 편집 거리 계산은 시간 복잡도 O(n1n2)O(n1n2)O(n_1 n_2) 와 공간 복잡도 가진 동적 알고리즘에 의해 계산됩니다 O(n1n2)O(n1n2)O(n_1 n_2). (일부 개선 편집 거리의 함수로 만들 수 있습니다 ddd , 그러나 우리는 아무런 가정도하지 않습니다 dddO(max(n1,n2))O(max(n1,n2))O(\max(n_1, n_2)) 그러나 최적의 편집 …
부분 주문 모음이 제공되는 경우, 토폴로지 정렬은 전체 주문에 대한 모음 확장이 있는지 알려줍니다 (이 경우 확장은 각 부분 주문과 일치하는 총 주문입니다). 나는 변형을 보았습니다. 세트 수정하십시오 . 반복없이 V 에서 그린 요소의 시퀀스 σ 1 , … σ k 가 주어집니다 (시퀀스 길이는 1과 | V | 사이입니다 …
알고리즘이 될 수있는 "문제"를 정의 자연수를 받아들이고 복귀 0 또는 1을 반환 적어도 하나 . 이러한 은 의 "솔루션"이라고합니다1 n ∈ N n AㅏAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA "유니버설 문제 해결사"를 정의하여 문제를 받아들이고 그 해결책 중 하나를 반환 하는 알고리즘예를 들어 는 모든 자연수를 반복하고 결과가 될 때까지 입력을 실행하여 작동 …
LTL , Büchi / QPTL , CTL 및 CTL * 의 표현력 사이에는 어떤 관계가 있습니까? 가능한 한 많은 시간적 논리 (특히 선형 시간과 분기 시간 사이)를 다루는 참고 자료를 줄 수 있습니까? 이러한 시간적 논리와 실제 특성을 예로 든 벤 다이어그램이 완벽합니다. 예를 들어 : Büchi에는 지정할 수 있지만 …
Petkovsek, Wilf 및 Zeilberger의 A = B 책 은 서로 다른 이항 합을 계산하는 알고리즘을 설명합니다. AFAIK, 이러한 알고리즘은 여전히 다른 저자들에 의해 개선되고 있습니다. 이 알고리즘의 최신 구현을 어디에서 찾을 수 있는지 알고 있습니까? 그리고 Sage 와 같은 일부 무료 소프트웨어에 구현이 있는지 알고 있습니까?
Arora와 Barak은 이 로 표현 될 수 있음을 보여줍니다. 즉, 3SAT로 무작위 축소 된 언어 집합입니다. 는 또한 결정 론적 검증자를 무작위 화 된 검증기로 대체한다는 점에서 의 자연스러운 무작위 일반화입니다 .AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} 이들 중 하나가 "NP가?에 대해 P는 BPP에?"에 더 가깝다는 의미가 있습니까? 관계?
MPA (multipebble 오토 마톤)는 2DFA 실제로 최대 자갈 (임의의 개수를 사용할 수있다 (양방향 결정적 유한 오토 마톤을)은 주어진 입력 자갈 승 - 입력은 두 개의 단부 사이에서 테이프에 기록된다 - # w # )로 표시됩니다. 계산 중에 MPA는 헤드 아래의 심볼에 조약돌이 있는지 여부를 감지 한 다음 조약돌 (조약돌)이 없으면 …