«ds.algorithms» 태그된 질문

폴 에르 도스는 하나님이 각 수학 정리의 가장 우아한 증거를 유지하는 "책"에 대해 이야기했습니다. 이것은 심지어 책 (내가 지금 제 4 판에 있다고 믿는다) : 책의 증거에서 영감을 얻었습니다 . 하나님이 비슷한 알고리즘 책을 가지고 있다면 어떤 알고리즘이 후보라고 생각합니까? 가능한 경우 클릭 가능한 참조 및 작동하는 핵심 통찰력을 제공하십시오. …

358 ds.algorithms  soft-question  ds.data-structures  big-list 

알고리즘의 중요성을 증명하기 위해 (예 : 이론을하지 않거나 전혀 다른 분야의 학생이나 교수에게), 핵심 알고리즘이 상용, 정부, 또는 널리 사용되는 소프트웨어 / 하드웨어. 다음 기준을 충족시키는 그러한 예를 찾고 있습니다. 알고리즘을 사용하는 소프트웨어 / 하드웨어가 현재 널리 사용되고 있습니다. 예는 구체적이어야합니다. 특정 시스템 및 특정 알고리즘에 대한 참조를 제공하십시오. 예를 …

307 ds.algorithms  big-picture  application-of-theory 

마리오가 행성의 표면을 걷고 있다고 가정합니다. 그가 알려진 위치에서 정해진 방향으로 미리 정해진 거리를 걷기 시작하면 어디에서 얼마나 빨리 멈출 수 있을까요? 더 형식적으로, 우리는 볼록 폴리 토프의 주어진 가정 3 공간, 기점 의 표면에 , 방향 벡터 (일부 패싯 함유의 평면 )과의 거리 . 마리오 의 어떤면이 내부에서 멈추는 …

140 ds.algorithms  cg.comp-geom 

두 문자열의 셔플은 문자를 새 문자열로 산재하여 각 문자열의 문자를 순서대로 유지함으로써 형성됩니다. 예를 들어 및 MISSISSIPPI의 셔플입니다 . 두 개의 동일한 문자열이 섞인 문자열 사각형을 호출하겠습니다 . 예를 들어 and 는 셔플이므로 정사각형 이지만 문자열 은 정사각형이 아닙니다.MISIPPSSISIABCABDCDABCDABCDABCDDCBA 문자열이 정사각형인지 아니면 NP-hard인지 결정하는 빠른 알고리즘이 있습니까? 명백한 동적 프로그래밍 …

117 ds.algorithms  open-problem 

이론적 인 컴퓨터 과학은 "추상화의 가격"에 대한 몇 가지 예를 제공했습니다. 가장 눈에 띄는 두 가지는 가우시안 제거 및 정렬입니다. 즉: 가우시안 제거는 연산을 전체적으로 행과 열로 제한 하는 경우 결정자를 계산하는 데 최적 인 것으로 알려져 있습니다 [1]. 분명히 Strassen의 알고리즘은 이러한 제한을 따르지 않으며 가우시안 제거보다 점진적으로 좋습니다. …

112 ds.algorithms  reference-request  big-list  lower-bounds 

최근 몇 년 동안 A *보다 훨씬 빠르게 그래프 변경에 응답하여 최상의 경로를 계산할 수있는 많은 경로 찾기 알고리즘이 개발되었습니다.이 알고리즘은 무엇이고 어떻게 다른가? 그들은 다른 상황에 처해 있습니까, 아니면 일부는 더 이상 사용되지 않습니까? 이것들은 내가 지금까지 찾은 것들입니다. D * (1994) 집중된 D * (1995) DynamicSWSF-FP (1996) LPA …

96 ds.algorithms  shortest-path 

이전 질문에 대한 답으로, “가우시안” 제거가 O(n3)O(n3)O(n^3) 시간에 실행 된다는 일반적이지만 잘못된 믿음을 언급했습니다 . 알고리즘이 O(n3)O(n3)O(n^3) 산술 연산을 사용한다는 것은 명백하지만 , 부주의 한 구현은 지수 적으로 많은 비트를 갖는 숫자를 생성 할 수 있습니다. 간단한 예로, 다음 행렬을 대각선으로 만들고 싶다고 가정합니다. ⎡⎣⎢⎢⎢⎢⎢⎢⎢211⋮1021⋮1002⋮1⋯⋯⋯⋱⋯000⋮2⎤⎦⎥⎥⎥⎥⎥⎥⎥[200⋯0120⋯0112⋯0⋮⋮⋮⋱⋮111⋯2]\begin{bmatrix} 2 & 0 & 0 …

