«phase-transition» 태그된 질문

나는 매개 변수화 된 문제의 예를 찾고 있는데 , 여기서 문제의 경도는 에서 비단 조적 이다 . 내 경험상 대부분의 문제에는 단일 위상 전이가 있습니다. 예를 들어 -SAT에는 (문제가 P 인 경우)에서 (여기서 문제는 NP- 완료입니다). 증가함에 따라 양방향에서 상 전환 이 쉬운 문제에 관심이 있습니다 .k∈Nk∈Nk \in \mathbb{N}k k …

60 cc.complexity-theory  np-hardness  big-list  phase-transition 

SAT 사례 의 잘 알려진 특성은 변수 개수 대한 절 개수 의 비율 , 즉 몫 입니다. 모든 에 대해 대한 임계 값 st \ 가 있으며 대부분의 인스턴스는 만족스럽고 대부분의 인스턴스는 만족스럽지 않습니다. 문제를 다 많은 연구가 있었다 , 충분히 작은 문제에 대한 ,m n ρ = m / …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

때 해결하기 쉬운 "쉬운" 및 일부 값 p 0 , p 1의 경우 p = p 1 일 때 "hard" 인 실수 값 p로 매개 변수화 된 문제가 있다고 가정 합니다 .p=p0p=p0p=p_0p=p1p=p1p=p_1p0p0p_0p1p1p_1 한 가지 예는 그래프에서 스핀 구성을 계산하는 것입니다. 가중치가 부여 된 적절한 색소, 독립적 인 세트, Eulerian 하위 …

20 cc.complexity-theory  counting-complexity  approximation-hardness  phase-transition 

많은 NP- 완전 문제는 위상 전이를 나타내는 것으로 잘 알려져 있습니다. 알고리즘과 관련하여 입력의 경도보다는 언어의 포함과 관련하여 위상 전이에 관심이 있습니다. 개념을 모호하지 않게하기 위해 공식적으로 다음과 같이 정의하겠습니다. 언어 은 (격리와 관련하여) 위상 전이를 나타냅니다.LLL 가 순서 파라미터 다항식 계산 가능한 시간, 인스턴스의 실제 값 함수이다.r(x)r(x)r(x) 가 임계 …

17 cc.complexity-theory  phase-transition 

임의의 3-SAT에 대한 변수에 대한 절의 임계 비율은 3보다 크고 6보다 작으며 일반적으로 "4.2 주위"또는 "4.25 주위"로 설명됩니다. Mezard, Parisi 및 Zecchina는 (물리적 의미에서) 임계 비율이 4.256 임을 증명하고, 첫 번째 및 세 번째 저자 는 그것이 4.267 임을 증명 합니다. What is the range of values that the critical …

14 sat  phase-transition  random-k-sat 

랜덤 K-SAT를 정의 할 때 가질 수있는 제약에는 4 가지가 있습니다. 1) 주어진 절의 총 리터럴 수는 정확히 K 또는 AT입니다 K) 2) 주어진 리터럴은 동일한 절 (A 또는 A 또는 A)에서 교체하거나 사용하지 않고 사용할 수 있습니다. 동일한 조항에서 대체없이 (A 또는 ~ A 또는 ~ A) 4) 주어진 …

12 cc.complexity-theory  sat  randomness  phase-transition 

# P-Complete 문제에서 위상 전이에 대해 알려진 것은 무엇입니까? 구체적으로, # DNF-k-SAT 및 # CNF-k-SAT에 대해 다른 위상 천이가 존재합니까? 업데이트 : 우리가 알다시피, 랜덤 k-SAT에는 문제를 해결하는 것이 쉬움에서 어려움으로, 다시 쉬움으로 바뀌는 단계 전환이 있습니다. # P-Complete 문제에도 이러한 현상이 있는지 알고 싶습니다. 더 중요한 것은 위상 전이가있는 …

11 cc.complexity-theory  counting-complexity  phase-transition 

n 개의 변수와 m 절이 주어지면 임의의 k-sat에 대한 위상 전이의 현재 상태를 알고 싶습니다. 상한 및 하한에 가장 잘 알려진 c = m / n은 무엇입니까?

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition