익스팬더 그래프의 NP-hard 문제?


15

EXPANDER GRAPHS 라는 제목의 2006 년 발표 자료에는 어떤 미스터리가 남아 있습니까? Nati Linial은 다음과 같은 열린 문제를 제기했습니다.

확장 그래프로 제한 될 때 그래프의 어떤 hard 계산 문제가 여전히 어려운가?NP

그 이후로 하드 문제에 대한 그러한 결과를 입증하기 위해 어떤 진전이 있었습니까?NP


1
누군가이 질문이 왜 흥미로운 지 자세히 설명 할 수 있습니까? 확장 그래프로 제한 될 때 NP-hard 문제가 쉽게 발생하는 예가 있습니까?
Jukka Suomela

@Jukka : 확장기는 작은 대해 정규적 일 수 있지만 (예 : ) 작은 대한 최대도 그래프 클래스에서 일부 NP-hard 문제가 쉽습니다 (예 : 대한 GRAPH COLORING ). d d = 3 d d d < 4ddd=3ddd<4
András Salamon

2
@ András : 물론입니다. 그러나 실제로는 확장 속성과 관련이 없습니다. 다시 말하면 : 정규 그래프에서는 어렵지만 정규 확장기 그래프 에서는 쉬운 문제의 예가 있습니까? ddd
Jukka Suomela

2
@Jukka : 제약 조건 그래프가 확장기 인 경우 고유 게임에 다항식 시간 근사 알고리즘이있는 것으로 나타났습니다 [Arora-Khot-Kolla-Steurer-Tulsiani-Vishnoi STOC '08]. 이것은 일반적인 그래프의 경우로 알려져 있지 않으며, UGC가 사실이라면, 다항식 시간 알고리즘은 실제로 존재하지 않습니다. 나는 이것을 터키의 질문에 대한 동기 부여로 받아 들였다.
arnab

1
@ Jukka, 내 동기 부여는 확장기의 임의 속성과 문제의 계산 경도 간의 관계를 이해하는 것입니다. 예를 들어, 확장기에서 독립 세트가 쉽지 않을 것으로 기대합니다.
Mohammad Al-Turkistany

답변:


13

"불균형 팽창기"이 질문의 목적 팽창기 (불평형 팽창기로 계산하면 : 된 그래프 등이 각 서브 세트에 대한 ' , B 'B 의 분획 A 'B ' 사이 가장자리 는 약 | A ' | | B ' | / | A | | B |G=(A,B,E)AABBAB|A||B|/|A||B|) 그렇다면 확장기에 대한 많은 문제 (예 : 제약 만족 문제)는 NP가 근사하기 어렵습니다.

특히, 두 개의 쿼리, 낮은 오류, PCP 정리 (2008 년 Ran Raz 포함)의 증거는 확장 그래프를 구성합니다.


마지막 줄에서, 당신은 당신의 종이가 불균형 확장기를 구성한다는 것을 의미합니까? 왜냐하면 당신은이 질문에 대한 답을 가질 수 있기 때문입니다 : cstheory.stackexchange.com/questions/592/…
Suresh Venkat

Suresh : 예,이 논문은 불균형 확장기 / 샘플러 / 추출기를 구성하지만 알려진 구성보다 우수하지는 않습니다.
Dana Moshkovitz

12

확장기에서 많은 정확한 문제 (그리고 아마도 근사치 문제도)가 NP-hard라는 것을 쉽게 알 수 있다고 생각합니다. 아이디어는 임의의 상수도 그래프를 취할 경우이다 n 개의 정점과 다른 확장기 추가 H를N 분리 된 꼭지점 사이의 정합 넣어 GH를 , 다음 팽창기를 얻는다. 그 이유는 정점의 절반보다 작은 집합이 바깥쪽에 일치하는 가장자리의 일정한 비율을 갖거나 H 와의 교차점이 최대 0.51H 정점을 갖기 때문 입니다.GnHnGHH0.51H

임의로 선택할 수 있기 때문에 (예 : 임의의 그래프를 취함) H 의 NP 문제에 대한 최적의 솔루션을 알 수 있으므로 결합 된 그래프에 대한 솔루션이 주어지면 희망 (문제에 따라 다름)이있을 수 있습니다. 적어도 G에 대한 근사 솔루션입니다 . 그러나 나는 구체적인 문제에 대해서는 이것을 확인하지 않았다.HHG

물론, 위에서 언급 한 바와 같이, 그러한 트릭을 수행 할 수없고 특히 알고리즘은 확장기 (expander)로 알려져 있고 일반적인 경우에는 알려지지 않은 자연 문제 (가장 독특한 게임)가 있습니다. 하나는 일반적으로 하드 NP있어하지만 쉽게 확장기에 (예를 들어, 그래프에 어떤 임의의 NP 어려운 문제를 가지고 문제의 일부 인위적인 예를 마련하고, 그래서 스펙트럼 갭 모든 인스턴스보다 더 수정할 수 있어야 은 YES ...)입니다.1/logn

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.