«ds.algorithms» 태그된 질문

프로그래밍 과정에 대한 소개에서 우리는 알고리즘이 우리가 기대하는 것을 수행한다는 것을 증명하는 Initialization-Maintenance-Termination 방법에 대해 배웁니다. 그러나 우리는 이미 올바른 것으로 알려진 알고리즘이 올바른지 증명해야했습니다. 우리는 알고리즘이 올바르지 않다는 것을 보여 달라는 요청을받은 적이 없습니다. 올바른 것처럼 보이지만 그렇지 않은 알고리즘의 전형적인 예가 있습니까? Initialization-Maintenance-Termination 접근 방식이 한 눈에 직감적이지 …

15 ds.algorithms  proofs 

자연수의 구간에 소수가 포함되어 있는지 여부를 결정하는 복잡성은 무엇입니까? 에라토스테네스의 체의 변형은 알고리즘을 제공하며 , 여기서 L 은 구간의 길이이고 ~ 는 구간 의 시작점에서 다 로그 인자를 숨긴다. ( L 혼자서) 더 잘할 수 있습니까?O~(L)O~(L)\tilde O(L)LLL∼∼\simLLL

14 cc.complexity-theory  ds.algorithms  nt.number-theory  comp-number-theory 

다음과 같은 간단한 모노톤 회로 모델을 고려하십시오. 각 게이트는 이진 OR입니다. 기능의 복잡도 란 F ( X ) =가 Xf(x)=Axf(x)=Ax 여기서 부울 인 N × N 을 가진 행렬 O ( N ) '0'? 선형 크기 OR 회로로 계산할 수 있습니까?AAn×nn \times nO(n)O(n) 보다 공식적으로, fff 는 nnn 에서 nnn …

14 ds.algorithms  circuit-complexity  upper-bounds 

일정한 시간은 절대적으로 낮은 시간의 복잡성입니다. 일정 시간에 계산할 수있는 사소한 것이 있습니까? 우리가 Turing machine 모델을 고수한다면, 입력의 더 긴 부분이 일정한 시간 내에 도달 할 수 없기 때문에 응답은 입력의 일정한 길이의 초기 세그먼트에만 의존 할 수 있기 때문에 많은 것을 할 수 없습니다. 반면에 O(logn)O(log⁡n)O(\log n) 비트 …

14 cc.complexity-theory  ds.algorithms  time-complexity 

다음 설정을 고려하십시오. 우리는 스택 주어진다 sss 포함 nnn 항목을. 상수 O(1)O(1)O(1) 개의 추가 스택을 사용할 수 있습니다 . 이러한 스택에 다음 작업을 적용 할 수 있습니다. 스택이 비어 있는지 확인하십시오. 두 스택의 최상위 항목을 비교하고 스택에서 최상위 항목을 삭제하고 상단 항목을 스택으로 인쇄하고 스택의 최상위 항목을 다른 스택에 복사 …

14 ds.algorithms  sorting 

Lemma : 에타와 동등하다고 가정하면 (\x -> ⊥) = ⊥ :: A -> B. 증명 : ⊥ = (\x -> ⊥ x)에타 동등성 및 (\x -> ⊥ x) = (\x -> ⊥)람다 감소. Haskell 2010 보고서, 섹션 6.2 seq는 두 가지 방정식으로 함수를 지정합니다 . seq :: a-> b-> b …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

그들의 논문에서 대략적인 거리 Oracles 에서 Thorup과 Zwick은 가중 무지향 그래프에 대해 ( 2 k - 1 ) - 근사값을 반환 할 수 있는 크기 의 데이터 구조를 구성 할 수 있음을 보여주었습니다. 그래프에서 정점 쌍 사이의 거리.O ( k 값 N1 + 1 / k)영형(케이엔1+1/케이)O(k n^{1+1/k})( 2 k - …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

입력으로서 정수 nnn 과 { 1 , 요소 세트의 세트 SSS 가 제공 됩니다. . . , N } , 설정된 찾는 복잡성 무엇 T 의 요소를 { 1 , . . . , N } 되도록 T는 최소한 카디널리티 및 갖는 T가 의 세트 중에 포함되는 S를 ?{1,...,n}{1,...,n}\{1, ..., …

14 cc.complexity-theory  ds.algorithms 

철저한 검색 알고리즘과 관련된 복잡성 클래스는 무엇입니까? (있는 경우) NP 또는 PSPACE입니까? 탐욕적이고 동적 인 프로그래밍을위한 모델과 유사한 철저한 검색 알고리즘의 클래스를 캡처하는 제한된 계산 모델이 있습니까?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

지난 수십 년 동안 컴퓨터 프로그램에서 볼 수있는 대부분의 속도 향상은 더 빠른 하드웨어보다는 더 나은 알고리즘에 의한 것이라고 주장한 연구 나 기사를 본 적이 있습니다. 누구든지 연구 나 기사를 알고 있습니까?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

다음 프로세스를 통해 생성 할 수있는 개의 정점 에 대한 그래프에 관심 이 있습니다.nnn 정점 에서 임의의 그래프 시작 합니다. 모든 정점 레이블 G를 같이 하지 않는 .k ≤ n GGGGk≤nk≤nk\le nGGG 새로운 생산 그래프 G′G′G' 새로운 정점 부가함으로써 vvv 하나 이상에 접속되어, 미사용 정점 GGG , 및 연결되지 않은 …

14 ds.algorithms  graph-theory  treewidth 

정수 프로그램의 값과 이중 ( "이중 간격") 사이의 간격이 0 인 경우 정수 프로그램의 선형 프로그래밍 이완과 이완의 이중은 모두 적분 솔루션을 인정합니다 (제로 "적분) 갭"). 적어도 경우에 따라 대화가 유지되는지 알고 싶습니다. 0 - 1 P ' P P '피: 최대 { 1티x : A x ≤ 1 , …

14 ds.algorithms  optimization  linear-programming  integrality-gap 

도움이 필요한 일부 시스템 부분을 구현하고 있습니다. 따라서 도메인을 독립적으로 만들기 위해 그래프 문제로 표시하고 있습니다. 문제 : 방향성 비주기 그래프 가 주어집니다 . 일반성을 잃지 않으면 서 는 정확히 하나의 소스 정점 와 정확히 하나의 싱크 정점 가지고 있다고 가정합니다 . 하자 모든 방향 경로의 집합을 나타내는 에 에서 …

14 ds.algorithms  reference-request  co.combinatorics  graph-algorithms  directed-acyclic-graph 

Dobkin과 Kirkpatrick의 논문에서 다면체 분리에 대한 한 단계를 이해하는 데 심각한 어려움이 있습니다. 이 버전을 이해하려고합니다 : http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf 와 의해 실현 된 PiPiP_{i} 와 의 가장 좋은 분리를 알고 나면 O ( 1 ) 단계 에서 과 의 가장 좋은 분리를 찾을 수 있다고 주장 합니다. 이것은 다음과 같은 방식으로 …

14 ds.algorithms  cg.comp-geom 

최적화를 위해 휴리스틱에 대한 강의 자료를 준비 중이며 좌표 하강 방법을 살펴보고 있습니다. 여기서 설정은 최적화하려는 다변량 함수 입니다. 는 단일 변수로 제한되는 특성을 가지며 최적화하기 쉽습니다. 따라서 좌표 하강은 좌표를 순환하면서 선택된 것을 제외한 모든 것을 고정하고 해당 좌표를 따라 최소화함으로써 진행됩니다. 결국 개선이 멈춰서 종료됩니다.ffffff 내 질문은 : …

14 ds.algorithms  reference-request  optimization  heuristics