«cc.complexity-theory» 태그된 질문

P 대 NP 및 기타 리소스 제한 계산.

1
스파 스 입력에서 컴퓨팅 기능의 모노톤 회로 복잡성
무게이진 문자열 중 은 문자열에있는 숫자의 수입니다. 입력이 거의없는 입력에서 모노톤 기능을 계산하려면 어떻게해야합니까?|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n 그래프에 크릭이 있는지 결정하는 것이 모노톤 회로에서는 어렵다는 것을 알고 있지만 (Alon Boppana, 1987 참조) 그래프에 예를 들어 최대 에지가 있으면 다음과 같은 모노톤 경계 깊이 회로를 찾을 수 있습니다 크기 은 -clique 를 결정 합니다.kkkk3k3k^3f(k)⋅nO(1)f(k)⋅nO(1)f(k)\cdot …
2
근사 비율에 대한 계층 정리?
잘 알려진 바와 같이, NP-hard 최적화 문제는 PTAS를 갖는 것에서부터 임의의 요소 내에서 추정 할 수없는 것까지 모든 범위의 다양한 근사 비율을 가질 수있다. 그 사이에는 다양한 상수 , p o l y ( n ) 등이 있습니다.O(logn)O(log⁡n)O(\log n)poly(n)poly(n)poly(n) 가능한 비율 세트에 대해 알려진 것은 무엇입니까? 어떤 종류의 "근사 계층"을 …
1
가 포함되지 않은 Oracle
Greg Kuperberg의 복잡성 동물학 에 따르면 와 같은 언어 가 있습니다. 즉, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} —이 결과에 대한 참조는 제공하지 않습니다. 왜 이런 일이 발생합니까? 아니면 어디에서 증거를 찾을 수 있습니까?XXXBPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^XBPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} 이 …
1
고유 한 SAT 및 정확히
고유 한 SAT는 잘 알려진 문제입니다. CNF 공식 주어지면 F 에 정확히 하나의 모형이 있다는 것이 사실 입니까?FFFFFF « 정확한 SAT»문제에 관심이 있습니다 : CNF 공식 F 와 정수 m > 1이 주어지면 F 가 정확히 m 개의 모형을 가지고 있다는 것이 사실 입니까?mmmFFFm>1m>1m>1FFFmmm 두 문제는 비슷해 보입니다. 그래서 내 …
2
패리티
입력 및 게이트는 팬 아웃 바운드이 NOT 게이트 및 바운드 팬에서 AND 및 OR 게이트와 일정 깊이 다항식 크기 회로의 클래스이다.C0AC0AC^0 이제 새로운 클래스를 고려하십시오. A C 0 과 비슷 하지만 입력 및 게이트에 대해 최대 O ( 1 )의 팬 아웃이 있습니다. 이 클래스는 분명히 A C 0 입니다. …
1
스왑 수에 따른 최적 정렬 알고리즘
의 순서 감안할 때 숫자, 그것은으로 정렬 할 수 있습니다 O ( N LN N ) 비교와 O ( N ) 교환 / 이동? Ω ( n ln n ) 하한을 나타내는 해당 사안 또는 반론에 대한 출판물에 대한 모든 포인터 가 도움이 될 것입니다.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)
2
PSPACE에 없을 가능성이 높은 중첩 깊이 1로 모달 논리가 축소 되었습니까?
나는 모달 중첩 깊이 1의 유한 공리 세트에 의해 축합되고 만족도 / 파생 문제가 PSPACE에있을 것 같지 않은 모달 논리를 찾고 있습니다. 모달 중첩 깊이에 대한 제한 없이는 문제가되지 않습니다 (예 : PDL 참조). 그러나 튜링 기계의 타일링 문제 또는 수용 문제를 줄임으로써 예를 들어 EXPTIME-hardness를 증명할 때 깊이 2에서 …
1
번호 분할의 특별한 경우의 NP 경도
다음 문제를 고려하십시오. 자 세트 양수 있는 상수, 우리로 세트 분할 할 크기의 서브 세트 되도록 각각의 합계의 생성물 부분 집합이 최대화됩니다.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk 이 문제는 각 파티션의 수에 제한이 있다는 점을 제외하고 잘 알려진 way 숫자 분할 과 매우 유사 합니다. 들면 …
3
사본의 NP 문제
이 질문은 나무의 NP-hard 문제 와 유사합니다 . cographs에서 다루기 쉬운 많은 NP-complete 문제가 있습니다 . 사본에 제한을 두었을 때 NP-complete로 남아있는 알려진 문제가 있습니까? 더 정확하게 말하면 입력 이 방향이 지정되지 않은 가중치가없는 cograph로만 구성된 예에 관심이 있습니다 . 두 가지 언급 : 가중 사본의 경우 이러한 문제가 언급되어 …
1
CNF 공식의 무작위성 측정
CNF 공식은 무작위 대 구조의 두 가지 클래스로 나눌 수 있다는 것이 널리 알려져 있습니다. 랜덤 CNF 공식과 반대로 구조화 된 CNF 공식은 우연히 일어날 가능성이없는 패턴을 보여주는 일종의 순서를 나타냅니다. 그러나 어느 정도의 무작위성을 나타내는 구조화 된 수식 (예 : 특정 특정 절 그룹은 다른 것보다 훨씬 덜 구조화 …
1
완벽한 매칭의 모노톤 회로 복잡성에서 하한 개선?
라즈 보 로프는 이분 그래프에 대한 완벽한 매칭 함수를 계산하는 모든 모노톤 회로가 최소한 엔Ω ( 로그n )엔Ω(로그⁡엔)n^{\Omega(\log n)}게이트 (그는 "논리적 영구"라고 불렀습니다). 그 이후 같은 문제에 대한 더 나은 하한이 입증 되었습니까? (말하다2엔ϵ2엔ϵ2^{n^\epsilon}?) 내가 기억하는 한이 문제는 1990 년대 중반에 열려있었습니다. clique 함수에는 지수 크기의 모노톤 회로 등이 필요하다는 …
2
LP의 최소 최대 솔루션
물론 선형 프로그래밍은 오늘날 매우 잘 이해되고 있습니다. 우리는 실현 가능한 솔루션의 구조와 최적의 솔루션의 구조를 특징 짓는 많은 일을했습니다. 우리는 강력한 이중성, 다중 시간 알고리즘 등을 가지고 있습니다. 그러나 LP의 최소 최대 솔루션 에 대해 알려진 것은 무엇 입니까? 아니면 최대 최소 솔루션입니까? (이것은 실제로 연구 문제는 아니지만 공휴일에는 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.