• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 22:07
CEST 04:07
KST 11:07
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
Classic Games #3: Rogue vs Serral at BlizzCon9[ASL20] Ro16 Preview Pt1: Ascent10Maestros of the Game: Week 1/Play-in Preview12[ASL20] Ro24 Preview Pt2: Take-Off7[ASL20] Ro24 Preview Pt1: Runway13
Community News
SC4ALL $6,000 Open LAN in Philadelphia7Weekly Cups (Sept 1-7): MaxPax rebounds & Clem saga continues24LiuLi Cup - September 2025 Tournaments3Weekly Cups (August 25-31): Clem's Last Straw?39Weekly Cups (Aug 18-24): herO dethrones MaxPax6
StarCraft 2
General
#1: Maru - Greatest Players of All Time Weekly Cups (Sept 1-7): MaxPax rebounds & Clem saga continues Team Liquid Map Contest #21 - Presented by Monster Energy Classic Games #3: Rogue vs Serral at BlizzCon What happened to Singapore/Brazil servers?
Tourneys
RSL: Revival, a new crowdfunded tournament series Sparkling Tuna Cup - Weekly Open Tournament SC4ALL $6,000 Open LAN in Philadelphia LANified! 37: Groundswell, BYOC LAN, Nov 28-30 2025 LiuLi Cup - September 2025 Tournaments
Strategy
Custom Maps
External Content
Mutation # 490 Masters of Midnight Mutation # 489 Bannable Offense Mutation # 488 What Goes Around Mutation # 487 Think Fast
Brood War
General
BW General Discussion BGH Auto Balance -> http://bghmmr.eu/ BSL Team Wars - Bonyth, Dewalt, Hawk & Sziky teams ASL20 General Discussion alas... i aint gon' lie to u bruh...
Tourneys
SC4ALL $1,500 Open Bracket LAN CPL12 SIGN UP are open!!! [ASL20] Ro16 Group B [Megathread] Daily Proleagues
Strategy
Simple Questions, Simple Answers Muta micro map competition Fighting Spirit mining rates [G] Mineral Boosting
Other Games
General Games
Nintendo Switch Thread Stormgate/Frost Giant Megathread Path of Exile General RTS Discussion Thread Borderlands 3
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Heroes of StarCraft mini-set
TL Mafia
TL Mafia Community Thread
Community
General
US Politics Mega-thread Things Aren’t Peaceful in Palestine Russo-Ukrainian War Thread The Games Industry And ATVI UK Politics Mega-thread
Fan Clubs
The Happy Fan Club!
Media & Entertainment
Movie Discussion! [Manga] One Piece Anime Discussion Thread
Sports
2024 - 2026 Football Thread Formula 1 Discussion MLB/Baseball 2023 TeamLiquid Health and Fitness Initiative For 2023
World Cup 2022
Tech Support
Linksys AE2500 USB WIFI keeps disconnecting Computer Build, Upgrade & Buying Resource Thread High temperatures on bridge(s)
TL Community
BarCraft in Tokyo Japan for ASL Season5 Final The Automated Ban List
Blogs
The Personality of a Spender…
TrAiDoS
A very expensive lesson on ma…
Garnet
hello world
radishsoup
Lemme tell you a thing o…
JoinTheRain
RTS Design in Hypercoven
a11
Evil Gacha Games and the…
ffswowsucks
Customize Sidebar...

Website Feedback

Closed Threads



Active: 1317 users

[R] I need a name

Blogs > berated-
Post a Reply
Normal
berated-
Profile Blog Joined February 2007
United States1134 Posts
April 28 2008 03:41 GMT
#1
Okay, so heres the scoop. For our computer science seminar class we have to do a project. Two years ago we did pattern matching in strings, last year we did wireless sensor networks and soft computing, and now we are doing SAT problems.

Last years project was a neural net to try to predict the march madness tournament, which I conveniently named March MadNet. I was quite fond of this name, and considered it my best work on the project.

This year, I am writing a SAT solver ( boolean equations ) for Sudoku. I have the project completed, but feel at a loss because of its mediocre name. I'm sitting at SATDoku, but I'm extremly displeased with my progress.

So for all of you creative folk, anyone want to help?

