«approximation-hardness» 태그된 질문

근사 경도, 일명 불확실성.

1
의 순서 목록을 유지
주문 유지 보수 문제점 (또는 "목록의 주문 유지")은 조작을 지원하는 것입니다. singleton: 하나의 항목으로 목록을 작성하고 이에 대한 포인터를 리턴합니다. insertAfter: 항목에 대한 포인터가 주어지면 그 뒤에 새 항목을 삽입하고 새 항목에 대한 포인터를 반환합니다. delete: 항목에 대한 포인터가 주어지면 목록에서 제거합니다. minPointer: 동일한 목록의 항목에 대한 두 개의 포인터가 …
1
쌍으로 교차하는 가족의 명중
타격 세트 가족의 에스= { S1, … , S엔}에스={에스1,…,에스엔}\mathcal{S} = \{S_1, \dots, S_n\} 서브셋 인 HHH 의 이되도록 대 . 주어진 패밀리의 최소 타격 세트를 찾는 문제는 일반적으로 버텍스 커버 문제를 일반화하기 때문에 NP-hard입니다. 이제 내 질문은 : H ∩ S i ≠ ∅ 1 ≤ i ≤ n⋃엔나는 = …
1
PSPACE- 완전성이 근사 경도를 의미합니까?
다른 cstheorySE 게시물 의 의견에서 PSPACE-completeness는 APX-hardness를 의미한다고 언급되어 있습니다. 누구든지 그것에 대한 참조를 설명 / 공유 할 수 있습니까? 이것이 "꽉"입니까? (즉, 최적화 문제가 폴리 시간에서 일정한 요인 근사치를 허용하는 PSPACE- 완전 문제가 있습니까?) 어떤 수준의 PH에 대한 완성도는 어떻습니까? 근사 경도를 의미합니까?
4
Haskell의 seq 연산과 호환되는 기능에 대한 eta-equivalence가 있습니까?
Lemma : 에타와 동등하다고 가정하면 (\x -> ⊥) = ⊥ :: A -> B. 증명 : ⊥ = (\x -> ⊥ x)에타 동등성 및 (\x -> ⊥ x) = (\x -> ⊥)람다 감소. Haskell 2010 보고서, 섹션 6.2 seq는 두 가지 방정식으로 함수를 지정합니다 . seq :: a-> b-> b …
1
근사 알고리즘의 부드러운 분석
선형 프로그래밍 및 k- 평균과 같은 많은 문제에 대한 정확한 알고리즘의 런타임을 이해하기 위해 스무딩 분석이 여러 번 적용되었습니다. 이 영역에는 꽤 일반적인 결과가 있습니다 (예 : Heiko Röglin 및 Berthold Vöcking, Smoothed analysis of integer programming , 2005). 이러한 일반적인 결과 중 일부는 고유 한 최적의 솔루션으로 인스턴스를 생성하기 …
4
경계가있는 그래프에서 색도 근사 경도
경계가있는 그래프의 정점 채색에 대한 경도 결과를 찾고 있습니다. 그래프 주어 , 우리가 알고있는 어떤을위한 , 그것은 대략 어렵다 배에서 하지 않는 한 [ 1 ]. 그러나 의 최대 정도 가 묶이면 어떻게 될까요? 이 경우 (일부 ) 형식의 경도 비율 이 있습니까?ε > 0 χ ( G ) | …
2
근사 비율에 대한 계층 정리?
잘 알려진 바와 같이, NP-hard 최적화 문제는 PTAS를 갖는 것에서부터 임의의 요소 내에서 추정 할 수없는 것까지 모든 범위의 다양한 근사 비율을 가질 수있다. 그 사이에는 다양한 상수 , p o l y ( n ) 등이 있습니다.O(logn)O(log⁡n)O(\log n)poly(n)poly(n)poly(n) 가능한 비율 세트에 대해 알려진 것은 무엇입니까? 어떤 종류의 "근사 계층"을 …
1
거의 항상 거의 옳다
나는 BPP는 이미 같은 질문을했다 P.에 관련된 APX에 관한 복잡한 클래스를 찾고 있어요 여기에 , 그러나 아마 TCS는 답변보다 유익한 장소가 될 것입니다. 문제의 원인은 실제 문제에서 종종 충분히 높은 신뢰도를 가진 대략적인 답변 (따라서 APX)을 찾아야하기 때문에 (따라서 BPP), 제한된 확률 적 근사 알고리즘의 문제 클래스를 잠재적으로 계산 가능한 …
2
속 문제의 근사 성
속 문제의 근사성에 대해 현재 알려진 것은 무엇입니까? 예비 검색은 일정한 요인 근사 충분히 밀도 그래프의 사소한, 그리고이 있음을 알려줍니다 -approximation 알고리즘을 배제하고있다. 이 정보가 최신 정보입니까, 아니면 더 나은 범위가 있습니까?엔ϵnϵn^\epsilon
2
어느 2P1R 게임이 잠재적으로 선명합니까?
2P1R (2-prover one-round) 게임은 근사 경도를위한 필수 도구입니다. 특히, 두 개의 증명 된 1 라운드 게임의 병렬 반복은 근사 문제의 결정 버전에서 간격의 크기를 늘리는 방법을 제공합니다. 주제에 대한 개요는 CCC 2010에서 Ran Raz의 설문 강연을 참조하십시오 . 게임의 병렬 반복에는 무작위 검증자가 독립적으로 작동하지만 두 플레이어가 독립적으로 게임을 플레이 …
2
정점 분리기의 경도
주어진 그래프 에 대해, 분리기 문제는 작은 카디널리티 (또는 가중치)의 정점 또는 에지 세트가 존재하여 제거가 G 가 대략 동일한 크기의 두 개의 분리 된 그래프로 분할되는지를 묻습니다 . 제거 된 세트가 정점 세트 인 경우이를 정점 분리기 문제라고하고 에지 세트 인 경우 모서리 분리기 문제라고합니다. 두 가지 문제 모두 …
3
SDP (Semidefinite Programming)의 이중성 차이는 언제 0입니까?
나는 문헌에서 SDP 이중성 격차의 소멸에 대한 정확한 특성을 찾을 수 없었습니다. 또는 "강한 이중성"은 언제 유지됩니까? 예를 들어, Lasserre와 SOS SDP 사이를 오가는 경우 원칙적으로 이중성 차이가 있습니다. 그러나 어떻게 든이 차이가없는 "사소한"이유가있는 것 같습니다. 슬레이터의 상태 는 충분하지만 필요한 것은 아니며 모든 볼록한 프로그램에 적용됩니다. SDP의 경우 특히 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.