«graph-theory» 태그된 질문

Courcelle의 정리에 따르면 , 모나드 2 차 논리로 정의 할 수있는 모든 그래프 속성 은 한정된 treewidth 그래프에서 선형 시간으로 결정될 수 있습니다 . 이것은 가장 잘 알려진 알고리즘 메타 정리 중 하나입니다. Courcelle의 정리에 의해 나는 다음과 같은 추측을했다. 결론 : 는 MSO가 정의 할 수있는 속성 이라고하자 . …

11 graph-theory  lo.logic  treewidth  planar-graphs  graph-minor 

최적의 정점 커버가 알려 지도록 그래프를 생성하는 방법을 찾고 있습니다. 노드 또는 에지 수에는 제한이 없으며 그래프가 완전히 연결되어 있어야합니다. 아이디어는 최적의 정점 커버를 찾기 어려운 그래프를 생성하여 다른 휴리스틱을 테스트 할 수 있도록하는 것입니다. 나는 Arthur, J. & Frendeway, J. 알려진 최적의 여행으로 여행-판매원 문제 생성, The Journal of …

11 ds.algorithms  graph-theory  graph-algorithms 

가중 가장자리와 그래프 감안할 때, 우리는 어떻게 주어진 정점 세트에 적어도 하나 개의 정점을 포함하는 음의주기를 찾을 수 있습니다 ? 감사.{ V1, V2, … , V케이}{V1,V2,…,Vk}\{V_1, V_2, \ldots, V_k\}

11 ds.algorithms  graph-theory 

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

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

S = { s 1 , s 2 , … , s n } 요소를 갖는 세미 그룹 이 있다고 가정 합니다. 우리의 목표는 제품 s i ∘ s i + 1 ∘ ⋯ ∘ s j 를 계산하는 것입니다 .(S,∘)(S,∘)(S,\circ)S={s1,s2,…,sn}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesi∘si+1∘⋯∘sjsi∘si+1∘⋯∘sjs_i\circ s_{i+1}\circ \cdots\circ s_j "온라인 제품 쿼리에 응답하기위한 최적의 …

11 cc.complexity-theory  graph-theory  ds.data-structures 

N L 에서 다음 문제를 결정할 수 있는지 알고 싶습니다.NLNL\mathsf{NL} (비 결정적 로그 공간) . 두 개의 구별되는 꼭짓점 s 와 t 가 있는 유향 그래프 가 주어지면 G 에서 s 에서 t 까지 의 고유 한 경로 가 있습니까?GGGssstttssstttGGG ? s - t 경로가 있는지 여부와 그러한 경로가 없는지 …

11 reference-request  graph-theory 

이미 게시 된 결과가 있는지 묻고 싶습니다. 우리는 연결된 두 개의 정규 (그래서 정도 d 와 노드 수 n ) 그래프의 각 노드 쌍 사이에 가능한 모든 다른 경로를 취하고 길이를 기록합니다. 물론이 고유 경로 수는 기하 급수적입니다. 내 질문은 길이를 정렬하고 비교하면 (두 그래프로 얻은 목록) 정확히 같은 경우 …

11 graph-theory  co.combinatorics  graph-algorithms  graph-isomorphism 

저는 CS 학생입니다. 우리는 한 과정에서 그래프 이론을 수행했습니다. 나는 그것을 흥미로웠다. 컴퓨터 과학 분야에서 그래프 이론의 실제 응용은 무엇입니까? 예를 들어, 그래프 이론의 일부 개념을 사용하여 네트워크를 설계 할 수 있음을 발견했습니다. 다른 유사한 응용 프로그램은 무엇입니까?

11 graph-theory  co.combinatorics  big-list  application-of-theory 

SAT 솔버를 특수 그래프 알고리즘과 경쟁적으로 만드는 데 어떤 장애물이 있습니까? 다시 말해, 알고리즘 디자이너의 역할을 대체 할 수있는 SAT 솔버를 예상 할 수 있습니까? 즉, 문제 구조를 자동으로 인식 한 후 특수 알고리즘만큼 빨리 해결할 수 있습니까? 다음은 오늘날의 SAT 솔버에게 도전적인 몇 가지 예입니다. 크기 의 독립 세트를 …

11 ds.algorithms  graph-theory  sat 

하자 에서도 모든 정점이되도록, 비순환 방향 그래프 수 O ( 로그 | V | ) . G의 모든 정점에 대해 모든 정점 에서 dfs 를 실행하는 것만으로 도달 가능한 정점의 수를 계산할 수 있으며 O ( | V | | E | ) 시간이 걸립니다. 이 문제를 해결하는 더 좋은 …

11 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

이것은 TCS 질문보다 사회 과학 질문처럼 들릴 수도 있지만 그렇지 않습니다. 안정적인 결혼 문제를 설명하는 " 랜덤 화 알고리즘 "을 읽을 때 다음을 읽을 수 있습니다 (p54) "모든 선호 목록을 선택할 때마다 적어도 하나의 안정된 결혼이 존재한다는 것을 알 수 있습니다. (다행스럽게도, 주민 수가 많은 동성애자 일부일처 사회에서는 그렇지 않습니다.)" …

11 ds.algorithms  graph-theory  matching 

그래프에서 독립 집합은 유도 된 하위 그래프로 가장자리를 포함하지 않는 정점 하위 집합입니다. 그래프에서 가장 큰 독립 집합을 찾는 문제는 근본적인 알고리즘 문제이며 어려운 문제입니다. 그래프에서 가장 큰 H- 프리 세트를 찾는 (크기의) 더 일반적인 질문을 고려해 봅시다. 여기서 H- 프리는 고정 된 그래프 H의 사본을 유도 된 서브 그래프로 …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

유 방향 그래프 , 에서 가 DAG (directed acyclic graph)이면 를 피드백 아크 세트라고합니다. F ⊂ E G ∖ F FG = ( V, E)G=(V,E)G=(V,E)에프⊂ 전자F⊂EF\subset EG ∖ FG∖FG\setminus F에프FF 각 에지가 가중치 와 연관된 경우 , 최소 비용 피드백 아크 세트 문제는 가 최소가 되도록 를 찾는 것이다 .F …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

소셜 네트워크의 조합 속성에 그래프로 관심이 있습니다. 사람들은 도의 분포, 군집 계수 및 이러한 그래프의 압축성과 같은 것을 살펴 보았습니다. 기본적인 질문 중 하나는 다음과 같습니다.이 그래프는 일반적으로 좋은 확장 그래프입니까? 페이스 북 그래프의 스펙트럼 갭을 확인한 사람이 있습니까? 아니면 다른 대규모 실제 네트워크의 스펙트럼 격차? 나는 누군가가이 주제에 대해 …

11 graph-theory  application-of-theory  expanders 

넣어야 의 최소 출력도 G 및 의해 δ - ( G ) 에서도 최소한.δ+( G )δ+(G)\delta^+(G)지GGδ−( G )δ−(G)\delta^-(G) A의 관련 질문 , 나는의 Ghouila - Houri 확장 언급 한 해밀턴 사이클에 디랙의 이론 제시, 그 경우 다음, G는 해밀턴이다.δ+( G ) , δ−( G ) ≥ N2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq \frac{n}{2} 그의 …

11 reference-request  graph-theory