«algorithms» 태그된 질문

수학에는 비 구조적인 존재 증명이 많이 있으므로, 그것을 찾는 방법을 모르더라도 특정 객체가 존재한다는 것을 알고 있습니다. 컴퓨터 과학에서 비슷한 결과를 찾고 있습니다. 특히, 알고리즘을 보여주지 않고 결정할 수 있다는 문제가 있습니까? 즉, 알고리즘으로 해결할 수 있다는 것을 알고 있지만 알고리즘이 어떻게 보이는지 모릅니다.

21 algorithms  proof-techniques 

두 개의 n 자리 숫자를 곱하는 데 가장 빠른 알고리즘을 알고 싶습니다. 공간 복잡성을 완화 할 수 있습니다!

21 algorithms  mathematical-programming 

Cormen의 Intro to Algorithms 책에서 대부분의 자료를 완성했으며 Corman의 저서 이외의 자료를 다루는 알고리즘 책을 찾고 있습니다. 추천 사항이 있습니까? 참고 : 나는 이것을 stackoverflow에 요청했지만 대답에 너무 만족하지는 않았습니다. 참고 : 대부분의 의견을 보면서 이상적으로는 이 과정 설명 에서 787 과정의 내용을 다루는 책을 찾고 싶습니다 .

21 algorithms  reference-request  books 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 정수 배열 가 주어지면 및 와 같이 세 개의 인덱스 및 찾는 알고리즘의 존재를 증명하거나 반증하고 싶습니다 선형 시간으로 (또는 그러한 트리플이 없다는 것을 알게 됨).i …

21 algorithms  arrays  subsequences 

이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Stack Overflow에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 나는 사람이 수 방법에 대한 궁금 매우 컴팩트 임의의 도메인 압축 IDN의 (에 의해 정의 된 호스트 이름을 RFC5890 )과 흥미로운 도전이 될 수이 의심. 유니 코드 호스트 또는 도메인 …

21 algorithms  strings  natural-language-processing  data-compression 

나는 종종 계산 문제 (또는 그 복잡성)에 대한 알고리즘을 요구하는 사람들과 상호 작용하지만, 우리 (컴퓨터 과학자)가 이해할 수있는 엄격한 방식으로 표현하지는 않습니다. CLRS와 같은 책을 참조하는 것은 도움이되지 않습니다. 예를 들어 그래프의 인접 목록과 두 개의 정점이 주어진 정점 사이의 최단 경로를 계산할 때 일반적으로 매우 간단한 방법으로 엄격하게 진술 …

20 algorithms  reference-request  books 

