«graph-theory» 태그된 질문

그래프 이론은 객체 간의 쌍별 관계를 모델링하는 데 사용되는 수학적 구조 인 그래프에 대한 연구입니다.

1
DAG에는 몇 개의 분리형 모서리 절단이 있어야합니까?
다음 문제는 벨만 - 포드의 최적 관련된 - 최단 경로 동적 프로그래밍 알고리즘 (참조 포스트 의 접속을위한). 또한 긍정적 인 대답은 STCONN 문제에 대한 모노톤 비 결정적 분기 프로그램 의 최소 ​​크기 가 임을 암시합니다 . s t Θ ( n 3 )ssttΘ(n3)\Theta(n^3) 하자 하나 개의 소스 노드와 DAG (방향성 …
1
최소 사이클이 이중 모서리 커버를 형성하도록 둘레
보자 . 모든 g- 사이클 세트가 G 의 이중 모서리 커버를 형성하도록 (즉, 모든 모서리가 정확히 2 개의 g- 사이클에 의해 공유 됨) 임의의 두 교차점이되도록 둘레 g 의 간단한 그래프 G 를 생성해야합니다. g 사이클은 꼭짓점이거나 가장자리이거나 비어 있습니다. 생성 된 그래프는 임의로 커야합니다.지≥ 3g≥3g\geq 3지GG지gg지gg지GGgggggg 세대의 방법은 그것에 …
1
BDD를 사용하여 표현 된 그래프의 알고리즘
그래프에 대한 가장 간단한 표현은 인접 행렬 / 목록을 사용합니다. 즉, 각 노드와 가장자리가 명시 적으로 나타납니다. 규칙 성이 강한 그래프에 대한 암시 적 표현의 중요성은 오랫동안 인식되어 왔습니다. 예를 들어 Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( 1986 년 간결한 그래프 표현에 대한 참고 사항 , 1986)는 인접 …
2
그래프 동형 결정
그래프 동형 결정은 일반적으로 NP-Complete입니다. 기본 그래프에 대수적 구조가있을 때 (예 : Cayley 또는 Cayley coset 그래프에서 명확한 구조를 가진 다른 그래프로 동형 결정) 이러한 문제를 연구하는 결과가 있습니까? 또한 복잡한 결과에 도움이되는 대수 및 / 또는 스펙트럼 기법에 관심이 있습니다.
1
해밀턴 분해 결정 문제
하자 무향 그래프 될. 의 분해 분리 된 서브 세트에 불리며 해밀턴 분해 의 서브 그래프는 각각의 세트에 의해 유도되는 경우 어느 해밀턴 그래프 또는 단일 에지 구성 .G = ( V, E)지=(V,이자형)G=(V,E)VVVV나는V나는V_i지지GV나는V나는V_i| V나는| =2|V나는|=2|V_i|=2 예 : 완전 이분 그래프 은 경우에만 Hamilton 분해를 .케이m , n케이미디엄,엔K_{m,n}m = n미디엄=엔m=n 주어진 …
1
그래프의 보로 노이 다이어그램
하자 (양) 가중 가장자리 그래프 될. 내가 노드 / 사이트 집합의 보로 노이 다이어그램을 정의 할 노드와 연결, 서브 그래프의 의 엄격 가까이 모든 노드에 의해 유도 의 다른 노드보다 , 호의 무게의 합으로 경로의 길이를 측정합니다. 는 의 보로 노이 지역 입니다. 예를 들어 아래의 녹색 노드는 에 있고 …
2
랜덤 큐빅 그래프의 진폭
연결된 랜덤 큐빅 그래프 of n = | V | G ( n , 3- reg ) 에서 추출한 정점 ( 여기서 정의 된대로 , 3 nG=(V,E)G=(V,E)G=(V,E)n=|V|n=|V|n =|V|G(n,3G(n,3G(n, 3)))3n3n3n 짝수 및 두 개의 그래프가 동일한 확률을 가지고). 물론 거기 가능한 너비 우선 검색 결과, 각각의 시작 노드에 대한 하나 의 …
1
유한 그리드에서 라인 및 열 순열로 셀 연결
다음과 같은 간단한 문제가 이전에 연구되었는지 여부와 해결책이 있는지 알고 싶습니다. G를 유한 (MxN) 격자로, S를 G 셀의 하위 집합 ( "부스러기")으로 설정하십시오. 두 개의 부스러기는 좌표가 최대 하나 (즉, 정사각형으로 그려진 경우 하나 이상의 모퉁이 점을 공유 함)가 다르면 (로컬로) 연결되어 있다고합니다. 이제 그리드의 선과 열을 순열하여 빵 부스러기 …
1
스패닝 스파이더 찾기
주어진 그래프 의 스패닝 스파이더를 찾을 수있는 다항식 시간 알고리즘이 있습니까? 거미는 2보다 큰 등급을 가진 노드가 하나 이상인 나무입니다. 나는 G의 다양한 정도 조건 (본질적으로 충분히 큰 노드 정도)이 스패닝 거미의 존재를 보장 한다는 것을 알고 있습니다. 그러나 임의 G에 대한 알고리즘이 있는지 궁금합니다 . 감사!지GG 지GGGGG
1
그러한 매트릭스가 존재할 수 있습니까?
내 작업 중에 다음 문제가 발생했습니다. 나는 찾기 위해 노력하고 -matrix 어떤을 위해, 다음 속성 :( 0 , 1 ) M n > 3n×n엔×엔n \times n (0,1)(0,1)(0,1)M미디엄Mn>3엔>삼n > 3 의 결정 요인 은 짝수입니다.M미디엄M 비어 있지 않은 서브 세트 경우서브 매트릭스 는 경우에만 홀수 갖습니다 . | 나는 | = …
4
그래프의 파벌 수 : Moon and Moser 1965 결과
나는 Moon and Moser 1965 clique 결과 On Cliques in Graphs 의 전체 텍스트를 찾고 있습니다 ( 많은 최대 클릭 지수가있는 그래프가 있습니다 ). 우리 대학의 월급은 특정 저널에 액세스 할 수 없습니다. (사실, 미리보기 는 증거의 처음 몇 문장을 제공하지만 나머지는 나에게 남기지 않습니다!)nnn 나는 추구하고있는 연구 방향과 관련된이 …
2
FO 속성은 언제 NL- 경도를 제거합니까?
맥락 : 우리는 오직 digraph 만 고려한다. CYCLE을주기가있는 그래프의 언어로 지정하십시오. NL 완료 문제입니다. HASEDGE를 하나 이상의 모서리가있는 그래프의 언어로 설정하십시오. 그런 다음 사소한 는 더 이상 NL 하드가 아니며 CYCLE ∪ ¯ HASEDGE 는 그대로 유지됩니다.CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} 실제 문제 : 언어 는 여전히 NL-hard입니다.CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} \cup \{(V, …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.