이론 컴퓨터 과학 ds.algorithms

5

안정적인 결혼 문제 : http://en.wikipedia.org/wiki/Stable_marriage_problem SMP 인스턴스의 경우 Gale-Shapley 알고리즘으로 반환 된 것과는 다른 많은 안정적인 결혼이 가능하다는 것을 알고 있습니다. 그러나 우리가 남자, 여자의 수 주면 , 우리는 다음과 같은 질문을합니다. 그러한 숫자의 상한은 무엇입니까?엔nn

24 ds.algorithms co.combinatorics graph-algorithms heuristics matching

4

SAT 솔버 용지 시작

첫 SAT 솔버를 만들고 싶습니다. 저는 SAT 경쟁과 SAT 회의를 알고 있으며이 주제에 관한 논문이 너무 많습니다. 나는 초보자, 압도적 인 초보자입니다. 어디서부터 시작해야합니까? 결국 저는 최첨단을 추진하고 싶습니다. 시작하는 방법에 대한 전문가의 조언이 필요하므로 비 필수 항목에 너무 많은 시간을 낭비하지 않습니다. 많은 감사합니다.

24 ds.algorithms reference-request lo.logic sat

1

Coppersmith–Winograd 알고리즘의 공간 복잡성

Coppersmith–Winograd 알고리즘은 2 개의 제곱 행렬 을 곱하기위한 가장 빠른 속도로 알려진 알고리즘입니다 . 알고리즘의 실행 시간은 지금까지 가장 잘 알려진 O ( n 2.376 ) 입니다. 이 알고리즘의 공간 복잡성은 무엇입니까? 그것은에 Θ ( N 2 ) ?n×nn×nn \times nO(n2.376)O(n2.376)O(n^{2.376})Θ(n2)Θ(n2)\Theta(n^2)

24 ds.algorithms matrices

2

그래프의 핵심을 계산하는 가장 정확한 알고리즘은 무엇입니까?

H에서 그 자체로의 동질성이 bijection이면 그래프 H는 핵심입니다. H가 핵심이고 G에서 H로 동질성이있는 경우 G의 하위 그래프 H는 G의 핵심입니다 . 그래프 G가 주어지면 핵심을 찾는 가장 알려진 정확한 알고리즘은 무엇입니까?

24 ds.algorithms graph-theory graph-algorithms

2

병렬 동적 검색

합리적으로 작업 효율을 유지하면서 업데이트를 위해 비슷하거나 끔찍하게 나쁜 속성을 가진 빨강-검은 나무와 자연스럽게 평행 한 아날로그가 있습니까? 보다 일반적으로 업데이트를 통한 병렬 검색에 가장 적합한 방법은 무엇입니까?

24 ds.algorithms ds.data-structures dc.parallel-comp concurrency dynamic-algorithms

8

레 벤슈 테인 거리를 빠르게 계산

허용되는 단어 (알파벳순으로 정렬 된)와 단어로 구성된 거대한 데이터베이스가 제공되면 Levenshtein 거리 측면에서 주어진 단어와 가장 가까운 데이터베이스에서 단어를 찾으십시오. 물론 순진한 접근 방식은 주어진 단어와 사전의 모든 단어 사이의 레 벤슈 테인 거리를 간단히 계산하는 것입니다 (실제로 거리를 계산하기 전에 데이터베이스에서 이진 검색을 수행 할 수 있음). 이 문제에 …

24 ds.algorithms reference-request string-matching string-search

2

머신 러닝 기술이 지속적으로 개선된다면 미래 알고리즘의 역할은 무엇입니까?

앞으로 30 년 후에 미래를 보자. 머신 러닝과 관련된 영역이 지난 10 년 동안 본 것만 큼 빠르게 발전한다고 가정 해 봅시다. 그것은 좋을 것이지만, 그런 미래에 전통적인 알고리즘의 역할은 무엇입니까? 여기서는 "전통적인 알고리즘"으로 TCS에서 수행하는 일반적인 프로세스 인 잘 정의 된 계산 문제를 공식화하고 문제 를 해결하기위한 알고리즘을 설계하며 …

23 ds.algorithms soft-question machine-learning

1

Shor 알고리즘의 2016 구현은 실제로 확장 가능합니까?

이 질문은 이론적 인 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 3 년 전에 마이그레이션 되었습니다 . 2016 년 과학 논문 " 확장 가능한 Shor 알고리즘의 실현 "[ 1 ]에서 저자는 5 qubits만으로 15를 인수하여 [ 2 ] 의 표 1 과 …

23 cc.complexity-theory ds.algorithms quantum-computing factoring security

1

이차 시간에 일반 언어의 교차 공허함 결정

