«ds.algorithms» 태그된 질문

의 순서 감안할 때 숫자, 그것은으로 정렬 할 수 있습니다 O ( N LN N ) 비교와 O ( N ) 교환 / 이동? Ω ( n ln n ) 하한을 나타내는 해당 사안 또는 반론에 대한 출판물에 대한 모든 포인터 가 도움이 될 것입니다.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)

12 cc.complexity-theory  ds.algorithms 

"스파 스 그래프"라는 여러 가지 경쟁 개념이 있습니다. 예를 들어 표면 매립형 그래프는 드문 것으로 간주 될 수 있습니다. 또는 경계 밀도가 제한된 그래프. 또는 둘레가 큰 그래프. 확장이 큰 그래프. 경계가있는 그래프입니다. (랜덤 그래프의 서브 필드 내에서도 희소라고 할 수있는 것은 약간 모호합니다.) Et cetera. 효율적인 그래프 알고리즘의 설계에 …

12 ds.algorithms  graph-theory  graph-algorithms  big-picture 

하자 면의 일 점 R 2 . 정점으로 그리고 에지 가중치 포인트와 전체 그래프를 고려 ‖ X I - X J ‖ 2 . 항상 최소한 2 의 체중 감량을 찾을 수 있습니까엑스1, … , x엔x1,…,xnx_1, \ldots, x_nR2R2\mathbb{R}^2∥xi−xj∥2‖xi−xj‖2\|x_i - x_j\|^2총 무게의 3 ? 그렇지 않은 경우2를대체해야하는 상수2323\frac 2 3 ?2323\frac …

12 ds.algorithms  graph-algorithms  application-of-theory  max-cut  clustering 

병목 최단 경로에 대한 좋은 참조를 찾고 있습니다. 특히 가장자리 가중치가있는 무 방향 그래프에서 꼭짓점 s와 t가 주어지면 s에서 t까지의 최단 경로를 원합니다. 여기서 경로 길이는 해당 경로의 최대 가장자리입니다. 이것은 중간 가장자리 무게를 찾아서 조심스럽게 가장자리 절반을 재귀 적으로 삭제함으로써 O (n + m) 시간 안에 해결 될 수 …

12 ds.algorithms  reference-request  graph-algorithms 

제목 자체를 말합니다. 여기에 Akinator 와 20Q가 있습니다. 이 게임의 원칙은 사용자가 선택한 일부 엔티티와 관련된 여러 가지 질문을 사용자에게 요청하는 것입니다. 그런 다음이 엔티티가 무엇인지 찾으십시오. 알고리즘의 핵심은 모든 질문에 올바르게 대답하지 못하는 사용자를 다루면서 각 라운드에서 "가장 유용한 질문"을 찾는 것입니다. "가장 유용한 질문"은 가장 많은 정보를 제공하는 …

12 ds.algorithms 

CMSOL은 Monadic Second Order Logic을 계산합니다. 즉, 도메인이 꼭짓점과 가장자리의 집합 인 그래프의 논리입니다. 꼭짓점-정점 인접성 및 가장자리-정점 발생률에 대한 술어가 있으며 가장자리, 꼭짓점, 가장자리 세트 및 꼭짓점에 대한 수량 화가 있습니다. 세트하고있다 술어 하는 크기 여부 표현 이고 n은 모듈로 P .SnpCardn,p(S)Cardn,p(S)\textrm{Card}_{n,p}(S)SSSnnnppp Courcelle 유명한 정리 된 경우한다고 ΠΠ\Pi 그래프의 …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

이 질문은 스택 작업 당 상각 된 O ( 1 ) 시간 에 두 개의 대기열을 사용하여 스택을 시뮬레이션 할 수 있는지 여부 에 대한 기존 질문에서 영감을 얻었습니다 . 답을 알 수없는 것 같습니다. 다음은 모든 PUSH 작업이 먼저 수행되고 모든 POP 작업이 수행되는 특수한 경우에 해당하는보다 구체적인 질문입니다. …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting 

물론 선형 프로그래밍은 오늘날 매우 잘 이해되고 있습니다. 우리는 실현 가능한 솔루션의 구조와 최적의 솔루션의 구조를 특징 짓는 많은 일을했습니다. 우리는 강력한 이중성, 다중 시간 알고리즘 등을 가지고 있습니다. 그러나 LP의 최소 최대 솔루션 에 대해 알려진 것은 무엇 입니까? 아니면 최대 최소 솔루션입니까? (이것은 실제로 연구 문제는 아니지만 공휴일에는 …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

최악의 경우에는 트리 분해가 어렵지만 작은 실제 네트워크에서는 욕심 많은 방법이 거의 최적의 것으로 보입니다. 어떤 종류의 그래프의 "일반적인"인스턴스의 나무 분해 경도에 대해 알려진 것이 있습니까? 나무 분해에 대한 탐욕스러운 방법이 나쁘게 진행되는 그래프 계열의 예가 있습니까?

12 ds.algorithms  graph-theory  graph-algorithms  treewidth 

이 문제에 대한 이름이나 참조를 찾고 있습니다. 가중 그래프가 주어지면 G=(V,E,w)G=(V,E,w)G = (V, E, w) 는 최대 절단 모서리 값을 최대화하기 위해 S 1 , … , S n을n=|V|n=|V|n = |V| 설정 합니다. c ( S 1 , … , S n ) = ∑ i ≠ j ( ∑ …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

균일하게 랜덤 한 솔루션을 반환하는 알고리즘에 의해 가장 잘 알려진 근사치 비율의 문제점은 무엇입니까? 나는 순열 흐름 상점 문제 대한 하나의 예를 알고있다 : " 순환 흐름 상점 예약을위한 꽉 바운드 "Viswanath Nagarajan 및 Maxim Sviridenko 논문에서 임의의 작업 순서가 현재 가장 잘 알려진 ( 컴퓨터 수 및 작업 수).F|perm|CmaxF|perm|CmaxF|perm|C_{max}2min{m,n}−−−−−−−−−√2min{m,n}2\sqrt{min\{m,n\}}mmmnnn

12 ds.algorithms  reference-request  approximation-algorithms 

내가 특히 궁금한 것은 그러한 문제가 다루기 쉬운 것을 보장하기 위해 3SAT 공식을 만족시키는 과제의 비율에 흥미로운 조건이 있는지 여부입니다. 예를 들어, 2 n 가능한 대입 중 이 부울 공식을 만족시키는 3SAT 문제의 클래스를 가정하십시오 . 만족스러운 과제를 효율적으로 찾을 수 있습니까? 무엇을 위해 ε는 P의 결과 문제가?ϵ ( n …

12 cc.complexity-theory  ds.algorithms  sat  np 

문제 무 방향 그래프 (멀티 에지 포함)가 있으며 시간이 지남에 따라 변경되며 노드와 가장자리가 삽입 및 삭제 될 수 있습니다. 그래프를 수정할 때마다이 그래프의 연결된 구성 요소를 업데이트해야합니다. 속성 추가 속성은 두 구성 요소가 다시 연결되지 않는다는 것입니다. 분명히, 그래프는 임의의 양으로 사이클을 가질 수 있습니다 (그렇지 않으면 솔루션은 사소합니다). …

12 ds.algorithms  graph-theory  approximation-algorithms  online-algorithms 

두 개의 매우 희소 한 부울 행렬을 곱하기위한 가장 실질적으로 효율적인 알고리즘은 무엇입니까 (예 : N = 200이고 0이 아닌 100-200 개의 요소 만 있음)? 실제로 A에 B를 곱하면 B가 미리 정의되어 있고 임의로 복잡한 전처리를 수행 할 수 있다는 이점이 있습니다. 또한 제품 결과가 항상 원래 행렬만큼 희박하다는 것을 …

12 ds.algorithms  matrix-product  sparse-matrix  boolean-matrix  implementation 

이것은 David Eppstein의 최근 질문에 대한 후속 조치 이며 동일한 문제에 의해 동기가 부여됩니다. 정점에 실수 가중치가있는 dag이 있다고 가정합니다. 처음에는 모든 정점이 표시되지 않습니다. (1) 표시되지 않은 선행 작업없이 정점을 표시하거나 (2) 표시된 후속 작업없이 정점을 표시 해제하여 표시된 정점 세트를 변경할 수 있습니다. (따라서 표시된 정점 세트는 항상 …

12 ds.algorithms  directed-acyclic-graph  partial-order