hw13-group: +tempalte

2021/solution/hw13-group-solution/README.md

@@ -0,0 +1 @@
+# README.md

2021/solution/hw13-group-solution/hw-preamble.tex

@@ -0,0 +1,198 @@
+% hw-preamble.tex
+
+% geometry for A4 paper
+% See https://tex.stackexchange.com/a/119912/23098
+\geometry{
+  left=20.0mm,
+  top=20.0mm,
+  bottom=20.0mm,
+  textwidth=130mm, % main text block
+  marginparsep=5.0mm, % gutter between main text block and margin notes
+  marginparwidth=50.0mm % width of margin notes
+}
+
+% for colors
+\usepackage{xcolor} % usage: \color{red}{text}
+% predefined colors
+\newcommand{\red}[1]{\textcolor{red}{#1}} % usage: \red{text}
+\newcommand{\blue}[1]{\textcolor{blue}{#1}}
+\newcommand{\teal}[1]{\textcolor{teal}{#1}}
+
+\usepackage{todonotes}
+
+% heading
+\usepackage{sectsty}
+\setcounter{secnumdepth}{2}
+\allsectionsfont{\centering\huge\rmfamily}
+
+% for Chinese
+\usepackage{xeCJK}
+\usepackage{zhnumber}
+\setCJKmainfont[BoldFont=FandolSong-Bold.otf]{FandolSong-Regular.otf}
+
+% for fonts
+\usepackage{fontspec}
+\newcommand{\song}{\CJKfamily{song}}
+\newcommand{\kai}{\CJKfamily{kai}}
+
+% To fix the ``MakeTextLowerCase'' bug:
+% See https://github.com/Tufte-LaTeX/tufte-latex/issues/64#issuecomment-78572017
+% Set up the spacing using fontspec features
+\renewcommand\allcapsspacing[1]{{\addfontfeature{LetterSpace=15}#1}}
+\renewcommand\smallcapsspacing[1]{{\addfontfeature{LetterSpace=10}#1}}
+
+% for url
+\usepackage{hyperref}
+\hypersetup{colorlinks = true,
+  linkcolor = teal,
+  urlcolor  = teal,
+  citecolor = blue,
+  anchorcolor = blue}
+
+\newcommand{\me}[4]{
+    \author{
+      {\bfseries 姓名：}\underline{#1}\hspace{2em}
+      {\bfseries 学号：}\underline{#2}\hspace{2em}\\[10pt]
+      {\bfseries 评分：}\underline{#3\hspace{3em}}\hspace{2em}
+      {\bfseries 评阅：}\underline{#4\hspace{3em}}
+  }
+}
+
+% Please ALWAYS Keep This.
+\newcommand{\noplagiarism}{
+  \begin{center}
+    \fbox{\begin{tabular}{@{}c@{}}
+      请独立完成作业，不得抄袭。\\
+      若得到他人帮助, 请致谢。\\
+      若参考了其它资料，请给出引用。\\
+      鼓励讨论，但需独立书写解题过程。
+    \end{tabular}}
+  \end{center}
+}
+
+% \newcommand{\goal}[1]{
+%   \begin{center}{\fcolorbox{blue}{yellow!60}{\parbox{0.50\textwidth}{\large
+%     \begin{itemize}
+%       \item 体会``思维的乐趣''
+%       \item 初步了解递归与数学归纳法
+%       \item 初步接触算法概念与问题下界概念
+%     \end{itemize}}}}
+%   \end{center}
+% }
+
+% Each hw consists of four parts:
+\newcommand{\beginrequired}{\hspace{5em}\section{作业 (必做部分)}}
+\newcommand{\beginoptional}{\section{作业 (选做部分)}}
+\newcommand{\beginot}{\section{Open Topics}}
+\newcommand{\begincorrection}{\section{订正}}
+\newcommand{\beginfb}{\section{反馈}}
+
+% for math
+\usepackage{amsmath, mathtools, amsfonts, amssymb}
+\newcommand{\set}[1]{\{#1\}}
+\newcommand{\ps}[1]{\mathcal{P}(#1)}
+
+% define theorem-like environments
+\usepackage[amsmath, thmmarks]{ntheorem}
+
+\theoremstyle{break}
+\theorempreskip{2.0\topsep}
+\theorembodyfont{\song}
+\theoremseparator{}
+\newtheorem{problem}{题目}[subsection]
+\renewcommand{\theproblem}{\arabic{problem}}
+\newtheorem{definition}{定义}[subsection]
+\renewcommand{\thedefinition}{\arabic{definition}}
+\newtheorem{theorem}{定理}[subsection]
+\renewcommand{\thetheorem}{\arabic{theorem}}
+\newtheorem{ot}{Open Topics}
+
+\theorempreskip{3.0\topsep}
+\theoremheaderfont{\kai\bfseries}
+\theoremseparator{：}
+\theorempostwork{\bigskip\hrule}
+\newtheorem*{solution}{解答}
+\theorempostwork{\bigskip\hrule}
+\newtheorem*{revision}{订正}
+
+\theoremstyle{plain}
+\newtheorem*{cause}{错因分析}
+\newtheorem*{remark}{注}
+
+\theoremstyle{break}
+\theorempostwork{\bigskip\hrule}
+\theoremsymbol{\ensuremath{\Box}}
+\newtheorem*{proof}{证明}
+
+% \newcommand{\ot}{\blue{\bf [OT]}}
+
+% for figs
+\renewcommand\figurename{图}
+\renewcommand\tablename{表}
+
+% for fig without caption: #1: width/size; #2: fig file
+\newcommand{\fig}[2]{
+  \begin{figure}[htbp]
+    \centering
+    \includegraphics[#1]{#2}
+  \end{figure}
+}
+% for fig with caption: #1: width/size; #2: fig file; #3: caption
+\newcommand{\figcap}[3]{
+  \begin{figure}[htbp]
+    \centering
+    \includegraphics[#1]{#2}
+    \caption{#3}
+  \end{figure}
+}
+% for fig with both caption and label: #1: width/size; #2: fig file; #3: caption; #4: label
+\newcommand{\figcaplbl}[4]{
+  \begin{figure}[htbp]
+    \centering
+    \includegraphics[#1]{#2}
+    \caption{#3}
+    \label{#4}
+  \end{figure}
+}
+% for margin fig without caption: #1: width/size; #2: fig file
+\newcommand{\mfig}[2]{
+  \begin{marginfigure}
+    \centering
+    \includegraphics[#1]{#2}
+  \end{marginfigure}
+}
+% for margin fig with caption: #1: width/size; #2: fig file; #3: caption
+\newcommand{\mfigcap}[3]{
+  \begin{marginfigure}
+    \centering
+    \includegraphics[#1]{#2}
+    \caption{#3}
+  \end{marginfigure}
+}
+
+\usepackage{fancyvrb}
+
+% for algorithms
+\usepackage[]{algorithm}
+\usepackage[]{algpseudocode} % noend
+% See [Adjust the indentation whithin the algorithmicx-package when a line is broken](https://tex.stackexchange.com/a/68540/23098)
+\newcommand{\algparbox}[1]{\parbox[t]{\dimexpr\linewidth-\algorithmicindent}{#1\strut}}
+\newcommand{\hStatex}[0]{\vspace{5pt}}
+\makeatletter
+\newlength{\trianglerightwidth}
+\settowidth{\trianglerightwidth}{$\triangleright$~}
+\algnewcommand{\LineComment}[1]{\Statex \hskip\ALG@thistlm \(\triangleright\) #1}
+\algnewcommand{\LineCommentCont}[1]{\Statex \hskip\ALG@thistlm%
+  \parbox[t]{\dimexpr\linewidth-\ALG@thistlm}{\hangindent=\trianglerightwidth \hangafter=1 \strut$\triangleright$ #1\strut}}
+\makeatother
+
+% for footnote/marginnote
+% see https://tex.stackexchange.com/a/133265/23098
+\usepackage{tikz}
+\newcommand{\circled}[1]{%
+  \tikz[baseline=(char.base)]
+  \node [draw, circle, inner sep = 0.5pt, font = \tiny, minimum size = 8pt] (char) {#1};
+}
+\renewcommand\thefootnote{\protect\circled{\arabic{footnote}}}
+
+\newcommand{\score}[1]{{\bf [#1 分]}}

2021/solution/hw13-group-solution/hw13-group-solution.tex

@@ -0,0 +1,125 @@
+% hw13-group-solution.tex
+
+% !TEX program = xelatex
+%%%%%%%%%%%%%%%%%%%%
+% see http://mirrors.concertpass.com/tex-archive/macros/latex/contrib/tufte-latex/sample-handout.pdf
+% for how to use tufte-handout
+\documentclass[a4paper, justified]{tufte-handout}
+
+\input{hw-preamble} % feel free to modify this file if you understand LaTeX well
+%%%%%%%%%%%%%%%%%%%%
+\title{13. 群论: 基本概念 (13-group)}
+\me{魏恒峰}{hfwei@nju.edu.cn}{}{}
+\date{2021年06月04日 发布作业 \\ 2021年06月23日 发布答案}
+%%%%%%%%%%%%%%%%%%%%
+\begin{document}
+\maketitle
+%%%%%%%%%%%%%%%%%%%%
+\noplagiarism % PLEASE DON'T DELETE THIS LINE!
+%%%%%%%%%%%%%%%%%%%%
+\begin{abstract}
+  % \mfigcap{width = 0.85\textwidth}{figs/George-Boole}{George Boole}
+  % \begin{center}{\fcolorbox{blue}{yellow!60}{\parbox{0.65\textwidth}{\large
+  %   \begin{itemize}
+  %     \item
+  %   \end{itemize}}}}
+  % \end{center}
+\end{abstract}
+%%%%%%%%%%%%%%%%%%%%
+\beginrequired
+%%%%%%%%%%%%%%%
+
+%%%%%%%%%%%%%%%
+\begin{problem}[\score{4} $\star\star$]
+  请给出以下网络的一个最大流与一个最小割。
+  要求给出 Ford-Fulkerson Method 运行过程。
+  \fig{width = 0.50\textwidth}{figs/network-flow}
+\end{problem}
+
+\begin{proof}
+\end{proof}
+%%%%%%%%%%%%%%%
+
+%%%%%%%%%%%%%%%
+\begin{problem}[\score{5 = 1 + 1 + 3} $\star\star\star\star$]
+  考虑下面的定理:
+  \begin{theorem}[不能告诉你名字的某个著名定理]
+    设 $G = (V, E)$ 是无向连通图, $v, w \in V$ 是不同的两个顶点。
+    则 $v$, $w$ 之间的边不相交的 (edge-disjoint)~\footnote{
+      设 $P_{1}$, $P_{2}$ 是两条$v$、$w$间的路径。
+      如果 $P_{1}$ 与 $P_{2}$ 没有公共边,
+      则 $P_{1}$、$P_{2}$ 是 $v$, $w$ 之间的边不相交的路径。
+    } 路径的最大条数
+    等于最小$vw$-边割集~\footnote{
+      设 $F \subseteq E$ 为集。
+      如果 $G$ 删除 $F$ 后, $v$ 与 $w$ 不再连通,
+      则称 $F$ 是 $vw$-边割集。
+    }的大小。
+  \end{theorem}
+
+  \fig{width = 0.50\textwidth}{figs/edge-disjoint}
+
+  \begin{enumerate}[(1)]
+    \item 考虑图中的 $v$, $w$ 顶点。
+      请给出 $v$、$w$ 间的一个最大边不相交的路径集合。
+    \item 考虑图中的 $v$, $w$ 顶点。
+      请给出一个最小的 $vw$-边割集。
+    \item 请使用最大流-最小割定理证明上述定理~\footnote{恭喜!你刚刚证明了图论中的一个著名定理。}。
+  \end{enumerate}
+\end{problem}
+
+\begin{proof}
+\end{proof}
+%%%%%%%%%%%%%%%
+
+%%%%%%%%%%%%%%%
+\begin{problem}[\score{3} $\star\star$]
+  在整数集 $\mathbb{Z}$ 中, 规定运算 $\oplus$ 如下:
+  \[
+    \forall a, b \in \mathbb{Z}, a \oplus b = a + b - 2.
+  \]
+  请证明: $(\mathbb{Z}, \oplus)$ 构成群。
+\end{problem}
+
+\begin{proof}
+\end{proof}
+%%%%%%%%%%%%%%%
+
+%%%%%%%%%%%%%%%
+\begin{problem}[\score{5} $\star\star\star$]
+  设 $G$ 是群。
+  请证明: 如果 $\forall x \in G.\; x^2 = e$,
+  则 $G$ 是交换群。
+\end{problem}
+
+\begin{proof}
+\end{proof}
+%%%%%%%%%%%%%%%
+
+%%%%%%%%%%%%%%%
+\begin{problem}[\score{3} $\star\star$]
+  请求出 $3^{83}$ 的最后两位数~\footnote{\url{https://www.wolframalpha.com/input/?i=3\%5E83}}。要求给出计算过程。
+\end{problem}
+
+\begin{proof}
+\end{proof}
+%%%%%%%%%%%%%%%
+
+%%%%%%%%%%%%%%%%%%%%
+% 如果没有需要订正的题目，可以把这部分删掉
+\begincorrection
+%%%%%%%%%%%%%%%%%%%%
+
+%%%%%%%%%%%%%%%%%%%%
+% 如果没有反馈，可以把这部分删掉
+\beginfb
+
+你可以写 (也可以发邮件或者使用``教学立方'')
+\begin{itemize}
+  \item 对课程及教师的建议与意见
+  \item 教材中不理解的内容
+  \item 希望深入了解的内容
+  \item $\cdots$
+\end{itemize}
+%%%%%%%%%%%%%%%%%%%%
+\end{document}