Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 2233

A graph $H$ is called a minor of a graph $G$ if $H$ can be obtained from $G$ by contracting edges, deleting edges, and deleting isolated vertices.

5 votes

Let $G$ be a graph of genus $g$. Is the number of (non necessarily disjoint) 5-clique subgra...

Yes, this is true. See my paper Subgraph densities in a surface with Gwenaël Joret and David Wood. We prove that for every $s \geq 5$, the number of $s$-cliques in a graph of Euler genus $g$ is at mo …
Tony Huynh's user avatar
  • 32.1k
11 votes
Accepted

Does every $4$-connected nonplanar graph contain a $K_5$-minor?

Yes, this is true and follows from Wagner's theorem. Wagner's theorem asserts that every graph with no $K_5$ minor can be built from $0$-, $1$-, $2$-, and $3$-sums from planar graphs and a fixed $8$ …
Tony Huynh's user avatar
  • 32.1k
10 votes
Accepted

Menger's theorem with restrictions on where the paths can begin and end

There is no known necessary and sufficient condition like in Menger's theorem. However, there is a polynomial-time algorithm that decides if the paths exist. This is one of the main results of the Gr …
Tony Huynh's user avatar
  • 32.1k
1 vote

Two disjoint trees

This problem was considered by Robertson and Seymour as part of their Graph Minors Project. In fact, they present a polynomial-time algorithm for the following generalization of your problem. Let $k …
Tony Huynh's user avatar
  • 32.1k
3 votes
Accepted

Forbidden minors of a graph with treewidth at most 4

I have a copy of Sander's PhD thesis. Counting $K_6$, there are actually $76$ excluded minors for treewidth at most $4$ (found by computer) in the thesis, but it is unknown if this list is complete ( …
Tony Huynh's user avatar
  • 32.1k
6 votes
Accepted

Does the purported proof of Rota's conjecture provide an algorithm for calculating the forbi...

As far as I understand, the purported proof does not give an algorithm that given a finite field $\mathbb{F}$, computes the excluded minors for $\mathbb{F}$-representability. This is because it relie …
Tony Huynh's user avatar
  • 32.1k
6 votes
Accepted

Effect of removing an edge on Hadwiger number

No, there is no such graph. Suppose $\eta(G)=n$. Let $T_1, \dots, T_n$ be a collection of vertex disjoint trees in $G$ such that for all distinct $i,j \in [n]$, there is an edge $e(ij) \in E(G)$ betw …
Tony Huynh's user avatar
  • 32.1k
22 votes

Does minimal degree $n$ imply a $K_n$ minor

More generally, it is a classic result (independently due to Kostochka and Thomason) that minimum degree $(\alpha+o(1))n \sqrt{\log n}$ suffices to force a $K_n$ minor, where $\alpha$ is an explicit c …
Tony Huynh's user avatar
  • 32.1k
8 votes
Accepted

Disjoint paths between four vertices

The property that you are describing is called $2$-linked. More generally, we say that a graph is $k$-linked if it has at least $2k$ vertices and for all distinct vertices $s_1, \dots s_k, t_1, \dots …
Tony Huynh's user avatar
  • 32.1k
6 votes
Accepted

Does anyone know a specific polynomial-time algorithm to detect if a given signed graph cont...

Yes, in my PhD thesis, we prove the stronger result that for any fixed signed graph $(G, \Sigma)$, there is a polynomial-time algorithm to test if an input signed graph contains a $(G, \Sigma)$-minor. …
Tony Huynh's user avatar
  • 32.1k
4 votes
Accepted

Size of forbidden minors for treewidth

Yes, an upperbound was proved in Upper Bounds on the Size of Obstructions and Intertwines by Lagergren. In case you cannot access the paper, the relevant theorem is Theorem 5.9. If $G$ is an obstruc …
Tony Huynh's user avatar
  • 32.1k
7 votes

Hadwiger number and minimal degree

This is false by classic results of Kostochka and Thomason. Indeed, the claim is false even if you replace 'minimum degree $t$' with '$t$-connected'. That is, if you define $\nu(t)$ to be the smalle …
Tony Huynh's user avatar
  • 32.1k
11 votes
Accepted

Is there a polynomial-time algorithm to check if a signed graph contains an odd-K5 minor?

Yes. This result is contained in my PhD thesis, which is available here (see Theorem 1.1.10). We prove that for any finite abelian group $\Gamma$ and fixed $\Gamma$-labeled graph $H$, there is a pol …
Tony Huynh's user avatar
  • 32.1k
3 votes
Accepted

Asymptotics of list size in Robertson-Seymour theorem

No, it is not linear in the genus; it is at least exponential in $g$. See for example this answer by David Eppstein.
Tony Huynh's user avatar
  • 32.1k
11 votes
Accepted

Is there a version of Robertson-Seymour's graph minor theorem known to apply to signed graphs?

Yes. This is one of the results of the Matroid Minors Project of Geelen, Gerards and Whittle as part of their proof of Rota's Conjecture. In fact, they prove that for any finite abelian group $\Gamm …
Tony Huynh's user avatar
  • 32.1k

15 30 50 per page