«counting-complexity» 태그된 질문

솔루션 수를 계산하는 것이 얼마나 어려운가요?

1
스패닝 트리 수를 빠르게 계산
하자 그래프에 걸쳐 나무의 수를 나타내는 와 정점. 산술 연산 에서 를 계산하는 알고리즘이 있습니다. 이 알고리즘은 . 여기서 Q 는 G 의 라플라시안 이고 J 는 1 로만 구성된 행렬 입니다. 이 알고리즘에 대한 자세한 내용은 Biggs-대수 그래프 이론 또는 이 Math SE 질문을 참조하십시오 .t(G)t(G)t(G)GGGnnnt(G)t(G)t(G)O(n3)O(n3)O(n^3)1n2det(J+Q)1n2det(J+Q)\frac{1}{n^2} \det(J + Q)QQQGGGJJJ111 …
1
임의 2-SAT의 계산 복잡성은 무엇입니까?
# 2-SAT 의 임의 사례의 복잡성 이 절 밀도에 따라 어떻게 달라지는 작업이 수행 되었습니까? 즉 , 절 밀도가 변함에 따라 임의로 생성 된 2-SAT 인스턴스에 대한 만족스러운 솔루션 계산의 어려움은 어떻게 달라 집니까? 특히 임계 임계 값과 관련하여 알려진 엄격한 결과가 있습니까? 물론 2-SAT ∈ P 이므로 일반적인 계산 …
1
# 2-SAT의 # P- 완전 서브 패밀리는 무엇입니까?
짧은 버전. # 2-SAT가 # P- 완전 하다는 원래의 증거 는 사실, 단조로운 (변수의 부정을 포함하지 않음) 및 이분 (모두의 변수는 이분 그래프입니다)는 #P -hard입니다. 따라서 # 2-MONOTONE-SAT 및 # 2-BIPARTITE-SAT의 두 가지 특수 사례는 #P -hard입니다. #P -hard 인 공식의 '자연'속성으로 특징 지을 수있는 다른 특별한 경우가 있습니까? 긴 …
1
일반 그래프에서 단순 - 경로 수를 계산하기위한 근사치
주어진 시작 정점 에서 주어진 끝 정점 이르기까지 지향 그래프의 간단한 경로 수를 근사하기위한 좋은 다항식 시간 알고리즘이 있다고 들었습니다 . 이 주제에 대한 좋은 언급을 아는 사람이 있습니까?에스에스s티티t 배경 : 일반 그래프에서 정확한 경로 수를 세는 것은 #P 완료이지만 문제에 대한 다항식 시간 근사가 존재할 수 있습니다. 나는 특히 …
1
유 방향 그래프에서 간단한 경로를 계산하는 복잡성
하자 이중 음자 (반드시 DAG를)하고하자 의 , t ∈ V ( G을 ) . 간단한 s - t 경로 의 수를 계산하는 복잡성은 무엇입니까?GGGs,t∈V(G)s,t∈V(G)s,t \in V(G) s−ts−ts-t . GGG 문제가 # P 일 것으로 기대합니다PP{\mathsf P} 완전한 하지만 정확한 참조를 찾을 수 없었습니다. 또한 여러 가지 유사한 질문이 여기와 다른 …
2
그래프의 엣지 커버 수 계산의 복잡성
에지 커버 그래프의 각 정점이 상기 커버의 적어도 하나의 에지에 인접하도록 그래프의 에지들의 부분 집합이다. 다음 두 논문은 계산 에지 커버는 말을 #P - 완전한 : 에지 커버 계산에 대한 간단한 FPTAS 및 경로 그래프의 생성 가장자리 커버를 . 그러나 내가 놓친 것이 없다면 그들은이 주장에 대한 참조 또는 증거를 …
1
정점 라벨링의 "로컬"기능을 결합하기위한 그래프 분해
또는 를 찾고 싶다고 가정 해 봅시다. ∑엑스∏나는 j ∈ E에프( x나는, x제이)∑엑스∏나는제이∈이자형에프(엑스나는,엑스제이)\sum_x \prod_{ij \in E} f(x_i,x_j)최대엑스∏나는 j ∈ E에프( x나는, x제이)최대엑스∏나는제이∈이자형에프(엑스나는,엑스제이)\max_x \prod_{ij \in E} f(x_i,x_j) V의 모든 라벨링에 대해 max 또는 sum가 사용 되는 경우 그래프 G = \ {V, E \}에 대해 VVV모든 모서리 E 에서 곱이 취해 …
3
입방 해밀턴 그래프에서 해밀턴 사이클의 수를 세고 있습니까?
입방 해밀턴 그래프에서 가장 긴 사이클의 상수 인자 근사값을 찾는 것은 hard입니다. 입방 해밀턴 그래프에는 적어도 두 번의 해밀턴 사이클이 있습니다.엔피엔피NP 3 차 해밀턴 그래프에서 해밀턴 사이클 수에 대해 가장 잘 알려진 상한 및 하한은 무엇입니까? 입방 해밀턴 그래프가 주어지면 해밀턴 사이클의 수를 찾는 복잡성은 무엇입니까? # 단단합니까?피피P
2
#P 이상 및 검색 문제 계산
여덟 명의 여왕 문제에 관한 위키 백과 기사를 읽고있었습니다. 정확한 수의 솔루션에 대한 알려진 공식은 없습니다. 몇 가지 검색을 한 후 "완전한 매핑의 계산 문제의 경도에 대해"라는 논문을 발견했습니다. 이 백서에는 #P를 넘어서는 #queens만큼이나 어려운 문제가 있습니다. Wikipedia 기사에서 철저하게 계산 된 # 여왕의 수를 엿볼 때, 그들은 상당히 지수 …
4
Haskell의 seq 연산과 호환되는 기능에 대한 eta-equivalence가 있습니까?
Lemma : 에타와 동등하다고 가정하면 (\x -> ⊥) = ⊥ :: A -> B. 증명 : ⊥ = (\x -> ⊥ x)에타 동등성 및 (\x -> ⊥ x) = (\x -> ⊥)람다 감소. Haskell 2010 보고서, 섹션 6.2 seq는 두 가지 방정식으로 함수를 지정합니다 . seq :: a-> b-> b …
2
Ben-Dor / Halevi의 지속 물에 대한 # P- 완전한 증거에 대한 질문
Ben-Dor / Halevi의 논문 [1]에서 지속 물이 완전 하다는 또 다른 증거가있다 . 논문의 후반부에는 환원 사슬 체인을 따라 영구적 인 가치가 유지되는 동안 . 3SAT 공식 의 만족스러운 할당의 수는 영구적 인 값으로부터 얻을 수 있기 때문에, 최종 1- 행렬 의 영구성을 계산하는 것으로 충분합니다 . 여태까지는 그런대로 잘됐다.#P#P\#PIntPerm∝NoNegPerm∝2PowersPerm∝0/1-PermIntPerm∝NoNegPerm∝2PowersPerm∝0/1-Perm\begin{equation} …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.