Search Results
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 |
Enumerative combinatorics, graph theory, order theory, posets, matroids, designs and other discrete structures. It also includes algebraic, analytic and probabilistic combinatorics.
2
votes
Accepted
Even sign configurations with prescribed support
The answer to both of your questions is yes.
As suggested by the edit, consider the graph $G(A)$ whose vertex set is the set of non-zero entries of $A$, and where two entries are adjacent if they …
2
votes
Accepted
Acyclicity equivalent to unique paths
One possible generalization comes from the graph minors project of Robertson and Seymour. In particular the notion of tree-width is in some sense dual to the notion of a bramble (I will define this i …
3
votes
a Ramsey-type question
Here is a proof of a very weak upper bound for $l(k)$. Consider the colouring of $2^S$ where each set is coloured by its size (mod 1000). A good monochomatic sequence must consist of sets of the sam …
1
vote
Entangled permutations of a multiset
Edit. The answer below is incorrect, but I'll leave it here for others to avoid the same pitfall.
Here is a formula that I would rate $\epsilon$ less than horrible. Let $M=\{1^{a_1},\dots,m^{a_m}\ …
3
votes
Accepted
Recovering set of $k$-subsets without specific element $t$ by modifying subsets with element...
I assume what is meant is whether it is always possible to choose a size $|\mathcal R|$ subcollection $\mathcal U$ of $\mathcal T$ and elements $e_U \notin U$ for each $U \in \mathcal U$ such that $\{ …
5
votes
Accepted
Independent sets of subsets
To address the updated question, a family of subsets of $[n]$ is called $k$-Sperner if it does not contain a chain of length $k+1$. By taking all sets whose size lies in the middle $k$ values of $[n] …
5
votes
Distinguishing finite families of sets by algebras of bounded size
The answer to Question 1 is negative. Let $G=\{\{1, \dots, N+1\}\}$ and $H$ consist of all subsets of $\{1, \dots, N+1\}$ of size $N$. If $K$ is a distinguisher for $G$ and $H$, then for each $i \in …
4
votes
Accepted
The existence of a specific partition of the edge set of $K_{2n}$
No, this is not possible. Towards a contradiction, suppose such a partition $S_1, \dots, S_{2n-1}$ of $E(K_{2n})$ exists. I first claim that each $S_i$ must be a matching. If not, then some vertex $ …
3
votes
Eulerian graphs with prescribed number of edges
The characterization given by Noam Elkies is correct. Indeed, in this paper Bryant, Horsley and Pettersson prove the stronger result that if $n$ is odd, and $m_1, \dots, m_t$ are such that $3 \leq m_ …
5
votes
Accepted
Vectors which average to zero over any graph neighborhood
Note that what you defined is simply the dimension of the nullspace of the adjacency matrix of $G$. This is usually called the nullity $\eta(G)$ of $G$. Apparently, this parameter is significant in …
2
votes
Accepted
Induced matching of cycle
Yes. Let $C_n$ be the cycle on $n$ vertices. The size of a largest induced matching in $C_n$ is exactly $\lfloor \frac{n}{3} \rfloor$, since we can take at most every third edge of $C_n$. On the oth …
8
votes
Accepted
Does this matroid have a name?
Matrices that contain at most two non-zero entries per column are called frame matrices. The matroids representable by frame matrices (over a finite field $\mathbb{F}$) are in fact a fundamental clas …
6
votes
Accepted
Is the Manickam-Miklós-Singhi Conjecture solved?
I am aware of the paper, but I am not sure that MO is the right forum for this sort of question. Nonetheless, let me try to provide some information in as neutral a manner as possible.
Note that t …
3
votes
Accepted
Existence of neighborhood inclusion for 4-chordal graphs
The answer is no. A counterexample is the triangular prism graph. Up to symmetry, there is a unique 5-cycle and a unique 6-cycle in the triangular prism and both these cycles have chords. Hence the …
2
votes
Cubic-exponential enumerative combinatorics
The number $m_n$ of matroids on $n$ elements is an interesting example, since a priori, it is unclear how fast $m_n$ grows. Knuth (1974) showed that $\log \log m_n$ is at least $n- \frac{3}{2} \log n …