«greedy-algorithms» 태그된 질문

2
욕심 많은 알고리즘이 올바른지 증명하는 방법
나는 욕심 많은 알고리즘을 가지고 있다고 생각하지만 확실하지 않습니다. 올바른지 어떻게 확인합니까? 욕심 많은 알고리즘의 정확성을 입증하는 데 사용할 기술은 무엇입니까? 일반적인 패턴이나 기술이 있습니까? 나는 이것이 초보자를 가리키는 데 사용할 수 있는 참조 질문 이되기를 희망 합니다. 따라서 일반적인 범위보다 광범위합니다. 적어도 하나의 예로 설명되어 있지만 많은 상황을 다루는 …


1
알고리즘 설계에서 matroid와 greedoid는 얼마나 근본적입니까?
초기에, 일부 지상 세트 I에 대한 서브 세트 E 의 집합의 선형 독립 개념을 일반화하기 위해 matroid 가 도입되었다 . 이 구조를 포함하는 특정 문제로 인해 탐욕스러운 알고리즘이 최적의 솔루션을 찾을 수 있습니다. 탐욕스러운 방법으로 최적의 솔루션을 찾을 수 있도록 더 많은 문제를 포착하기 위해이 구조를 일반화하기 위해 탐욕 의 …

4
욕심 많은 알고리즘을 사용하여 주어진 것과 가장 가까운 비 감소 시퀀스를 찾는 방법은 무엇입니까?
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}) 나는 솔직히이 질문을 해결하기 시작하는 방법을 전혀 모른다. 그것은 역동적 인 프로그래밍 질문처럼 보이지만 교수는 욕심 많은 알고리즘을 사용 하여이 문제를 해결해야한다고 말했습니다. 누군가가 작은 힌트를 주면서 올바른 방향으로 나를 가리킬 수 있다면 대단히 감사하겠습니다.

2
나무의 최소 정점 커버에 대한 욕심 알고리즘의 정확성 증명
DFS 순회를 사용하는 트리의 최소 정점 커버를 찾기위한 탐욕스러운 알고리즘이 있습니다. 트리의 각 잎에 대해 부모를 선택하십시오 (즉, 부모가 최소 정점 덮개에 있음). 각 내부 노드에 대해 : 하위가 선택되지 않은 경우이 노드를 선택하십시오. 이 탐욕스러운 전략이 최적의 답변을 제공한다는 것을 어떻게 증명합니까? 위의 알고리즘이 생성하는 것보다 크기가 작은 꼭지점이 …

1
구체화 유형 추론
직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

1
평균 검색 성능을 최소화하기위한 고정 길이 의사 결정 트리와 같은 기능 선택
나는 복잡한 쿼리가 데이터 집합을 검색하는 데 사용되는 찾을 . 각 쿼리는 평균 시간 하므로 선형 검색의 전체 시간은. 쿼리를 더 간단한 하위 쿼리 q_i로 나누고 및 입니다. 각 하위 쿼리 는 계산 속도가 훨씬 빠르므로 전반적으로 를 찾은 다음 를 사용 하여 를 찾는 것이 더 빠릅니다 .QQQSSSHexact={s∈S∣where Q(s) …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.