Skip to main content

Computational Red Teaming in a Sudoku Solving Context: Neural Network Based Skill Representation and Acquisition

  • Conference paper
  • First Online:
Intelligent and Evolutionary Systems

Part of the book series: Proceedings in Adaptation, Learning and Optimization ((PALO,volume 5))

Abstract

In this paper we provide an insight into the skill representation, where skill representation is seen as an essential part of the skill assessment stage in the Computational Red Teaming process. Skill representation is demonstrated in the context of Sudoku puzzle, for which the real human skills used in Sudoku solving, along with their acquisition, are represented computationally in a cognitively plausible manner, by using feed-forward neural networks with back-propagation, and supervised learning. The neural network based skills are then coupled with a hard-coded constraint propagation computational Sudoku solver, in which the solving sequence is kept hard-coded, and the skills are represented through neural networks. The paper demonstrates that the modified solver can achieve different levels of proficiency, depending on the amount of skills acquired through the neural networks. Results are encouraging for developing more complex skill and skill acquisition models usable in general frameworks related to the skill assessment aspect of Computational Red Teaming.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Berggren, P., Nilsson, D.: A study of sudoku solving algorithms. Master’s thesis, Royal Institute of Technology, Stockholm (2012)

    Google Scholar 

  2. Crook, J.F.: A pencil-and-paper algorithm for solving sudoku puzzles. Notices of the AMS 56(4), 460–468 (2009)

    MathSciNet  MATH  Google Scholar 

  3. Yato, T.: Complexity and completeness of finding another solution and its application to puzzles. Master’s thesis, Graduate SChool of Science, University of Tokyo (2003)

    Google Scholar 

  4. Yato, T., Seta, T.: Complexity and completeness of finding another solution and its application to puzzles. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 86(5), 1052–1060 (2003)

    Google Scholar 

  5. Weber, T.: A sat-based sudoku solver. In: The 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning, pp. 11–15 (2005)

    Google Scholar 

  6. Ercsey, R.M., Toroczkai, Z.: The chaos within sudoku. Sci. Rep. 2 10.1038/srep00725 (2012)

    Google Scholar 

  7. Goldberg, P.W.: Np-completness of sudoku, October 2015

    Google Scholar 

  8. Pacurib, J.A., Seno, G.M.M., Yusiong, J.P.T.: Solving sudoku puzzles using improved artificial bee colony algorithm. In: Fourth International Conference on Innovative Computing, Information and Control, pp. 885–888. IEEE (2009)

    Google Scholar 

  9. Mantere, T., Koljonen, J.: Solving, rating and generating sudoku puzzles with ga. In: IEEE Congress on Evolutionary Computation, pp. 1382–1389. IEEE (2007)

    Google Scholar 

  10. Perez, M., Marwala, T.: Stochastic optimization approaches for solving sudoku, May 2008. arXiv:0805.0697

  11. Yue, T.W., Lee, Z.C.: 115. In: Sudoku Solver by Q’tron Neural Networks. Lecture Notes in Computer Science, vol. 4113, pp. 943–952. Springer, Heidelberg (2006)

    Google Scholar 

  12. Hopfield, J.J.: Searching for memories, sudoku, implicit check bits, and the iterative use of not-always-correct rapid neural computation. Neural Computation 20(5), 1119–1164 (2008)

    Article  MathSciNet  Google Scholar 

  13. Simonis, H.: Sudoku as a constraint problem. In: CP Workshop on Modeling and Reformulating Constraint Satisfaction Problems. vol. 12, pp. 13–27. Citeseer (2005)

    Google Scholar 

  14. Norvig, P.: Solving every sudoku puzzle

    Google Scholar 

  15. Aslaksen, H.: The mathematics of sudoku (2014)

    Google Scholar 

  16. Davis, T.: The math of sudoku (2008)

    Google Scholar 

  17. Chadwick, S.B., Krieg, R.M., Granade, C.E.: Ease and toil: Analyzing sudoku. UMAP Journal 363 (2007)

    Google Scholar 

  18. Pitts, J.: Master Sudoku. Teach yourself. McGraw-Hill Companies, Inc. (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to George Leu .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Leu, G., Abbass, H. (2016). Computational Red Teaming in a Sudoku Solving Context: Neural Network Based Skill Representation and Acquisition. In: Lavangnananda, K., Phon-Amnuaisuk, S., Engchuan, W., Chan, J. (eds) Intelligent and Evolutionary Systems. Proceedings in Adaptation, Learning and Optimization, vol 5. Springer, Cham. https://doi.org/10.1007/978-3-319-27000-5_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-27000-5_26

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-26999-3

  • Online ISBN: 978-3-319-27000-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics