«set-cover» 태그된 질문

나는 d-Dimensional Hitting Set 문제라고 부르는 것의 매개 변수화 된 복잡성에 관심이 있습니다. 범위 공간 (예 : 세트 시스템 / 하이퍼 그래프) S = (X, R) 최대 d 및 a 양의 정수 k, X는 R의 모든 범위를 치는 k의 부분 집합을 포함합니까? 문제의 매개 변수화 된 버전은 k로 매개 변수화됩니다. …

37 cc.complexity-theory  cg.comp-geom  set-cover  parameterized-complexity  vc-dimension 

다음 제한 사항의 최소 집합 적용 범위 문제를 고려하십시오 . 각 집합은 최대 요소를 포함 하고 유니버스의 각 요소는 최대 f 개의 세트 에서 발생 합니다.kkkfff 예 : 이고 f = 2 인 경우 최대 차수가 4 인 그래프의 최소 정점 커버 문제와 같습니다.k=4k=4k = 4f=2f=2f = 2 하자 ( …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

nxn 순열 행렬의 집합 S (N! 가능한 순열 행렬의 작은 부분에 불과 함)를 감안할 때, T의 행렬을 추가하는 것이 모든 위치에서 적어도 1을 갖도록 S의 최소 크기 부분 집합 T를 어떻게 찾을 수 있습니까? S가 S_n의 작은 하위 그룹 인이 문제에 관심이 있습니다. 욕심 많은 알고리즘보다 훨씬 빠른 근사 알고리즘을 …

16 ds.algorithms  approximation-algorithms  set-cover  permutations 

기본 세트 대한 세트 을 고려하십시오. 여기서 n 과 e_i \ in F_i 이고 k 를 양의 정수로 둡니다 .F = { F 1 , F 2 , … , F n } F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\}U = { e 1 , e 2 , … , e n } U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\}| 파이 나 …

15 cc.complexity-theory  np-hardness  set-cover  packing 

세트 커버의 다음 변형은 무엇입니까? 세트 S, S의 서브 세트 모음 C 및 양의 정수 K가 주어지면, S의 모든 요소 쌍이 선택된 서브 세트 중 하나에 놓 이도록 C에 K 세트가 존재한다. 참고 :이 문제가 NP-Complete임을 확인하기는 어렵지 않습니다. 정상적인 설정 표지 문제 (S, C, K)가 주어지면 S ', S' …

15 np-hardness  set-cover  cc.complexity-theory 

입력 유니버스 인 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이면 어떻게됩니까? 이 문제가 NP-hard입니까? 통찰력을 주셔서 감사합니다. 고마워 개렛

11 set-cover 

요소의 수가 일부 함수 (예 : )에 의해 제한되는 경우 Set Cover 문제는 얼마나 어려운가? 여기서 n 은 문제 인스턴스의 크기입니다. 공식적으로로그엔log⁡n\log n엔nn 하자 와 F가 = { S 1 , ⋯ , S , N은 } S I ⊆ U 및 m = O ( 로그 N ) . …

10 np-hardness  set-cover  exp-time-algorithms 

간단한 다각형 와 정수 k 가 있다고 가정하십시오 . 작은 반경을 찾기위한 몇 가지 기존의 접근 방식은 무엇입니까 r에 내가 커버 할 수 있도록 S를 함께 K의 반경의 원 R ? r 이 고정되어 있고 최소화하고 싶 습니까?SSSkkkrrrSSSkkkrrrrrr ?케이kk

10 cg.comp-geom  planar-graphs  set-cover 

여기서 많은 사람들 은 자연적인 기하학적 설정에서 nets에 대한 Alon의 최근 슈퍼 리니어 하한을 알고있을 것입니다 [PDF] . 그러한 하한값이 관련 세트 커버 / 타격 세트 문제의 근사성에 대해 무엇을 의미하는지 알고 싶습니다. ϵϵ\epsilon 좀 더 구체적으로 말하면 패밀리와 같이 범위 공간 패밀리를 고려하십시오. { (X, R ){(엑스,아르 자형)\big\{(X,\mathcal{R}) : …

10 cg.comp-geom  set-cover  hypergraphs  approximation-hardness  epsilon-nets 

세트 커버를 줄이면 특정 문제가 거의 발생하지 않음을 보여 주려고합니다. 축소는지면 크기의 세트로 인스턴스를 변환합니다.nnn 과 mmm 특정 매개 변수가있는 문제의 인스턴스로 설정됩니다. rrr 크기가 O(n+m)O(n+m)O(n+m). 그런 다음 표지 크기가 s 인 세트 표지의 인스턴스가 최적 솔루션의 크기가있는 내 문제의 인스턴스에 해당함을 보여줄 수 있습니다.2s2s2s(또는 이와 비슷한) 그 반대의 경우도 …

9 cc.complexity-theory  approximation-hardness  set-cover