[知識] Non-deterministic Algorithm

Def: 
這類演算法在做任何事時，該演算法的下一步可能會有無限多件事可以選擇。 (Permitting more than one choice of next move at some step in a computation) 

1.演算法中每一個步驟的運算無法被唯一定義。

2.能夠執行非決定性演算法的機器，稱為非決定性的機器 (Non-deterministic Machine)。
  2-1 由於非決定性演算法在執行時，每一步可能有無限多件事要處理，故非決定性計算機器需假設有無限多個處理器可平行處理。因此，非決定性計算機器的計算能力比決定性計算機器要強大。
  2-2 但是，實際上並不存在此種機器。

Non-deterministic Algorithm的執行步驟分成兩個階段：
1.猜測階段(Guess)
  由於沒有一個既定的程序來從事此階段的猜測工作，因此本階段是Non-deterministic
  對於本階段，我們只知道一件事：
  1-1 如果一個問題有正確解的話，此階段一定可以將這個正確解給猜出來；反之，若該問題沒有正確解的話，則此階段就會隨便給解答。
  1-2 至於猜測階段是怎麼將這個解答給找出來的，我們無從得知(不論所給的解是否為正確解) 。

2.驗証階段(Verification)
  將上一階段所猜出來的結果加以驗証是否為真 (True)

[旅遊] 319新竹一日蓋章行心得

1. 導航有時還是必要的。雖然地圖上路名大多有標示，不過在寶山的時候，路名跟地圖標示的不一樣，所以多走了一些冤枉路。而且有時候太小的路名也不會標示，遊憩是在山區時候。或是說比例尺太大，地圖沒有標示所有的部分，或是太小而沒有標示小路名，例如在湖口的部分。所以紙本地圖還是有缺點。而且雖然在市區都有標記的很清楚不過，地圖的印刷太雜亂有時候不容易找到路名，像是在新竹市區的時候。

2.在新竹市區看到很多鴿子跟SNG車，回來才發現是因為邱毅所發起的反霸凌示威遊行。

3.在台3線的時候，一路上好多重型機車，其中也有女騎士，不過是少數。在第一間小七，對面是一間萊爾富，停的都是重型機車，這邊小七只有自行車，可能是因為對面停車空間比較大的關係吧。

4.內灣不會很遠，下次可以去看看。

5.原來新湖口指的是湖口車站或是市中心的意思。

6.在新豐鄉蓋章的時候遇到一個怪人，雖然看起來不骯髒，不果衣服都破了，感覺就像是無業遊民。他看到我在蓋章，就過來想要分享心得，雖然我是沒看到他的印章簿，不過感覺他好像真的有在收集的樣子，連台鐵的100章都知道。不知道他怎麼收集的，看起來就不像是有錢的樣子。有些字也不太會寫的感覺，有時候一直重複剛剛講的話。感覺就是一個怪怪的人。

7.除了重機外，一路也發現許多自行車騎士，腿都好壯，我想除非我友好自行車，否則要我這樣騎，我應該騎不遠，雖然我很喜歡騎車到處跑的感覺。可是要我單靠腳力，感覺還是太累了。

8.這次除了319章以外，其他的紀念章蓋的不多，雖然到了竹東的旅遊服務中心，不過那裏一個紀念章也沒有。只有在北埔的文化紀念館蓋了一些以前的古蹟章。因為這個館感覺就很無聊，那裏的工作人員也閒到不知道是在玩遊戲還是只是聽音樂，反正就感覺很爽的樣子，雖然說假日還要上班。

9.湖口往新埔因為沒有直接的道路，可能是因為新埔柿在山中間的平地的關係，所以需要越過山，偏偏道路標示的又不清楚。害我走錯路，雖然是最後還是到了，不過要是沒有手錶上的指南針，我看我八成會走很多冤枉路。不過令人意外的是，雖然新埔的外圍區都是山，大部分都是種茶葉的，不過在市中心感覺還挺熱鬧的，有許多連鎖的商店，那裏的中學生打扮也挺潮流的，有點令人意外。我一開始也很懷疑，這麼山區且有沒有多少觀光資源的地方真的會有小七嗎，沒想到真的有，還有兩間。也幸好有，不然我真的會很失望。不知道為什麼這個地方會有這麼多消費族群可以撐得起這麼多店家。總而言之，新埔跟湖口不應該放在一起蓋，因為這兩個鄉鎮沒有直接連市中心的幹道，應該把新埔鎮放第一位，湖口放最後才對。真是失策，不過因為一開始來不及規畫路線就直接走，所以會發生這樣的情況也是不意外。

蓋章路線
關西 -> 橫山 -> 竹東 -> 北埔 -> 寶山 -> 東區 -> 香山區 -> 北區 -> 竹北 -> 新豐 -> 湖口 -> 新埔

尖石、五峰、峨嵋因為沒有小七而且找店家有點麻煩，所以等下次非假日直接到市公所蓋章好了。