이론 컴퓨터 과학 approximation-algorithms

1

다른 cstheorySE 게시물 의 의견에서 PSPACE-completeness는 APX-hardness를 의미한다고 언급되어 있습니다. 누구든지 그것에 대한 참조를 설명 / 공유 할 수 있습니까? 이것이 "꽉"입니까? (즉, 최적화 문제가 폴리 시간에서 일정한 요인 근사치를 허용하는 PSPACE- 완전 문제가 있습니까?) 어떤 수준의 PH에 대한 완성도는 어떻습니까? 근사 경도를 의미합니까?

14 cc.complexity-theory approximation-algorithms approximation-hardness np pspace

4

Haskell의 seq 연산과 호환되는 기능에 대한 eta-equivalence가 있습니까?

Lemma : 에타와 동등하다고 가정하면 (\x -> ⊥) = ⊥ :: A -> B. 증명 : ⊥ = (\x -> ⊥ x)에타 동등성 및 (\x -> ⊥ x) = (\x -> ⊥)람다 감소. Haskell 2010 보고서, 섹션 6.2 seq는 두 가지 방정식으로 함수를 지정합니다 . seq :: a-> b-> b …

14 domain-theory haskell extensionality cc.complexity-theory counting-complexity fl.formal-languages automata-theory cc.complexity-theory arithmetic-circuits it.information-theory shannon-entropy graph-theory pr.probability graph-theory approximation-algorithms approximation-hardness multicommodity-flow cc.complexity-theory ds.algorithms np-hardness polynomial-time dynamic-programming lo.logic terminology

1

공간 근사값

