NC2에있는 것으로 알려지지 않은 NC의 문제


14

있지만 N C 2 에있는 것으로 알려지지 않은 흥미로운 문제가 있습니까? Cook은 '빠른 병렬 알고리즘 문제의 분류법'논문에서 MIS가 N C 5 에만있는 것으로 알려져 있지만 이후 N C 2 로 축소되었다고 언급했습니다 . 깊이를 향상시키는 데 집중하는 것처럼 보이는 polylog-depth 병렬 알고리즘에 다른 문제가 있는지 궁금합니다.252

더 좁히기 위해 A C 1 또는 D E T 에없는 것으로 알려진 문제가 있습니까?21이자형


1
참조 이 질문 과에 조쉬의 답변을.
Kaveh

나는 그 Kaveh를 완전히 놓쳤다 --- 감사합니다! 에 대한 대답의 마지막 단락 과 해당 계층 구조 축소는 N C 상태에 대한 유용한 직관을 제공합니다 . =영형
xal

나는 실제로 당신의 마지막 질문에 대해 궁금했습니다. 기술적으로 다른 질문이므로 제목의 질문과 독립적이기 때문에 별도의 질문으로 게시하는 것이 좋습니다. xal, ( A C 1D E T )에 없는 것으로 알려진 의 문제에 대한 질문을 별도의 질문으로 게시 하시겠습니까? 그리고 @Kaveh, 절차 적 관점에서 어떻게 생각하십니까? 2(1이자형)
Joshua Grochow

@ 조쉬, 그렇게하는 데 아무런 문제가 없습니다. 저자는 질문을 이전에 별도의 게시물로 나누도록 요청했습니다.
Kaveh

1
Josh에게 문의 해 주셔서 감사합니다. cstheory.stackexchange.com/q/39831/40340
xal

답변:


13

면책 조항 : 저는 빠른 병렬 알고리즘의 전문가 가 아니므로 계층 의 하위 레벨에서 언급 한 문제를 초래 한 최신 결과를 놓칠 확률 은 무시할 수 없습니다. 이 경우에 해당되는 경우 알려 주시면 답변을 업데이트하겠습니다.

  • 깊이 우선 검색에 대한 병렬 알고리즘 보고서 는 다양한 유형의 그래프에서 DFS에 대해 알려진 병렬 알고리즘에 대해 설명합니다. 9-10 페이지에 나와있는 목록 은 평면 무 방향 그래프의 경우 DFS와 같은 2 또는 일반 무 방향 그래프의 경우 DFS와 같은 아르 자형아르 자형2 여러 알고리즘을 나타냅니다 .

  • 빠른 검색 으로 N C 3이 논문 의 유한 필드에 대한 희소 다변량 다항 보간법에 대한 병렬 알고리즘보다 개선 된 논문을 찾을 수 없었습니다 . 그러나 관련이있을 수있는 몇 가지 논문은 월페이퍼 뒤에있었습니다.

  • 이 논문 에 따르면, 최대 클릭 수의 개수가 다항식으로 묶인 경우 그래프의 모든 최대 클릭 수는 2 됩니다 .

  • 최대 경로 문제는 일반 (무 방향) 그래프의 경우 N C 5있는5 것처럼 보이지만 기본 그래프에 대한 제한없이 더 빠른 병렬 알고리즘을 찾지 못했습니다.

다른 잠재적 후보에는 특정 유형의 그래프에서 완벽한 일치를 찾기위한 알고리즘 또는 임의의 그래프에서 최대 트리 커버를 찾기위한 알고리즘이 포함될 수 있습니다 (예 : 이 논문 에서는 병렬 시간 영형(로그6) 에서 무작위 화 된 다중 시간 알고리즘을 언급합니다 ). 이 백서 에서는 컴퓨터 비전 응용 프로그램에서 발생하는 CSP 문제를 병렬 시간 영형(로그) 해결하는 방법에 대해서도 언급 합니다.


1
흥미 롭습니다! 이러한 상위 수준의 NC 계층에 대해이 중 하나가 완료 (또는 완료로 추측)되는지 알고 있습니까? 그러한 자연스런 예를 가지고 있으면 좋을 것입니다.
Joshua Grochow

불행히도 나는 그것에 대해 전혀 모른다. 위의 논문은 (내가 볼 수있는 한) 그 어떤 것도 언급하지 않았다. 이 모든 것이 나의 전문 분야와는 거리가 멀다. OP의 질문에 대한 답을 찾기 위해 문헌 검색을했는데 매우 흥미로 웠지만 제한된 지식만으로도 이러한 문제의 경도에 대한 명확한 직감을 얻지 못했습니다.
Geoffroy Couteau
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.