*****
Equinox_kr
Profile Blog Joined December 2006
United States7395 Posts
April 28 2008 03:44 GMT
#2
I sat here for five minutes thinking of ANY name.

I couldn't.

I apologize
^-^
p4fn2w
Profile Blog Joined September 2007
383 Posts
April 28 2008 03:45 GMT
#3
The Sudoku Luncher!

I tried
berated-
Profile Blog Joined February 2007
United States1134 Posts
April 28 2008 03:45 GMT
#4
On April 28 2008 12:44 Equinox_kr wrote:
I sat here for five minutes thinking of ANY name.

I couldn't.

I apologize


I appreciate the work. I too have failed, so I can't really be upset with your progress.
fusionsdf
Profile Blog Joined June 2006
Canada15390 Posts
April 28 2008 03:46 GMT
#5
if the hardest point of writing programs for you is naming them I am so jealous

SudoSATSolver

....get it?
+ Show Spoiler +
SKT_Best: "I actually chose Protoss because it was so hard for me to defeat Protoss as a Terran. When I first started Brood War, my main race was Terran."
SpiritoftheTunA
Profile Blog Joined August 2006
United States20903 Posts
April 28 2008 03:46 GMT
#6
Filliam H. Muffman
posting on liquid sites in current year
berated-
Profile Blog Joined February 2007
United States1134 Posts
April 28 2008 03:47 GMT
#7
On April 28 2008 12:46 SpiritoftheTuna wrote:
Filliam H. Muffman


Game over, thanks everyone for your efforts, but we clearly have a winner.
berated-
Profile Blog Joined February 2007
United States1134 Posts
Last Edited: 2008-04-28 03:52:29
April 28 2008 03:49 GMT
#8
On April 28 2008 12:46 fusionsdf wrote:
if the hardest point of writing programs for you is naming them I am so jealous

SudoSATSolver

....get it?
+ Show Spoiler +


I like where this is going, but I assure you my program works. So its kind of misleading.

Btw, its not the hardest part, its just part of the fun I try to maintain with my schooling. I spent about 20 hours in the last 2 days tweaking and refining a program I know others could right in a couple hours. I assure you that you have nothing to be jealous of
p4fn2w
Profile Blog Joined September 2007
383 Posts
April 28 2008 03:50 GMT
#9
How about BiSu-DoKu?
berated-
Profile Blog Joined February 2007
United States1134 Posts
Last Edited: 2008-04-28 03:55:22
April 28 2008 03:53 GMT
#10
On April 28 2008 12:50 p4fn2w wrote:
How about BiSu-DoKu?


Catchy, but my prof is Canadian and the only other student is East Indian, I doubt they would catch the hidden message.

Actually, that is pretty good - (Bi) ( 2 - boolean ) and then SuDoku, i don't know if htat was an accident or a joke but I think that is extremely clever
DukE_ss
Profile Joined June 2007
United States689 Posts
April 28 2008 03:59 GMT
#11
On April 28 2008 12:46 fusionsdf wrote:
if the hardest point of writing programs for you is naming them I am so jealous

SudoSATSolver

....get it?
+ Show Spoiler +


lol you have no idea how much time and effort he actually put into this project of his.
“When we seek to discover the best in others, we somehow bring out the best in ourselves.” William Arthur Ward "You are what you think, You become what you think, What you think becomes reality." Phil Hellmuth
p4fn2w
Profile Blog Joined September 2007
383 Posts
April 28 2008 04:00 GMT
#12
How about Ukodus
+ Show Spoiler +
Sudoku backwards
paper
Profile Blog Joined September 2004
13196 Posts
April 28 2008 04:06 GMT
#13
SudoSAT? :d
Hates Fun🤔
B1nary
Profile Blog Joined January 2008
Canada1267 Posts
April 28 2008 04:08 GMT
#14
The simpler the better:

Sudoku Solver
DukE_ss
Profile Joined June 2007
United States689 Posts
April 28 2008 04:09 GMT
#15
what the hell is a sudoku anyhow berated?
“When we seek to discover the best in others, we somehow bring out the best in ourselves.” William Arthur Ward "You are what you think, You become what you think, What you think becomes reality." Phil Hellmuth
ThatGuy
Profile Blog Joined April 2008
Canada695 Posts
Last Edited: 2008-04-28 04:10:55
April 28 2008 04:09 GMT
#16
SudoTrue?

