«ds.algorithms» 태그된 질문

부울 수식 균형 문제 의 복잡성에 대한 참조를 찾고 있습니다. 특히, 부울 공식은 에서 균형을 수 있다는 것을 알고 있습니까?C0AC0\mathsf{AC^0} 부울 공식 밸런싱이 있다는 간단한 증거가 있습니까?C0AC0\mathsf{AC^0} "단순"이란 아래에서 언급 한 것보다 단순한 증거를 의미합니다. 특히 에있는 부울 수식 평가에 의존하지 않는 증거를 찾고 있습니다.N C1NC1\mathsf{NC^1} 배경 여기에 언급 된 …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Gaussian Elimination에는 산술 연산이 필요하지만 더 나은 알고리즘이 알려져 있는지 확실하지 않습니다.O(n3)O(n3)O(n^3)

10 ds.algorithms  linear-algebra  matrices 

수정하십시오 k≥5k≥5k\ge5. 충분히 큰 nnn , { 1 ... T }의 양의 정수 로 크기가 정확히 n / k 인 {1..n}{1..n}\{1..n\} 의 모든 서브 세트에 레이블을 지정하려고 합니다. 이 레이블이 다음 속성을 만족시키기를 원합니다. 정수 세트 S , st가 있습니다n/kn/kn/k{1...T}{1...T}\{1...T\}SSS 경우 kkk 크기의 부분 집합 n/kn/kn/k 하지 교차 할 (즉, …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

주어진 다항식이 0인지 여부를 확인하여 다항식 아이덴티티 테스트를위한 많은 무작위 알고리즘이있는 것 같습니다. 특정 포인트 집합에 대해 다항식을 추정하는 알고리즘의 결과가 있습니까? 예를 들어, 다항식이 0으로 평가되는 이러한 점의 일부에 대한 근사치 또는 이러한 점에 대한 다항식의 평균값에 근사 할 수 있습니까? 포인트 세트는 알고리즘에 따라 달라질 수 있습니다.

10 ds.algorithms  approximation-algorithms  randomized-algorithms  derandomization  polynomials 

보자 . 모든 g- 사이클 세트가 G 의 이중 모서리 커버를 형성하도록 (즉, 모든 모서리가 정확히 2 개의 g- 사이클에 의해 공유 됨) 임의의 두 교차점이되도록 둘레 g 의 간단한 그래프 G 를 생성해야합니다. g 사이클은 꼭짓점이거나 가장자리이거나 비어 있습니다. 생성 된 그래프는 임의로 커야합니다.지≥ 3g≥3g\geq 3지GG지gg지gg지GGgggggg 세대의 방법은 그것에 …

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

그래프에 대한 가장 간단한 표현은 인접 행렬 / 목록을 사용합니다. 즉, 각 노드와 가장자리가 명시 적으로 나타납니다. 규칙 성이 강한 그래프에 대한 암시 적 표현의 중요성은 오랫동안 인식되어 왔습니다. 예를 들어 Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( 1986 년 간결한 그래프 표현에 대한 참고 사항 , 1986)는 인접 …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

비가 중 2 분자 그래프의 경우 먼저 König 's Theorem을 사용하여 최대 정합을 찾아 정점 표지로 변환하여 최소 정점 표지를 찾을 수 있음을 알고 있습니다. 노드에 가중치가 부여 된 경우 사용할 수있는 수정 사항이 있습니까?

10 ds.algorithms  graph-theory 

문자열 시퀀스를 비교하기 위해 접미사 트리를 사용하려고합니다. 접미사 트리를 사용하여 가장 긴 공통 하위 문자열 문제에 대한 구현 / 이론을 발견했습니다. 그러나 내가 찾고있는 것은 관련 문제- "모든 공통 하위 문자열"에 대한 토론입니다. 특히, 나는 가장 긴 공통 부분 문자열을 먼저 찾은 다음 이미 찾은 lcs 색인을 포함하지 않는 다음으로 …

10 ds.algorithms  string-matching 

하자 무향 그래프 될. 의 분해 분리 된 서브 세트에 불리며 해밀턴 분해 의 서브 그래프는 각각의 세트에 의해 유도되는 경우 어느 해밀턴 그래프 또는 단일 에지 구성 .G = ( V, E)지=(V,이자형)G=(V,E)VVVV나는V나는V_i지지GV나는V나는V_i| V나는| =2|V나는|=2|V_i|=2 예 : 완전 이분 그래프 은 경우에만 Hamilton 분해를 .케이m , n케이미디엄,엔K_{m,n}m = n미디엄=엔m=n 주어진 …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

정보 이론의 두 가지 문제에 관한 논문 에서 Erdõs와 Rényi는 동전 세트에서 허위 동전의 수를 결정하기 위해 수행해야하는 최소 계량 수에 대한 하한을 제시합니다 .엔nn 더 공식적으로 : 거짓 동전은 오른쪽 동전보다 무게가 작습니다. 오른쪽 동전과 거짓 동전 모두 의 가중치 와 가 알려져 있습니다. 스케일은 임의의 수있는 수단에 의해 …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

무향 그래프 및 특정 세트 정점의 모든 요소를 포함하는 간단한 경로를 찾기위한 점근 빠른 알려진 알고리즘 무엇 . 경로가 가능한 짧아야한다면 어떻게해야합니까?GGGSSSSSS

10 ds.algorithms  graph-algorithms  time-complexity 

변수와 절을 사용 하여 3-SAT를 고려한다고 가정하십시오 . 이 설명에 맞는 SAT 문제를 해결 하기 위해 시간 / 공간 이 걸리는 방법을 연구 중이며 임의의 양으로 조정할 수있는 오류 내에서. 그러나 캐치가 있습니다.c O ( v 2 + log c )vvvcccO(v2+logc)O(v2+log⁡c)O(v^{2+\log c}) 이 방법은 사전 계산 된 값의 세트를 요구하며, …

10 ds.algorithms  sat  upper-bounds 

평면 가중 그래프 정점 쌍의 컬렉션을 감안 ( 상수) 찾을 로부터 경로 (소스 제외) 정점 이산을 하는 이러한 가장 긴 경로의 길이가 최소화됩니다.(s,t1),…,(s,tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k≥2k≥2k\ge2kkkssstitit_i 질문 : 문제에 대한 다항식 시간 알고리즘이 있습니까? 관련 결과 : 만약 문제가 해결되지 않고있다 NP 하드 하더라도 ;kkkt1=⋯=tkt1=⋯=tkt_1=\dots=t_k 입력 그래프에 가중치가 부여되고 경로 소스가 일치하지 않는 …

10 ds.algorithms  graph-algorithms 

다음과 같은 간단한 문제가 이전에 연구되었는지 여부와 해결책이 있는지 알고 싶습니다. G를 유한 (MxN) 격자로, S를 G 셀의 하위 집합 ( "부스러기")으로 설정하십시오. 두 개의 부스러기는 좌표가 최대 하나 (즉, 정사각형으로 그려진 경우 하나 이상의 모퉁이 점을 공유 함)가 다르면 (로컬로) 연결되어 있다고합니다. 이제 그리드의 선과 열을 순열하여 빵 부스러기 …

10 ds.algorithms  graph-theory  graph-algorithms 

주어진 그래프 의 스패닝 스파이더를 찾을 수있는 다항식 시간 알고리즘이 있습니까? 거미는 2보다 큰 등급을 가진 노드가 하나 이상인 나무입니다. 나는 G의 다양한 정도 조건 (본질적으로 충분히 큰 노드 정도)이 스패닝 거미의 존재를 보장 한다는 것을 알고 있습니다. 그러나 임의 G에 대한 알고리즘이 있는지 궁금합니다 . 감사!지GG 지GGGGG

10 ds.algorithms  reference-request  graph-theory  graph-algorithms