«hard-instances» 태그된 질문

Greibach 유명 언어 정의 소위 결정적 버전 의 D 2 어떤 CFL의 역수가 형태 적 화상이되도록, H를 . DCFL에 대해 비슷한 형태가 존재하며, 허용되는 형태에 대한 제한이 있습니까?HHH디2D2D_2HHH (예 : M. Autebert, J. Berstel 및 L. Boasson. 문맥없는 언어 및 푸시 다운 오토마타 참조. R. Rozenberg 및 A. Salomaa, 편집자, …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

FOCS2013의 최근 논문 인 Gaspers 와 Szeider의 Bounded Treewidth SAT 에 대한 강력한 백도어 는 SAT 절 그래프 의 트리 폭 과 인스턴스 경도 간의 연결에 대해 설명합니다 . 랜덤 3-SAT, 즉 랜덤으로 선택된 3-SAT 인스턴스의 경우 절 그래프의 트리 폭과 인스턴스 경도 사이의 상관 관계는 무엇입니까? "인스턴스 경도"는 "일반적인 …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

최대 컷을 근사화하기위한 Goemans 및 Williamson 알고리즘을 적용한 결과가 0.878… 이러한 인스턴스를 생성하는 알고리즘은 완벽하고 명시적인 예제와 참조가 만족 스럽습니다.

10 ds.algorithms  approximation-algorithms  max-cut  hard-instances 

NP 완전 문제의 "단단한"개별 사례에 관심이 있습니다. Ryan Williams 는 Richard Lipton의 블로그에서 SAT0 문제에 대해 논의했습니다 . SAT0은 SAT 인스턴스에 모두 0으로 구성된 특정 솔루션이 있는지 묻습니다. 이것은 "하드"일 가능성이있는 SAT 인스턴스 구성에 대해 생각하게했습니다. 포화 인스턴스 고려 와 m의 조항 및 N 변수, 여기서 α = m / …

10 cc.complexity-theory  sat  hard-instances