«co.combinatorics» 태그된 질문

Trevisan 과 Lovett 가 TCS의 부가 조합 응용 프로그램에 대한 설문 조사를 읽고 있습니다. 이러한 응용 프로그램의 대부분은 계산 복잡성 , 예를 들어 하한에 해당합니다. 첨가제 조합론이 알고리즘 설계 에서도 응용 프로그램을 찾았는지 궁금합니다 . 내 질문에 대한 동기는 다음과 같습니다. 가산 조합과 복잡성 사이의 연결은 다소 자연스러운 것처럼 보이지만 …

12 ds.algorithms  reference-request  co.combinatorics 

이 질문은이 게시물에 의해 동기 부여됩니다 . 다항식 시간에서 두 순열의 합을 식별 할 수 있습니까? , 순열의 계산 속성에 관심이 있습니다. 차등이 시퀀스 1 , 2 , ... N 순열의 π 숫자 1 , 2 , ... , N + 1 순열의 모든 인접한 두 숫자 사이의 차이에 의해 …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

현재 정규 언어 이상이지만 컨텍스트가없는 언어 클래스가 포함 된 일부 공식 언어 연구를하고 있습니다. 리버스 바운드 멀티 카운터 머신, 단일 스택 카운터 머신, 결정적 CFL 등을보고 있습니다. 이 언어의 속성을 설명하는 좋은 책이나 설문지를 아는 사람이 있는지 궁금합니다. 내가보고있는 대부분의 내용은 Hopcroft-Ullman 서적 (1979 년판)에 속하기에는 너무 모호하거나 너무 새롭습니다. …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

벡터 색도 수가 색도 보다 작은 작은 그래프 를 찾고 있습니다.GGGχv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) ( 가있는 경우 는 벡터 색수 . 여기서 인접 정점과 연관된 벡터는 직관적으로 멀리 떨어져 있습니다. 요구 사항은 예를 들어, 의 경우 삼각형의 정점이 충분합니다.)GGGqqqx:V→Rdx:V→Rdx\colon V \rightarrow \mathbf R^d⟨x(v),x(w)⟩≤−1/(q−1)⟨x(v),x(w)⟩≤−1/(q−1)\langle x(v), x(w)\rangle \leq -1/(q-1)q=3q=3q=3 그래프의 벡터 색도는 색도 수보다 크지 …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring 

