«complexity-theory» 태그된 질문

문제 해결의 (계산적) 복잡성과 관련된 질문

2
무작위로 균일하게 완벽한 샘플링
나는 그래프 있다고 가정 와 M ( G ) 의 완벽한 matchings의 (알 수없는) 세트 G를 . 이 세트가 비어 있지 않다고 가정하면 M ( G ) 에서 무작위로 균일하게 샘플링하는 것이 얼마나 어렵 습니까? 균일하지만 거의 균일하지 않은 분포에 대해 괜찮다면 효율적인 알고리즘이 있습니까?GGGM(G)M(G)M(G)GGGM(G)M(G)M(G)
3
P, NP 및 전문 튜링 머신
나는 일종의 새로운 것이지만 컴퓨팅 및 복잡성 이론 분야에 매우 관심이 있으며 문제를 분류하는 방법과 문제를 해결하는 데 사용되는 기계와 문제가 얼마나 강한 지에 대한 이해를 분명히하고 싶습니다. 내 이해 표준 튜링 머신-유한 알파벳, 유한 수의 상태 및 하나의 오른쪽 무한 테이프를 가진 튜링 머신 Turing-Equivalent Machine-표준 Turing Machine에 의해 …
3
수학적 진술 / 컴퓨터 프로그램없이 P = NP 증명
이것은 한동안 수동 사용자가 된 후의 첫 번째 게시물입니다. 가능하면 몇 가지 질문을하고 싶습니다. 나는 수학자가 아니지만 내 질문은 수학 / 컴퓨터 과학 분야와 관련이 있습니다. 특히, P 대 NP 문제. 나는 이것이 엘리트 전문가가 아직 해결할 수없는 문제라는 것을 알고 있습니다 ... 어쨌든 나는 묻고 싶다 : 수학 자나 …
2
고차 함수는 함수형 프로그래밍에 더 강력한 기능을 제공합니까?
cstheory.SE에 대해 비슷한 질문 을했습니다 . Stackoverflow 에 대한 이 답변에 따르면 비 게으른 순수 함수형 프로그래밍 언어에는 복잡도를 갖는 알고리즘이 있지만 명령형 프로그래밍의 동일한 알고리즘은 Ω ( n ) 입니다. FP 언어에 게으름을 추가하면 알고리즘이 Ω ( n )이 됩니다.Ω ( n 로그n )Ω(nlog⁡n)\Omega(n \log n)Ω ( n )Ω(n)\Omega(n)Ω …
1
Clique 문제의 제한된 버전?
입력이 크기입니다 파벌 문제의 다음 버전을 고려 우리는 크기의 파벌 발견하라는 메시지가 . 결정 절차는 입력 그래프를 다른 표현으로 변경할 수 없으며 입력 그래프 이외의 여분의 비트 이외의 다른 표현을 사용하여 답을 계산할 수 없습니다 . 여분의 비트는 예를 들어 무차별 대입 알고리즘에서 사용되어 절도에 대한 철저한 검색 상태를 추적 …
2
3- 파티션 문제에서 균형 잡힌 파티션 문제로 감소
3- 파티션 문제는 정수 세트를 3 개의 정수 세트 로 분할하여 각 세트가 주어진 정수 까지 수 있는지 묻습니다 . 균형 분할 문제는 정수를 두 개의 동일한 카디널리티 세트로 분할하여 두 세트의 합계가 같은지 여부를 묻습니다 . 두 문제는 모두 NP- 완전한 것으로 알려져 있습니다. 그러나 3- 파티션은 NP가 완전합니다. …
2
사후 대응 문제의 결정 가능한 제한
포스트 대응 문제 (PCP)의 결정 불가능하다. PCP 의 경계 버전 은 -완료이며 PCP 의 표시된 버전 (두 목록 중 하나의 단어는 첫 글자가 )은 [1]에 있습니다.P S P A C EN PNP\mathrm{NP}P S P A C EPSPACE\mathrm{PSPACE} 이 제한된 버전이 다른 문제의 일부 복잡한 결과를 증명하는 데 사용됩니까 (감소를 통해)? …
2
DOUBLE-SAT가 NP 완료임을 증명
잘 알려진 SAT 문제는 참고 용으로 여기 에 정의되어 있습니다 . DOUBLE-SAT 문제는 다음과 같이 정의됩니다. D O U B L E - S T = { ⟨ φ ⟩ | φ는 적어도 두 만족 과제를 갖는다 }DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ …
3
전력 소비를 포착 할 수있는 추상 기계가 있습니까?
알고리즘의 알고리즘 복잡성을보고 할 때 최신 계산에 근사한 일부 추상 머신 (예 : RAM)에서 기본 계산이 수행된다고 가정합니다. 이러한 모델을 통해 알고리즘의 시간 및 공간 복잡성을보고 할 수 있습니다. 이제 GPGPU 가 확산 되면서 전력 소비를 고려할 수있는 잘 알려진 모델이 있는지 궁금합니다. GPU는 상당한 양의 전력을 소비하는 것으로 잘 …
2
PTAS 정의 대 FPTAS
내가 읽은 것에서 preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. 이것이 PTAS 정의입니다. 문제 대한 다항식 시간 근사법 ( PTAS ) 은 입력 크기에서 시간 복잡도가 다항식 인 근사법입니다.XXX …
2
MIN-2-XOR-SAT 및 MAX-2-XOR-SAT : NP- 하드입니까?
MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} 및 MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} 의 복잡성은 무엇입니까 ? 그들은 P에 있습니까? 그들은 NP 하드입니까? 이것을 더 정확하게 공식화하려면 Φ ( x ) = ∧엔나는씨나는,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, 여기서 x =( x1, … , x미디엄)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m) 및 각 절 CiCiC_i 는 (xi⊕xj)(xi⊕xj)(x_i \oplus x_j) 또는 (xi⊕¬xj)(xi⊕¬xj)(x_i \oplus \neg x_j) 입니다. 2-XOR-SAT2-XOR-SAT\text{2-XOR-SAT} 문제에 할당을 …
2
최대 다항식 공간을 사용하여 (그러나 지수 시간을 사용하면서) NP-Complete Problem을 해결할 수 있습니까?
나는 NPC 와 PSPACE 와의 관계 에 대해 읽었 으며 최악의 다항식 공간 요구 사항을 가진 알고리즘을 사용하여 NPC 문제를 결정 론적으로 해결할 수 있는지, 지수 시간 (P는 다항식 인 경우 2 ^ P (n))을 취할 수 있는지 알고 싶습니다. 또한 일반적으로 EXPTIME 으로 일반화 할 수 있습니까? 내가 묻는 …
2
지수 적으로 느끼지만 P 인 문제
나는 본질적으로 매우 지수적인 것으로 간주되는 문제를 해결하지만 궁극적으로 그것들을 해결하는 영리한 알고리즘을 가지고있는 것처럼 "예외적으로 유용한"알고리즘 / 문제 목록을 작성하려고합니다. 내가 의미하는 것의 예 : 선형 프로그래밍 (단순 알고리즘은 지수 시간이므로 다항식 시간 솔루션을 찾는 데 오랜 시간이 걸렸습니다!) 보다 일반적으로, 반정의 프로그래밍 원시성 테스트 2-SAT 및 HORNSAT 계산 …
1
루퍼트에게 선물용 가방을 산타보다 쉽게 ​​포장 할 수 있습니까?
또는 : 선물을 받으려면 루퍼트가 필요합니까? 라우팅 문제는 제쳐두고 산타는 다음과 같은 문제에 직면합니다 (많은, 여러 번). 용량 ¹ 의 가방과 크기가 각각 i sCCC 인 선물 세트가 주어지면 , 그는 아이 { c 1 , … , c k }를 행복하게 만들고 싶어합니다 . 그는 자식하는 모든 소원 목록에서 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.