«ds.algorithms» 태그된 질문

다음 문제에 대해 알려진 것이 있습니까? 전혀 말이 되나요? 뭐라고 해요? 다른 문제와 사소한 것입니까? 시간 복잡성은 무엇입니까? 방향이 지정되지 않은 (일반 / 평면 / 경계도 등) 그래프 G = (V, E)가 주어지면 G '= (V, E-E')가 연결되도록 에지 E '의 최대 하위 집합을 찾습니다. E '의 모든 모서리 e는 …

14 ds.algorithms  graph-theory 

LP 작업을 위해 SM을 구현하는 데 관심이 있지만 가능한 함정에 대해 들었습니다. Cormen의 책에 따르면 순진한 구현이 기하 급수적으로 작동하도록 입력 데이터를 가질 수 있다고합니다. 또한 순진한 구현으로 인해 일종의 데이터가 반복 될 수 있다고 들었습니다. SM의 실제 구현에 대한 뉘앙스를 설명하는 책 / 종이 / 소스가 있습니까? 미리 감사드립니다.

14 ds.algorithms  linear-programming  software  implementation  simplex 

G를 n- 노드 무 방향 그래프로하고 T를 터미널 이라고하는 V (G)의 노드 서브 세트라고 합니다. (G, T) 의 거리 보존제 는 특성을 만족시키는 그래프 H이다. 디H( u , v ) = d지( u , v )디H(유,V)=디지(유,V)d_H(u,v) = d_G(u,v) 모든 노드 u, v에서 T. (H는 반드시 G의 하위 그래프는 아닙니다.) 예를 …

14 ds.algorithms  reference-request  graph-algorithms  planar-graphs 

나는 이미 stackoverflow 에서이 질문을 했지만이 사이트에 더 적합 할 수 있습니다. 문제는: 서명되지 않은 정수의 N 쌍이 있습니다. 정렬해야합니다. 쌍의 끝 벡터는 각 쌍의 첫 번째 숫자에 따라 감소하지 않고 각 쌍의 두 번째 숫자에 의해 증가하지 않아야합니다. 각 쌍은 어느 시점에서든 첫 번째 요소와 두 번째 요소를 교환 …

14 ds.algorithms  sorting 

다음 과 같은 언어 고려하십시오 LLL. L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) 그래서 L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) 즉, 빠른 시스템 계산 시간에 와 가장 공간 효율적인 시스템 계산 공간 사용시 .MMMLLLO(f(n))O(f(n))O(f(n))M′M′M'LLLO(g(n))O(g(n))O(g(n)) M의 공간 효율성 또는 M '의 시간 효율성에 대해 무엇을 말할 수 있습니까? 또는 더 정확하게, 경우 모든 시스템이 …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

웹에서 찾은 강의 노트를 기반으로 최소 중량의이 분체 완전 매칭 문제에 대한 Kuhn-Munkres 알고리즘의 구현을 작성했습니다. 수천 개의 정점에서도 실제로 잘 작동합니다. 그리고 그 배후의 이론은 정말 아름답다는 데 동의합니다. 그러나 나는 아직도 왜 그런 길이로 가야하는지 궁금합니다. 이 강의 노트는 왜 우리가 단순히 원시 선형 프로그램을 가져와 단순한 방법으로 …

14 ds.algorithms  graph-theory  linear-programming  simplex 

희소 무향 그래프 의 둘레 를 찾는 방법이 궁금합니다 . 드문 드문해서 나는 합니다. 최적이라는 것은 가장 복잡한 시간을 의미합니다.| 이자형| =O( | V| )|E|=O(|V|)|E|=O(|V|) 무 방향 그래프에 대한 Tarjan의 알고리즘 에 대한 일부 수정에 대해 생각 했지만 좋은 결과를 찾지 못했습니다. 실제로 에서 2- 연결된 구성 요소를 찾을 수 …

14 ds.algorithms  graph-theory  open-problem 

