«heuristics» 태그된 질문

SAT 솔버가 실제로 성공하기 위해 어떤 이론적 설명이 있습니까? 누군가 "wikipedia-style"개요와 설명을 함께 묶을 수 있습니까? 유추 하여, 심플 렉스 알고리즘에 대한 평활화 된 분석 ( arXiv 버전 )은 최악의 경우 지수 시간이 걸리고 NP- 전능 한 ( arXiv 버전 ) 사실에도 불구하고 실제로 왜 잘 작동하는지 설명하는 훌륭한 역할을합니다 …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

안정적인 결혼 문제 : http://en.wikipedia.org/wiki/Stable_marriage_problem SMP 인스턴스의 경우 Gale-Shapley 알고리즘으로 반환 된 것과는 다른 많은 안정적인 결혼이 가능하다는 것을 알고 있습니다. 그러나 우리가 남자, 여자의 수 주면 , 우리는 다음과 같은 질문을합니다. 그러한 숫자의 상한은 무엇입니까?엔nn

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

인스턴스없이 무한 집합 어떤 NP 완전 문제가 있습니다 의 회원하도록 Φ는 다항식 시간에 결정 될 수 있으며, 모든 X ∈ Φ , X는 다항식 시간에 해결할 수있다? ( P ≠ N P 가정 )ΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \PhixxxP≠NPP≠NPP \neq NP

18 cc.complexity-theory  np-complete  heuristics 

그래프 의 트리 폭 을 계산하고 싶습니다 . 하위 그래프 동형에 대한 VF2 와 같은 다른 NP-hard 그래프 문제에 대한 휴리스틱이 실제로 있으며 igraph 에서 코드를 사용할 수 있습니다 . 나는 그래프에서 그것들을 시험해 보았고 내 데이터에 대해 매우 빠르게 실행되는 것을 발견했습니다. 비슷한 맥락에서 트리 폭 계산을위한 빠른 알고리즘이 …

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

최적화를 위해 휴리스틱에 대한 강의 자료를 준비 중이며 좌표 하강 방법을 살펴보고 있습니다. 여기서 설정은 최적화하려는 다변량 함수 입니다. 는 단일 변수로 제한되는 특성을 가지며 최적화하기 쉽습니다. 따라서 좌표 하강은 좌표를 순환하면서 선택된 것을 제외한 모든 것을 고정하고 해당 좌표를 따라 최소화함으로써 진행됩니다. 결국 개선이 멈춰서 종료됩니다.ffffff 내 질문은 : …

14 ds.algorithms  reference-request  optimization  heuristics 

Kempe-Kleinberg-Tardos 의이 백서 에서 저자는 하위 네트워크 기능에 기반한 탐욕 알고리즘을 제안 하여 소셜 네트워크에 응용하여 그래프에서 가장 영향력있는 노드 를 결정합니다 .케이kk 기본적으로 알고리즘은 다음과 같습니다. 에스= e m p t y s e t S=empty setS = {\rm empty~set} 개별 영향이 가장 큰 노드를 선택하고 ; S = …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

분기 및 바운드는 검색 문제에 대한 효과적인 휴리스틱이며 Wikipedia는 분기 및 바운드가 사용 된 여러 가지 어려운 문제를 나열합니다 . 그러나 이러한 문제를 해결하기위한 "한 가지 방법"이상의 것을 제안하는 참고 자료를 찾을 수 없었습니다. 일화 적으로 SAT 및 정수 프로그래밍에 대한 최고의 휴리스틱 중 일부가 분기 및 경계에서 나온다는 것을 …

13 ds.algorithms  reference-request  optimization  heuristics 

Z3 또는 Boolector와 같은 SMT 솔버는 복잡한 휴리스틱을 사용하여 문제를 해결합니다. 그러나 이것은 또한 주어진 문제에 대한 그러한 솔버의 성능을 예측하는 것을 매우 어렵게 만듭니다. 내 질문은 따라서 : 질문 QFBV (Quantifier-free Bitvectors) 이론에서 특정 SMT 솔버의 성능을 이해하거나 통찰력을 얻는 방법이 있습니까? 여기에는 솔버가 "고정 된"위치를 이해하는 데 도움이되는 …

9 ds.algorithms  sat  heuristics 

NP-hard 최적화 문제 목록을 찾고 있는데, 여기서는 실제 휴리스틱 문제를 해결하기위한 실제 연구가 진행되고 사람들이 이길 수있는 일반적인 벤치 마크가 있습니다. 예를 들면 다음과 같습니다. 계통 발생적 나무 재건 (예 : 여기에 휴리스틱 ) 여행 판매원 (매우 활동적이지는 않지만 LKH 는 잘 알려져 있음) 더 구체적으로 말하면, 사람들이 실제로 결과 …

9 heuristics 

메타 휴리스틱에 대한 과정을 가르치고 있으며 프로젝트라는 용어에 대한 고전적인 조합 문제의 흥미로운 사례 를 생성해야합니다 . TSP에 집중하자. 우리는 차원 그래프를 다루고 있습니다 . 물론 임의의 에서 가져온 값으로 비용 행렬을 사용하여 그래프를 생성하려고 시도했지만 경로 비용에 대한 히스토그램 (많은 임의의 경로를 샘플링하여 그려 짐)이 있음을 알았습니다. 매우 좁은 …

9 ds.algorithms  co.combinatorics  optimization  tsp  heuristics 

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

9 ds.algorithms  reference-request  optimization  heuristics