«graph-theory» 태그된 질문

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

노드를 갖는 랜덤 그래프 패밀리가 있습니다 ( Gilbert 때문에 ). 각각의 가능한 모서리는 확률 로 독립적으로 삽입됩니다 . 를 단위의 크기 의 하자 .G(n,p)G(n,p)G(n, p)nnnG(n,p)G(n,p)G(n, p)pppXkXkX_kkkkG(n,p)G(n,p)G(n, p) 나도 알아 E(Xk)=(nk)⋅p(k2)E(Xk)=(nk)⋅p(k2)\mathbb{E}(X_k)=\tbinom{n}{k}\cdot p^{\tbinom{k}{2}} ,하지만 난 그것을 어떻게 증명합니까? 어떻게 것을 보여주기 위해 E(Xlog2n)≥1E(Xlog2⁡n)≥1\mathbb{E}(X_{\log_2n})\ge1 에 대한 n→∞n→∞n\to\infty ? 그리고 어떻게 보여 E(Xc⋅log2n)→0E(Xc⋅log2⁡n)→0\mathbb{E}(X_{c\cdot\log_2n}) \to …

11 graph-theory  combinatorics  probability-theory  random-graphs 

나는 한동안 머리를 부딪친 숙제를 받았으며 어떤 힌트라도 감사하겠습니다. NP- 완전성이 입증 된 알려진 문제를 선택하고 그 문제에서 다음 문제로의 축소를 구성하는 것을 DGD (지정 그래프 진단)라고합니다. 문제 DGD 의 인스턴스는 꼭짓점 , 지정 모서리 및 양의 정수 됩니다. 세 가지 유형의 꼭지점이 있습니다 : 들어오는 모서리 만있는 꼭지점, 나가는 …

11 complexity-theory  np-hard  graph-theory 

여기 문제가 있습니다 : 많은 사람들을 나타내는 노드와 연결된 그래프가 있습니다. 각 노드 / 사람은 주제에 대한 의견을 가지고 있습니다 : 예 : 트럼프 대 클린턴, 종이 책 대 유치원 등 목표는 특정 순서로 노드의 특정 서브 세트를 선택하여 그래프의 모든 노드가 동일한 의견을 공유하도록하는 것입니다. 개인 A의 친구 대부분이 …

10 graphs  graph-theory  social-networks 

우리는 명으로 구성된 그룹 이 있습니다. 그룹 내에서 누구를 위해 선물을 사야하는지 목록이 제공됩니다. 각 사람은 여러 가지 선물을 사거나 받아야 할 수도 있고 전혀 선물을받지 않아도 될 수도 있습니다. 쇼핑 여행에서 사람들의 일부는 같은 상점으로 함께 여행하며 상점에없는 사람을 위해 선물을 구입합니다. 그들은 같은 쇼핑 여행에서 다른 사람을 위해 …

10 algorithms  graph-theory  set-cover 

가중치가있는 모서리가있는 무 방향 그래프를 제공하고 각 노드가 3D 공간의 점에 해당한다고 가정합니다. 두 노드 사이에 모서리가있을 때마다 모서리의 가중치는 점 사이의 거리입니다. 목표는 가용 거리 (가장자리 가중치로 표시) 만 주어 점의 상대 위치를 재구성하는 것입니다. 예를 들어, 만약 내가 당신에게 그러면 점들이 4 면체의 꼭짓점이라는 것을 알 수 있습니다. …

10 complexity-theory  graph-theory  computational-geometry  euclidean-distance 

유한 정점 세트에 대한 등가 관계는 분리되지 않은 파편의 결합 인 무 방향 그래프로 나타낼 수 있습니다. 정점 세트는 요소를 나타내고 모서리는 두 요소가 동일 함을 나타냅니다. I 그래프가있는 경우 그래프 G (1) , ... , G의 k는 , 우리는 말할 G가 적용되는 G (1) , ... , G의 K …

10 algorithms  graph-theory  clique 

내 문제는 다음과 같습니다 그래프로 표현 된 실제 레이아웃이 있습니다. 노드는 와이어가 고정 될 수있는 후크 / 덕트를 나타내며 모서리는 와이어가 이동할 수있는 두 노드 사이의 가능한 연결입니다. 단일 와이어를 2 개 이상 최대 k 개로 분할 할 수있는 스플리터라고하는 특수 노드가 있습니다. k는 현재 일정하게 유지 될 수 있지만 …

