«ds.algorithms» 태그된 질문

알고리즘의 실행 시간을 분석하는 방법은 다음과 같습니다. 1) 최악의 경우 분석 : 최악의 인스턴스에서 실행 시간. 2) 평균 사례 분석 : 임의 인스턴스에서 예상 실행 시간. 3) 상각 분석 : 최악의 인스턴스 순서에서 평균 실행 시간. 4) 순조로운 분석 : 최악의 무작위 교란이 발생한 인스턴스에서 예상 실행 시간. 5) 일반적인 …

22 ds.algorithms 

에서는 압축 센싱 상기 목적은 입력 신호 (이하 "스케치") 압축으로부터 효율적으로 회수 할 수 있도록하는 것이, 희소 표현이 알려진 큰 입력 신호에 대해 선형 압축 방식을 찾는 것이다. 보다 공식적으로 표준 설정은 신호 벡터 이 이고 압축 표현은 Ax 와 같고 여기서 A 는 R x n 실수라는 것입니다 R …

22 ds.algorithms  ds.data-structures  compressed-sensing 

이것은 " 책에서 알고리즘 "의 라인을 따라 입니다. 축소도 알고리즘이지만,이 책의 알고리즘에 대한 질문에 대한 응답이 축소 될 것이라고 생각하는 것은 의심 스럽다. 따라서 별도의 쿼리! 모든 종류의 감소는 가장 환영합니다. 먼저 정점 표지에서 별에 대한 다중 컷으로의 간단한 축소로 시작하겠습니다. 감소는 소스 문제가 확인되면 거의 그 자체로 제안됩니다 (그 …

22 ds.algorithms  np-hardness  big-list  reductions 

거의 모든 SAT 솔버가 DNF 대신 CNF를 사용하는 이유를 잘 모르겠습니다. DNF를 사용하면 SAT를 해결하는 것이 더 쉬운 것 같습니다. 결국, 당신은 단지 일련의 함축을 스캔하고 그들 중 하나가 변수와 그 부정을 모두 포함하지 않는지 확인해야합니다. CNF의 경우 이와 같은 간단한 절차는 없습니다.

22 ds.algorithms  sat 

고정 된 k (폭)에 대한 그래프의 트리 분해 계산을위한 오픈 소스 프로그램을 아는 사람이 있습니까? Tree-Decomposition을 찾는 문제는 변수 "k"에 대해 NP-Hard이지만 입력 인스턴스는 실제로 작고 (~ 10 개 노드) "k"는 고정되어 있습니다.

22 ds.algorithms  graph-theory  graph-algorithms  software  treewidth 

최근 에는 알고리즘이나 복잡성에 대한 공식적인 과정을 밟지 않은 젊은 재능있는 자율 프로그래머에게 계산 복잡성의 개념을 비공식적으로 설명 하는 고통스러운 재미있는 경험을 겪었습니다. 놀랍게도 많은 개념이 처음에는 이상해 보였지만 일부 예 (PTIME, 난치도, 계산 불가능 성)에서는 의미가있는 반면, 다른 개념은 더 자연스럽게 보입니다 (감소, 시간과 공간을 자원으로하여 문제를 분류하는 것, …

21 cc.complexity-theory  ds.algorithms  np-hardness 

실제 값을 취하는 랜덤 알고리즘 경우, "중간 트릭"은 곱하기 의 비용으로 실패 확률을 임계 값 으로 줄이는 간단한 방법입니다. 오버 헤드. 즉, 의 출력이 (적어도) 인 확률 로 "좋은 범위" 하면 독립적 인 사본 이고 출력 의 중앙값을 취하면 Chernoff / Hoeffding 경계에 의해 최소 확률로 의 값이 떨어 집니다.에이A\mathcal{A}δ> …

21 ds.algorithms  randomized-algorithms 

f(n)f(n)f(n) c > 0limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 모든 언어 L \ in {\ mathsf P}에 대해 모든 초 다항식 시간 바운드 f (n)에L∈PL∈PL\in {\mathsf P} 대해 L \ in {\ mathsf {DTIME}} (f (n)) 이 있음이 분명합니다 . 나는이 진술의 대화가 사실인지 궁금합니다. 우리가 알고있는 경우 즉, 의 L를 \ {\ mathsf …

21 cc.complexity-theory  ds.algorithms  complexity-classes 

우리는 비교 기반 모델에서 요소 구별이 시간 내에 완료 될 수 없음을 알고 있습니다 . 그러나 워드 RAM에서는 더 나은 결과를 얻을 수 있습니다.o ( n 로그n )o(nlog⁡n)o(n\log n) 물론 선형 시간으로 계산할 수있는 완벽한 해시 함수가 있다고 가정하면 요소 구별을위한 선형 시간 알고리즘을 얻게됩니다. 충돌이있는 경우 숫자를 하나씩 해시하고 …

21 ds.algorithms 

에 accoring에 KW 레이건의 기사 "연결 별" , 그는 그것이 추가, 곱셈,을 비교 한 작업이 선형 시간에 계산 가능한이되도록 정수의 표현을 찾기 위해 열린 여전히 문제가 있다는 말에 언급 : 더하기, 곱하기 및 비교가 모두 선형 시간으로 가능하도록 정수 표현이 있습니까? 기본적으로, 이산 주문 된 선형 시간이 있습니까? (1) 비교하지 …

21 ds.algorithms  ds.data-structures  worst-case 

1 차원 이동 영업 사원 경로 문제는 분명히 분류와 같은 것이므로 시간의 비교로 정확하게 해결할 수 있지만 근사와 정확한 근사 방식으로 공식화됩니다. 해결책이 합리적입니다. 계산 모델의되는 입력 실수가 있으며 정수로 라운딩하는 것은 그것이 내로 근사 쉽게 가능하다 인자, 어떤 일정에 대한 시간에, : 최소값과 최대 값을 찾아 모든 값을 원래 …

21 ds.algorithms  approximation-algorithms  sorting  tsp 

최근에 NP-hard 문제에 대한 근사 알고리즘을 조사하기 시작했으며 이론적 인 이유를 연구하고 있습니다. (질문은 염증성이 아닙니다. 단지 궁금합니다.) PCP 정리와 근사 경도 사이의 연결, UGC 추측, Goeman-Williamson 근사 알고리즘 등 근사 알고리즘에 대한 연구에서 실제로 아름다운 이론이 나왔습니다. Traveling Salesman, Asymmetric Traveling Salesman 및 기타 변형, 메커니즘 설계의 다양한 문제 …

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

최근에는 정렬 된 음이 아닌 숫자 목록의 대략적인 합계를 계산하는 문제를 연구했습니다. 고정 된 에 대해, 시간 근사 방식이 합에 대해 근사값을 제공하도록 도출되었습니다 . 이 논문은 아직 마무리되지 않은 http://arxiv.org/abs/1112.0520에 게시되어 있습니다.ϵ>0ϵ>0\epsilon>0O(logn)O(log⁡n)O(\log n)(1+ϵ)(1+ϵ)(1+\epsilon) 이 문제에 대한 기존의 작품을 찾고 있었지만 원격으로 관련된 몇 가지 논문 만 가져와 인용했습니다. 이 …

21 ds.algorithms  reference-request 

(이 질문에 대한 후속 조치 와 답변 입니다.) 다음과 같은 완전히 단일 모듈 식 (TU) 정수 선형 프로그램 (ILP)이 있습니다. 여기서 는 모두 입력의 일부로 주어진 양의 정수입니다. 변수 x i j 의 지정된 서브 세트는 0으로 설정되며 나머지는 양의 정수 값을 취할 수 있습니다.ℓ , m , n1, n2, …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

(MathOverflow에서 크로스 포스트) 안녕, 나는이 스레드를 읽고 있었다 : /mathpro/16393/finding-a-cycle-of-fixed-length 그래프에서 5주기를 찾고 싶습니다. 실제로, 내가 정말로 원하는 것은 적어도 5의 길이의 가장 짧은 홀수 사이클이지만, 아마도 그 지점 옆에 약간 있습니다. 내 목적을 위해 복잡성 분석에서 과 을 동일하게 취급 합니다. n엠mm엔nn 이 경우 5주기를 찾기 위해 색상 코딩보다 …

21 ds.algorithms  graph-theory  graph-algorithms  sparse-matrix