Dominion Strategy Forum

Please login or register.

Login with username, password and session length
Pages: 1 ... 126 127 [128] 129 130 ... 269  All

Author Topic: The Necro Wars  (Read 337323 times)

0 Members and 2 Guests are viewing this topic.

faust

  • Board Moderator
  • *
  • Offline Offline
  • Posts: 3376
  • Shuffle iT Username: faust
    • View Profile
Re: The Necro Wars
« Reply #3175 on: April 02, 2022, 08:56:21 am »

Ya, that's certainly possible. I wasn't confident that it would be intractable.

If it took a few seconds, that's pretty clutch, because a priori I'd have errors bars of many orders of magnitude around the computing time, so it could have easily been a couple hours or a couple days (or a couple miliseconds)
True, that, and I don't think I tested it on a lot of sudokus.

Oh I found a neat paper related to sudokus.
Logged
You say the ocean's rising, like I give a shit
You say the whole world's ending, honey it already did

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3176 on: April 02, 2022, 03:51:35 pm »

I have now actually run that experiment. I was wrong in saying that your solution is significantly easier because (at least if you program it well) most of the work is contained in building the machinery to check whether a sudoku is already impossible. The part that implemnets (1) would be almost trivial, and (2) a bit of code but not much.

I've tested it with two sudokus, the first one was just the first I've foudn online and it was solved in <1s, the second was a very hard one and it didn't get the solution after ~15 min.

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3177 on: April 02, 2022, 03:52:09 pm »

Also man python is so much fun

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3178 on: April 02, 2022, 04:47:23 pm »

Although the dirty little secret is that Python is (primarily) so much fun because it has functional programming elements, and functional programming is just the best thing

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3179 on: April 02, 2022, 04:48:15 pm »

The other reason is that you can just guess the most likely name for a function like "max" or "list" or "sum" and more than half the time it just works

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3180 on: April 03, 2022, 07:52:43 am »

LessWrong is seriously doing a thing where they give you 1$ for every upvote-point you get for comments for rest of the week, and 4$ per point for posts. And they have a system where upvotes from high-karma users count more, and you can strong upvote, so this means significantly more than 1$ per upvote.

For comparison, I've written 3 posts with 100+ points before. This is crazy.

Now I just need to write something brilliant until the end of the week. Though competition is going to be tougher than normally.

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3181 on: April 03, 2022, 07:53:34 am »

And i'm LOCKED OUT OF MY ACCOUNT for technical reasons but hopefully this will be fixed, and until then I have a smurf at least

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3182 on: April 03, 2022, 07:54:35 am »

What brilliant  insights can I bestow upon thee?

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3183 on: April 03, 2022, 07:58:51 am »

Just imagine having the power to gift another person 28$ with the click of button at no cost to yourself. (My strong upvotes are worth 7 points and there's the *4 multiplier on posts). Or make them 28$ poorer; you can also downvote.

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3184 on: April 03, 2022, 07:59:10 am »

of course I don't actually have this power while I'm LOCKED OUT OF MY ACCOUNT

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3185 on: April 03, 2022, 06:22:03 pm »

podcast on ukraine war: https://www.samharris.org/podcasts/making-sense-episodes/277-how-does-the-war-in-ukraine-end

This is the third one sam did, but as far as I can tell, this is way better than the first two.

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3186 on: April 04, 2022, 05:06:30 am »

LaLight

  • Jester
  • *****
  • Offline Offline
  • Posts: 774
  • Shuffle iT Username: LaLight
  • Because I'm a potato
    • View Profile
Re: The Necro Wars
« Reply #3187 on: April 04, 2022, 11:12:07 am »

alright, so I started thinking about this sudoku task and I want some help to give me a push in a right direction. Here are my thoughts so far:

I created 9 lists, named after the rows (so a-i) containing 9 numbers each (for now those are zeroes, but if there are numbers at the start I take those as inputs(?) to add to these lists.
Say, the starting condition is that in f2 cell is a number 5. So user inputs 'f' -> '2' -> '5', which I then change in an f dictionary by

sudoku[row_input][column_input - 1] = number_input

After that I create some statements comparing values of each list to

a) values of the list itself
b) values of each corresponding value in other list
c) values of values in a lists that correspond to the square they're in (so for instance a1 is compared with a2, a3, b1-3, c1-3.

if there is a match, I change the value to += 1 and if it's >9, it becomes 1 again.

The problems I am thinking of are:

