現在的時間是 2014-10-23, 06:20

所有顯示的時間為 UTC + 8 小時




發表新文章 回覆主題  [ 11 篇文章 ] 
發表人 內容
 文章主題 : 出題及解題程式
文章發表於 : 2010-04-29, 17:42 
離線

註冊時間: 2010-04-27, 13:17
文章: 28
(一) Sudoku Explainer
http://diuf.unifr.ch/people/juillera/Sudoku/Sudoku.html
Current Version (最新版本) : 1.2.1

可按照出題者想要的題目圖形樣式(pattern)尋找
但需要手動嘗試難度 不容易大量出現出題者指定的解題難度
困難題目幾乎都用暴力環(ForcingChain)以上的等級去解題
題目困難度範圍很廣(1.0~12.0) 有時會找到很有深度的題目(極限題)

註:極限題可以表示(1)需要使用大量的解題方式(2)需要很長的暴力環才能解決的題目

(二) HoDoKu
http://hodoku.sourceforge.net/en/index.php
Current Version (最新版本) : 2.0.1

出題者可為解題技巧進行分數和順序修改 而要求電腦尋找到出題者指定解題技巧的題目
收錄較多的中高等難度的解題技巧
電腦出題皆為180度對稱且幾乎24~32提示格 很難出現需要很長的暴力環才能解決的題目
電腦解題是以難度由小到大開始尋找全部技巧 而不是在相同難度下找到最短路徑
當程式使用暴力環解決不了題目時會使用試誤法-直接輸出答案而無原因


回頂端
 個人資料  
 
 文章主題 : Re: 出題及解題程式
文章發表於 : 2010-04-30, 00:59 
離線
頭像

註冊時間: 2010-04-17, 19:36
文章: 1102
來自: 桃園縣
     
  • 數獨大師 gsf 根據 Nicolas Juillerat 的 SudokuExplainer.jar 1.2.1 版改寫了一個特別版本 1.2.1.3。
  • 這個版本可以解析出三個係數 ER/EP/ED,其個別意義說明如下:
     
    1. ER : Explainer Rating - 難度係數
    2. EP : Explainer Pearl Rating - 珍珠係數
    3. ED : Explainer Diamond Rating - 鑽石係數
       
  • 有需要的網友可以下載,網址是:http://www.research.att.com/~gsf/sudoku/SudokuExplainer.jar
    __________________________________________________________________________________________
     
  • 下載後檔案名稱可能會變成 SudokuExplainer.zip,只要把它改回 SudokuExplainer.jar 即可執行。
 
TTHsieh


回頂端
 個人資料  
 
 文章主題 : Re: 出題及解題程式
文章發表於 : 2010-05-04, 20:22 
離線
頭像

註冊時間: 2010-04-26, 04:08
文章: 322
來自: 台灣 花蓮
eioru 寫:
(一) Sudoku Explainer
http://diuf.unifr.ch/people/juillera/Sudoku/Sudoku.html
Current Version (最新版本) : 1.2.1

可按照出題者想要的題目圖形樣式(pattern)尋找
但需要手動嘗試難度 不容易大量出現出題者指定的解題難度
困難題目幾乎都用暴力環(ForcingChain)以上的等級去解題
題目困難度範圍很廣(1.0~12.0) 有時會找到很有深度的題目(極限題)


我不知道 SE 可以依據 數獨圖案樣式 PATTERN 產生數獨謎題,
可以再稍微說明一下?

_________________
KIWY
-- 快樂玩數獨 --


回頂端
 個人資料  
 
 文章主題 : Re: 出題及解題程式
文章發表於 : 2010-05-04, 21:22 
離線
頭像

註冊時間: 2010-04-18, 19:47
文章: 40
來自: 浙江杭州
估計指的是這個區域的選址,圖案的對稱性
附加檔案:
.jpg
.jpg [ 35.17 KiB | 被瀏覽 6651 次 ]

_________________
数独爱好者 | 数独游戏在线 | 数独技巧 | 数独软件 | 数独比赛


回頂端
 個人資料  
 
 文章主題 : Re: 出題及解題程式
文章發表於 : 2010-12-29, 19:14 
離線

註冊時間: 2010-04-27, 13:17
文章: 28
TTHsieh 寫:
  • 數獨大師 gsf 根據 Nicolas Juillerat 的 SudokuExplainer.jar 1.2.1 版改寫了一個特別版本 1.2.1.3。
  • 這個版本可以解析出三個係數 ER/EP/ED,其個別意義說明如下:
     
    1. ER : Explainer Rating - 難度係數
    2. EP : Explainer Pearl Rating - 珍珠係數
    3. ED : Explainer Diamond Rating - 鑽石係數


想問幾個問題
1.怎樣解析出三個係數 ER/EP/ED (使用問題)

對Sudoku Players' Forum的問題
2.他們製作題目的方法感覺不是用SudokuExplainer預設在命令提示字元(CMD)的製作方式
在PatternGame的過程中 感覺到 相當的快速
3.他們還有一個測出題目難度指標的 目前最高9萬9千多 請問那是怎麼來的
4.他們在"The Hardest Puzzle"整理的難度分項裡 P1,P2,...很多 有什麼區別


回頂端
 個人資料  
 
 文章主題 : Re: 出題及解題程式
文章發表於 : 2010-12-29, 22:08 
離線
頭像

註冊時間: 2010-04-17, 19:36
文章: 1102
來自: 桃園縣
eioru 寫:
怎樣解析出三個係數 ER/EP/ED (使用問題)

  • 按照下列的命令就可以得到 ER/EP/ED 三個係數,其中 Input.txt 是 81 字元串的題目列表,Output.txt 是輸出的結果。
    代碼:
    java -Xrs -Xmx500m -cp SudokuExplainer.jar diuf.sudoku.test.serate -f "%g, %r/%p/%d" -i Input.txt -o Output.txt
  • 若你想將上述命令列寫成 bat 檔,則其命令如下:
    代碼:
    java -Xrs -Xmx500m -cp SudokuExplainer.jar diuf.sudoku.test.serate -f "%%g, %%r/%%p/%%d" -i Input.txt -o Output.txt

TTHsieh


回頂端
 個人資料  
 
 文章主題 : Re: 出題及解題程式
文章發表於 : 2010-12-29, 22:19 
離線
頭像

註冊時間: 2010-04-17, 19:36
文章: 1102
來自: 桃園縣
eioru 寫:
對Sudoku Players' Forum的問題
他們製作題目的方法感覺不是用SudokuExplainer預設在命令提示字元(CMD)的製作方式
在PatternGame的過程中 感覺到 相當的快速

  • 根據我所瞭解的是每一個參加比賽的人都有自己的產生器,若用 SudokuExplainer 去產生題目,則可能還沒得到任何一題時,比賽就已結束了。
  • 不論你的程式有多快,在比賽過程中若沒有人工智慧參與其中,也就是你不能深入瞭解題目產生的方法,而進行程式的操作及不斷地改寫你的程式,則比賽也只會敬陪末座而已。
  • SudokuExplainer 只是比賽時評判的工具而已,拿來當題目產生器則非常不好。

TTHsieh


回頂端
 個人資料  
 
 文章主題 : Re: 出題及解題程式
文章發表於 : 2010-12-30, 10:49 
離線
頭像

註冊時間: 2010-04-26, 04:08
文章: 322
來自: 台灣 花蓮
eioru 寫:
...
對Sudoku Players' Forum的問題
2.他們製作題目的方法感覺不是用SudokuExplainer預設在命令提示字元(CMD)的製作方式
在PatternGame的過程中 感覺到 相當的快速
3.他們還有一個測出題目難度指標的 目前最高9萬9千多 請問那是怎麼來的
4.他們在"The Hardest Puzzle"整理的難度分項裡 P1,P2,...很多 有什麼區別


sudoku by gsf, for q1, q2 & other functions
Eioru 指的應該是 GSF 難易度評定 Q1 Q2
可參考 GSF 手冊
GSF Man 寫:
1 Sudoku Player's Forum hardest puzzle Q1 rating options.
Ratings are steps+iterations plus a weight for
propositions requiring B constraints. Values fall
in the range 1 .. 99999. Much faster than -qhardest,
and may be of similar quality.
-q'{FN}-G' -Z'{FN}P*V(2)||{FN}BP*V(3)'
-B -MFN -R'steps+iterations+B*1000'
2 Sudoku Player's Forum hardest puzzle Q2 rating options.
Similar to Q1 but averages the worst case work of a
candidate degree ordered backtrack solver. Values fall
in the range 1 .. 99999.
-q'{FN}BP*-G' -B -MFN -RP?P9:I0


論壇對難易度評定常用 ER值, 但是也用 其他程式 GSF 程式也是最常見之一
GSF 程式 參數 -qC C可以有多種選擇
>sudoku -q1 -i InPuzzles.txt
>sudoku -q2 -i InPuzzles.txt
>sudoku -qss -i InPuzzles.txt

_________________
KIWY
-- 快樂玩數獨 --


回頂端
 個人資料  
 
 文章主題 : Re: 出題及解題程式
文章發表於 : 2010-12-30, 12:26 
離線
頭像

註冊時間: 2010-04-17, 19:36
文章: 1102
來自: 桃園縣
  • 我大約在 2007 下半年~ 2008 上半年間參加了 Patterns Game 比賽,競賽規則大致是:
    1. 固定題樣
    2. 精簡題
    3. 難度係數以 SE 評估的 ER/EP/ED,提交的題目必須是該比賽尚未出現的係數
    4. 相同 ER 值則 EP/ED 較大者將取代較小者
    5. 其他細節,以不復記憶了。
    6. 該比賽又歷經兩年多的演進,不斷的更改規則,目前的規則可參閱 http://forum.enjoysudoku.com/patterns-game-t6290.html
    7. 該比賽目前是由貝爾實驗室的 gsf 所寫的機器人程式 g.r.emlin 所主持。

  • 一個題樣的比賽大約一週左右,由於是全球性的,因此在比賽期間是每天二十四小時持續進行的。
  • 你若想贏得比賽,則你所使用的產生器必須能快速得到固定題樣的謎題。
  • 一般比賽所出現的題樣若以隨機終盤去套用,則每題最少需要三十萬個終盤,多則高達數百萬個終盤。
  • 有些題樣雖然很容易得到謎題,但受到精簡條件的限制,有時可能要產生數十萬題才能得到一道精簡題。
  • 由於題樣所產生的謎題其難度特性有某些偏向,若你提交的速度慢,則較易得到的係數將被他人提交,你只能望洋興嘆。
  • 除了上述所提之外,還有許多細節難以一一盡述。
  • 我在參賽期間總共參加了四十場比賽,贏得了其中的三十二場,比賽結果請參閱:
    1. http://forum.enjoysudoku.com/patterns-game-1-0-t5209.html
    2. http://forum.enjoysudoku.com/patterns-game-results-t6291.html

  • 為了要贏得比賽,你必須不斷地思考如何運用謎題產生器、解析器,不斷地改進謎題產生器、解析器。
  • 你會因為想贏得比賽而不斷地精進謎題產生及解析的技術,因此,若有網友想提升自己的謎題製作技術,參加該比賽將是很好的學習之道。

TTHsieh


回頂端
 個人資料  
 
 文章主題 : Re: 出題及解題程式
文章發表於 : 2011-01-01, 15:49 
離線
頭像

註冊時間: 2010-07-14, 14:45
文章: 220
來自: 四川宜宾
TTHsieh 寫:
  • 我大約在 2007 下半年~ 2008 上半年間參加了 Patterns Game 比賽,競賽規則大致是:
    1. 固定題樣
    2. 精簡題
    3. 難度係數以 SE 評估的 ER/EP/ED,提交的題目必須是該比賽尚未出現的係數
    4. 相同 ER 值則 EP/ED 較大者將取代較小者
    5. 其他細節,以不復記憶了。
    6. 該比賽又歷經兩年多的演進,不斷的更改規則,目前的規則可參閱 http://forum.enjoysudoku.com/patterns-game-t6290.html
    7. 該比賽目前是由貝爾實驗室的 gsf 所寫的機器人程式 g.r.emlin 所主持。

  • 一個題樣的比賽大約一週左右,由於是全球性的,因此在比賽期間是每天二十四小時持續進行的。
  • 你若想贏得比賽,則你所使用的產生器必須能快速得到固定題樣的謎題。
  • 一般比賽所出現的題樣若以隨機終盤去套用,則每題最少需要三十萬個終盤,多則高達數百萬個終盤。
  • 有些題樣雖然很容易得到謎題,但受到精簡條件的限制,有時可能要產生數十萬題才能得到一道精簡題。
  • 由於題樣所產生的謎題其難度特性有某些偏向,若你提交的速度慢,則較易得到的係數將被他人提交,你只能望洋興嘆。
  • 除了上述所提之外,還有許多細節難以一一盡述。
  • 我在參賽期間總共參加了四十場比賽,贏得了其中的三十二場,比賽結果請參閱:
    1. http://forum.enjoysudoku.com/patterns-game-1-0-t5209.html
    2. http://forum.enjoysudoku.com/patterns-game-results-t6291.html

  • 為了要贏得比賽,你必須不斷地思考如何運用謎題產生器、解析器,不斷地改進謎題產生器、解析器。
  • 你會因為想贏得比賽而不斷地精進謎題產生及解析的技術,因此,若有網友想提升自己的謎題製作技術,參加該比賽將是很好的學習之道。

TTHsieh

数独联盟数独比赛就是大杂烩标准只有一题,其它全是变形。真正合格的比赛应该细分!就好象拳击比赛分重量级和轻量级,不分级的乱战。数独比赛象胡闹,对已后的发展没有一点好处!!!!

_________________
相逢何必曾相识!!!


回頂端
 個人資料  
 
 文章主題 : Re: 出題及解題程式
文章發表於 : 2011-01-02, 10:21 
離線
頭像

註冊時間: 2010-04-17, 19:36
文章: 1102
來自: 桃園縣
  • 用 Sudoku Explainer, gsf Sudoku, Hodoku 等程式解析謎題的難易度,所得到的難度分值是按每一程式的解題策略計算而得。
  • 因每一作者都有自己的一套解題策略,因此解析出來的都有出入,但都是某種解題技巧需要多少個?
  • 以一個進階題而言,經移動變形後,雖然是數學等價,但再經上述解析程式解析則原來的解析數據都發生了變化,有些原來所需的技巧甚至消失。
  • 以一個基礎題而言,經數字變形後,依然是數學等價,但再經上述解析程式解析後解析數據不變,但以人工解題而言,難度有很大的變化。
  • 有如此的差異在於解析出來所需的解題技巧有些是非必要的,另外數字變形對人工解題路徑會有巨大影響。
  • 另外,大部分的解析程式都是以候選數法為分析依據,因此唯餘解為優先,摒餘解次之。
  • 摒餘解不分宮摒餘解與行列摒餘解,違反了人工解題策略,因此若以該等程式所分析之數據判定謎題的難易度會產生很大的偏差。
  • 因此,網友們在分析謎題時要認知上述各點,以免難易度產生讓人難以認同的偏差。

TTHsieh


回頂端
 個人資料  
 
顯示文章 :  排序  
發表新文章 回覆主題  [ 11 篇文章 ] 

所有顯示的時間為 UTC + 8 小時


誰在線上

正在瀏覽這個版面的使用者:沒有註冊會員 和 1 位訪客


不能 在這個版面發表主題
不能 在這個版面回覆主題
不能 在這個版面編輯文章
不能 在這個版面刪除文章
不能 在這個版面上傳附加檔案

搜尋:
前往 :  
cron

3,552,816 觀看 Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
正體中文語系由 竹貓星球 維護製作