diff --git a/main/2048prove.tex b/main/2048prove.tex index 37a6038..92976b8 100644 --- a/main/2048prove.tex +++ b/main/2048prove.tex @@ -50,5 +50,5 @@ p=2^{64} \cdot \sum_{m=0}^{15} I(B_m \neq 0) \cdot 2^{B_m} + \sum_{m=0}^{15} (1 通过这种转移关系我们可以认定，不存在向前转移的情况，因此，与圣彼得堡悖论类似，2048游戏的n步转移的$Q_π^{n}$矩阵是一个上三角矩阵。 因此根据本文的编码2048游戏的状态转移过程一直是满足从小的下标转移到大的下标上这一情况。 -实际上任何不会向之前状态转移的过程都满足这个条件。在本文设计的状态转移下，状态对应下标只增不减，$q_ij>0$在$j-i>0$的条件下， +实际上任何不会向之前状态转移的过程都满足这个条件。在本文设计的状态转移下，状态对应下标只增不减，$q_{ij}>0$在$j-i>0$的条件下， $j≤i$位置$q_{ij}$都是0，其中，i，j都是正整数。根据定理3.3，可以得到2048游戏的非终结状态之间的转移过程是非遍历的。 \ No newline at end of file diff --git a/pic/maze19_19.tex b/pic/maze19_19.tex new file mode 100644 index 0000000..9bdab96 --- /dev/null +++ b/pic/maze19_19.tex @@ -0,0 +1,401 @@ +\resizebox{10cm}{10cm}{ + \begin{tikzpicture}[block/.style={draw,fill=blue!70,rectangle,minimum width=1cm,,minimum height=1cm,font=\fontsize{25}{144}\bf\selectfont},] + + % \node (p1) at(0,-2) {\includegraphics[height=3.0cm,width=3cm]{pic/exp/2048-exp-1.png}}; + + % \node (p2) at(4,-4) {\includegraphics[height=3.0cm,width=3cm]{pic/exp/2048-exp-1.png}}; + + % \node (p3) at(-10,16) {\includegraphics[height=3.0cm,width=3cm]{pic/exp/2048-exp-1.png}}; + + %\draw (-1cm,-1cm) rectangle (34cm,20cm); + \draw[->](19,17) -- (19.5, 17) + \draw[->](-1.5,0) -- (-1, 0) + \begin{scope} + + \begin{scope}[shift={(0,0)}] + \node at (0cm,0) [block,fill=white]{}; + \node at (1cm,0) [block,fill=white]{}; + \node at (2cm,0) [block,fill=black]{}; + \node at (3cm,0) [block,fill=black]{}; + \node at (4cm,0) [block,fill=black]{}; + \node at (5cm,0) [block,fill=black]{}; + \node at (6cm,0) [block,fill=black]{}; + \node at (7cm,0) [block,fill=black]{}; + \node at (8cm,0) [block,fill=black]{}; + \node at (9cm,0) [block,fill=black]{}; + \node at (10cm,0) [block,fill=black]{}; + \node at (11cm,0) [block,fill=black]{}; + \node at (12cm,0) [block,fill=black]{}; + \node at (13cm,0) [block,fill=black]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=black]{}; + \node at (16cm,0) [block,fill=black]{}; + \node at (17cm,0) [block,fill=black]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,1)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=white]{}; + \node at (2cm,0) [block,fill=white]{}; + \node at (3cm,0) [block,fill=white]{}; + \node at (4cm,0) [block,fill=black]{}; + \node at (5cm,0) [block,fill=white]{}; + \node at (6cm,0) [block,fill=white]{}; + \node at (7cm,0) [block,fill=white]{}; + \node at (8cm,0) [block,fill=white]{}; + \node at (9cm,0) [block,fill=white]{}; + \node at (10cm,0) [block,fill=black]{}; + \node at (11cm,0) [block,fill=white]{}; + \node at (12cm,0) [block,fill=white]{}; + \node at (13cm,0) [block,fill=white]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=white]{}; + \node at (16cm,0) [block,fill=white]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,2)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=black]{}; + \node at (2cm,0) [block,fill=black]{}; + \node at (3cm,0) [block,fill=white]{}; + \node at (4cm,0) [block,fill=black]{}; + \node at (5cm,0) [block,fill=white]{}; + \node at (6cm,0) [block,fill=black]{}; + \node at (7cm,0) [block,fill=black]{}; + \node at (8cm,0) [block,fill=black]{}; + \node at (9cm,0) [block,fill=black]{}; + \node at (10cm,0) [block,fill=black]{}; + \node at (11cm,0) [block,fill=white]{}; + \node at (12cm,0) [block,fill=black]{}; + \node at (13cm,0) [block,fill=white]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=white]{}; + \node at (16cm,0) [block,fill=black]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,3)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=white]{}; + \node at (2cm,0) [block,fill=white]{}; + \node at (3cm,0) [block,fill=white]{}; + \node at (4cm,0) [block,fill=black]{}; + \node at (5cm,0) [block,fill=white]{}; + \node at (6cm,0) [block,fill=white]{}; + \node at (7cm,0) [block,fill=white]{}; + \node at (8cm,0) [block,fill=white]{}; + \node at (9cm,0) [block,fill=white]{}; + \node at (10cm,0) [block,fill=white]{}; + \node at (11cm,0) [block,fill=white]{}; + \node at (12cm,0) [block,fill=black]{}; + \node at (13cm,0) [block,fill=white]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=white]{}; + \node at (16cm,0) [block,fill=black]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,4)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=white]{}; + \node at (2cm,0) [block,fill=black]{}; + \node at (3cm,0) [block,fill=black]{}; + \node at (4cm,0) [block,fill=black]{}; + \node at (5cm,0) [block,fill=black]{}; + \node at (6cm,0) [block,fill=black]{}; + \node at (7cm,0) [block,fill=black]{}; + \node at (8cm,0) [block,fill=black]{}; + \node at (9cm,0) [block,fill=black]{}; + \node at (10cm,0) [block,fill=black]{}; + \node at (11cm,0) [block,fill=black]{}; + \node at (12cm,0) [block,fill=black]{}; + \node at (13cm,0) [block,fill=white]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=white]{}; + \node at (16cm,0) [block,fill=black]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,5)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=white]{}; + \node at (2cm,0) [block,fill=white]{}; + \node at (3cm,0) [block,fill=white]{}; + \node at (4cm,0) [block,fill=black]{}; + \node at (5cm,0) [block,fill=white]{}; + \node at (6cm,0) [block,fill=white]{}; + \node at (7cm,0) [block,fill=white]{}; + \node at (8cm,0) [block,fill=white]{}; + \node at (9cm,0) [block,fill=white]{}; + \node at (10cm,0) [block,fill=white]{}; + \node at (11cm,0) [block,fill=white]{}; + \node at (12cm,0) [block,fill=white]{}; + \node at (13cm,0) [block,fill=white]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=white]{}; + \node at (16cm,0) [block,fill=black]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,6)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=black]{}; + \node at (2cm,0) [block,fill=black]{}; + \node at (3cm,0) [block,fill=white]{}; + \node at (4cm,0) [block,fill=black]{}; + \node at (5cm,0) [block,fill=white]{}; + \node at (6cm,0) [block,fill=black]{}; + \node at (7cm,0) [block,fill=white]{}; + \node at (8cm,0) [block,fill=black]{}; + \node at (9cm,0) [block,fill=black]{}; + \node at (10cm,0) [block,fill=black]{}; + \node at (11cm,0) [block,fill=black]{}; + \node at (12cm,0) [block,fill=black]{}; + \node at (13cm,0) [block,fill=white]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=black]{}; + \node at (16cm,0) [block,fill=black]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,7)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=white]{}; + \node at (2cm,0) [block,fill=white]{}; + \node at (3cm,0) [block,fill=white]{}; + \node at (4cm,0) [block,fill=black]{}; + \node at (5cm,0) [block,fill=white]{}; + \node at (6cm,0) [block,fill=black]{}; + \node at (7cm,0) [block,fill=white]{}; + \node at (8cm,0) [block,fill=black]{}; + \node at (9cm,0) [block,fill=white]{}; + \node at (10cm,0) [block,fill=white]{}; + \node at (11cm,0) [block,fill=white]{}; + \node at (12cm,0) [block,fill=black]{}; + \node at (13cm,0) [block,fill=white]{}; + \node at (14cm,0) [block,fill=white]{}; + \node at (15cm,0) [block,fill=white]{}; + \node at (16cm,0) [block,fill=black]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,8)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=white]{}; + \node at (2cm,0) [block,fill=black]{}; + \node at (3cm,0) [block,fill=black]{}; + \node at (4cm,0) [block,fill=black]{}; + \node at (5cm,0) [block,fill=black]{}; + \node at (6cm,0) [block,fill=black]{}; + \node at (7cm,0) [block,fill=white]{}; + \node at (8cm,0) [block,fill=black]{}; + \node at (9cm,0) [block,fill=white]{}; + \node at (10cm,0) [block,fill=black]{}; + \node at (11cm,0) [block,fill=black]{}; + \node at (12cm,0) [block,fill=black]{}; + \node at (13cm,0) [block,fill=black]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=white]{}; + \node at (16cm,0) [block,fill=black]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,9)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=white]{}; + \node at (2cm,0) [block,fill=white]{}; + \node at (3cm,0) [block,fill=white]{}; + \node at (4cm,0) [block,fill=white]{}; + \node at (5cm,0) [block,fill=white]{}; + \node at (6cm,0) [block,fill=white]{}; + \node at (7cm,0) [block,fill=white]{}; + \node at (8cm,0) [block,fill=black]{}; + \node at (9cm,0) [block,fill=white]{}; + \node at (10cm,0) [block,fill=white]{}; + \node at (11cm,0) [block,fill=white]{}; + \node at (12cm,0) [block,fill=white]{}; + \node at (13cm,0) [block,fill=white]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=white]{}; + \node at (16cm,0) [block,fill=white]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,10)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=black]{}; + \node at (2cm,0) [block,fill=black]{}; + \node at (3cm,0) [block,fill=black]{}; + \node at (4cm,0) [block,fill=black]{}; + \node at (5cm,0) [block,fill=black]{}; + \node at (6cm,0) [block,fill=black]{}; + \node at (7cm,0) [block,fill=black]{}; + \node at (8cm,0) [block,fill=black]{}; + \node at (9cm,0) [block,fill=white]{}; + \node at (10cm,0) [block,fill=black]{}; + \node at (11cm,0) [block,fill=black]{}; + \node at (12cm,0) [block,fill=black]{}; + \node at (13cm,0) [block,fill=white]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=black]{}; + \node at (16cm,0) [block,fill=black]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,11)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=white]{}; + \node at (2cm,0) [block,fill=white]{}; + \node at (3cm,0) [block,fill=white]{}; + \node at (4cm,0) [block,fill=white]{}; + \node at (5cm,0) [block,fill=white]{}; + \node at (6cm,0) [block,fill=white]{}; + \node at (7cm,0) [block,fill=white]{}; + \node at (8cm,0) [block,fill=black]{}; + \node at (9cm,0) [block,fill=white]{}; + \node at (10cm,0) [block,fill=black]{}; + \node at (11cm,0) [block,fill=white]{}; + \node at (12cm,0) [block,fill=black]{}; + \node at (13cm,0) [block,fill=white]{}; + \node at (14cm,0) [block,fill=white]{}; + \node at (15cm,0) [block,fill=white]{}; + \node at (16cm,0) [block,fill=black]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,12)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=white]{}; + \node at (2cm,0) [block,fill=black]{}; + \node at (3cm,0) [block,fill=white]{}; + \node at (4cm,0) [block,fill=black]{}; + \node at (5cm,0) [block,fill=black]{}; + \node at (6cm,0) [block,fill=black]{}; + \node at (7cm,0) [block,fill=white]{}; + \node at (8cm,0) [block,fill=black]{}; + \node at (9cm,0) [block,fill=white]{}; + \node at (10cm,0) [block,fill=black]{}; + \node at (11cm,0) [block,fill=white]{}; + \node at (12cm,0) [block,fill=black]{}; + \node at (13cm,0) [block,fill=white]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=black]{}; + \node at (16cm,0) [block,fill=black]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,13)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=white]{}; + \node at (2cm,0) [block,fill=black]{}; + \node at (3cm,0) [block,fill=white]{}; + \node at (4cm,0) [block,fill=black]{}; + \node at (5cm,0) [block,fill=white]{}; + \node at (6cm,0) [block,fill=white]{}; + \node at (7cm,0) [block,fill=white]{}; + \node at (8cm,0) [block,fill=black]{}; + \node at (9cm,0) [block,fill=white]{}; + \node at (10cm,0) [block,fill=white]{}; + \node at (11cm,0) [block,fill=white]{}; + \node at (12cm,0) [block,fill=black]{}; + \node at (13cm,0) [block,fill=white]{}; + \node at (14cm,0) [block,fill=white]{}; + \node at (15cm,0) [block,fill=white]{}; + \node at (16cm,0) [block,fill=black]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,14)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=white]{}; + \node at (2cm,0) [block,fill=black]{}; + \node at (3cm,0) [block,fill=white]{}; + \node at (4cm,0) [block,fill=black]{}; + \node at (5cm,0) [block,fill=black]{}; + \node at (6cm,0) [block,fill=black]{}; + \node at (7cm,0) [block,fill=black]{}; + \node at (8cm,0) [block,fill=black]{}; + \node at (9cm,0) [block,fill=white]{}; + \node at (10cm,0) [block,fill=black]{}; + \node at (11cm,0) [block,fill=black]{}; + \node at (12cm,0) [block,fill=black]{}; + \node at (13cm,0) [block,fill=black]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=white]{}; + \node at (16cm,0) [block,fill=black]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,15)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=white]{}; + \node at (2cm,0) [block,fill=black]{}; + \node at (3cm,0) [block,fill=white]{}; + \node at (4cm,0) [block,fill=white]{}; + \node at (5cm,0) [block,fill=white]{}; + \node at (6cm,0) [block,fill=white]{}; + \node at (7cm,0) [block,fill=white]{}; + \node at (8cm,0) [block,fill=black]{}; + \node at (9cm,0) [block,fill=white]{}; + \node at (10cm,0) [block,fill=white]{}; + \node at (11cm,0) [block,fill=white]{}; + \node at (12cm,0) [block,fill=white]{}; + \node at (13cm,0) [block,fill=white]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=white]{}; + \node at (16cm,0) [block,fill=white]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,16)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=white]{}; + \node at (2cm,0) [block,fill=black]{}; + \node at (3cm,0) [block,fill=white]{}; + \node at (4cm,0) [block,fill=black]{}; + \node at (5cm,0) [block,fill=black]{}; + \node at (6cm,0) [block,fill=black]{}; + \node at (7cm,0) [block,fill=white]{}; + \node at (8cm,0) [block,fill=black]{}; + \node at (9cm,0) [block,fill=black]{}; + \node at (10cm,0) [block,fill=black]{}; + \node at (11cm,0) [block,fill=black]{}; + \node at (12cm,0) [block,fill=black]{}; + \node at (13cm,0) [block,fill=white]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=white]{}; + \node at (16cm,0) [block,fill=black]{}; + \node at (17cm,0) [block,fill=black]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope}\begin{scope}[shift={(0,17)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=white]{}; + \node at (2cm,0) [block,fill=black]{}; + \node at (3cm,0) [block,fill=white]{}; + \node at (4cm,0) [block,fill=white]{}; + \node at (5cm,0) [block,fill=white]{}; + \node at (6cm,0) [block,fill=black]{}; + \node at (7cm,0) [block,fill=white]{}; + \node at (8cm,0) [block,fill=white]{}; + \node at (9cm,0) [block,fill=white]{}; + \node at (10cm,0) [block,fill=white]{}; + \node at (11cm,0) [block,fill=white]{}; + \node at (12cm,0) [block,fill=white]{}; + \node at (13cm,0) [block,fill=white]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=white]{}; + \node at (16cm,0) [block,fill=white]{}; + \node at (17cm,0) [block,fill=white]{}; + \node at (18cm,0) [block,fill=white]{}; + \end{scope}\begin{scope}[shift={(0,18)}] + \node at (0cm,0) [block,fill=black]{}; + \node at (1cm,0) [block,fill=black]{}; + \node at (2cm,0) [block,fill=black]{}; + \node at (3cm,0) [block,fill=black]{}; + \node at (4cm,0) [block,fill=black]{}; + \node at (5cm,0) [block,fill=black]{}; + \node at (6cm,0) [block,fill=black]{}; + \node at (7cm,0) [block,fill=black]{}; + \node at (8cm,0) [block,fill=black]{}; + \node at (9cm,0) [block,fill=black]{}; + \node at (10cm,0) [block,fill=black]{}; + \node at (11cm,0) [block,fill=black]{}; + \node at (12cm,0) [block,fill=black]{}; + \node at (13cm,0) [block,fill=black]{}; + \node at (14cm,0) [block,fill=black]{}; + \node at (15cm,0) [block,fill=black]{}; + \node at (16cm,0) [block,fill=black]{}; + \node at (17cm,0) [block,fill=black]{}; + \node at (18cm,0) [block,fill=black]{}; + \end{scope} + + Process finished with exit code 0 + + \end{scope} + \end{tikzpicture} +} \ No newline at end of file