1) How to tell that I don't want to change the values of a user (so the starting position is immutable)
2) I feel like I am choosing a complicated way, but I can't think of something that would help me here.
Logged
Wins: 15, 10
Losses: 11, 5, 1
Draws: 1
MVPs: 4
Mod/Co-mod: 18

I always have a limited access to forum on weekends.

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3188 on: April 04, 2022, 12:07:12 pm »

Wait, you're trying to make a sudoku that the user can solve, right? That's a different problem from what faust and I were talking about -- we were just discussing a program that you give one sudoko, it solves it, and then outputs the solution

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3189 on: April 04, 2022, 12:13:05 pm »


Ok so if I understand right, you're trying to modify each number until it fits? So you start with a 3, then you look in {row, column, box}, if there's a 3 you increase it, if there's a 4 you increase it, until you land at a number that hasn't been taken yet?

If so, I don't think that approach works. Or at least I can't think of a reason why it is guaranteed to work. I think you'd want to solve it like a human does, so you only insert a number when you know it's correct.

Basically, if you look at one cell, make a new array with [1, ..., 9] in it, kick out all t he numbers that can't work, and if there's only one left, modify the sudoku; otherwise move on to the next.

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3190 on: April 04, 2022, 12:15:19 pm »

One thing I didn't get is the sudoku object. If you already have the 9 lists, why do you also need the object?

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3191 on: April 04, 2022, 12:17:03 pm »

or rather if you have the dictionary, why the nine lists? (The dictionary should be neater)

You can also just do lists of lists in python, so [[1,2,3],[4,5,6]]. That or a dict is fine. Then you can access cells as sudoku[y]
  • and you can do arithmetic with the indices if necessary.

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3192 on: April 04, 2022, 12:18:41 pm »

-.- the forum thought the [x] was a list item.

so I was saying "access cells as sudoku[y][x]"

LaLight

  • Jester
  • *****
  • Offline Offline
  • Posts: 774
  • Shuffle iT Username: LaLight
  • Because I'm a potato
    • View Profile
Re: The Necro Wars
« Reply #3193 on: April 04, 2022, 12:29:01 pm »

oh, ok. I think I know what to do.
Logged
Wins: 15, 10
Losses: 11, 5, 1
Draws: 1
MVPs: 4
Mod/Co-mod: 18

I always have a limited access to forum on weekends.

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3194 on: April 04, 2022, 02:07:40 pm »

Tim Urban Livestream: https://www.youtube.com/waitbutwhy/live

I have a ton of respect for this guy (despite the one WTF graphic where all people are average). I think he's the ultimate example of someone who figured everything out by building bottom-out models for himself. And puts ridiculous effort into explaining simple things in a billion steps.

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3195 on: April 04, 2022, 02:09:40 pm »

can't explain why this is funny but it is funny

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3196 on: April 04, 2022, 04:44:29 pm »

Now I just need to write something brilliant until the end of the week.

It's working! :-)

Effective Altruism & adjacent fields are drowning in money nowadays. In that kind of climate, it really should not be impossible to make a living writing blog posts. That's something I really want to do.

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3197 on: April 04, 2022, 05:03:22 pm »



This can't be right.

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3198 on: April 05, 2022, 06:04:00 am »

Looking through my old drafts to find something else to publish, the only real candidate is this super in depth post I've written about Gödel's Incompleteness Theorem and Löb's Theorem. Don't expect them to do well but I'll publish it.

silverspawn

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 5301
  • Shuffle iT Username: sty.silver
    • View Profile
Re: The Necro Wars
« Reply #3199 on: April 05, 2022, 06:07:01 am »

Quote
You are about to read the greatest introduction to Löb's theorem ever written. Don't believe me? Here is the proof.

Let $X$ be the claim, "You are about to read the greatest introduction to Löb's theorem ever written". Let $F$ be the claim "$F$ implies $X$".

* Suppose $F$ is true.
    * Then by identity, "$F$ implies $X$" is true. Since $F$ is true, this implies that $X$ is true.

Thus, we have shown that, if $F$ is true, then $X$ is true, meaning we have shown "$F$ implies $X$". Since that is precisely $F$, we have shown (without making assumptions) that $F$ is true. As shown above, if $F$ is true then $X$ is true, so $X$ is true; qed.

(a repeat joke, admittedly, since I've already used this to prove that ErrinF created the greatest dominion expansion of all time.)
Pages: 1 ... 126 127 [128] 129 130 ... 269  All
 

Page created in 0.056 seconds with 20 queries.