«ds.algorithms» 태그된 질문

Trevisan 과 Lovett 가 TCS의 부가 조합 응용 프로그램에 대한 설문 조사를 읽고 있습니다. 이러한 응용 프로그램의 대부분은 계산 복잡성 , 예를 들어 하한에 해당합니다. 첨가제 조합론이 알고리즘 설계 에서도 응용 프로그램을 찾았는지 궁금합니다 . 내 질문에 대한 동기는 다음과 같습니다. 가산 조합과 복잡성 사이의 연결은 다소 자연스러운 것처럼 보이지만 …

12 ds.algorithms  reference-request  co.combinatorics 

입력 유니버스 인 UUU 와의 하위 집합의 가족 UUU , 말 F⊆2UF⊆2U{\cal F} \subseteq 2^U . 의 부분 집합은 U , 즉 ⋃ E ∈ F E = U를 포함FF{\cal F} 할 수 있다고 가정합니다 .UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U 증분 피복 시퀀스 의 서브 세트의 서열이다 FF{\cal F} 말하자면 = { …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

따라서 (결정 론적) 비교 정렬 알고리즘에 의한 최악의 비교 수에 대한 비교 트리 하한값 을 알고 있습니다. 무작위 비교 정렬에는 적용되지 않습니다 (최악의 경우 입력에 대한 예상 비교를 측정하는 경우). 예를 들어, 의 경우 결정 론적 하한은 5 개의 비교이지만 모든 입력에 대해 비교를 갖는 무작위 알고리즘 (입력을 임의로 치환 …

12 ds.algorithms  reference-request  sorting 

고려 차원 벡터 V를 여기서 V I ∈ { 0 , 1 } . 각각의 i에 대해 우리는 p i = P ( v i = 1 )를 알고 있으며 v i 가 독립적 이라고 가정합시다 . 이러한 확률을 사용 하면 출력 크기에서 하위 라인 공간을 사용하여 가능성이 가장 낮은 …

12 ds.algorithms  space-bounded 

이전에 게시 한 질문 과 매우 유사합니다 . 그러나 이번에는 그래프가 방향이 지정되지 않았습니다. 주어진 무향 그래프 없음 에지 또는 다중 고리와 함께,GGG 소스 정점 ,sss 타겟 정점 ttt , 최대 경로 길이 lll , G′G′G' - 찾고 있습니다 . 길이가 \ leq l 인 s 에서 t 까지 의 …

12 ds.algorithms  graph-algorithms  shortest-path 

잔여 유한 상태 오토마타 ([DLT02]에 정의 된 RFSA)는 DFA와 공통점이있는 NFA입니다. 특히 모든 정규 언어에 대해 표준 최소 크기의 RFSA가 항상 있으며 RFSA의 각 주에서 인식되는 언어는 DFA에서와 마찬가지로 잔류입니다. 그러나, 최소의 DFA 상태는 모든 잔차와 함께 약탈을 형성하지만, 정식 RFSA 상태는 주요 잔차와 함께 약화된다; 이들 중 기하 급수적으로는 …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

벡터 색도 수가 색도 보다 작은 작은 그래프 를 찾고 있습니다.GGGχv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) ( 가있는 경우 는 벡터 색수 . 여기서 인접 정점과 연관된 벡터는 직관적으로 멀리 떨어져 있습니다. 요구 사항은 예를 들어, 의 경우 삼각형의 정점이 충분합니다.)GGGqqqx:V→Rdx:V→Rdx\colon V \rightarrow \mathbf R^d⟨x(v),x(w)⟩≤−1/(q−1)⟨x(v),x(w)⟩≤−1/(q−1)\langle x(v), x(w)\rangle \leq -1/(q-1)q=3q=3q=3 그래프의 벡터 색도는 색도 수보다 크지 …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring 

심플 렉스 알고리즘은 종종 실제 산술 또는 정확한 계산으로 이산 세계에서 처리됩니다. 그러나 부동 소수점 산술로 가장 자주 구현되는 것 같습니다. 이것은 단순 알고리즘을 수치 알고리즘으로 간주해야하는지, 특히 반올림 오류가 계산에 어떤 영향을 미치는지에 대한 의문을 야기합니다. 나는 실제적인 구현에 관심이없고 이론적 인 기초에 관심이있다. 이 문제에 대한 연구를 알고 …

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis 

powerset 2에 대해 단조 술어 PPP 를 고려하십시오 | n | (포함하여 주문). "단음"이란 의미 : ∀ x , y ∈ 2 | n | 되도록 X ⊂ Y , 만약 P ( X ) 다음 P ( Y ) . P의 모든 최소 요소 , 즉 x ∈ 2 …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

부분 주문 모음이 제공되는 경우, 토폴로지 정렬은 전체 주문에 대한 모음 확장이 있는지 알려줍니다 (이 경우 확장은 각 부분 주문과 일치하는 총 주문입니다). 나는 변형을 보았습니다. 세트 수정하십시오 . 반복없이 V 에서 그린 요소의 시퀀스 σ 1 , … σ k 가 주어집니다 (시퀀스 길이는 1과 | V | 사이입니다 …

12 ds.algorithms  reference-request  order-theory 

Petkovsek, Wilf 및 Zeilberger의 A = B 책 은 서로 다른 이항 합을 계산하는 알고리즘을 설명합니다. AFAIK, 이러한 알고리즘은 여전히 ​​다른 저자들에 의해 개선되고 있습니다. 이 알고리즘의 최신 구현을 어디에서 찾을 수 있는지 알고 있습니까? 그리고 Sage 와 같은 일부 무료 소프트웨어에 구현이 있는지 알고 있습니까?

12 ds.algorithms  co.combinatorics  implementation 

누군가가 이것에 대한 참조를 알고 있기를 바랍니다. 그래서 나는 문학을 읽을 필요가 없습니다 ... 일련의 숫자 고려하십시오 . 같은 순서 생각해 N - 1 개 간격 [ X 1 , X 2 ] , [ X 2 , X 3 ] , ... , [ X N - 1 , …

12 ds.algorithms  reference-request  sorting 

텍스트를 최대 너비의 선으로 균등하게 나누는 선형 시간 알고리즘이 있습니다. SMAWK (또는 Knuth &amp; Plass)를 사용하며 "균등"은 다음을 의미합니다. http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness 위의 알고리즘에는 최대 줄 너비 대신 텍스트를 나누려는 줄 수를 고려하는 알고리즘 또는 오목한 비용 함수가 있습니까? 선형 시간에도? 즉, 입력이 원하는 줄 너비가 아닌 원하는 줄 수인 줄 바꿈 …

12 ds.algorithms 

다음과 같은 abelian-subgroup 멤버쉽 테스트 문제를 고려하십시오 . 입력 : 유한 아벨 리아 그룹 G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} 임의의 큰 didid_i . 부분 군 H ⊂ G 의 생성 집합 .{h1,…,hn}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbraceH⊂GH⊂GH\subset G 소자 b∈Gb∈Gb\in G . 출력 : 이면 'yes', b∈Hb∈Hb\in H다른 곳에서는 'no'입니다. 질문 : 이 문제를 기존 컴퓨터에서 효율적 으로 …

12 ds.algorithms  time-complexity  matrices  nt.number-theory  gr.group-theory 

내 직업에서 다음과 같은 문제가 발생합니다. 독립적 인 차수 65를 사용하지 않고 그래프의 색도를 근사하는 알려진 알고리즘이 있습니까? (따라서 alpha (G) &lt;= 64가 알려져 있고 | V | / 64는 사소한 하한, | V | 사소한 상한입니다. 그러나이 특별한 조건에서 더 잘 입증 된 근사가 있습니까?) 분수 색수로 이완하면 어떻게 …

12 ds.algorithms  graph-algorithms  approximation-algorithms  graph-colouring