«clique» 태그된 질문

이 질문 에 약간의 추론 을하면서 그래프 가 k 채색이 불가능한 모든 다른 이유를 식별하려고 노력했습니다 . 이것이 내가 지금까지 확인할 수 있었던 유일한 두 가지 이유입니다.G=(VG,EG)G=(VG,EG)G = (V_G,E_G)kkk 는 k + 1 크기의 도가니를 포함합니다. 이것이 명백한 이유입니다.GGGk+1k+1k+1 G 의 하위 그래프 가 있으므로 다음 두 진술이 모두 참입니다.H=(VH,EH)H=(VH,EH)H …

21 graph-theory  co.combinatorics  graph-colouring  clique 

계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 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 

하자 과 의사 결정 문제를 고려0≤p≤10≤피≤10\le p\le 1 CLIQUE P의 입력 : 정수 의 그래프 G 와 t 정점과 ⌈ P ( tp피_p s에스sG지Gt티t가장자리질문 :않습니다G는최소한의 파벌 포함의정점을?⌈p(t2)⌉⌈피(티2)⌉\lceil p\binom{t}{2} \rceil G지Gs에스s CLIQUE의 인스턴스 p는 비율을 포함 P 모든 가능한 에지의 아웃. 분명히 CLIQUE p는 어떤 값을 쉽게 페이지 . CLIQUE 0 …

17 cc.complexity-theory  np  parameterized-complexity  clique 

다음 -cycle 문제이다 :케이케이k 인스턴스 : 그래프 방향성이 가진 정점과 최대 \ n을 2 선택 가장자리를.지지G엔엔n( n2)(엔2)n \choose 2 질문 : G에 (적절한) 케이케이k 사이클이 있습니까?지지G 배경 : 모든 고정 케이케이k 에 대해 O (n ^ 2) 시간 내에 2 개 k2케이2k 사이클을 해결할 수 있습니다 .O ( n2)영형(엔2)O(n^2) Raphael …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

간단한 형태로 : 양방향 유한 오토 마톤 이 o ( v 3 ) 상태 의 삼각형을 포함하는 - vvvvertex 그래프를 인식 할 수 있습니까 ?o(v3)o(v3)o(v^3) 세부 여기서 주목할 것은 일련의 에지를 사용하여 인코딩 된 vvv 버텍스 그래프이며, 각 에지는 과 별개의 정점 쌍입니다 {0,1,…,v−1}{0,1,…,v−1}\{0,1,\dots,v-1\}. 가정 되도록 양방향 유한 오토마타 (결정 …

15 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

이 질문은 Peng Zhang 의 MathOverflow 질문에 의해 동기가 부여됩니다 . Valiant는 일반 그래프에서 최대 클릭 수를 계산하는 것이 # P- 완료 되었음에도 불구하고 비교할 수없는 그래프로 제한하면 (즉, 유한 포즈에서 최대 안티 체인 수를 계산하려는 경우) 어떻게해야합니까? 이 질문은 자연스럽게 보였지만 이전에 고려 된 것으로 생각되지만 문헌에서 찾을 수 …

13 cc.complexity-theory  counting-complexity  partial-order  clique 

3-Clique Partition 문제는 그래프의 꼭짓점 (예 : )을 3 개의 clique로 분할 할 수 있는지 여부를 결정하는 문제입니다 . 이 문제는 3 색성 문제를 간단히 줄임으로써 NP-hard입니다. 또는 때이 문제에 대한 답이 쉬운 지 알기 어렵지 않습니다 . 문제는 때 자체에서 간단한 감소로 인해 NP-hard 상태로 남아 있습니다 (그래프 주어지고 …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

인스턴스를 더 크게 만들지 않고 -Clique를 SAT 로 줄이는 데 관심이 있습니다.kkk Clique는 NP에 있으므로 대수 공간을 사용하여 SAT로 줄일 수 있습니다. 간단한 Garey / Johnson 교과서 축소는 인스턴스를 입방 크기로 날려 버립니다 . 그러나 Clique는 모든 고정 대해 P에 있으므로 적어도 고정 대한 효율적인 감소가 "필요"해야한다 .kkkkkkkkk 축소를 구축하는 …

10 cc.complexity-theory  sat  reductions  clique 

최대 1 개의 부분 집합 { 1 , 2 , … , n }으로 구성된 패밀리 가 주어 집니다. 연합 폐쇄 F는 다른 세트의 가정 인 C 1 개 이상의 세트의 조합을 고려하여 구성 될 수있는 모든 세트 함유 F를 . 작성자 | C | 우리는 C 의 집합 수를 …

10 co.combinatorics  graph-algorithms  clique  independence 

나는 Moon and Moser 1965 clique 결과 On Cliques in Graphs 의 전체 텍스트를 찾고 있습니다 ( 많은 최대 클릭 지수가있는 그래프가 있습니다 ). 우리 대학의 월급은 특정 저널에 액세스 할 수 없습니다. (사실, 미리보기 는 증거의 처음 몇 문장을 제공하지만 나머지는 나에게 남기지 않습니다!)nnn 나는 추구하고있는 연구 방향과 관련된이 …

10 reference-request  graph-theory  co.combinatorics  clique 

나는 EPT (나무의 경로의 가장자리 교차점) 그래프에 대한 MC Golumbic의 오래된 신문을 읽고 있습니다. 논문에서, EPT 그래프 인스턴스의 최대 크릭의 수는 다항식임을 보여준다. 오라클이 그래프 가 EPT 그래프 라고보고 하면 표준 클릭 제어 알고리즘을 사용하여 최대 클릭을 찾을 수 있다고 결론을 내립니다 .지지G 우선, 이러한 표준 Clique Enumeration 알고리즘은 무엇입니까? …

9 ds.algorithms  graph-algorithms  clique