«clique» 태그된 질문

5
해당하는 그래프하지 될 수 이유
이 질문 에 약간의 추론 을하면서 그래프 가 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 …

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

2
파라미터 화 된 CLIQUE의 경도?
하자 과 의사 결정 문제를 고려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 …

2
4주기 자유 그래프 주어지면 2 차 시간에 3주기가 있는지 여부를 결정할 수 있습니까?
다음 -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 …

1
k-Clique의 2FA 상태 복잡성?
간단한 형태로 : 양방향 유한 오토 마톤 이 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\}. 가정 되도록 양방향 유한 오토마타 (결정 …

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

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

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

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

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

2
클릭 열거 알고리즘
나는 EPT (나무의 경로의 가장자리 교차점) 그래프에 대한 MC Golumbic의 오래된 신문을 읽고 있습니다. 논문에서, EPT 그래프 인스턴스의 최대 크릭의 수는 다항식임을 보여준다. 오라클이 그래프 가 EPT 그래프 라고보고 하면 표준 클릭 제어 알고리즘을 사용하여 최대 클릭을 찾을 수 있다고 결론을 내립니다 .지지G 우선, 이러한 표준 Clique Enumeration 알고리즘은 무엇입니까? …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.