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

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

1
완전한 그래프 동형화 문제
Graph Isomorphism (GI) 완료 문제를 연구하고 싶습니다. Kellogg S. Booth (1979)의 논문 "다항식으로 그래프 동형에 해당하는 문제"에서 Edge 교체 기술, 컴포지션 기술 등을 사용하여 많은 기본 문제가 GI 완료됨을 증명했습니다. 최근 논문에서 사용되는 몇 가지 기술을 더 배우고 싶습니다. 어떤 그래프 클래스가 GI 완료임을 증명하는 데 더 집중된 최근 논문을 …
2
이동 된 최대 값을 찾기위한 선형 시간 알고리즘
음이 아닌 정수를 포함 하는 배열 이 주어 졌다고 가정합니다 (반드시 구별되지는 않음).A[1..n]A[1..n]A[1..n] 증가하지 않는 순서로 를 하자 . 를 계산하려고합니다 BBBAAAm=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. 확실한 해결책은 A를 정렬 한AAA 다음 m 을 계산하는 것 입니다mmm . 최악의 경우 O (n \ lg n) 시간에 실행되는 알고리즘을 제공합니다 O(nlgn)O(nlg⁡n)O(n …
2
PLS의 문제에 대한 로컬 옵티마의 수를 계산하는 것이 얼마나 어렵습니까?
A에 대한 다항식 지역 검색 문제 , 우리는 적어도 하나 개의 솔루션 (현지 최적의) 존재해야한다는 것을 알고있다. 그러나 더 많은 솔루션이 존재할 수 있는데, PLS 완료 문제에 대한 솔루션 수를 계산하는 것이 얼마나 어려운가? 내가하고 특히 관심이 의사 결정 문제에서 : 이 PLS-전체 문제의 인스턴스가 두 개 이상의 솔루션이 있습니까? …
2
흥미로운 NP 문제에 대한 2 차 하한을 증명하기가 어렵다는 설명이 있습니까?
이것은 이전 질문에 대한 후속 조치입니다. NP의 자연 문제에 대해 가장 잘 알려진 결정 론적 시간 복잡성 하한 사람들이 관심을 갖고 더 나은 알고리즘을 설계하려고 시도하는 흥미로운 NP 문제에 대해 2 차 결정 론적 시간 하한을 입증 할 수 없었습니다. Exponential Time Hypothesis 추측에 따르면 SAT는 지수 미만의 결정적 시간으로 …
1
그래프의 평균 거리 계산의 복잡성
하자 연결된 그래프의 평균 거리를a d ( G )ㅏ디(지)\rm{ad}(G)G .지.G. 계산하기위한 하나의 방법 의 요소이다 합하여 의 거리 행렬 적절 합을 스케일링.a d ( G )ㅏ디(지)\rm{ad}(G)D ( G ) ,디(지),D(G),지지G 출력 그래프가 트리 인 경우 평균 거리를 선형 시간으로 계산할 수있는 것으로 알려져 있습니다 (B.Mohar, T.Pisanski-그래프의 위너 인덱스 계산 방법 …
1
수학적 소프트웨어 증인
저는 많은 사람들과 마찬가지로 Mathematica 및 Maple과 같은 수학적 소프트웨어를 열성적으로 사용합니다. 그러나 나는 그러한 소프트웨어가 단순히 경고없이 틀린 대답을하는 많은 경우에 점점 좌절하고 있습니다. 이것은 많은 다른 예 중에서 단순한 합계 부터 최적화 까지 모든 종류의 작업을 수행 할 때 발생할 수 있습니다 . 이 심각한 문제에 대해 무엇을 …
1
매트릭스 강성 및 낮은 강성 매트릭스 사용
대략 계수의 행렬 의 경우에 아래로 순위을 가지고, 강성 것으로 알려져 N엔nn ,일부ϵ>0에대해,적어도n1+ϵ의 엔트리를 변경해야한다.n2n2\frac{n}{2}n1+ϵn1+ϵn^{1+\epsilon}ϵ>0ϵ>0\epsilon > 0 는 IF 행렬 A가 견고하고 계산 작은 직선 프로그램 X ( X 사이즈의 벡터이고, n은 ) 중 최고 선형 크기 또는 super 대수 깊이있다.n×nn×nn \times nAAAAxAxAxxxxnnn 위의 진술에 반대되는 내용이 있습니까? 다시 말해서 …
1
상대 세계
세계가 있는지 알고 싶습니다 . 또한 P B ≠ N P B = P P B 인 상대 세계가 존재하는지 알고 싶습니다 .PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf PP^B}
2
속임수
일정한 깊이 회로를 속이는 것에 대해 몇 가지 질문이 있습니다. 그 알려져 -wise 독립성이 필요한 속일 깊이의 회로 , 여기서 입력의 크기이다. 이것을 어떻게 증명할 수 있습니까?로그O ( 일)( n )logO(d)⁡(n)\log^{O(d)}(n)C0AC0AC^0n디dd엔nn 위의 내용이 사실이므로, 깊이 의 회로 를 속이는 의사 난수 발생기 는 반드시 시드 길이 가져야하며 , 이는 을 …
2
시험관 문제 (SAT 결정 인스턴스 / 응답의 균일 생성)
코스의 조교는 어려운 시험 문제를 (결정 론적으로) 생성하는 프로그램을 작성했습니다. 이제 해당 답변을 생성하는 프로그램을 작성하려고합니다. 심사관의 문제는 이것이 항상 가능 여부를 묻습니다 심사관의 추측은 가정, 그 상태, , 그것은 것입니다 하지 : 문제와 함께 오는 자신의 해결책을 오는 것보다 쉽습니다.P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} 보다 공식적으로 은 입력 에서 크기 의 …
1
부울 함수의 정도에 대한 민감도
부울 함수의 복잡성 측정에 대한 연구에서 매우 흥미로운 개방형 문제는 소위 감도 대 블록 감도 추측입니다. 감도 대 블록 감도에 대한 배경 지식은 http://www.scottaaronson.com/blog/?p=453 에서 S. Aaronson의 다음 블로그 게시물을 참조하십시오 . 내가 아는 한, 와 관련 하여 에 알려진 최고의 상한 은 입니다. [케넌, Kutin 용지]하지만 물론 아마도 관련된 …
4
NP- 완전성 / 경도는 건설적이어야합니까?
다음 속성을 가진 가 있습니까?L ∈ N PL∈NPL\in {\bf NP} 그것은 것으로 알려져 의미 .패 ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} (또는 일부 다른 -완전한 문제)를 튜링 감소하는 알려진 다항식 시간은 없습니다 .에스TSATSATN PNP{\bf NP}엘LL 즉,에 대한 다항식 시간 알고리즘 경우 붕괴 의미 로 , 그것은이 "일반 …
1
LWE (Noisy Parity) 하한 / 경도 결과
일부 배경 : LWE (Learning with Errors) 문제에 대한 "알려지지 않은"하한 (또는 경도 결과) 및 링 위의 오류를 사용한 학습과 같은 일반화를 찾는 데 관심이 있습니다. 구체적인 정의 등을 보려면 다음과 같이 Regev의 훌륭한 설문 조사를 참조하십시오 . http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf (R) LWE 스타일 가정의 표준 유형은 (아마도, 양자) 감소를 통해 (아마도, …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.