Hack a Day Menu
  • Projects
  • Lists
  • Contests
  • Stack
  • More
    • Blog
    • Events
    • Hackerspaces
    • Profiles
    • 2019 Prize Entries
    • Store
    • Jobs Board
  • Sign up
  • Log In
Close
0%
0%

Constrained Sudokuo Algorthim

valid Sudoku grids and puzzles following a shift(L) language. ANY n2 by n2 can be generated. However, they are limited subsets!

Tea BTea B
Following Follow project
Liked Like project

Become a Hackaday.io member

Not a member? You should Sign Up.

Already have an account? Log In.

Sign up with Github
Sign up with Twitter OR
Forgot your password?

Just one more thing

To make the experience fit your profile, pick a username and tell us what interests you.

Pick an awesome username
hackaday.io/
Your profile's URL: hackaday.io/username. Max 25 alphanumeric characters.
Pick a few interests
Projects that share your interests
People that share your interests

We found and based on your interests.

Choose more interests.

OK, I'm done! Skip
Join this project
Similar projects worth following
94 views
0 comments
0 followers
0 likes
  • Description
  • Details
  • Files 5
    • View all
  • Components 0
  • Logs 0
  • Instructions 0
  • Discussion 0
View Gallery
94
0
0
0

Team (1)

  • Tea BTea B

Join this project's team
  • Reddit Post explaining Algorthim
ongoing project
python computers Circuits programming pvsnp ALGORITHMS GRIDS

This project was created on 04/29/2019 and last updated 2 months ago.

Description

I have created an algorithm that generates n2*n2 Sudoku Grids and Puzzles(by removing elements) and provides their solutions without backtracking. I have managed to use a sat-solver for Sudoku Puzzles and converted my complete grid and puzzles into CNF formulas.I've tried an attempt at reducing CNF (which is np-complete) to my algorthim for 9x9 grids. The verifier says the boolean formula is correct. Due to its length I will upload it. .Here's a link to the specifics of the
algorithm.https://www.reddit.com/r/computerscience/comments/bidatb/shiftl_language_is_in_np_or_p/

Details

Files

sudokusat.txt

plain - 3.49 kB - 05/27/2019 at 19:56

Download

dimacs.txt

3 x 3 unsat instance

plain - 695.00 bytes - 05/27/2019 at 19:37

Download

output.txt

>:) Generates in poly-time

plain - 5.03 kB - 05/24/2019 at 23:55

Download

co-np.txt

plain - 683.00 bytes - 05/04/2019 at 01:26

Download

Constrained.txt

CNF formula of one of my complete grids.

plain - 147.65 kB - 04/29/2019 at 18:31

Download

Enjoy this project?

Share

Discussions

Log In/Sign up to comment

Become a Hackaday.io Member

Create an account to leave a comment. Already have an account? Log In.

Sign up with Github
Sign up with Twitter OR

Similar Projects

994
13
3
Using InkScape to draw completely customizable circuit schematics. For when everything else sucks.
Project Owner Contributor

Circuit Schematic Drafting System

Adam GulyasAdam Gulyas

338
14
9
Build a first open source headset using capacitive, non-contact electrodes
Project Owner Contributor

Skulljack - a non-contact neurofeedback headset

KseniiaKseniia

630
345
11
A few templates and scripts to make schematics, plots, and diagrams kinda matching the hackaday.io theme
Project Owner Contributor

Templates for Hackaday.io

Ted YapoTed Yapo

Does this project spark your interest?

Become a member to follow this project and never miss any updates

Going up?

About Us Contact Hackaday.io Give Feedback Terms of Use Privacy Policy Hackaday API

© 2019 Hackaday

Yes, delete it Cancel

Report project as inappropriate

You are about to report the project "Constrained Sudokuo Algorthim", please tell us the reason.

Send message

Your application has been submitted.

Remove Member

Are you sure you want to remove yourself as a member for this project?

Project owner will be notified upon removal.