10 algorithms  graph-theory  optimization 

페블 링은 방향이없는 그래프 에서 실행되는 솔리테어 게임으로 , 각 정점에는 0 개 이상의 자갈이 있습니다. 단일 pebbling 움직임은 정점에서 두 자갈을 제거하는 구성 V 및 임의의 이웃 한 블 추가 V . (물론, 정점 (V)이 이동하기 전에 적어도 두 자갈을 가져야한다.)를 PebbleDestruction 문제 묻는다 그래프 주어진 G = ( …

10 algorithms  graph-theory  np-complete 

길이 이상의 유도주기가없는 경우 그래프 는 화음 입니다. 파벌 트리 의 트리의 정점의 최대 파벌되는 나무입니다 . 의 모서리 는 최소 구분 기호에 해당합니다. 별개의 클리크 트리의 수는 화음 그래프에서 꼭짓점의 수에 지수적일 수 있습니다.지GG444티TT지GG지GG티TT 감소 도당 그래프 모든 나무 도당의 조합 인 . 즉, 정점이 모두 같고 가능한 모든 …

10 algorithms  graph-theory  reference-request 

과제 문제로 줄일 수있는 문제가 있습니다. (이전 질문에서 나는 그것을 수행하는 방법을 발견했습니다.) 이것은 비용 함수 c ( i , j ) 뿐만 아니라 에이전트 세트 AㅏA 와 태스크 세트를 가지고 있음을 의미 T티T합니다 . 총 비용이 최소화되도록 과제를 찾아야합니다.c(i,j)씨(나는,제이)c(i,j) 헝가리어 알고리즘은 최소한의 최적의 솔루션 찾을 수 O(n4)영형(엔4)O(n^4) . 나에게 …

10 algorithms  graph-theory  assignment-problem 

이진 트리의 평균 높이에 대한 공식적인 정의가 있습니까? 다음 두 가지 방법을 사용하여 이진 트리의 평균 높이를 찾는 방법에 대한 자습서 질문이 있습니다. 자연적인 해결책은 가능한 모든 경로의 평균 길이를 뿌리에서 잎으로 가져 오는 것입니다. 아1( T) = 1# T에 나뭇잎 ⋅ ∑V 의 잎 T깊이( V )avh1⁡(T)=1# leaves in …

10 graph-theory  terminology  combinatorics  binary-trees 

대체 제제 아래 문제에 대한 대체 공식을 생각해 냈습니다. 대체 공식은 실제로 다음과 같은 문제의 특별한 경우이며 이분 그래프를 사용하여 문제를 설명합니다. 그러나, 대안적인 제제는 여전히 NP-hard라고 생각합니다. 대체 공식은 문제 정의를 단순화하는 분리 된 수신 및 발신 노드 세트를 사용합니다. 을 감안할 때 나가고 수신 노드 (각각 그림에서 빨간색과 …

10 complexity-theory  graphs  graph-theory  np-complete 

나는 현재 Cheeger 경계 와 Cheeger의 불평등, 스펙트럼 분할, 컨덕턴스, 확장 등에 대한 이해를 이해하기 위해 노력하고 있지만 여전히 인접 행렬의 두 번째 고유 값에 관한 직관을 시작하기 위해 고심하고 있습니다. 일반적으로 그래프 이론에서 우리가 접하는 대부분의 개념은 직관하기가 매우 간단하지만이 경우 두 번째 고유 값이 매우 낮거나 매우 높은 …

10 graph-theory  adjacency-matrix 

가역적 인 방법으로 digraph (지향 그래프)를 방향이없는 그래프로 변환하는 알고리즘을 찾고 있습니다. 즉, 방향이없는 그래프가 주어지면 digraph를 재구성 할 수 있어야합니다. 나는 이것이 더 많은 정점을 가진 무 방향 그래프를 희생시킬 것이지만 나는 신경 쓰지 않는다는 것을 이해합니다. 이것을하는 방법을 알고 있거나 참조를 제안 할 수 있습니까? 미리 감사드립니다. 업데이트 …

10 algorithms  graph-theory  graphs