기수 정렬은 키가 특정 제한된 범위에 있음을 알 때 이론적으로 매우 빠릅니다 (예 : 범위의 값) . 경우 시간 이 걸리는 기본 값을 변환하면 기본 기수 정렬을 수행 한 다음 전체 알고리즘 을 위해 원래 기본으로 다시 변환하십시오 .엔엔n[ 0 … n케이− 1 ][0…엔케이−1][0\dots n^k -1]k &lt; lg엔케이&lt;lg⁡엔k<\lg n엔엔nΘ ( …

20 algorithms  sorting  applied-theory  radix-sort 

직접 가중 그래프에서 음의주기를 찾아야합니다. Bellman Ford 알고리즘의 작동 방식을 알고 있으며 도달 가능한 음수 사이클이 있는지 알려줍니다. 그러나 명시 적으로 이름을 지정하지는 않습니다. 사이클 의 실제 경로 을 어떻게 얻을 수 있습니까?v 1 , v 2 , … v k , v 1V1,V2,…V케이,V1v1, v2, \ldots vk, v1 표준 알고리즘을 …

20 algorithms  graphs  shortest-path 

이것은 인터뷰 질문에서 영감을 얻은 것 입니다. 우리는 정수 의 배열을 제공받으며, 고유 한 가 있는지 확인해야 합니다. I &lt; J &lt; Kㅏ1, ... ,엔a1,…,ana_1, \dots, a_n나는 &lt; j &lt; ki&lt;j&lt;ki \lt j \lt k ㅏ케이− aj= aj− a나는ak−aj=aj−aia_k - a_j = a_j - a_i k − j = j …

20 algorithms  complexity-theory  lower-bounds 

파티션 세분화 는 유한 객체 세트로 시작하여 세트를 점진적으로 분할하는 기술입니다. DFA 최소화와 같은 일부 문제는 파티션 세분화를 매우 효율적으로 사용하여 해결할 수 있습니다. Wikipedia 페이지에 나열된 것 이외의 파티션 세분화를 사용하여 일반적으로 해결되는 다른 문제는 모르겠습니다. 이러한 모든 문제 중 위키 백과 페이지에는 파티션 세분화를 기반으로하는 알고리즘이 선형 시간으로 …

20 algorithms  reference-request  data-structures  partitions  sets 

PP\mathsf{P}kkkDTIME(nk)⊊PTIME(nk)DTIME(nk)⊊PTIME(nk)\mathsf{DTIME}(n^k) \subsetneq \mathsf{PTIME}(n^k)PTIME(f(n))PTIME(f(n))\mathsf{PTIME}(f(n))f(n)f(n)f(n) 무작위성이 \ mathsf {P} 내부에서 우리를 사나요PP\mathsf{P} ? 분명히하기 위해, 나는 단지 상수가 아니라 차이점이 점근 적 인 것이 좋습니다 (바람직하게 다항식이지만 다항식에 정착 할 것입니다). 최악의 경우 무의식적으로 알고리즘을 찾고 있습니다. 더 나은 기대 복잡도를 가진 알고리즘은 내가 찾고있는 것이 아닙니다. ZPP가 아닌 RP 또는 BPP에서와 …

20 algorithms  complexity-theory  randomized-algorithms 

이산 대수를 찾는 것과 동일 비비b 에 주어진 , C 및 N을 .a c Nㅏ비= c 모드 Nㅏ비=기음모드엔a^b=c \bmod Nㅏㅏa기음기음c엔엔N 나는 이것이 어떤 복잡성 그룹 (예 : 클래식 및 양자 컴퓨터)에 있는지, 그리고이 작업을 수행하기 위해 어떤 접근법 (즉, 알고리즘)이 가장 좋은지 궁금합니다. 위의 wikipedia 링크는 실제로 구체적인 런타임을 제공하지는 …

20 algorithms  complexity-theory  time-complexity  discrete-mathematics 

계수 후 계수를 효율적으로 계산하는 알고리즘을 알고 있습니까? 예를 들어 프로그래밍하고 싶습니다. for(i=0; i&lt;5; i++) sum += factorial(p-i) % p; 그러나 p계승을 직접 적용하기위한 큰 숫자 (프라임)입니다 (p≤108)(p≤108)(p \leq 10^ 8) . 파이썬에서는이 작업이 정말 쉽지만 최적화 방법을 알고 싶습니다.

20 algorithms  efficiency  integers 

a1,…,ana1,…,ana_1, \ldots, a_n000lllaiaia_ibibib_i000lllbibib_imax(|a1−b1|,…,|an−bn|)max(|a1−b1|,…,|an−bn|)\max(|a_1-b_1|, \ldots, |a_n-b_n|)bibib_iO(nl√4)O(nl4)O(n\sqrt[4]{l}) 나는 솔직히이 질문을 해결하기 시작하는 방법을 전혀 모른다. 그것은 역동적 인 프로그래밍 질문처럼 보이지만 교수는 욕심 많은 알고리즘을 사용 하여이 문제를 해결해야한다고 말했습니다. 누군가가 작은 힌트를 주면서 올바른 방향으로 나를 가리킬 수 있다면 대단히 감사하겠습니다.

20 algorithms  optimization  greedy-algorithms  subsequences 

WalkSAT 및 GSAT 는 부울 만족도 문제를 해결하기위한 잘 알려진 간단한 로컬 검색 알고리즘입니다. GSAT 알고리즘의 의사 코드는 GSAT 알고리즘 구현-뒤집을 리터럴을 선택하는 방법 이라는 질문에서 복사됩니다 . 아래에 제시되어 있습니다. procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula for i:=1 to Max_Tries do S &lt;- instantiation of variables for j:=1 …

20 algorithms  data-structures  satisfiability