제곱 n × nn×nn\times n 실수 행렬 ㅏA{\bf A} 와 길이 n 의 두 벡터 엑스x{\bf x} 및 를 A x = b가되도록 합니다. 표준 가우시안 제거를 통해 x 를 풀면 거의 O ( n 3 ) 의 총체적인 복잡성이 발생 합니다. 그러나 해결 (또는 경우가있다 ε 에 대한 해결 …
Kempe-Kleinberg-Tardos 의이 백서 에서 저자는 하위 네트워크 기능에 기반한 탐욕 알고리즘을 제안 하여 소셜 네트워크에 응용하여 그래프에서 가장 영향력있는 노드 를 결정합니다 .케이kk 기본적으로 알고리즘은 다음과 같습니다. 에스= e m p t y s e t S=empty setS = {\rm empty~set} 개별 영향이 가장 큰 노드를 선택하고 ; S = …
Chong, Han 및 Lam 은 O ( m + n ) 프로세서를 사용 하여 시간 내에 EREW PRAM에서 방향이없는 st-connectivity를 해결할 수 있음을 보여주었습니다 .O ( 로그 n )영형(로그엔)O({\log}n)O ( m + n )영형(미디엄+엔)O(m+n) 방향성 평면 그래프에서 st-connectivity 에 대해 가장 잘 알려진 병렬 알고리즘은 무엇입니까 ? 실행 시간, 결정 …
Alon and Spencer의 책 Probabilistic Method 1 장은 다음과 같은 문제를 언급합니다. 그래프 주어지면 가장자리 연결이 n / 2 이상인지 여부를 결정하십시오 .지GGn / 2n/2n/2 저자는 (A)의 존재를 언급 Matula하여 알고리즘 및 그것을 개선 O ( N 8 / 3 로그 N ) .O ( n삼)O(n3)O(n^3)O ( n8 / 3로그n …
분기 및 바운드는 검색 문제에 대한 효과적인 휴리스틱이며 Wikipedia는 분기 및 바운드가 사용 된 여러 가지 어려운 문제를 나열합니다 . 그러나 이러한 문제를 해결하기위한 "한 가지 방법"이상의 것을 제안하는 참고 자료를 찾을 수 없었습니다. 일화 적으로 SAT 및 정수 프로그래밍에 대한 최고의 휴리스틱 중 일부가 분기 및 경계에서 나온다는 것을 …
L 이라고도하는 Parity-L 은 짝수 또는 홀수의 "수락"경로 만 구분할 수있는 비 결정적 튜링 머신에서 인식되는 언어 세트입니다. 최근 관련 질문 이 Niel de Beaudrap에 의해 요청되었습니다.⊕⊕\oplus 내 질문은 다음과 같습니다 NL L 인지 알고 있습니까? 아니면이 두 클래스는 비교할 수없는 것으로 생각됩니까?⊕⊆⊆\subseteq ⊕⊕\oplus
이 질문은 Peng Zhang 의 MathOverflow 질문에 의해 동기가 부여됩니다 . Valiant는 일반 그래프에서 최대 클릭 수를 계산하는 것이 # P- 완료 되었음에도 불구하고 비교할 수없는 그래프로 제한하면 (즉, 유한 포즈에서 최대 안티 체인 수를 계산하려는 경우) 어떻게해야합니까? 이 질문은 자연스럽게 보였지만 이전에 고려 된 것으로 생각되지만 문헌에서 찾을 수 …
인기있는 DEFLATE 알고리즘은 Lempel-Ziv 위에 Huffman 코딩을 사용합니다. 우리는 데이터의 임의의 소스가 있다면, 일반적으로, (1 비트 엔트로피 / 비트 =) 에는 허프만 인코딩을 포함하여, 평균을 압축 할 가능성이 없다. Lempel-Ziv가 "완벽"한 경우 (길이가 무한대가됨에 따라 대부분의 소스에 접근하는 경우) Huffman을 사용한 포스트 인코딩은 도움이되지 않습니다. 물론, Lempel-Ziv 는 최소한 유한 …
그래프 의 경로 너비 를 계산하는 알고리즘의 구현을 찾고 있습니다. 경로 폭을 계산하는 것은 노드 탐색 수, 정점 분리 수 또는 그래프의 간격 두께를 계산하는 것과 동일하다는 것이 잘 알려져있다. 알고리즘이 매우 빠를 필요는 없습니다. 최대 20 개의 정점 그래프에서 실행하고 싶습니다. 근사치를 제공하는 대신 경로 너비를 정확하게 계산하는 알고리즘이 …
면책 조항 : 유형 이론에 관심이 있지만 유형 이론에 대한 전문가는 아닙니다. 간단히 입력 된 람다 미적분에서 0 유형 에는 생성자와 고유 제거기가 없습니다. Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M) \colon A} Denotational 관점에서, 방정식 은 명백합니다 (유형이 의미가있을 때).나는 n i t i a l ( M1) …
Manuel Blum의 " 초보 대학원생에 대한 조언 "에서 : LEONID LEVIN은 P = NP에 대한 답이 무엇이든 그렇게 믿습니까? 문제는, 당신이 생각하는 것 같지 않을 것입니다. 그리고 그는 훌륭한 모범을 보여주었습니다. 우선, 그는 곱셈 상수까지 가능한 최적의 팩터링 알고리즘을 제공했습니다. 그는 자신의 알고리즘이 지수 형이면 FACTORING에 대한 모든 알고리즘이 지수 …
문맥. 저는 Pauli 스태빌라이저 그룹을 사용하여 Gottesman-Knill 정리 와 같은 주제에 대해 글을 쓰고 있지만 d 차원 qudits 의 경우 d 는 둘 이상의 주요 요소를 가질 수 있습니다. (“더 높은 차원”에서 안정기 형식주의에 대한 대부분의 문헌은 d 소수 또는 d 소수 의 경우를 포함하고 유한 필드를 사용하기 때문에이를 강조합니다. …
배경 이 질문은 '드라큘라 (Dracula)'라는 보드 게임에서 동기를 부여합니다. 이 게임에는 뱀파이어 1 마리와 사냥꾼 4 명이 있는데, 사냥꾼의 목적은 뱀파이어를 잡는 것입니다. 이 게임은 유럽에서 진행됩니다. 게임은 다음과 같습니다. 1. 사냥꾼 플레이어는 모든 사냥꾼을 도시에 넣습니다. 같은 도시에 한 명 이상의 사냥꾼을 배치 할 수 있습니다. 2. 뱀파이어 플레이어는 …