...Or Trudoku
berated-
Profile Blog Joined February 2007
United States1134 Posts
April 28 2008 04:12 GMT
#17
On April 28 2008 13:09 DukE_ss wrote:
what the hell is a sudoku anyhow berated?


An evil, evil addiction. Stay away while you can
DukE_ss
Profile Joined June 2007
United States689 Posts
April 28 2008 04:14 GMT
#18
On April 28 2008 13:12 berated- wrote:
Show nested quote +
On April 28 2008 13:09 DukE_ss wrote:
what the hell is a sudoku anyhow berated?


An evil, evil addiction. Stay away while you can


lol don't you have enough of those without playing a game?
“When we seek to discover the best in others, we somehow bring out the best in ourselves.” William Arthur Ward "You are what you think, You become what you think, What you think becomes reality." Phil Hellmuth
p4fn2w
Profile Blog Joined September 2007
383 Posts
April 28 2008 04:16 GMT
#19
Call it it. Or the Sudokutor. Or Sudoku-in-a-second. Or Sudoku for Dummies.

Im running out of ideas =\
berated-
Profile Blog Joined February 2007
United States1134 Posts
Last Edited: 2008-04-28 04:18:47
April 28 2008 04:17 GMT
#20
On April 28 2008 13:16 p4fn2w wrote:
Call it it. Or the Sudokutor. Or Sudoku-in-a-second. Or Sudoku for Dummies.

Im running out of ideas =\


I lol'd at Sudoktor - It does solve them in under a second but I don't think its quite that powerful to fit the name Sudokutor
Especially because its so terribly inefficient when I try to run it on a 16x16 puzzle it runs out of memory and crashes - even when I use java -Xmx
berated-
Profile Blog Joined February 2007
United States1134 Posts
April 28 2008 04:24 GMT
#21
I don't know if it will help, but I use Davis Putnam algorithm to solve it. If someone can come up with a better name using WalkSAT, I might consider recoding it.
p4fn2w
Profile Blog Joined September 2007
383 Posts
April 28 2008 04:31 GMT
#22
All I can think of right now is the GosuDoku. Owell, I tried. Good luck
EmeraldSparks
Profile Blog Joined January 2008
United States1451 Posts
April 28 2008 04:31 GMT
#23
Sudokunator.
But why?
berated-
Profile Blog Joined February 2007
United States1134 Posts
April 28 2008 04:33 GMT
#24
On April 28 2008 13:31 p4fn2w wrote:
All I can think of right now is the GosuDoku. Owell, I tried. Good luck


Thanks for the help, I appreciate it
XCetron
Profile Joined November 2006
5226 Posts
April 28 2008 04:41 GMT
#25
gosudoku
Plutonium
Profile Joined November 2007
United States2217 Posts
Last Edited: 2008-04-28 05:00:20
April 28 2008 04:52 GMT
#26
Sudoscience

Suthsayer

Sudo Solve (Linux joke)

SudoEphedrine (Or Sudofed - a decongestant for your puzzles.)

Personally, I like the Sudoktor idea.
Late
Profile Joined August 2007
Latvia418 Posts
April 28 2008 04:54 GMT
#27
Solvedoku?

Best I could come up with.
SpiritoftheTunA
Profile Blog Joined August 2006
United States20903 Posts
April 28 2008 04:56 GMT
#28
Silliam H. Mudoku

Sulicity Hudokuman
posting on liquid sites in current year
berated-
Profile Blog Joined February 2007
United States1134 Posts
April 28 2008 05:04 GMT
#29
On April 28 2008 13:56 SpiritoftheTuna wrote:
Silliam H. Mudoku

Sulicity Hudokuman


