«ds.algorithms» 태그된 질문

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

45 ds.algorithms  directed-acyclic-graph  partial-order 

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

44 cc.complexity-theory  ds.algorithms 

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

44 cc.complexity-theory  ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

동적 프로그래밍의 이름을 바꿀 수 있다면 무엇이라고 부릅니까?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

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

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

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

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

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

41 ds.algorithms  reference-request  soft-question  machine-models 

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

40 cc.complexity-theory  ds.algorithms  graph-theory  graph-isomorphism 

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

40 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

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

39 ds.algorithms  sorting  sorting-network 

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

38 ds.algorithms  sorting 

복잡성 클래스 는 문제로 구성되는데, 이는 계산 경로가 최대 하나 인 다항식 비 결정적 튜링 머신으로 결정할 수 있습니다. 즉, 솔루션 은 이러한 의미에서 고유 합니다. 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} 반면, …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

제곱근 문제 의 합은 두 개의 시퀀스 및 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} . 이 문제의 복잡성 상태는 열려 있습니다. 자세한 …

37 ds.algorithms  big-list  reductions  computing-over-reals 

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

36 ds.algorithms  ds.data-structures  hash-function 

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

36 ds.algorithms  linear-programming  simplex  smoothed-analysis