«csp» 태그된 질문

CSP는 제약 만족 문제를 나타냅니다.

2
래드 너 정리 vs 쉐퍼 정리
"복잡성 계산에서 승리를 선언 할 때입니까?" 기사를 읽는 동안 이상에서 "괴델의 분실 문자 및 P = NP" 블로그, 그들은 CSP의의 이분법을 언급했다. 인터넷 링크와 위키 핑을 따라 간 링크를 따라 Ladner Theorem을 발견했습니다 . 라드의 정리 : 만약 , 다음에 문제가있는 아닌 - 완전한은.N P ∖ P N PP ≠ …
3
반원 프로그램 분석에 대한 교육 자료 또는 설문 조사?
근사 알고리즘을 설계 할 때 반올림 단계가 뒤 따르는 반정의 프로그램을 해결하는 경우가 있습니다. 이를 설명하기 위해 자주 사용되는 예는 Max-Cut입니다. (예 : Vijay Vazirani의 근사 알고리즘 참조) Max-Cut 문제를 넘어서서 더 복잡한 반올림 알고리즘과 분석에 사용되는 기술을 설명하기위한 훌륭한 교육 자료 나 설문 조사가 있습니까? SDP 솔루션의 벡터가 초구에 …
5
개방형 또는 대화 형 구속 조건 만족
과거에는 SAT와 규칙적인 제약 조건 만족을 엔진의 핵심 워크로 사용하여 조정 모델을 구현했습니다. 이 작업 라인을 계속하면서 모델을 대화식으로 만들고 싶습니다.이 작업을 수행하는 가장 좋은 방법은 더 이상 블랙 박스가 아닌 제약 조건 솔버를 여는 것입니다. 따라서 제약 조건에 외부 변수 , 술어 및 함수 라고 부르는 제약 조건이있는 제약 …
17 sat  lo.logic  csp 
3
술어 UGC 경도
배경 : Subhash Khot의 원본 UGC 논문 ( PDF )에서 3 항 알파벳에 대해 모든 형식이 동일하지 않음 (a, b, c) 형식의 제약 조건을 가진 주어진 CSP 인스턴스가 1을 만족하는 과제를 인정하는지 여부를 결정하는 UG- 경도를 증명합니다. - ϵϵ\epsilon 제약의 여부를 satisying 어떤 과제가 존재하지 89+ϵ89+ϵ\frac{8}{9}+\epsilon제약 임의로 작은 대ϵ>0ϵ>0\epsilon > …
1
의 순서 목록을 유지
주문 유지 보수 문제점 (또는 "목록의 주문 유지")은 조작을 지원하는 것입니다. singleton: 하나의 항목으로 목록을 작성하고 이에 대한 포인터를 리턴합니다. insertAfter: 항목에 대한 포인터가 주어지면 그 뒤에 새 항목을 삽입하고 새 항목에 대한 포인터를 반환합니다. delete: 항목에 대한 포인터가 주어지면 목록에서 제거합니다. minPointer: 동일한 목록의 항목에 대한 두 개의 포인터가 …
1
무한한 폭의 쉐퍼 정리 및 CSP
Schaefer의 이분법 정리는 대한 각 CSP 문제 가 다항식 시간에 풀 수 있거나 NP- 완전 하다는 것을 보여줍니다 . 예를 들어, SAT 및 Horn-SAT를 제외한 폭이 제한된 CSP 문제에만 적용됩니다. 폭이 무한한 일반적인 CSP 문제는 매우 어려울 수 있으며 (계산할 수없는 경우도 있음) "자연스럽고 NP에있는 문제"로 제한합니다.{ 0 , 1 …
1
거의 2SAT 문제의 고정 매개 변수 다루기 힘든 이진 부울 CSP에 대한 결과가 있습니까?
하자 2CNF 식 수 및 k는 음수가 아닌 정수. 이 논문 에서 φ를 만족 시키기 위해 최대 k 개의 절을 삭제할 수 있는지 여부를 결정하는 문제 는 고정 매개 변수 다루기 쉬운데, 여기서 k 는 매개 변수 라는 것이 입증되었다 . 내 질문은이 결과를 다른 이진 부울 CSP로 일반화하는 작업이 …
1
구속 조건 만족도 문제의 반구 찾기
시스템 또는 모델의 보안을 테스트 할 때 다음 질문이 여러 번 발생했습니다 . 동기 부여 : 소프트웨어 보안 결함은 종종 유효한 입력으로 인한 버그가 아니라 유효 입력에 충분히 근접한 유효하지 않은 입력으로 인해 발생하는 버그가 많은 간단한 유효성 검사를 통과합니다. 고전적인 예는 물론 버퍼 오버 플로우인데, 입력이 너무 크다는 것 …
12 lo.logic  csp  security 
3
최대 제약 만족 문제에 어려움이 있습니까?
PCP 정리의 등가 공식은 다음과 같습니다. Max 3-SAT의 경우, 만족할 수있는 공식과 절의 최대 r- 분획이 만족할 수있는 공식 (일부 r \ lt 1 ) 을 구별 하는 것은 - hard입니다 .NPNPNPrrrr<1r<1r\lt 1 모든 Max CSP가 격차가 있는지 여부에 따라 분류되는 알려진 이분법 정리가 있습니까? 2010 년 12 월 16 …
2
N 퀸즈는 NP-hard 문제입니까?
N 여왕 문제는 다음과 같습니다. 입력 : N 출력 : NXN 체스 판에 N "퀸"을 배치하여 두 개의 퀸이 같은 행, 열 또는 대각선에 놓이지 않도록합니다. 이것에 대한 Google 검색을 수행하면서 많은 교수의 많은 슬라이드가 이것이 NP-Hard 문제라고 주장했습니다 (예 : web.mst.edu/~ercal/387/slides/NP-Hard.ppt) 그러나 나는 증거를 찾을 수 없었습니다. 내가이 질문을하는 …
1
무제한 소수 하이퍼 트리 폭을 가진 CSP
a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME 정의 등 표준 트리 분해 및 트리 폭에 대한 훌륭한 설문 조사는 여기를 참조 하십시오 (JeffE! 를 자서전 이라고하자 .HHH 그런 다음 하이퍼 그래프 와 매핑 경우HHHγ: 전자( H) → [ 0 , ∞ )γ:E(H)→[0,∞)\gamma : E(H) \rightarrow [0,\infty) B ( γ) =B(γ)=B(\gamma) = { }.v ∈ …
1
방향성 사이클에 대한 이형 동질성의 복잡성
고정 된 방향 그래프 (digraph) 가 주어지면 , COLORING 결정 문제는 입력 digraph 가 와 동질성을 갖는지 묻습니다 . ( 에서 의 동형은 호를 보존하는 에서 의 매핑 입니다 . 즉, 가 의 호 이면 는 )디DD디DD지GG디DD지GG디DD에프ffV( G )V(G)V(G)V( D )V(D)V(D)너 vuvuv지GG에프( u ) f( V )f(u)f(v)f(u)f(v)디DD COLORING 문제 의 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.