우리는 Karger의 mincut 알고리즘을 사용하여 그래프가 가질 수있는 최대 mincut 수는 임을 증명할 수 있습니다 (비 구조적인 방식으로) (n2)(n2)n \choose 2. 나는 우리가 어떤 식으로 깎아 낸 세트에서 다른 카디널리티 n \ choose 2에 대한 형용사 (대신 인젝 티브) 증거를 제공 함으로써이 정체성을 어떻게 증명할 수 있는지 궁금합니다 (n2)(n2)n \choose …

14 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  max-flow-min-cut 

Leslie Lamport 의 "Fast Paxos"논문 을 읽고 클래식 Paxos와 Fast Paxos의 정확성 증명을 고수합니다. 일관성을 위해, 값 위상 코디네이터 고른 2 라운드 나는 만족해야Vvv22a2a나는ii 임의의 라운드 J &lt; 난 , 이외의 값 (V)을 하거나 또 라운드에서 선택되지 않을 수있다 J .씨피( v , i ) :CP(v,i):CP(v,i):j &lt; 나는j&lt;ij < iVvv제이jj …

13 ds.algorithms  dc.distributed-comp  proofs 

우리는 비순환 그래프 관한 주어진다 (각 꼭지점과 관련된 번호 g : V → N ), 및 대상 번호 T ∈ N을 .G = ( V, E)G=(V,E)G=(V,E)지: V→ Ng:V→Ng:V\to \mathbb{N}티∈ NT∈NT\in \mathbb{N} DAG 하위 집합 합계 문제 (다른 이름으로 존재할 수 있으며 참조가 우수 할 것임)는 정점이 있는지 묻습니다 . . …

13 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  subset-sum 

동기 부여 : 공동 저자가 원고를 편집하고 편집 내용을 명확하게 요약하고 싶습니다. 도구 -like 모든 "DIFF는"당신이 경우에 쓸모없는 경향이 모두 주위에 텍스트를 이동 (예를 들어, 다시 조직 구조) 및 지역 편집을하고. 제대로 이해하기가 정말 어렵습니까? 정의 : 허용되는 작업이 다음과 같은 최소 편집 거리를 찾고 싶습니다. "저렴한"작업 : 단일 문자 …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

이 질문은 박스 제약 (box-QP)을 가진 2 차 프로그래밍 문제, 즉 양식의 최적화 문제에 관한 것입니다. 최소화 하고 x ∈ [ 0 , 1 ] n에 적용 합니다.에프( x ) = x티A x + c티엑스f(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x ∈[0,1 ]엔x∈[0,1]n\mathbf{x} \in [0,1]^n 가 양의 반정의 라면 …

13 ds.algorithms  optimization  exp-time-algorithms 

Cohn, Kleinberg, Szegedy 및 Umans는 행렬 곱셈에 대한 이론적 그룹 이론 논문 에서 고유하게 해결할 수있는 퍼즐 (아래 정의)과 USP 용량의 개념을 소개합니다. 그들은 카퍼와 Winograd는 자신의 획기적인 논문에서 주장 등차 수열을 통해 행렬 곱셈 , "암시"는 USP 능력이 있음을 증명 3/22/33/22/33/2^{2/3} . 이 주장은 다른 여러 곳 (여기서 cstheory를 …

13 ds.algorithms  co.combinatorics  algebraic-complexity  matrix-product 

집합 기능 모노톤 submodular 경우 모두 , B , F ( ) + F ( B ) ≥ F ( ∪ B ) + F ( ∩ B ) .에프ffA , BA,BA,B에프( A ) + f( B ) ≥ f( A ∪ B ) + f( ∩ B ) .f(A)+f(B)≥f(A∪B)+f(A∩B). …

13 ds.algorithms  approximation-algorithms  submodularity 

이 두 용어의 역사에 대해 알고 싶습니다 : " 효율적인 ", " 가능한 " 누가 처음으로 계산 / 알고리즘에 대해 사용 했습니까? (이러한 용어의 의미에서, 즉 20 세기). 그들은 어떻게 주류가 되었습니까? 이 두 용어는 어떻게 동의어로 사용되기 시작 했습니까? 나는 Cobham 이 다항식 시간 계산 성과 관련된 그의 논문 …

13 cc.complexity-theory  ds.algorithms  ho.history-overview