lol, although I admire both your efforts and names, I don't think they really fit. It doesn't detour me from suggesting you might want to take up a career in naming objects, you sir are a mad genius.
azndsh
Profile Blog Joined August 2006
United States4447 Posts
April 28 2008 05:18 GMT
#30
aren't sudoku SAT solvers extremely inefficient? unless you formulate the problem way differently from what I have in mind
Kau *
Profile Joined March 2007
Canada3500 Posts
April 28 2008 05:21 GMT
#31
How about Pseudoku?
Moderator
Raithed
Profile Blog Joined May 2007
China7078 Posts
April 28 2008 05:31 GMT
#32
the code is length and hurts my eyes josh.
IzzyCraft
Profile Blog Joined June 2007
United States4487 Posts
April 28 2008 08:37 GMT
#33
Does it all have to be puns? why not just somethign random like Greystone
I have ass for brains so,
even when I shit I'm droping knowledge.
drug_vict1m
Profile Blog Joined May 2007
844 Posts
April 28 2008 08:40 GMT
#34
SudoSLAYER!

One must feel chaos within, to give birth to a dancing star.
o3.power91
Profile Blog Joined November 2007
Bahrain5288 Posts
April 28 2008 14:44 GMT
#35
On April 28 2008 13:12 berated- wrote:
Show nested quote +
On April 28 2008 13:09 DukE_ss wrote:
what the hell is a sudoku anyhow berated?


An evil, evil addiction. Stay away while you can

Too late for me

As for the name, i cant think of one rite now. if i get any ideas ill post here
berated-
Profile Blog Joined February 2007
United States1134 Posts
Last Edited: 2008-04-28 18:39:05
April 28 2008 14:57 GMT
#36
On April 28 2008 14:18 azndsh wrote:
aren't sudoku SAT solvers extremely inefficient? unless you formulate the problem way differently from what I have in mind


That's really kind of irrelevant to the project. I'm taking a boolean satisfiability class and we have to do a final project related to boolean equations. Considering I'm not a total badass, I knew I wasn't going to come up with the next great thing such as WalkSAT or Davis Putnam or GSAT, any of the SAT solving techniques that were monumental upon release. So I was left with two options, I could either find some current research and write an 8 page paper on it, or I could code up an algorithm.

Reading conference papers didn't strike me as overly fun, so I went with a coding project. I could then do something like just pass a boolean equation to an algorithm and try to solve it, which would have got the job done but is a little bland. So I sought out something that would at least be enjoyable.

As for the original question, my first response would have to be no. Using DP, a true sudoku puzzle ( one with only one answer and requiring no search techniques ) would actually require only unit propagation while solving the algorithm. Of course, you would have to define what it is inefficient compared to. Its obviously better than a try all possibilities solution. Are there other algorithms out there that might do better? I have no idea. I wasnt studying Sudoku, I was studying boolean equations, so I apologize that I can't give you a better answer.

I guess you would have to make that judgment call:

My technique ( learned from the work of others who have already done this - I'm just an undergrad, I can't be doing monumental work in my field ):

There are 729 variables - one for every possible number in every possible cell. These are represented by a 3 digit string - the row, the column, and the number.

So 111 refers to a one being in the upper left most box, and will be a 1 if there is a 1 there, 0 otherwise. A - in front represents that the boolean is negated. so -111 refers to Not a 1 in the upper left hand box

Then you have to generate the equation, it will be in CNF form -

So the first thing to check is that there is a 1-9 in every cell.
so, 111 v 112 v 113 v 114 v 115 v 116 v 117 v 118 v 119
but then you need to make sure there aren't more than one
so
-111 v -112, -111 v -113 . . . etc

Repeat for rows, columns, and boxes.

And solve.

Edit: Okay, well yes I would say that having a SAT solver for a 9x9 sudoku puzzle is a little over the top. I knew that it was for a 9x9, but I guess I didn't realy realize how much over the top it was. Of course, it doesn't help that I'm using a lot of java classes - trying to really modularize my code to make it easier to understand and write.

Using strictly ints and try all possibilities it takes java about 64 ms to solve a sudoku puzzle. Using my sat solver it takes about 400ms to solve - however, the largest time with my solver is keeping track of which variables I flipped and which ones I didn't, because I have to store and reset the variables while backtracking.

It might be kind of interesting to mod my program and then try to see some results. I've seen some sat solvers that use strictly ints ( as i described the 111 stuff above, all that is ints while i use 4 different wrapper classes to keep the method writing short). I think that if I were go get my program working in that state, and then we compared the run times you would see a lot closer of a contest.

