«ds.algorithms» 태그된 질문

작업 완료를위한 잘 정의 된 지침 및 시간 / 메모리 등의 관련 분석에 관한 질문

5
긍정적 인 토폴로지 순서
정점에 실수 가중치가있는 유향 비순환 그래프가 있다고 가정합니다. 토폴로지 순서의 모든 접두사에 대해 가중치의 합이 음이 아닌 DAG의 토폴로지 순서를 찾고 싶습니다. 또는 당신이 순서 이론 용어를 선호한다면, 나는 가중 부분 순서를 가지고 있으며 각 접두어가 음이 아닌 가중치를 갖도록 선형 확장을 원합니다. 이 문제에 대해 알려진 것은 무엇입니까? 다항식 …

8
죽은 추측의 사망 기사
나는 어느 시점에서 많은 사람들이 신뢰할 수있는 알고리즘과 복잡성에 대한 추측을 찾고 있지만 나중에 반 증거로 인해 반증되거나 적어도 믿지 않았습니다. 다음은 두 가지 예입니다. 랜덤 오라클 가설 : 거의 모든 관련 세계에 적용되는 복잡성 클래스 사이의 관계는 관련이없는 경우에도 적용됩니다. 이것은 결과에 의해 반증되었고, 가 거의 모든 임의의 oracles …

8
무결성 갭의 중요성
나는 항상 Integrity Gap (IG) 의 중요성을 이해하는 데 어려움을 겪고 있었으며 그 한계가 있습니다. IG는 문제의 완화에 대한 최적의 실제 해에 대한 최적 정수 응답의 품질 (품질)입니다. 버텍스 커버 (VC)를 예로 들어 보겠습니다. VC는 다음 선형 방정식 세트의 최적 정수 솔루션을 찾는 것으로 설명 할 수 있습니다. 그래프 G …


8
SAT 최고의 상한
또 다른 스레드 에서 Joe Fitzsimons는 "3SAT에서 가장 좋은 현재 하한값"에 대해 물었습니다. 나는 다른 길로 가고 싶습니다 : 3SAT 에서 가장 좋은 현재 상한 은 무엇입니까 ? 다시 말해, 가장 효율적인 SAT 솔버의 시간 복잡성은 무엇입니까? 특히, SAT에 대한 하위 지수 (아직 초 다항식) 알고리즘을 찾는 것이 가능합니까?

5
SAT 솔버의 실제 성공에 대한 이론적 설명?
SAT 솔버가 실제로 성공하기 위해 어떤 이론적 설명이 있습니까? 누군가 "wikipedia-style"개요와 설명을 함께 묶을 수 있습니까? 유추 하여, 심플 렉스 알고리즘에 대한 평활화 된 분석 ( arXiv 버전 )은 최악의 경우 지수 시간이 걸리고 NP- 전능 한 ( arXiv 버전 ) 사실에도 불구하고 실제로 왜 잘 작동하는지 설명하는 훌륭한 역할을합니다 …

6
어떤 계산 모델이“최고”입니까?
1937 년 튜링은 튜링 머신을 설명했습니다. 그 이후로 실제 컴퓨터와 유사하지만 알고리즘을 설계하고 분석 할 수있을 정도로 단순한 모델을 찾기 위해 많은 계산 모델이 설명되었습니다. 결과적으로 다양한 계산 모델에 대한 SORT 문제와 같은 수십 개의 알고리즘이 있습니다. 불행하게도, 비트 벡터 연산이 허용 된 워드 RAM에서 실행 시간 O (n)을 가진 …

3
그래프 동형 문제에 대한 준 다항식 시간 알고리즘의 결과
그래프 동형 문제 (GI)이 틀림위한 최상의 공지 후보 NP-중간 문제. 가장 잘 알려진 알고리즘은 런타임 . 다항식 계층 구조가붕괴되지 않는 한,GI는NP-완전하지않다는 것이 알려져있다.2O ( n 로그엔√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} Graph Isomorphism 문제에 대한 준 다항식 시간 알고리즘의 복잡한 이론적 결과는 무엇입니까? GI에 대한 준 다항식 시간 알고리즘이 복잡한 이론에서 유명한 추측을 …