그들의 논문에서 대략적인 거리 Oracles 에서 Thorup과 Zwick은 가중 무지향 그래프에 대해 ( 2 k - 1 ) - 근사값을 반환 할 수 있는 크기 의 데이터 구조를 구성 할 수 있음을 보여주었습니다. 그래프에서 정점 쌍 사이의 거리.O ( k 값 N1 + 1 / k)영형(케이엔1+1/케이)O(k n^{1+1/k})( 2 k - …

14 ds.algorithms graph-theory approximation-algorithms space-complexity

1

부분 집합 합계 또는 NPP에 대한 정수 관계 감지?

정수 관계에 대한 (작은) 솔루션이 답을 얻을 수 있도록 부분 집합 합 또는 숫자 분할 문제의 인스턴스를 인코딩하는 방법이 있습니까? 확실하지 않다면 어떤 확률 론적 의미에서? 선택한 숫자의 범위가 보다 큰 '저밀도'영역에서 LLL (및 아마도 PSLQ)이 부분 집합 합계 문제를 해결하는 데 적당히 사용되었다는 것을 알고 있습니다. 선택된 숫자의 범위가 …

14 cc.complexity-theory np-hardness approximation-algorithms reductions subset-sum

1

탐욕 추측이 왜 그렇게 어려운가?

나는 최근 최단 슈퍼 스트링 문제 에 대한 욕심 추측에 대해 배웠다 . 이 문제에서 우리는 문자열의 집합 주어진 우리는 발견 할 짧은 superstring 예와 같은 각 의 문자열로 나타납니다 .에스1, ... , 이야엔s1,…,sns_1,\dots, s_n 에스ss에스나는sis_i에스ss 이 문제는 NP-hard이며 긴 논문 시퀀스 후에이 문제에 대해 가장 잘 알려진 근사 알고리즘은 …

14 reference-request approximation-algorithms greedy-algorithms

1

DAG 부분 집합은 대략적인가?

우리는 비순환 그래프 관한 주어진다 (각 꼭지점과 관련된 번호 g : V → N ), 및 대상 번호 T ∈ N을 .G = ( V, E)G=(V,E)G=(V,E)지: V→ Ng:V→Ng:V\to \mathbb{N}티∈ NT∈NT\in \mathbb{N} DAG 하위 집합 합계 문제 (다른 이름으로 존재할 수 있으며 참조가 우수 할 것임)는 정점이 있는지 묻습니다 . . …

13 ds.algorithms graph-theory graph-algorithms approximation-algorithms subset-sum

1

논리 문제를 해결하기위한 대략적인 방법에 대한 좋은 참조

많은 논리 문제 (예를 들어, 여러 모달 논리의 만족도 문제)를 결정할 수없는 것으로 알려져 있습니다. 알고리즘 이론, 예를 들어 조합 최적화에서 결정 불가능한 많은 문제가 또한있다. 그러나 실제로 휴리스틱과 근사 알고리즘은 실제 알고리즘에 적합합니다. 따라서 논리 문제에 대한 대략적인 알고리즘도 적합 할 수 있습니다. 그러나 내가 찾은이 라인을 따라 유일한 …

13 lo.logic approximation-algorithms undecidability

2

하위 모듈화의 강화

집합 기능 모노톤 submodular 경우 모두 , B , F ( ) + F ( B ) ≥ F ( ∪ B ) + F ( ∩ B ) .에프ffA , BA,BA,B에프( A ) + f( B ) ≥ f( A ∪ B ) + f( ∩ B ) .f(A)+f(B)≥f(A∪B)+f(A∩B). …

13 ds.algorithms approximation-algorithms submodularity

2

고정 모수와 근사 알고리즘의 관계

고정 파라미터와 근사치는 어려운 문제를 해결하기위한 완전히 다른 접근법입니다. 그들은 다른 동기가 있습니다. 근사는 근사 솔루션으로 더 빠른 결과를 찾습니다. 고정 매개 변수는 k의 지수 또는 일부 함수와 n의 다항 함수에서 n이 입력 크기이고 k가 매개 변수라는 점에서 시간이 복잡한 복잡한 솔루션을 찾습니다. 예 .2케이엔삼2kn32^kn^3 이제 제 질문은 어떤 상위 …

13 cc.complexity-theory reference-request approximation-algorithms fixed-parameter-tractable

2

이 세트 커버 문제의 변형은 무엇입니까?

입력 유니버스 인 UUU 와의 하위 집합의 가족 UUU , 말 F⊆2UF⊆2U{\cal F} \subseteq 2^U . 의 부분 집합은 U , 즉 ⋃ E ∈ F E = U를 포함FF{\cal F} 할 수 있다고 가정합니다 .UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U 증분 피복 시퀀스 의 서브 세트의 서열이다 FF{\cal F} 말하자면 = { …

12 cc.complexity-theory ds.algorithms approximation-algorithms optimization set-cover

1

와 의 관계는 무엇입니까 ?

와 의 관계는 무엇입니까 ? 다시 말해, 다항식 시간 지역 검색을 허용하는 문제는 근사치입니까? 대략적인 최적화 문제가 일반적으로 지역 검색 알고리즘을 의미합니까?PLSPLS\mathsf{PLS}APXAPX\mathsf{APX}

12 cc.complexity-theory approximation-algorithms

1

근사 알고리즘의 부드러운 분석

선형 프로그래밍 및 k- 평균과 같은 많은 문제에 대한 정확한 알고리즘의 런타임을 이해하기 위해 스무딩 분석이 여러 번 적용되었습니다. 이 영역에는 꽤 일반적인 결과가 있습니다 (예 : Heiko Röglin 및 Berthold Vöcking, Smoothed analysis of integer programming , 2005). 이러한 일반적인 결과 중 일부는 고유 한 최적의 솔루션으로 인스턴스를 생성하기 …

12 cc.complexity-theory approximation-algorithms approximation-hardness smoothed-analysis

2

최대 독립 세트에서 약속 된 상한을 사용한 대략적인 그래프 색상

내 직업에서 다음과 같은 문제가 발생합니다. 독립적 인 차수 65를 사용하지 않고 그래프의 색도를 근사하는 알려진 알고리즘이 있습니까? (따라서 alpha (G) <= 64가 알려져 있고 | V | / 64는 사소한 하한, | V | 사소한 상한입니다. 그러나이 특별한 조건에서 더 잘 입증 된 근사가 있습니까?) 분수 색수로 이완하면 어떻게 …

12 ds.algorithms graph-algorithms approximation-algorithms graph-colouring

2

VC 치수 추정

다음 문제에 대해 알려진 것은 무엇입니까? 수집 주어 함수 F : { 0 , 1 } N → { 0 , 1 } , 가장 큰 하위 컬렉션 찾을 S ⊆ C의 제약에 따라 그런 VC-치수 ( S ) ≤ K 어떤 정수에 대한 K .씨CC에프: { 0 , 1 …

12 reference-request approximation-algorithms cg.comp-geom lg.learning vc-dimension

3

멀티 컷 문제

이 문제에 대한 이름이나 참조를 찾고 있습니다. 가중 그래프가 주어지면 G=(V,E,w)G=(V,E,w)G = (V, E, w) 는 최대 절단 모서리 값을 최대화하기 위해 S 1 , … , S n을n=|V|n=|V|n = |V| 설정 합니다. c ( S 1 , … , S n ) = ∑ i ≠ j ( ∑ …

12 ds.algorithms reference-request approximation-algorithms max-cut

«approximation-algorithms» 태그된 질문