Where I think the SAT solver would really shine would be on the larger puzzles for a generalized sudoku puzzle of size nxn. I would guess that even at 16x16 the sat solver ( if done properly with int values instead of classes ) would already start to out due the try all possibilities approach.

Once again though, I had fun with the project and truly believe it will still get me an A, so I'm not too worried about the efficiency. Hope this explain things a little better, and thanks for the thought provoking question.

.MistiK
Profile Blog Joined August 2007
Netherlands347 Posts
April 28 2008 16:58 GMT
#37
just take SudokuSolver or something





berated-
Profile Blog Joined February 2007
United States1134 Posts
April 28 2008 17:01 GMT
#38
On April 29 2008 01:58 .MistiK wrote:
just take SudokuSolver or something


I would feel so unclassy
Hyperionnn
Profile Blog Joined September 2007
Turkey4968 Posts
April 28 2008 18:23 GMT
#39
ZuluDoku
LeafHouse
Profile Joined June 2007
United States185 Posts
April 28 2008 18:39 GMT
#40
loverbuttons

if you say you hate it, than you're insulting my little sister who named our kitten loverbuttons too.
BroOd
Profile Blog Joined April 2003
Austin10831 Posts
April 28 2008 21:50 GMT
#41
Truedoku
ModeratorSIRL and JLIG.
azndsh
Profile Blog Joined August 2006
United States4447 Posts
Last Edited: 2008-04-28 22:23:12
April 28 2008 22:22 GMT
#42
On April 28 2008 23:57 berated- wrote:
Show nested quote +
On April 28 2008 14:18 azndsh wrote:
aren't sudoku SAT solvers extremely inefficient? unless you formulate the problem way differently from what I have in mind


That's really kind of irrelevant to the project. I'm taking a boolean satisfiability class and we have to do a final project related to boolean equations. Considering I'm not a total badass, I knew I wasn't going to come up with the next great thing such as WalkSAT or Davis Putnam or GSAT, any of the SAT solving techniques that were monumental upon release. So I was left with two options, I could either find some current research and write an 8 page paper on it, or I could code up an algorithm.

Reading conference papers didn't strike me as overly fun, so I went with a coding project. I could then do something like just pass a boolean equation to an algorithm and try to solve it, which would have got the job done but is a little bland. So I sought out something that would at least be enjoyable.

As for the original question, my first response would have to be no. Using DP, a true sudoku puzzle ( one with only one answer and requiring no search techniques ) would actually require only unit propagation while solving the algorithm. Of course, you would have to define what it is inefficient compared to. Its obviously better than a try all possibilities solution. Are there other algorithms out there that might do better? I have no idea. I wasnt studying Sudoku, I was studying boolean equations, so I apologize that I can't give you a better answer.

I guess you would have to make that judgment call:

My technique ( learned from the work of others who have already done this - I'm just an undergrad, I can't be doing monumental work in my field ):

There are 729 variables - one for every possible number in every possible cell. These are represented by a 3 digit string - the row, the column, and the number.

So 111 refers to a one being in the upper left most box, and will be a 1 if there is a 1 there, 0 otherwise. A - in front represents that the boolean is negated. so -111 refers to Not a 1 in the upper left hand box

Then you have to generate the equation, it will be in CNF form -

So the first thing to check is that there is a 1-9 in every cell.
so, 111 v 112 v 113 v 114 v 115 v 116 v 117 v 118 v 119
but then you need to make sure there aren't more than one
so
-111 v -112, -111 v -113 . . . etc

Repeat for rows, columns, and boxes.

And solve.

Edit: Okay, well yes I would say that having a SAT solver for a 9x9 sudoku puzzle is a little over the top. I knew that it was for a 9x9, but I guess I didn't realy realize how much over the top it was. Of course, it doesn't help that I'm using a lot of java classes - trying to really modularize my code to make it easier to understand and write.

Using strictly ints and try all possibilities it takes java about 64 ms to solve a sudoku puzzle. Using my sat solver it takes about 400ms to solve - however, the largest time with my solver is keeping track of which variables I flipped and which ones I didn't, because I have to store and reset the variables while backtracking.

It might be kind of interesting to mod my program and then try to see some results. I've seen some sat solvers that use strictly ints ( as i described the 111 stuff above, all that is ints while i use 4 different wrapper classes to keep the method writing short). I think that if I were go get my program working in that state, and then we compared the run times you would see a lot closer of a contest.

