«ds.algorithms» 태그된 질문

비율이 알고리즘에 대한 간결한 소개 텍스트를 찾고처음부터 시작해야하지만 실제 사례, 초등 증명 기술 등에 너무 많은 시간을 들이지 않고 빠르게 진행해야합니다. 연구 수학자로서 저는 예를 들어 형식주의와 요약 된 증거를 이해하기 위해 행복하게 사용하는 수학에 대한 탄탄한 배경을 가지고 있습니다. .theory coveredtotal number of pages.theory coveredtotal number of pages.\frac{\mbox{theory covered}}{\mbox{total …

22 ds.algorithms 

타워 방어 게임에는 시작, 마무리 및 여러 벽이있는 NxM 그리드가 있습니다. 적들은 벽을 통과하지 않고 처음부터 끝까지 가장 짧은 경로를 취합니다 (일반적으로 그리드에 구속되지는 않지만 단순성을 위해 말 그대로 대각선 "구멍"을 통해 이동할 수 없습니다) 문제 (적어도이 질문에 대한)을 배치하는 것 까지 완전히 마무리에서 시작을 차단하지 않고, 적을 가지고 가야 …

22 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms 

이것은 알고리즘을 얼마나 효과적으로 표현할 수 있는지에 관한 것입니다. 학부 교육을 위해서는 이것이 필요합니다. 의사 코드를 작성하는 표준 방법과 같은 것은 없다는 것을 알고 있습니다. 다른 저자들은 다른 규칙을 따릅니다. 여기 사람들이 지적하고 따르고 최선의 방법을 생각하면 도움이 될 것입니다. 이것에 대해 자세히 다루는 책이 있습니까?

22 ds.algorithms  soft-question  advice-request  writing 

나는 주어진 비 단순 다각형인지 여부 결정의 복잡성에 관심이 거의 두 개의 서로 다른 형식적인 감각 중 하나에, 간단한 : 약하게 단순 또는 비 자기 횡단 . 이러한 용어는 널리 알려지지 않았으므로 몇 가지 정의부터 시작하겠습니다. 다각형 어떤 한정된 서열 연결 선분의 폐쇄 사이클 평면의 포인트. 점 다각형 의 꼭짓점 …

22 ds.algorithms  cg.comp-geom  polygon 

텐서 벡터 및 높은 치수 및 행렬의 일반화 순위 텐서의도 행렬의 랭크를 일반화한다. 즉, 텐서의 랭크 계수의 최소 하나의 텐서로 합, 즉 . 벡터와 행렬은 각각 차수 1과 2의 텐서입니다.TTTTTTT 의 요소는 필드에서옵니다 . 경우 유한하고 Håstad은 입증 정도 3 텐서의 순위가 가장에 있는지 결정하는 것을 NP 완전하지만 때 유리수 …

22 ds.algorithms  reference-request  computability  tensor-rank 

2002 년 과학 논문에서 Mezard, Parisi 및 Zecchina는 임의의 3SAT에 대한 신념 전파 휴리스틱을 제시했습니다 . 실험은 휴리스틱이 만족스러운 할당이 존재할 가능성이있는 변수 당 제약의 비율에 대해 잘 작동 함을 나타냅니다. 내 질문은 : (1) 랜덤 3SAT 대신 랜덤 3LIN을 고려하면 어떻게됩니까? (각 제약 조건은 GF (2)에 대한 임의의 선형 …

22 ds.algorithms  randomness  linear-equations 

버텍스 커버 문제 는 실제로 어떤 응용 프로그램을 가지고 있습니까? 버텍스 커버 문제에 대한 이론적 결과를 기반으로 실제로 구현 된 소프트웨어를 사용하는 산업 또는 연구 프로젝트는 무엇입니까? 특히 사용 된 소프트웨어에서 다음과 같은 이론적 결과가 구현됩니까? 정점 커버에 대한 근사 알고리즘 Vertex Cover의 지수 시간 알고리즘 정점 표지에 대한 고정 …

22 ds.algorithms  graph-theory  graph-algorithms 

이 질문은 DFS를 사용하여 증강 경로를 찾을 때 Ford-Fulkerson 최대 흐름 알고리즘 의 시간 복잡성에 관한 것 입니다. DFS를 사용하면 최대 흐름에서 선형 반복 횟수가 필요할 수 있음을 보여주는 잘 알려진 예가 있습니다 (위의 Wikipedia 페이지 참조). 그러나 나는이 예제를 실제로 확신하지 못합니다. 표준 DFS 구현은 경로의 첫 번째 노드로 …

22 ds.algorithms  reference-request  max-flow 

근사 알고리즘을 설계 할 때 반올림 단계가 뒤 따르는 반정의 프로그램을 해결하는 경우가 있습니다. 이를 설명하기 위해 자주 사용되는 예는 Max-Cut입니다. (예 : Vijay Vazirani의 근사 알고리즘 참조) Max-Cut 문제를 넘어서서 더 복잡한 반올림 알고리즘과 분석에 사용되는 기술을 설명하기위한 훌륭한 교육 자료 나 설문 조사가 있습니까? SDP 솔루션의 벡터가 초구에 …

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

효율적인 알고리즘이 존재하지 않음을 입증하는 존재 이론에도 불구하고 효율적인 알고리즘이 알려지지 않은 CS에 문제가 있습니까? 이러한 문제는 무엇입니까? 더 자세한 정보는 어디서 찾을 수 있습니까?

22 ds.algorithms  reference-request  terminology 

평면에 여러 개의 분리 된 간단한 다각형이 있고 모든 다각형 외부에 두 개의 점 와 가 있다고 가정 합니다. 유클리드 최단 경로 문제는 다각형의 내부와 교차하지 않는 에서 까지 유클리드 최단 경로를 계산하는 것 입니다. 구체적으로, 및 의 좌표와 모든 다각형 정점의 좌표는 정수 라고 가정합니다 .ssstttssstttsssttt 이 문제를 다항식 …

22 ds.algorithms  cg.comp-geom  open-problem  computing-over-reals 

를 그래프로 하자 . 꼭짓점 x ∈ V의 경우 N ( x ) 을 G 에서 x 의 (공개) 이웃이되도록 정의 하십시오 . 즉, N ( x ) = { y ∈ VG = ( V, E)G=(V,E)G=(V,E)x ∈ Vx∈Vx\in V엔(x)N(x)N(x)xxxGGG . 두 정점을 정의 유 , V 에서 G가 되도록쌍둥이경우 …

22 ds.algorithms  reference-request  graph-algorithms 

이 질문은 이진수의 곱셈과 다항식 곱셈 mod 2의 관계에 관한 것입니다. 질문을 구체적으로 만들기 위해 Knuth vol의 질문에 대한 더 나은 해결책이 있는지 이상적으로 알고 싶습니다. 2 권 3 호 계수가 컴퓨터 단어로 묶여 있으면 이진 컴퓨터에서 일반적인 산술 연산을 사용하여 다항식 모듈로 2의 곱셈을 촉진 할 수 있습니까?” Knuth는 …

22 ds.algorithms  reductions  time-complexity 

3-MUL이라고하는 다음 문제의 시간 복잡성에 대해 알려진 것은 무엇입니까? 정수 로 설정된 가 주어지면, 와 같은 요소 있습니까?SSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c 이 문제는 3-SUM 문제와 유사 (또는 동등하게 )가 되도록 세 가지 요소가 있는지 묻습니다 . 3-SUM은 대략 2 차 시간 ( 을 요구하도록 추측된다 . 3-MUL에 대해서도 비슷한 추측이 있습니까? 특히 …

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

1999 년 Petra Schuurman과 Gerhard J. Woeginger는 "기계 스케줄링을위한 다항식 시간 근사 알고리즘 : 10 가지 개방 된 문제" 라는 논문을 발표했습니다 . 그 이후로, 내가 아는 한, 매우 동일한 문제 목록에 관한 리뷰는 나타나지 않았습니다. 따라서 우리 각자가 열 가지 미해결 문제 중 일부에 대해 요약하여 여기에 기여할 수 …

22 ds.algorithms  approximation-algorithms  open-problem  approximation-hardness  scheduling