고정 된 수의 변수 를 사용한 H. Lenstra 정수 프로그래밍에 의해 유명한 1983 년 논문은 고정 된 수의 변수 를 갖는 정수 프로그램은 데이터 길이에서 시간 다항식으로 해결할 수 있다고 명시하고있다. 나는 다음과 같이 해석합니다. 일반적으로 정수 프로그래밍은 여전히 ​​NP 완료이지만 내 전형적인 문제 크기 (약 10.000 개의 변수, 임의의 …

12 co.combinatorics  linear-programming  integer-programming 

여기 : http://www.planarity.org/Klein_elementary_graph_theory.pdf (장 포함)는 평면 그래프 의 조합 포함 에 대한 정의가 제공됩니다 . (얼굴의 정의 등으로) 어떤 그래프에도 쉽게 사용할 수 있지만 평면 그래프를 오일러 공식이 보유한 그래프로 정의합니다 (그래프가 연결된 것으로 가정). 모든 평면 그래프에 대해 조합 임베딩에서면의 정의는 토폴로지 임베딩에서면의 정의와 유사 하다는 것을 이해할 수 …

12 graph-theory  co.combinatorics  planar-graphs 

Petkovsek, Wilf 및 Zeilberger의 A = B 책 은 서로 다른 이항 합을 계산하는 알고리즘을 설명합니다. AFAIK, 이러한 알고리즘은 여전히 ​​다른 저자들에 의해 개선되고 있습니다. 이 알고리즘의 최신 구현을 어디에서 찾을 수 있는지 알고 있습니까? 그리고 Sage 와 같은 일부 무료 소프트웨어에 구현이 있는지 알고 있습니까?

12 ds.algorithms  co.combinatorics  implementation 

경우 최대도 3 그래프 및 미성년자 H 다음 G는 의 위상 미성년자 H .지GGHHH지GGHHH Wikipedia는이 결과를 Diestel의 "Graph Theory"에서 인용합니다. 이 책은 최신 버전의 책에 Prop 1.7.4로 표시되어 있습니다. 이 책에는 증거 나 인용이 없습니다. 이것에 대한 (원래) 증거로 알려진 소재가 있습니까? 또한, 가 클로의 경로 또는 세분이고 H 의 …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

몇 주 전에 mathoverflow 에서이 질문을 했지만 답변이 없습니다. 여기서, 측면 길이 의 3D- 그리드에 의해 , V = { 1 , … , k } 3 및 E = { ( (( a , b , c ) , ( x , y , z ) 인 그래프 G …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

하자 하고 넣어야 G 케이 속의 표면에 삽입 할 수있는 모든 그래프의 세트 K 모든 정점이되도록 외면 상에 위치되어이 . 예를 들어, G 0 은 외부 평면 그래프 세트입니다. 그래프에서의 treewidth 수 G의 K는 상부의 일부 기능에 의해 제한되는 K ?k∈Nk∈Nk\in\mathbb{N}GkGkG_kkkkG0G0G_0GkGkG_kkkk 일정한 나무 폭은 일정한 속을 암시하지 않기 때문에 다른 …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

이전 질문에 의욕을 불러 일으키면서 복잡성이 궁금한 최첨단 파티션 문제입니다 . 입력 : 3 차 그래프 G=(V,E)G=(V,E)G=(V,E) 질문 : 의 파티션이 로 E 1 , E 2 , ... , E 의 이러한 각에 의해 유도 된 서브 그래프 E 난 (예 중 하나 발톱입니다 K 1 , 3 , …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

대부분의 사람들에게 그래프 채색 문제는 이미 충분히 어렵다 . 그럼에도 불구하고 저는 난이도가 높아야하고 하이퍼 그래프 색상에 대한 문제를 묻습니다. 질문. k- 균일 한 하이퍼 그래프에 대해 거의 최적의 가장자리 채색을 찾기 위해 어떤 효율적인 알고리즘이 있습니까? 세부 사항 --- k- 균일 하이퍼 그래프는 각 모서리에 정확히 k 개의 정점이 …

12 co.combinatorics  hypergraphs  graph-colouring 

유한 한 구조로 하자 . 1 차 이론 T : = T H ( A ) 는 q r ( φ ) &gt; q를 갖는 모든 φ ∈ T 에 대해 φ ′ ∈ T 가 있도록 q ∈ N 이 있다는 의미에서 수량 자 순위를 제한했습니다 와 Q의 R …

11 co.combinatorics  lo.logic  relational-structures 

법선 벡터 의해 결정된 일련의 초평면이 주어지면 , 그 셀 유형 (또는 부호 벡터)은 모든 벡터 입니다. 벡터 존재 되도록 과 모두 보유 . 여기서 은 내부 곱을 나타내고 부호 ( x ) 는 0이 아닌 실수 x 의 부호 ( + 또는 - )를 나타냅니다 .h1, … , h미디엄∈ …

11 co.combinatorics  cg.comp-geom  computational-geometry  metric-spaces 

MO 에서 크로스 포스트 . 는 유한 한 수의 금지 된 유도 된 그래프에 의해 정의 된 그래프 클래스라고 하자 .씨씨C Clique 및 Clique cover 이외의 대해 다항식 시간으로 해결할 수있는 NP-hard 그래프 문제가 있습니까?씨씨C 올바르게 기억하면 독립적 인 세트 ( 아닌 경우)가 불가능합니다 .피= N피피=엔피P=NP graphclasses.org에서 검색 한 결과가 …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics