이론 컴퓨터 과학 ds.algorithms

2

캐시를 모르는 알고리즘과 데이터 구조에 대해 더 많이 배우는 데 흥미가 있지만 시작점이 어디인지 모르는 논문이 너무 많습니다. 나는 주제에 대한 Prokup의 독창적 인 논문을 찾았습니다. 좋은 출발점처럼 보이지만 주제에 대한 간단하고 접근 가능한 소개가 있다면 훨씬 더 시작하겠습니다. 주제에 대한 표준 "go-to"참조가 있습니까? 감사!

9 ds.algorithms reference-request cache-oblivious

2

각 모서리를 허용하지 않는 최단 경로

올바른 방향으로 시작할 수있는 조언이나 용어에 감사드립니다. 양으로 가정 할 수있는 각 모서리 에 대해 유향 그래프 및 길이 가 있습니다. 특별한 시작 노드가 최종 노드 .G = ( V, E)지=(V,이자형)G=(V,E)엘나는 j엘나는제이l_{ij}나는 j나는제이ij에스에스s티티t 각 모서리를 들어 , 우리의 최단 경로의 길이를 계산하고 싶습니다 에 가장자리 사용하지 않는 .나는 j나는제이ij에스에스s티티t나는 j나는제이ij …

9 ds.algorithms reference-request graph-algorithms

1

내부 분리 사면체의 모음으로 그래프 삽입

이산 인테리어 (사면체 점유율 전용면 케이되도록 사면체와의 연결 집합으로 3 차원 메쉬를 정의 ). 임의의 그래프가 주어지면 메쉬로 포함 될 수 있는지 테스트하는 효율적인 절차가 있습니까?k ≤ 2케이≤2k \le 2 여기에 포함은 점에 대한 그래프의 정점 과 직선에 대한 가장자리 의 매핑으로 , 모서리는 꼭짓점에서만 교차하고면은 모서리에서만 교차하며 내부에서 두면은 …

9 ds.algorithms graph-theory

1

유클리드 정전 용량 시설 위치 문제

에서 Capacitated 시설 위치 문제 (CFLP) , 우리는 고객의 집합을 부여씨씨C 그리고 잠재적 인 시설들 에프에프F. 각 고객j ∈ C제이∈씨j \in C 수요가있다 디제이디제이d_j하나 이상의 개방 된 시설에서 제공해야합니다. 각 시설나는 ∈ F나는∈에프i \in F 시작 비용이있다 에프나는에프나는f_i 용량이 있습니다 유나는유나는u_i이는 시설의 최대 수요입니다. 나는나는i봉사 할 수 있습니다. 고객의 한 …

9 ds.algorithms cg.comp-geom approximation-algorithms

2

빠른 목록 조작 및 주문 쿼리를위한 데이터 구조가 있습니까?

세트가 있습니다 엘LL집합의 요소 목록 엔= { 1 , 2 , 3 , . . . , n }N={1,2,3,...,n}N = \{ 1, 2, 3, ..., n \}. 각 요소엔NN 단일 목록에 나타납니다 엘LL. 다음 업데이트를 수행 할 수있는 데이터 구조를 찾고 있습니다. c o n c a t ( x …

9 ds.algorithms graph-algorithms ds.data-structures

1

최적화를위한 휴리스틱

금요일이기 때문에 CW 질문을 할 시간입니다. 최적화 문제에서 널리 사용되는 휴리스틱을 찾고 있습니다. 범위를 '이론 친화적'휴리스틱으로 제한하기 위해 규칙은 다음과 같습니다 (일부 임의, 일부는 아님) 많은 매개 변수가없고 구체적인 실행 시간이있는 잘 정의 된 방법이어야합니다 (반복 당) 그것과 관련된 몇 가지 알려진 이론적 결과를 가져야합니다 (수렴 률, 근사치, 고정 특성 …

9 ds.algorithms reference-request optimization heuristics

1

와일드 카드 문자열이 세트의 다른 와일드 카드 문자열과 완전히 일치하는지 판별

잠시 동안 나를 괴롭힌 문제가 있습니다. 문자열 이 1과 0 의 시퀀스이고 와일드 카드 문자열 이 1, 0 및? s 의 시퀀스 라고 가정하겠습니다 . 모든 문자열과 와일드 카드 문자열의 길이는 같습니다. 이들은 표준 UNIX 와일드 카드입니다. 10 ?? 1은 10011, 10111 등과 일치합니다. 해당 위치에서 1 또는 0과 일치합니다. …

9 ds.algorithms ds.data-structures approximation-algorithms string-matching string-search

1

구현하기가 너무 어려운 강력한 알고리즘 – 올바른지 확인하는 방법?

여기서 질문을 참조하고 있습니다 : 강력한 알고리즘이 너무 복잡하여 구현할 수 없습니다 . 알고리즘이 강력하지만 구현하기에 너무 복잡한 경우 알고리즘이 올바른지 어떻게 확인할 수 있습니까? 구현하지 않으면 실제 시나리오에서 알고리즘을 테스트 할 수 없으며 이러한 복잡한 알고리즘에는 버그가 포함되어 알고리즘을 무효화 할 수 있습니다. 이것이 내가 이해하지 못하는 것입니다. 알고리즘의 …

9 ds.algorithms implementation

3

다각형 삼각 분할 알고리즘

자체 교차 다각형 (구멍 구조가있는 다각형) 삼각 측량에 대한 알고리즘을 찾거나 논문을 출판하는 데 어려움이있었습니다. 출판 된 논문 / 알고리즘을 찾도록 안내해 줄 수 있습니까? 추신 : 누군가이 질문에 적절하게 태그하십시오. 평판 포인트가 충분하지 않습니다.

9 ds.algorithms reference-request cg.comp-geom

3

경계 높이 트리에 무작위로 생성하려면 어떻게해야합니까?

내가 작업중 인 프로젝트의 경우 높이가 제한된 임의의 스패닝 트리를 생성해야합니다. 기본적으로 다음을 수행합니다. 1) 스패닝 트리 생성 2) 실행 가능 여부를 확인합니다 (가능한 경우). 1) 최소 스패닝 트리 (Prim 또는 Kruskal)에서 시작하여 존재하지 않는 가장자리를 추가하면 사이클이 생성됩니다.이 사이클을 감지 하고이 사이클의 가장자리 중 하나를 제거하여 새로운 스패닝 트리를 …

9 ds.algorithms graph-algorithms random-walks

1

VRP / VRPTW (TSP, Job-Shop-Scheduling)의 SAT / SMT 공식은 무엇입니까?

VRATW (Time-Windows)를 사용하여 차량 라우팅 문제를 결정 문제로 SAT / SMT 인스턴스로 구성하는 방법이 궁금합니다. (대안 : TSP) 예 : "n = 10 차량으로 시간대 내에있는 모든 고객을 방문하는 유효한 솔루션이 있습니까?" 이 결정 문제는 사용되는 차량의 수를 최소화하는 첫 번째 단계에 유용 할 수 있습니다. SMT에 대한 경험이 없지만 …

9 ds.algorithms reference-request sat reductions tsp

2

TSP를위한 Held-Karp 알고리즘의 시간 복잡성

Michael Held와 Richard M. Karp의 " 시퀀싱 문제에 대한 동적 프로그래밍 접근 방법 "을 살펴보면 다음 질문을하게되었습니다. 왜 TSP에 대한 알고리즘의 복잡성이 (p. 199), 요인 어디에서 가져 ? 내가 올바르게 이해한다면 은 도시의 각 하위 집합에 대한 추가 수를 의미합니다. 그럼 왜 각 추가 작업은 나에게 알 수없는와 결합 작업? …

9 ds.algorithms tsp exp-time-algorithms

3

평면 그래프의 트리 분해

답장하지 않고 math.SE 에 처음으로 물었습니다 . 평면형 임베드가있는 평면형 그래프가 있는데 트리 분해를 어떻게 찾을 수 있습니까? 최적의 트리 분해는 무엇입니까 디디d-으로-디디d사각형 격자? "최적"을 정의하는 방법을 완전히 알지 못하지만 하나의 큰 백으로 분해하고 많은 큰 백으로 분해하는 것을 구분해야합니다.

9 ds.algorithms graph-theory graph-algorithms treewidth integer-lattice

1

* 대칭 * 행렬의 고유 분해를 찾는 복잡성

이것은 이전 질문의 특수 버전입니다 : 행렬의 고유 분해를 찾는 복잡성 . NxN 대칭 행렬의 경우, O (N ^ 3) 시간이 고유 분해를 계산하기에 충분하다는 것이 알려져 있습니다. 문제는 하위 큐브 복잡성을 달성 할 수 있습니까? 감사.

9 ds.algorithms time-complexity matrices linear-algebra na.numerical-analysis

2

독립 세트에 대한 특성 테스트

그래프가 있다고 가정 해 봅시다. 지GG 그리고 매개 변수 k , ϵk,ϵk,\epsilon. 에 대한 값의 범위가 있습니까케이kk (또는 모두를 위해 할 수 있습니까? 케이kk) 여부를 테스트 할 수있는 지GG 이다 ϵϵ\epsilon-적어도 독립적 인 크기의 세트를 갖는 것 케이kk 제 시간에 O ( n + 폴리 ( 1 / ϵ ) …

9 ds.algorithms graph-theory reference-request property-testing

«ds.algorithms» 태그된 질문