diff options
| author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2022-12-18 15:32:16 +0100 |
|---|---|---|
| committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2022-12-18 15:32:16 +0100 |
| commit | b633af0e1134289942d322b74a0b77d55bf6f882 (patch) | |
| tree | 684692e57b7f2d7466a54206f054dadf2d7d79ae | |
| parent | 465f95de2891eef5f6bd63e646d74adaf9fe9b09 (diff) | |
Reword
| -rw-r--r-- | presentation/presentation.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/presentation/presentation.md b/presentation/presentation.md index 9652d3d..e2898d4 100644 --- a/presentation/presentation.md +++ b/presentation/presentation.md @@ -38,7 +38,7 @@ second-order variables. **Given**: a tree T. -**Questions**: is a given $k$-tuple of subsets of $T$'s vertices $\vec{W}$, a +**Questions**: is $\vec{W}$, a $k$-tuple of subsets of $T$'s vertices, a satisfying assignment to $\vec{X}$? I.e., does $T \models \varphi(\vec{W})$. Note: first-order variables are supported by restricting input sets to |