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

Combinatorial properties of infinite sets. This is a corner-point of set theory and combinatorics.

4 votes
Accepted

Is there an uncountable extension of the Ramsey set $[\omega]^2$?

Yes. Just take $\mathcal{A}$ to be $[\omega]^2$ together with the powerset of the even integers.
Tony Huynh's user avatar
  • 32.1k
4 votes

Is it possible to define a graph that has two vertices that are infinitely far apart?

I think this is actually a pretty interesting question, so I'm not sure why it has been voted down. Let me briefly expand on Qiaochu's comment. Suppose I ask the related question: Does the notion o …
The Amplitwist's user avatar
4 votes
Accepted

$k$-regular linear set systems

I think they exist for all $k \geq 2$. Here is a proof. Fix an enumeration of $[\omega]^2$. For the first step in the process add an arbitrary $k$-set $q_1=q(p_1)$ containing the first pair $p_1$ of …
Wlod AA's user avatar
  • 4,786
2 votes

Coloring infinite graph made out of copies of a finite graph

Here is how to reduce the problem to a finite colouring problem. Let $G'=G_0 \cup \dots \cup G_K$. For each $t \in \mathbb{N}$, the $tG'$ be the subgraph of $G^\infty$ consisting of $t$ consecutive co …
Tony Huynh's user avatar
  • 32.1k
5 votes
Accepted

Clutters with no maximum-size matchings

Yes, this is possible. For each prime $p$ and $c \in \{0,1, \dots, p-1\}$ let $A_{c,p}=\{c+kp \mid k \in \mathbb{Z}\}$. Clearly, the set of all $A_{c,p}$ is a clutter $\mathcal C$ with ground set $\ …
Tony Huynh's user avatar
  • 32.1k
8 votes

The Sudoku game: Solver-Spoiler variation

For all $n \geq 2$, here is a simple winning strategy for Spoiler on the $n^2 \times n^2$ board, that requires at most $n^2-1$ moves to win. I assume that Solver plays first, but the strategy can eas …
Tony Huynh's user avatar
  • 32.1k
3 votes
Accepted

Coloring hypergraphs with no singleton intersections

To answer Jon Noel's question in the comments, there is no such example for finite hypergraphs. Claim. Let $H=(V,E)$ be a finite hypergraph such that $|e| > 1$ for all $e \in E$ and for all distinc …
Tony Huynh's user avatar
  • 32.1k
5 votes
Accepted

"Strongly" almost disjoint subsets

No. For each element $x \in \kappa$, let $g(x)$ be the set of elements in $\frak{E}$ that contain $x$. By assumption, for all $x \in \kappa$, we have $|g(x)| \leq \kappa$. We may clearly assume $\e …
Community's user avatar
  • 1
4 votes
Accepted

Stable marriages for infinite bipartite graphs

Your formal version does not look correct. For each boy $b$, there should be a total order $\leq_b$ on the set of girls $G$ (this is the preference order for $b$) and for each girl $g$, there should …
Tony Huynh's user avatar
  • 32.1k
5 votes

Maximum matchings in infinite graphs

No, this is not possible. Here is an elaboration of Eric Wofsey's comment. Suppose it is possible and let $M$ be a maximal (under inclusion) matching of $G$ (this exists by Zorn's lemma). Then $| …
Tony Huynh's user avatar
  • 32.1k