72 ds.algorithms  reference-request  linear-algebra 

구현하기에는 너무 복잡한 합법적 인 유틸리티 알고리즘은 무엇입니까? 명확하게하자 : 나는 현재 asymptotic 최적 행렬 곱셈 알고리즘 (Coppersmith-Winograd)과 같은 알고리즘을 찾고 있지 않지만 구현하기에는 합리적이지만 실제로는 쓸모없는 상수를 가지고 있습니다. 실용적인 가치를 가질 수는 있지만 구현이 불가능하거나 매우 인공적인 환경에서만 구현되거나 현저히 특수한 용도로만 구현 될 수있는 코딩이 어려운 알고리즘을 …

67 ds.algorithms  ds.data-structures  big-list  implementation 

(입력 길이 + 출력 길이)에서 다항식 시간으로 실행되지만 동일한 측정에서 점근 적 실행 시간이 엄청나게 지수 / 일정한 (적어도, 실행 시간에서 입증 된 상한이있는 곳 ) 합리적인 알고리즘을 알고 있습니까? 그런 방법)?

59 ds.algorithms  big-list 

행렬 곱셈에 대한 최적 지수 인 는 실제로 2와 같다고 널리 추측 됩니다. 내 질문은 간단합니다.ωω\omega 라고 믿는 이유는 무엇입니까 ?ω = 2ω=2\omega = 2 Coppersmith-Winograd와 같은 빠른 알고리즘을 알고 있지만 왜 이것이 증거로 간주 될 수 있는지 모르겠습니다 .ω = 2ω=2\omega = 2 순진하게, 그것은 공동체가 단지 미적 이유로 …

59 ds.algorithms  linear-algebra  matrix-product 

배경 몇 년 전, 제가 학부생이었을 때, 상각 된 분석에 관한 숙제를 받았습니다. 문제 중 하나를 해결할 수 없었습니다. 나는 comp.theory 에서 그것을 요구 했지만 만족스러운 결과가 나오지 않았다. 나는 TA가 자신이 증명할 수 없었던 것을 고집하고 그 증거를 잊어 버렸다고 말한 것을 기억한다. 오늘 나는 그 문제를 회상했다. 나는 …

59 ds.algorithms  ds.data-structures  open-problem  time-complexity 

유전자 알고리즘은 이론 세계에서 많은 관심을 끌지 않지만 합리적으로 잘 사용되는 메타 휴리스틱 방법입니다 (메타 휴리스틱에 따르면 어닐링, 그래디언트 디센트 등과 같은 많은 문제에 일반적으로 적용되는 기술을 의미합니다). 실제로 GA와 유사한 기술 은 실제로 유클리드 TSP 에 매우 효과적입니다 . 일부 메타 휴리스틱은 이론적으로 합리적으로 잘 연구 됩니다. 지역 검색 …

56 ds.algorithms  ne.neural-evol 

NP- 완전 문제 의 (검색 버전)의 경우, 다항식 시간에 검증을 수행 할 수 있고 증인을 찾는 데 기하 급수적으로 시간이 걸리기 때문에 솔루션을 검증하는 것이 솔루션을 찾는 것보다 훨씬 쉽습니다. 그러나 P 에서는 다항식 시간에 솔루션을 찾을 수도 있으므로 솔루션을 찾는 것보다 검증이 더 빠른시기는 분명하지 않습니다. 실제로이 문제와는 다른 …

52 cc.complexity-theory  ds.algorithms  reference-request 

알고리즘의 효율성을 분석하는 두 가지 방법은 런타임에 점근 적 상한을 설정하고 그것을 실행하고 실험 데이터를 수집합니다. (1)과 (2) 사이에 상당한 간격 이있는 경우가 있는지 궁금합니다 . 이것은 (a) 실험 데이터가 더 엄격한 점근선을 제안하거나 (b) 알고리즘 X와 Y가있어 이론적 분석에서 X가 Y보다 훨씬 우수하고 실험 데이터가 Y보다 훨씬 우수하다는 것을 …

52 ds.algorithms  big-list  ds.data-structures 

특정 복잡성으로 해결할 수있는 것으로 입증되었지만 실제로는이 복잡성에 도달하는 알려진 알고리즘이없는 문제에 대한 참조가 발생했을 수 있습니다. 나는 이것이 어떻게 일어날 수 있는지 내 마음을 감싸는 데 어려움을 겪는다. 알고리즘의 존재에 대한 비 구조적 증거가 어떻게 보이는지. 실제로 그러한 문제가 있습니까? 그들은 실질적인 가치가 있습니까?

47 ds.algorithms  soft-question  lo.logic  proofs