하자 NFA 쌍이에 의해 주어진 두 개의 정규 언어가 될 입력으로.M 1 , M 2엘1, L2L1,L2L_1,L_2엠1, M2M1,M2M_1,M_2 인지 확인하고 싶다고 가정하자 . 이것은 의 제품 오토 마톤을 계산하는 2 차 알고리즘으로 명확하게 수행 할 수 있지만 더 효율적인 것이 있는지 궁금합니다.M 1 , M 2엘1∩ L2≠ ∅L1∩L2≠∅L_1\cap L_2\neq \emptyset엠1, M2M1,M2M_1,M_2 …

23 ds.algorithms automata-theory regular-language nondeterminism

5

특수 클래스의 그래프에서 최대 독립 세트에 대한 근사 알고리즘

P = NP가 아닌 한 대해 MIS (Maximum Independent Set)가 의 요소 내에서 근사하기 어렵다는 것을 알고 있습니다. 더 나은 근사 알고리즘이 알려진 특별한 그래프 클래스는 무엇입니까? ϵ > 0엔1− ϵn1−ϵn^{1-\epsilon}ϵ > 0ϵ>0\epsilon > 0 다항식 알고리즘이 알려진 그래프는 무엇입니까? 나는 이것이 알려진 완벽한 그래프를 알고 있지만 다른 흥미로운 그래프 …

23 ds.algorithms graph-theory graph-algorithms approximation-algorithms

1

경계 트리 폭이있는 그래프의 로그 공간 알고리즘

나무 너비 는 그래프가 나무에 얼마나 가까운 지 측정합니다. 트리 너비를 계산하는 것은 NP가 어렵습니다. 가장 잘 알려진 근사 알고리즘은 요소를 달성합니다.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Courcelle의 정리에 따르면 monadic 2 차 논리 (MSO2)로 정의 할 수있는 그래프의 속성은 제한된 트리 너비의 모든 그래프 클래스에서 선형 시간으로 결정할 수 있다고 합니다. 최근 논문에 따르면 …

23 cc.complexity-theory ds.algorithms graph-theory space-bounded treewidth

3

dag에서 도달 가능한 노드를 계산하는 데 어떤 경계를 둘 수 있습니까?

주어진 dag입니다. 도달 가능한 노드 수에 따라 각 노드에 레이블을 지정하려고합니다. 는 사소한 상한입니다. Ω ( V + E ) 는 하한입니다 (제 생각에). 더 나은 알고리즘이 있습니까? 하한이 개선 될 수 있다고 믿는 이유가 있습니까 (관련 : 전이 폐쇄의 하한에 대해 정확히 알려진 것)?O(V(V+E))O(V(V+E))O(V(V+E))Ω(V+E)Ω(V+E)\Omega(V+E) 동기 부여 : 나는 fol …

23 ds.algorithms graph-theory

6

색수를 계산하기위한 다항식 시간 알고리즘이있는 그래프 패밀리

8 월 31 일에 업데이트 된 게시물 : 원래 질문 아래에 현재 답변에 대한 요약을 추가했습니다. 모든 흥미로운 답변에 감사드립니다! 물론 모든 사람이 새로운 결과를 계속 게시 할 수 있습니다. 어느 그래프 패밀리에 대해 색수 를 계산하기위한 다항식 시간 알고리즘이 존재 합니까?χ(G)χ(G)\chi(G) 경우 다항식 시간으로 문제를 해결할 수 있습니다 (이분 …

23 ds.algorithms graph-theory co.combinatorics

4

다항식 시간에서 숫자가 완벽한 거듭 제곱인지 확인하는 방법

AKS 우선 순위 테스트 알고리즘의 첫 번째 단계는 입력 번호가 완벽한 검정력인지 확인하는 것입니다. 논문이 자세히 설명하지 않았기 때문에 이것은 숫자 이론에서 잘 알려진 사실 인 것 같습니다. 누군가 다항식 시간 에이 작업을 수행하는 방법을 말해 줄 수 있습니까? 감사.

23 ds.algorithms nt.number-theory

1

정확한 평면 전기 흐름

각 그래프는 1Ω 저항을 나타내는 평면 그래프 G로 모델링 된 전기 네트워크를 고려하십시오. G에서 두 정점 사이 의 정확한 유효 저항을 얼마나 빨리 계산할 수 있습니까? 마찬가지로 1V 배터리를 G의 두 꼭짓점에 연결하면 각 가장자리를 따라 흐르는 정확한 전류를 얼마나 빨리 계산할 수 있습니까? Kirchhoff의 잘 알려진 전압 및 전류 …

22 ds.algorithms graph-theory planar-graphs physics

«ds.algorithms» 태그된 질문