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


14

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

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


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

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

나는 실제로 당신의 마지막 질문에 대해 궁금했습니다. 기술적으로 다른 질문이므로 제목의 질문과 독립적이기 때문에 별도의 질문으로 게시하는 것이 좋습니다. xal, ( A C 1 ∪ D 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.