6
행렬의 고유 분해를 찾는 복잡성
내 질문은 간단합니다. 계산하기위한 가장 잘 알려진 알고리즘의 실행 시간을 최악의 경우 무엇 eigendecomposition 의 n×nn×nn \times n 행렬은? 고유 분해가 행렬 곱셈으로 감소합니까 아니면 최악의 경우 SVD 를 통해 가장 잘 알려진 알고리즘 입니까?O(n3)O(n3)O(n^3) 조건 번호와 같은 문제 종속 상수가있는 경계가 아닌 최악의 경우 분석 ( 만)을 요구하고 nnn있습니다. …

1
각 요소가
각 요소가 시간 과 비교되도록 정렬 네트워크로 줄이지 않는 알려진 비교 정렬 알고리즘이 있습니까?O ( 로그n )O(log⁡n)O(\log n) 내가 아는 한, 각 요소에서 비교 로 정렬하는 유일한 방법 은 n 개의 입력에 대해 AKS 정렬 네트워크를 구성하고 정렬 네트워크 에서 입력을 실행하는 것입니다.O ( 로그n )O(log⁡n)O(\log n)nnn AKS는 구현하기 쉽지 …

2
한의
Yijie Han의 , 선형 공간, 정수 정렬 알고리즘에 익숙한 사람이 있습니까? 이 결과는 상당히 짧은 논문 ( O ( n log log n )의 결정적 정렬 및 선형 공간 J. Alg. 50 : 96–105, 2004)에 나타나며, 기본적으로 적절한 적응과 함께 초기 결과를 많이 결합합니다. 내 문제는 특정 세부 사항에 깊숙이 …

4
솔루션의 고유성으로 인해보다 쉽게 ​​찾을 수있는 예
복잡성 클래스 는 문제로 구성되는데, 이는 계산 경로가 최대 하나 인 다항식 비 결정적 튜링 머신으로 결정할 수 있습니다. 즉, 솔루션 은 이러한 의미에서 고유 합니다. Valiant-Vazirani 정리에 따르면 이는 의미 하기 때문에 모든 문제가 있을 가능성은 거의 없습니다 .N P U P P N P = R PUPUP\mathsf{UP}NPNP\mathsf{NP}UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} 반면, …

2
제곱근 근본 문제?
제곱근 문제 의 합은 두 개의 시퀀스 및 b 1 , b 2 , … , b n 에 양의 정수가 있는지, 합계 ∑ i √에이1,2, ... ,엔a1,a2,…,ana_1, a_2, \dots, a_n비1, b2, … , b엔b1,b2,…,bnb_1, b_2, \dots, b_n 보다 같거나 합보다ΣI√∑나는에이나는−−√∑iai\sum_i \sqrt{a_i} . 이 문제의 복잡성 상태는 열려 있습니다. 자세한 …

4
이론적 보증이 좋은 정수 컬렉션 (즉, 다중 집합)에 대한 해시 함수가 있습니까?
이상적으로 다음과 같은 속성을 갖는 여러 정수 세트의 해시를 저장하는 방법이 있는지 궁금합니다. O (1) 공간을 사용합니다 O (1) 시간에 삽입 또는 삭제를 반영하도록 업데이트 할 수 있습니다. 두 개의 동일한 콜렉션 (즉, 동일한 다중성을 갖는 동일한 요소를 갖는 콜렉션)은 항상 동일한 값으로 해시해야하며, 두 개의 고유 한 콜렉션은 확률이 …

6
심플 렉스 알고리즘의 복잡성
리니어 프로그램에 대한 솔루션을 찾기위한 심플 렉스 알고리즘의 상한은 무엇입니까? 그러한 경우에 대한 증거를 찾으려면 어떻게해야합니까? 각 정점은 그것이 그 방문 할 경우 최악의 경우 인 것처럼 보인다 . 그러나 실제로는 표준 알고리즘이 이보다 더 빠른 속도로 표준 알고리즘을 실행합니다.오 ( 2엔)영형(2엔)O(2^n) 이 방법을 사용하여 해결되는 문제의 평균 복잡성을 어떻게 …

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.