«reference-request» 태그된 질문

Hsien-Chih Chang에 의해 해결 된 나의 이전 질문에 대한 후속 조치로서, Ramsey 정리의 적절한 일반화를 찾기위한 또 다른 시도가 있습니다. (이전 질문을 읽을 필요는 없습니다.이 게시물은 독립적입니다.) 매개 변수 : 정수 이 주어진 다음 이 충분히 크게 선택됩니다. 용어 : -subset은 크기의 부분 집합입니다 .1 ≪ d« K « N1≪d≪k≪n1 …

9 reference-request  co.combinatorics  ramsey-theory 

VRATW (Time-Windows)를 사용하여 차량 라우팅 문제를 결정 문제로 SAT / SMT 인스턴스로 구성하는 방법이 궁금합니다. (대안 : TSP) 예 : "n = 10 차량으로 시간대 내에있는 모든 고객을 방문하는 유효한 솔루션이 있습니까?" 이 결정 문제는 사용되는 차량의 수를 최소화하는 첫 번째 단계에 유용 할 수 있습니다. SMT에 대한 경험이 없지만 …

9 ds.algorithms  reference-request  sat  reductions  tsp 

그래프가 있다고 가정 해 봅시다. 지GG 그리고 매개 변수 k , ϵk,ϵk,\epsilon. 에 대한 값의 범위가 있습니까케이kk (또는 모두를 위해 할 수 있습니까? 케이kk) 여부를 테스트 할 수있는 지GG 이다 ϵϵ\epsilon-적어도 독립적 인 크기의 세트를 갖는 것 케이kk 제 시간에 O ( n + 폴리 ( 1 / ϵ ) …

9 ds.algorithms  graph-theory  reference-request  property-testing 

SIGACT News 의 Chemoinformatics 알고리즘 핸드북에 대한 리뷰를 (느리게) 작성하고 있습니다. 한 장에서는 현재 소프트웨어 구현에 대해 설명하고 데이터베이스 검색 (및 다른 응용 프로그램)은 그래프에 대한 정보를 최대한 활용하지 않는 것 같습니다. 반면에 더 이론적 인 알고리즘은 구현하기가 너무 어려울 수 있습니다. 그래도 잠재적 인 열린 공간 인 것 같습니다. …

9 reference-request