«heuristics» 태그된 질문

SAT 인스턴스가 주어지면 인스턴스를 해결하기가 얼마나 어려울 지 예상하고 싶습니다. 한 가지 방법은 기존 솔버를 실행하는 것이지만, 이러한 종류의 문제는 난이도 추정의 목적을 무효화합니다. 두 번째 방법은 랜덤 SAT에서 위상 전이에 대해 수행되는 것처럼 절 대 변수의 비율을 찾는 것일 수 있지만 더 나은 방법이 존재한다고 확신합니다. SAT 사례를 보면 …

28 complexity-theory  satisfiability  heuristics 

어려운 문제가 발생하면 하나의 표준 접근 방식은 SAT 인스턴스로 표현하고 SAT 솔버를 실행하는 것입니다. 또 다른 표준 접근법은이를 제약 조건 만족 문제로 표현하고 CSP 솔버를 사용해보십시오. 이 두 가지는 어떤 종류의 문제가 자연스럽게 입력 형식으로 표현 될 수 있는지에 대해 모호하게 유사하다고 생각합니다. 주어진 문제에 대해 어떤 방법으로 좋은 결과를 …

18 heuristics  sat-solvers  constraint-programming 

A * (또는 다른 최상의 경로 찾기 알고리즘)를 사용할 때 사용 된 휴리스틱은 허용 가능 해야합니다 . 즉, 실제 솔루션 경로의 길이 (또는 이동)를 과대 평가해서는 안됩니다. 허용 가능한 휴리스틱은 어떻게 최적의 솔루션을 보장합니까? 나는 직관적 인 설명을 찾는 것이 바람직하다. 원하는 경우 8- 퍼즐 의 맨해튼 거리 휴리스틱을 사용하여 …

16 algorithms  artificial-intelligence  search-algorithms  heuristics 

시뮬레이션 어닐링 알고리즘에서 서로 다른 초기 온도를 테스트 한 결과 시작 온도가 알고리즘의 성능에 영향을주는 것으로 나타났습니다. 좋은 초기 온도를 계산하는 방법이 있습니까?

14 optimization  artificial-intelligence  heuristics 

휴리스틱 함수 h(n)h(n)h (n) 은 ... 노드 에서 목표 까지의 예상 비용 이 후속 단계 대한 단계 비용 + 후속 단계에서 목표 까지의 예상 비용 보다 크지 않은 경우 일관 됩니다 .nnnn′n′n' 이 목표 비용에 대한 실제 비용을 결코 과대 평가하지 않는 경우 허용 됩니다 .h(n)h(n)h(n) 인공 지능 과정의 교과서에 …

13 algorithms  shortest-path  heuristics