Where I think the SAT solver would really shine would be on the larger puzzles for a generalized sudoku puzzle of size nxn. I would guess that even at 16x16 the sat solver ( if done properly with int values instead of classes ) would already start to out due the try all possibilities approach.

Once again though, I had fun with the project and truly believe it will still get me an A, so I'm not too worried about the efficiency. Hope this explain things a little better, and thanks for the thought provoking question.



yeah... with 729 variables and thousands of restrictions, it seems like it would take a very long amount of time for non-trivial puzzles. I only ask because we were each asked to make a SAT solver and puzzle generator in one of my CS classes. We even had a competition to see who had the best solver in the end. One really simple and effective heuristic is to assume that all your variables are false at the beginning, which in this case is true 8/9 of the time.

I ended up doing a 4x4 version of sudoku puzzles, but that was relatively straightforward and ran very quickly.
berated-
Profile Blog Joined February 2007
United States1134 Posts
April 29 2008 00:11 GMT
#43
On April 29 2008 07:22 azndsh wrote:
Show nested quote +
On April 28 2008 23:57 berated- wrote:
On April 28 2008 14:18 azndsh wrote:
aren't sudoku SAT solvers extremely inefficient? unless you formulate the problem way differently from what I have in mind


That's really kind of irrelevant to the project. I'm taking a boolean satisfiability class and we have to do a final project related to boolean equations. Considering I'm not a total badass, I knew I wasn't going to come up with the next great thing such as WalkSAT or Davis Putnam or GSAT, any of the SAT solving techniques that were monumental upon release. So I was left with two options, I could either find some current research and write an 8 page paper on it, or I could code up an algorithm.

Reading conference papers didn't strike me as overly fun, so I went with a coding project. I could then do something like just pass a boolean equation to an algorithm and try to solve it, which would have got the job done but is a little bland. So I sought out something that would at least be enjoyable.

As for the original question, my first response would have to be no. Using DP, a true sudoku puzzle ( one with only one answer and requiring no search techniques ) would actually require only unit propagation while solving the algorithm. Of course, you would have to define what it is inefficient compared to. Its obviously better than a try all possibilities solution. Are there other algorithms out there that might do better? I have no idea. I wasnt studying Sudoku, I was studying boolean equations, so I apologize that I can't give you a better answer.

I guess you would have to make that judgment call:

My technique ( learned from the work of others who have already done this - I'm just an undergrad, I can't be doing monumental work in my field ):

There are 729 variables - one for every possible number in every possible cell. These are represented by a 3 digit string - the row, the column, and the number.

So 111 refers to a one being in the upper left most box, and will be a 1 if there is a 1 there, 0 otherwise. A - in front represents that the boolean is negated. so -111 refers to Not a 1 in the upper left hand box

Then you have to generate the equation, it will be in CNF form -

So the first thing to check is that there is a 1-9 in every cell.
so, 111 v 112 v 113 v 114 v 115 v 116 v 117 v 118 v 119
but then you need to make sure there aren't more than one
so
-111 v -112, -111 v -113 . . . etc

Repeat for rows, columns, and boxes.

And solve.

Edit: Okay, well yes I would say that having a SAT solver for a 9x9 sudoku puzzle is a little over the top. I knew that it was for a 9x9, but I guess I didn't realy realize how much over the top it was. Of course, it doesn't help that I'm using a lot of java classes - trying to really modularize my code to make it easier to understand and write.

Using strictly ints and try all possibilities it takes java about 64 ms to solve a sudoku puzzle. Using my sat solver it takes about 400ms to solve - however, the largest time with my solver is keeping track of which variables I flipped and which ones I didn't, because I have to store and reset the variables while backtracking.

It might be kind of interesting to mod my program and then try to see some results. I've seen some sat solvers that use strictly ints ( as i described the 111 stuff above, all that is ints while i use 4 different wrapper classes to keep the method writing short). I think that if I were go get my program working in that state, and then we compared the run times you would see a lot closer of a contest.

