<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\documentclass[11pt]{article}
\usepackage[margin=1in]{geometry}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{mathtools}
\usepackage[T1]{fontenc} % Fix ASCII symbols in text mode
\usepackage[utf8]{inputenc} % Allow unicode characters
\usepackage{enumitem} % Alphabetic enumeration

\DeclarePairedDelimiter{\ceil}{\lceil}{\rceil}
\DeclarePairedDelimiter{\floor}{\lfloor}{\rfloor}

% Symbol shortcuts
\newcommand{\calP}{\mathcal{P}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Exp}{\mathbb{E}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\sign}{\mathrm{sign\ }}
\newcommand{\abs}{\mathrm{abs\ }}
\newcommand{\eps}{\varepsilon}
\newcommand{\zo}{\{0, 1\}}
\newcommand{\SAT}{\mathit{SAT}}
\renewcommand{\P}{\mathbf{P}}
\newcommand{\NP}{\mathbf{NP}}
\newcommand{\coNP}{\co{NP}}
\newcommand{\co}[1]{\mathbf{co#1}}
\renewcommand{\Pr}{\mathop{\mathrm{Pr}}}

% Each question takes a fixed amount of space
\newenvironment{question}[1]{
\vspace{1em}
\begin{minipage}[t][5in][t]{\textwidth}
\textbf{Question #1:}}
{\end{minipage}}

\begin{document}

% Disable paragraph indentation
\setlength{\parindent}{0em}

\section*{Written Assignment 7}

\begin{question}{1}
Solve book problem 8.2 parts (a) and (b).
\end{question}

\begin{question}{2}
From book problem 8.3, use structural induction to prove that if a binary string is a hedgehog, it has equal numbers of 0s and 1s.\\
\textbf{Note:} I won't require you to prove the ``if and only if'' in the other direction.
\end{question}

\begin{question}{3}
Solve book problem 8.4.
\end{question}

\end{document}
</pre></body></html>