Where I think the SAT solver would really shine would be on the larger puzzles for a generalized sudoku puzzle of size nxn. I would guess that even at 16x16 the sat solver ( if done properly with int values instead of classes ) would already start to out due the try all possibilities approach.

Once again though, I had fun with the project and truly believe it will still get me an A, so I'm not too worried about the efficiency. Hope this explain things a little better, and thanks for the thought provoking question.



yeah... with 729 variables and thousands of restrictions, it seems like it would take a very long amount of time for non-trivial puzzles. I only ask because we were each asked to make a SAT solver and puzzle generator in one of my CS classes. We even had a competition to see who had the best solver in the end. One really simple and effective heuristic is to assume that all your variables are false at the beginning, which in this case is true 8/9 of the time.

I ended up doing a 4x4 version of sudoku puzzles, but that was relatively straightforward and ran very quickly.


While it does take a long time relatively, under half a second to solve a sudoku puzzle is still pretty fast imo. As far as the competition part, that sounds awesome. They have a national sat competition every year that my prof has been to. Of course the people who enter those are the people that created most of the algorithms that we studied this year.

I talked to my professor about holding one at our school when he got to teach his boolean SAT course again, but considering our honors seminar class has 2 people in it, I doubt it would be much fun. Plus I'm graduating so I wouldn't even get to stay around to enjoy it.
minus_human
Profile Blog Joined November 2006
4784 Posts
April 29 2008 00:13 GMT
#44
sudoku=> songoku

[image loading]
Normal
Please log in or register to reply.
Live Events Refresh
Next event in 7h 53m
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
JimRising 424
Nina 159
RuFF_SC2 134
Nathanias 133
ProTech69
PattyMac 17
PiLiPiLi 6
StarCraft: Brood War
Shuttle 855
NaDa 86
Zeus 48
sSak 47
Icarus 10
Dota 2
monkeys_forever731
LuMiX1
Counter-Strike
PGG 89
Super Smash Bros
C9.Mang0818
Other Games
summit1g6140
Fnx 1222
shahzam994
WinterStarcraft202
XaKoH 80
ViBE60
Organizations
Other Games
gamesdonequick1939
BasetradeTV30
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 14 non-featured ]
StarCraft 2
• Berry_CruncH150
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• HerbMon 28
• Azhi_Dahaki18
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
League of Legends
• Scarra1411
Upcoming Events
RSL Revival
7h 53m
Maestros of the Game
11h 53m
ShoWTimE vs Classic
Clem vs herO
Serral vs Bunny
Reynor vs Zoun
Cosmonarchy
13h 53m
Bonyth vs Dewalt
[BSL 2025] Weekly
15h 53m
RSL Revival
1d 7h
Maestros of the Game
1d 14h
BSL Team Wars
1d 16h
Afreeca Starleague
2 days
Snow vs Sharp
Jaedong vs Mini
Wardi Open
2 days
Sparkling Tuna Cup
3 days
[ Show More ]
Afreeca Starleague
3 days
Light vs Speed
Larva vs Soma
LiuLi Cup
4 days
The PondCast
5 days
Liquipedia Results

Completed

Copa Latinoamericana 4
SEL Season 2 Championship
HCC Europe

Ongoing

BSL 20 Team Wars
KCM Race Survival 2025 Season 3
BSL 21 Points
ASL Season 20
CSL 2025 AUTUMN (S18)
LASL Season 20
RSL Revival: Season 2
Maestros of the Game
Chzzk MurlocKing SC1 vs SC2 Cup #2
FISSURE Playground #2
BLAST Open Fall 2025
BLAST Open Fall Qual
Esports World Cup 2025
BLAST Bounty Fall 2025
BLAST Bounty Fall Qual
IEM Cologne 2025
FISSURE Playground #1

Upcoming

2025 Chongqing Offline CUP
BSL Polish World Championship 2025
BSL Season 21
SC4ALL: Brood War
BSL 21 Team A
SC4ALL: StarCraft II
EC S1
SL Budapest Major 2025
BLAST Rivals Fall 2025
IEM Chengdu 2025
PGL Masters Bucharest 2025
MESA Nomadic Masters Fall
Thunderpick World Champ.
CS Asia Championships 2025
ESL Pro League S22
StarSeries Fall 2025
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2025 TLnet. All Rights Reserved.