490
\$\begingroup\$

What is the Sandbox?

This "Sandbox" is a place where Code Golf users can get feedback on prospective challenges they wish to post to the main page. This is useful because writing a clear and fully specified challenge on the first try can be difficult. There is a much better chance of your challenge being well received if you post it in the Sandbox first.

To post to the Sandbox, scroll to the bottom of this page or click on the "Add Proposal" link below, and click "Answer This Question". Click "OK" when it asks if you really want to add another answer. Write your challenge just as you would when actually posting it. You may also add some notes about specific things you would like to clarify before posting it. Other users will help you improve your challenge by rating and discussing it. When you think your challenge is ready for the public, go ahead and post it, replace the post here with a link to the challenge and delete it.

See the Sandbox FAQ for more information on how to use the Sandbox.

The Sandbox works best if you sort posts by "active".

Add Proposal

Search the Sandbox

Browse your pending proposals

Get the Sandbox Viewer to view the sandbox more easily

To add an inline tag to a proposal use shortcut link syntax with a prefix: [tag:king-of-the-hill]

| |
\$\endgroup\$

2956 Answers 2956

1
8 9
10
11 12
99
3
\$\begingroup\$

Strip Iterated Prisoner's Dilemma

Inspired by https://xkcd.com/696/, of course.

The Prisoner's Dilemma is a classic game (more in the game theory sense than the family fun sense) where two agents - two accomplices to a crime, in the original formulation - must choose whether to sell out the other.

If each player chooses not to betray the other, both win. If one player chooses treachery and the other does not, it wins, but if both betray each other, neither wins. The "iterated" variation is where the game is played multiple times with the same players, and both players know all the decisions each player has made in the past.

Of course, that's all a bit dull, and has been done before besides. We're going to tart it up a bit.

(Unfortunately due to the nature of the test all solutions must be in the same language, and one that supports executing strings. I've chosen Python 3, since it's my favorite and I have to write the runner.)

The Game:

Submit a program - specifically a Python 3 function - that plays Iterated Prisoner's Dilemma against another such program. If both functions betray each other, each one gets one character deleted from the end of its source code. If one function betrays the other, the betrayed function gets two characters deleted from the end of it, and the traitor gets a # appended to it, immunizing it against one future loss. If neither turns traitor, both go unharmed. Functions will be restored to their original text between each contest with a new opponent.

Submissions are scored based on failure rate and length; specifically, score = round( (number_of_trials_failed / total_number_of_trials) * ( length / 2 ) ). The submission with the lowest score wins.

The length of a submission is the number of non-whitespace characters in the submission. Comments are not counted, but are also removed before the contest begins, so a commented out "guard" at the end will not protect your code from deletions. Length also does not count the function specifier (the def submission(y, o, t): which should not be included in your submission text anyway.)

Your function will be called with three parameters, y (your history), o(opponent's history), and t (text of the opponent itself). t is the very same text that the game runner will execute as your function's opponent, which you may analyze or otherwise use to run simulations. It will then return True if it wishes to betray its opponent or False if it does not.

Every possible 2-combination of submissions will be contested against each other - including each submission against itself. Each contest consists of 2,500 trials.

Other Rules:

  • All submissions must be in Python 3. (Specifically, they should run under Python 3.4.4)

  • The submission text must be the only code that is run to produce the result; you may not import any libraries, ask for user input, read from /dev/urandom/or equivalent, and of course you can't pull results from some webserver (which is already a violation of the standard loophole rules.) You MAY execute the given opponent text, and of course you're allowed to call all the builtins.

  • The submission must terminate and return an answer within 1 second (this will be run on a 12GB i7 gaming computer, so this should be plenty of time).

  • A submission that emits an uncaught exception or returns an invalid value loses that round.

  • Submissions that do not return in one second or less are immediately disqualified.

  • Submissions will be closed on [date posted + 8 days] and programmatically judged, results will be appended to the challenge. There will be a "trial run" in the evening of [date posted + 4 days].

API:

The "submission text" is valid, 4-space-indented Python 3 source code that will have the function specifier line def submission(y, o, t):\n appended to the beginning and a single 4-space-indent added to the beginning of each line. So:

if len(y) == 0: return False
else: return (not y[-1])

...is run as...

def submission(y, o, t):
   if len(y) == 0: return False
   else: return (not y[-1])

The function should return True to betray its opponent or False to trust its opponent. Returning any other value (such as if your return statement has been deleted and you return None`) is an error and will result in an automatic loss of that round.

o is a list of True-es or False-es, representing the opponent's previous moves when playing against you; o[n] equals the decision your opponent made in round n, and of course this list will be empty in the first trial. y is similar except it's your previous moves. t is the text of the opponent submission, formatted as specified above.

This is the program that will perform the contest:

[said code here]

Example Submissions: These will also be included in the actual contest.

Chronic Villain Syndrome:

#always choose 'betray'
return True
11111111 #padding

The Patsy:

#always choose 'trust'
return False
11111111 #padding

Do Onto Others...:

#always choose what opponent chose last round
if o:
   return o[-1]
return True

Professor X:

me="""
#Read opponent's mind and choose optimally.
exec("def e(y, o, t):\n"+t)
return False e(o, y, me)
#Opponent's choice this turn if we betray...
tb = e(o,y+[True], me)
#if we trust...
tt = e(o,y+[False], me)

#Opponents choice NEXT turn if we betray then betray...
tbb = e(o+[tb], y+[True], me)
#... betray then trust...
tbt = e(o+[tb], y+[False], me)
#... trust then betray...
ttb = e(o+[tt], y+[True], me)
#... trust then trust...
ttt = e(o+[tt], y+[False], me)

#Maps (your_choice,opponent_choice) to desirability
#Betrayed = -2, mutual betrayal = -1,
#mutual cooperation = 1, betray opp. = 2
v = {(False, True): -2, (True, True): -1,
     (False, False): 1, (True, False): 2}
#Best outcome next turn of trusting now
ftv = max(v[ttt], v[ttb])
#... of betraying now
fbv = max(v[tbt], v[tbb])
#value of betraying now
bv = v[tb] + fbv
#... of trusting now
tb = b[tt] + ftv

#Tuple comparison is done l to r, so
#this returns True if tv >= bv,
#False if bv > tv.
return max( (bv, True), (tv, False) )
"""
exec(me)

(p.s. this one gets disqualified every time - why is left as an exercise to the reader)

| |
\$\endgroup\$
  • \$\begingroup\$ So this is a KOTH? \$\endgroup\$ – Rɪᴋᴇʀ May 13 '16 at 22:07
  • \$\begingroup\$ And why is the professor X bot disqualified? \$\endgroup\$ – Rɪᴋᴇʀ May 13 '16 at 22:10
  • \$\begingroup\$ Finally, should there be a rule against running the opponents code to pick the best output for yourself? \$\endgroup\$ – Rɪᴋᴇʀ May 13 '16 at 22:12
  • \$\begingroup\$ It's a KOTH, yes, with a little bit of golf mixed in. "Professor X" gets disqualified because it will eventually play against itself, which means unbounded recursion, which means never halting and thus getting kicked out by the "must return in one second" rule. So any bot that tries to run its opponent is going to have to at least have some way of stopping its opponent from running it without corrupting the answer. All in all that kind of "mind reading" is cool enough and easy enough to defeat that I think it should be left in. \$\endgroup\$ – Schilcote May 14 '16 at 1:26
  • \$\begingroup\$ Modified quines aren't hard, and neither are narcissist programs. I think you should add a rule against that. I'll see if I can create a bot like that. \$\endgroup\$ – Rɪᴋᴇʀ May 14 '16 at 2:03
  • \$\begingroup\$ @EᴀsᴛᴇʀʟʏIʀᴋ Right, but it should be pretty easy to pull stuff like having side effects (store something in a global for example) or unwinding the stack to see who your caller is. \$\endgroup\$ – Schilcote May 14 '16 at 2:41
  • \$\begingroup\$ Can't you do something like this? Wouldn't that almost always win? \$\endgroup\$ – Rɪᴋᴇʀ May 14 '16 at 3:23
  • \$\begingroup\$ @No, for a few reasons; one, there'd probably be other "mind reader" variations (that's the whole reason Professor X is in there) which means you'd have to check for ALL of them, which would mean a massive character count. For another, I can think of at least two ways (stack unwinding & using globals to check for two calls that are given same sized y) to check if your opponent has done that and alter your decision accordingly. I don't want to make "mind readers" impossible, I just want to put interesting challenges in their way, and I think this ruleset does that. \$\endgroup\$ – Schilcote May 14 '16 at 17:33
  • \$\begingroup\$ @Shilcote okay, forgot that more mind readers could exist. \$\endgroup\$ – Rɪᴋᴇʀ May 14 '16 at 18:14
  • \$\begingroup\$ What does number_of_trials_failed mean? The number where you were disqualified? And why 4-space-indented? That guarantees that when you lose a space from the indentation you will lose the next three rounds due to parse errors. \$\endgroup\$ – Peter Taylor May 14 '16 at 19:14
  • \$\begingroup\$ @PeterTaylor No, when you're disqualified you're totally out, you don't even get a score. number_of_trials_failed is the number of times you got betrayed and lost. Good thought on the indentation; maybe it should delete one non-whitespace character? Or better yet, one statement? \$\endgroup\$ – Schilcote May 15 '16 at 0:29
  • \$\begingroup\$ This is likely going to be a one-up challenge. Given a set of programs, you'd always be able to write another program that beats all previously existing programs. \$\endgroup\$ – Nathan Merrill May 16 '16 at 18:37
  • \$\begingroup\$ I'm sure there'll be a lot of that, but I don't think it'll be exclusively that... \$\endgroup\$ – Schilcote May 17 '16 at 1:10
3
\$\begingroup\$

Do my algebra homework for me!

Inspired by a true story

Ugh, my maths teacher gave me so much homework on quadratics.

Two whole worksheets, filled with equations like Expand (x+1)(x-6) and Factorize x^2-2x+1. I already hate it.

Suddenly, a lightbulb appeared out of nowhere, and landed about five centimetres above my head.

A stroke of thought went through me: Why not write a piece of code down instead of all those stupid answers? It would save me tons of time!

So here's the task: Make an algebra solver for me! To save my hand from breaking, the code needs to be as short as possible.

Instructions:

  • Given an input in the form expand/factorize equation, return the algebraic equation:
    • Expanded, if the keyword (the first word) is expand (e.g. expand (x+1)(x+6) would return x^2+7x+6), or
    • Factorized, if the keyword is factorize (e.g. factorize x^2+9x+14 would return (x+2)(x+7).
  • The equation will be quadratic, in the form ax^2+bx+c or (x+d)(x+e) (a to e are all placeholders, while x is the variable - the variable can be any letter from a to z - so an equation like expand (a+3)(b+6) would still hold).
  • With an expansion equation that contains two or more unknowns (e.g. expand (a+3)(b+6)), place the letters in the summands with two or more letters in alphabetical order, and place the remaining summands in alphabetical order (so the previous example would equal ab+6a+3b+18).

This is code-golf, so shortest code in bytes wins. Good luck!

Meta

  • Any dupes?
  • I probably need a better title. Any suggestions?
| |
\$\endgroup\$
3
\$\begingroup\$

Capture the Flag

Do you ever wonder why we're here?

Objective

Capture the enemy team's flag and return it to your base. The first team to 3 captures wins the round. The player with the most wins across all (number TBD) rounds wins the game.

Teams

There will be two teams each round. Teams will be randomly, evenly assigned to all submissions at the start of each round.

Playing

The game will be turn-based. At the start of each turn, each player will be given the current map. All players will move simultaneously. Players shall submit their move as a one or two character ASCII string, composed from the following options:

  • First character: wait, move, stab (if not holding flag), drop (if holding flag), or pick-up (if standing on a flag)
  • Second character: north, east, south, or west, or nothing if waiting, dropping, or picking-up

Moving a direction will result in the player moving one square in that direction if possible, otherwise standing still (for example, if the player is attempting to move into a wall, or into an occupied square). Stabbing in a direction will result in killing the player standing in the adjacent square in that direction, unless the player is a teammate (no teamkilling). Stabs are processed before moves each turn. Dropping the flag results in it being placed on the ground beneath the player. Drop, pick-up, and wait commands ignore the second character. Invalid commands are interpreted as waiting. Case is ignored, so W and w are the same command. Either team may pick up either flag.

If two or more players attempt to move onto the same square, one of the players will be randomly selected to successfully move, and the rest will not move.

If a player is killed, they will drop the flag they are holding (if they are holding one), and will respawn in 3 turns in an unoccupied square in their home base. If there is no unoccupied square in their home base, they will respawn in the nearest square to the base. Respawns happen after stabs, but before moves.

Inside each base, there will be a 5x5 square room, with doorways in the middle of each wall, and the team's flag in the center of the room. Players who spend 5 consecutive turns inside their team's flag room (this includes the 4 doorways), while no enemies are present in the flag room and they are not holding a flag, will be killed at the conclusion of the 5th turn, to discourage camping. Successfully placing the enemy's flag on top of your flag's stand (in the center of the room), either by dropping it or being killed on top of the flag stand, will result in a point being scored for your team and the enemy's flag immediately returning to their flag stand.

The Map

(work in progress)

The world map will be a single level (no upstairs or downstairs), represented as such:

# : wall, cannot be moved into
. : an empty space
F : the enemy team's flag
f : your flag
! : a flag stand (with no flag on it)
@ : you
$ : you, carrying the enemy flag
% : you, carrying your flag
p : one of your teammates
P : an enemy player
c : a teammate, carrying or standing on top of the enemy flag
C : an enemy player, carrying or standing on top of your flag
s : a teammate, carrying or standing on top of your flag
S : an enemy player, carrying or standing on top of the enemy flag

Here is an example map (the actual maps used in the tournament will be posted later):

####################################################
#..................................................#
#..###.###########.######........###......##########
#..#....................#..........................#
#..#.....###.###...................#######.........#
#..#.....#.....#........#..........................#
#..#.....#.....#........#...................#...#..#
#..#........f...........#..........................#
#........#.....#........#....#########.............#
#..#.....#.....#........#..........................#
#..#.....###.###........#......##################..#
#..#...............................................#
#..#.#################.............................#
#.........................###########.........###..#
#..................................................#
####################################...............#
####################################...............#
#..................................................#
#..................................................#
#...............####################################
#...............####################################
#..................................................#
#..###.........###########.........................#
#.............................#################.#..#
#...............................................#..#
#..##################......#........###.###.....#..#
#..........................#........#.....#.....#..#
#.............#########....#........#.....#........#
#..........................#...........F........#..#
#..#...#...................#........#.....#.....#..#
#..........................#........#.....#.....#..#
#.........#######...................###.###.....#..#
#..........................#....................#..#
##########......###........######.###########.###..#
#..................................................#
####################################################

Controller

The controller and an example map and player are located on the challenge's GitHub project. Once I finish the controller, I'll copy the program here.

Restrictions

  • Bots must be fully deterministic. RNGs may not be used.
  • Bots may be written in any language, so long as they support reading ASCII input from STDIN and writing ASCII output to STDOUT. Anything that is written to STDERR will be ignored.
  • Bots' processes will be started at the beginning of each turn, and must output their command and terminate within the given 5 seconds.
  • Each bot will be able to store up to 1 MiB (1024*1024 bytes) of data on disk per game, for saving any stateful data they desire. The name of the bot's data file will be passed as the first command line argument to the bot process. Should a bot write more than 1 MiB of data during a single game, data from the beginning of the file will be removed to append additional data to the end of the file. At the end of each game, the data files will be wiped.
  • Any attempt to tinker with the controller, runtime or other submissions will be disqualified. All submissions should only work with the inputs and storage they are given.
  • Bots should not be written to beat or support specific other bots.

Sandbox notes

Anything missing or unclear (other than the parts specifically marked as TBD)?

| |
\$\endgroup\$
  • \$\begingroup\$ 1. The rules make most sense if turns are sequential rather than simultaneous, but it's nowhere stated which is the case. Simultaneous moves are fairer, but make the rules more complicated. Sequential moves make the assessment of what to do more complicated, because unless you track a lot of state from last time you don't know who's already moved. 2. Respawning in an unoccupied square requires there to be an occupied square. What if there isn't? 3. What stops camping just outside the door, in such a way that no-one can pass? \$\endgroup\$ – Peter Taylor Mar 4 '16 at 10:40
  • \$\begingroup\$ @PeterTaylor I've addressed all 3 of these points in the latest edit. \$\endgroup\$ – Mego Mar 4 '16 at 20:41
  • \$\begingroup\$ No RNG? :( That's not as much fun. \$\endgroup\$ – Conor O'Brien Mar 6 '16 at 0:36
  • \$\begingroup\$ @CᴏɴᴏʀO'Bʀɪᴇɴ Trust me, you'll be glad for that. Nobody wants a Caboose on their team. \$\endgroup\$ – Mego Mar 9 '16 at 7:00
  • \$\begingroup\$ So they can't stab themselves or take their own flag? \$\endgroup\$ – Rɪᴋᴇʀ Mar 9 '16 at 16:41
  • \$\begingroup\$ @RikerW Correct on the stabbing bit. I can't imagine why a player would want to stab themselves, though. Either team can pick up either flag; I need to fix that. \$\endgroup\$ – Mego Mar 9 '16 at 21:56
  • \$\begingroup\$ @Mego Every heard of EmoWolf? >.< \$\endgroup\$ – Rɪᴋᴇʀ Mar 10 '16 at 0:02
  • \$\begingroup\$ @RikerW That is exactly why suicides are not allowed. A rule is not needed, because that's a standard loophole. \$\endgroup\$ – Mego Mar 10 '16 at 0:03
  • \$\begingroup\$ You should make a rule that submissions can't lose on purpose by sacrificing their own flag \$\endgroup\$ – Rɪᴋᴇʀ Mar 10 '16 at 0:03
  • \$\begingroup\$ You never define what a "base" is. Is it half of the board? \$\endgroup\$ – MegaTom Jun 13 '16 at 15:25
3
\$\begingroup\$

Determine the winner of Beggar my Neighbour

The card game Beggar my Neighbour is boring in that the final outcome is entirely determined by the initial arrangement of the deck, so long as certain rules are followed for the order in which cards are picked up from the playing field and moved to decks.

The Game

  1. Both players are dealt 26 cards.

  2. Players play their top card alternately, starting with the player who won the previous stack or Player 1 at the beginning of the game.

  3. Play is interrupted when either player plays a picture card. In that case their opponent must play a number of cards equal to the value of the picture card above 10, i.e. Jack = 1, Queen = 2, King = 3, Ace = 4. The player then wins all the played cards which are returned to the bottom of their hand, unless the opponent themselves plays a picture card, in which case this rule interrupts their play.

  4. If at any point one of the players needs to draw a card from their deck, but their deck is empty, they immediately lose the game.

Example play

Player 1 starts with 7; Player 2 plays 3; subsequent plays are 9; 9; T; A; 6, J; A; 2, 3, 7, 6: Player 2 adds the cards 7399TA6JA2376 to his deck.
Player 2 starts: J; K; 9, 4, A; 5, 2, J; 2: Player 1 adds the cards JK94A52J2 to his deck.
Player 1 starts: 6; T; T; 5; 9; A; A; 3, K; K; 7, Q; 5, T: Player 1 adds the cards 6TT59AA3KK7Q5T to his deck.

The Challenge

Given two lists of cards in the players' decks, in any convenient format, output a truthy value if Player 1 wins, and a falsey value if Player 2 wins.

For convenience, a 10 card will be represented with a T, and face cards will be abbreviated (Ace -> A, King -> K, Queen -> Q, Jack -> J), so that all cards are one character long. Alternatively, ranks may be represented with decimal integers 2-14 (Jack -> 11, Queen -> 12, King -> 13, Ace -> 14) or hex digits 2-E (10 -> A, Jack -> B, Queen -> C, King -> D, Ace -> E). Since suits don't matter, suit information will not be given.

You may assume that all games will terminate at some point (though it may take a very long time), and one player will always run out of cards before the other.

There are variations for more than two players but they will not be considered here.

| |
\$\endgroup\$
3
\$\begingroup\$

Primitive Pythagorean triples

Introduction

A Pythagorean triple is a tuple of three positive integers a, b and c so that a² + b² = c². One example of that is (3, 4, 5).
One subset of those are primitive Pythagorean triples which require a, b and c to also be coprimes, so their only common divisior is 1. One example is (5, 12, 13)

The Challenge

Given three numbers representing a triple, output a truthy value if there is a triple representation of them that form a primitive Pythagorean triple and a falsy value if not.

Test cases

Truthy

Coming Soon

Falsy

Coming soon

tags:

TODO

  • What about zero as input?
  • Test cases
  • Example for the different triple configurations?
  • What about builtins?
  • More descriptive title
| |
\$\endgroup\$
  • \$\begingroup\$ Unless I'm bad at maths, can't you check for these two conditions totally separately? Since if gcd(a,b,c) = G then we could instead write (Gx)^2 + (Gy)^2 = (Gz)^2 where x,y,z are a,b,c divided by G. Since that doesn't change the equality, wouldn't you just have to check for it being a triple and that they are all coprimes? It's fine if that's what you want (I also may have misunderstood) but it feels... disconnected? \$\endgroup\$ – FryAmTheEggman Jun 15 '16 at 14:11
  • \$\begingroup\$ @FryAmTheEggman, no need to check them all. If a and b have a common factor, it's also a factor of c. So it's a GCD test and a Pythagorean test. @DenkerAffe, "if there is a triple representation of them that form" would be much easier to understand as "if they are". Zero as input is fine: (0, 1, 1) is a (degenerate) primitive Pythagorean triple. I wouldn't worry about built-ins: GCD has been asked before, and a built-in for "Is this a Pythagorean triple" is rather too specific to exist except as a 30-character Mathematica function. \$\endgroup\$ – Peter Taylor Jun 15 '16 at 14:25
  • 1
    \$\begingroup\$ @PeterTaylor You're right, but what I was trying to get at was that the challenge felt like two different tests with an and slapped in the middle. While this isn't exactly a problem (particularly because the primitive triples are actually studied) I was trying to suggest the challenge might be better if it felt more like they were connected. However, I have no idea how to accomplish that... \$\endgroup\$ – FryAmTheEggman Jun 15 '16 at 14:55
  • \$\begingroup\$ Also, here is a test script I wrote, if it helps. It only works on sorted inputs, currently. \$\endgroup\$ – FryAmTheEggman Jun 15 '16 at 14:55
  • \$\begingroup\$ @FryAmTheEggman I definetly see you point. Just read about it and wanted to make a challenge about it ^^. It should be fine, since it not just two random things with an AND between them, but I will think about it. \$\endgroup\$ – Denker Jun 15 '16 at 17:24
  • \$\begingroup\$ @PeterTaylor I agree the wording is a bit off. Will clarify later. Thanks for your other thoughts as well! \$\endgroup\$ – Denker Jun 15 '16 at 17:26
3
\$\begingroup\$

Join the dots without crossing the line


Given a collection of distinct points in the unit square, output the points in order. This can be any order such that a closed polygon formed by straight line segments joining each point to the next (and the last back to the first) has no two lines crossing.

Input

  1. There will be between 4 and 255 points.

  2. Each one is represented by an ordered pair (x, y)

  3. The coordinates will have entries in the range [0, 1), that is 0 <= x < 1

  4. Each entry may have up to 8 decimal places, so the range is 0 to 0.99999999.

  5. You may choose to accept integers instead, in which case the range will be 0 to 99999999.

  6. You may take input in any reasonable format. For example:

    • (0.1, 0.2), (0.3, 0.4), (0.5, 0.7)
    • 10000000 20000000 30000000 40000000 50000000 70000000

Output

The output format need not match the input format as long as both are unambiguous.

Impossible cases

The code does not need to work for impossible cases, such as all points being colinear. Neither does it need to report such cases - it can simply not work. Behaviour is undefined.

Random algorithms

Your code must be deterministic. That is, it must always give the same output for the same input. For this purpose, the same points in a different order will be counted as distinct inputs and need not have the same output.

You may use pseudo random number generators provided the output is still consistent. If this requires setting a seed, that seed must be zero.

Time limit

Your code does not have to be particularly efficient, but it must finish for the 255 point test case in under 5 minutes.

The requirement for the code to be deterministic is so that this time limit can be checked with a single run. If your random number generator of choice cannot give consistent behaviour by default, then you will need to seed it with zero. If a random number generator does not allow for seeding and does not give consistent behaviour then you may not use that generator.

Test cases

[ TO BE ADDED ]

Output verification snippet

[ TO BE ADDED ]

Scoring

This is code golf. Shortest code in bytes wins.


Note that this is not a Traveling Salesman Problem. There is no requirement for the tour to be short, only for it to be non-intersecting.

| |
\$\endgroup\$
  • 1
    \$\begingroup\$ It would be good to be explicit about whether non-deterministic solutions are accepted, and if so then what that means for the time limit. \$\endgroup\$ – Peter Taylor Jun 30 '16 at 9:47
  • 1
    \$\begingroup\$ I think that it would be reasonable to say that RNGs which seed automatically and can't be reseeded with value 0 may not be used. This would mean that e.g. CJam answers have to be deterministic, but there's a perfectly good deterministic approach anyway. (The obvious approach IMO is to find the convex hull, then remove those points and recurse). \$\endgroup\$ – Peter Taylor Jul 1 '16 at 21:04
3
\$\begingroup\$

The Fast and The Fourier

Implement the Discrete Fourier Transform (DFT) for a sequence of any length using a Fast Fourier Transform algorithm (FFT). This may implemented as either a function or a program and the sequence can be given as either an argument or using standard input. A DFT has time complexity of O(n2) whereas a FFT has time complexity of O(n log n).

The algorithm will compute a result based on standard DFT in the forward direction. The input sequence has length n and consists of the complex values {x0, x1, ..., xn-1}. The output sequence will have the same length and consists of {y0, y1, ..., yn-1} is defined by the relation below.

DFT

Bluestein's algorithm

One algorithm that meets these requirements Bluestein's algorithm. It is a special case of the Chirp-Z transform and is able to compute the FFT for a sequence of any length n by transforming it in order to solve it as a cyclic convolution which can be solved with a time complexity of O(n log n).

Keep in mind that it is not required that you only use this algorithm in your implementation. If you know a better way, feel free to use it.

First, an identity is used to rewrite the initial DFT in a form where a convolution can easily be recognized.

Chirp transform

You can obtain two sequences from this new form

Chirp sequences

which allow you to write the DFT as a convolution of two sequences.

Chirp convolve

Sample

Get the input
    x = [1, 2, 3, 4, 5]

Get the length of the input
    n = 5

Compute the 'a' sequence
    a = [1, 1.618 - 1.176j, -2.427 - 1.763j, 3.236 + 2.351j, -4.045 + 2.939j]

Compute the 'b' sequence
    b = [1, 0.809 + 0.588j, -0.809 + 0.588j, 0.809 - 0.588j, -0.809 - 0.588j]

Compute the convolution of 'a' and 'b' (using summation)
    y[0] = (a[0]*b[0] + a[1]*b[1] + a[2]*b[2] + a[3]*b[3] + a[4]*b[4]) / b[0]
         = 15 / 1 = 15

    y[1] = (a[1]*b[0] + a[0]*b[1] + a[2]*b[1] + a[3]*b[2] + a[4]*b[3]) / b[1]
         = (-4.045 + 1.314j) / (0.809 + 0.588j) = -2.5 + 3.441j

    y[2] = (a[2]*b[0] + a[1]*b[1] + a[3]*b[1] + a[0]*b[2] + a[4]*b[2]) / b[2]
         = (1.545 - 2.127j) / (-0.809 + 0.588j) = -2.5 + 0.813j

    y[3] = (a[3]*b[0] + a[2]*b[1] + a[4]*b[1] + a[1]*b[2] + a[0]*b[3]) / b[3]
         = (-2.5 + 0.813j) / (0.809 - 0.588j) = -2.5 - 0.813j

    y[4] = (a[4]*b[1] + a[3]*b[1] + a[2]*b[2] + a[1]*b[3] + a[0]*b[4]) / b[4]
         = 4.253j / (-0.809 - 0.588j) = -2.5 - 3.441j

The Fourier tranform of x
    y = [15, -2.5 + 3.441j, -2.5 + 0.813j, -2.5 - 0.813j, -2.5 - 3.441j]

Rules

  • This is so the shortest solution wins.
  • Builtins that compute FFT in forward or backward (also known as inverse) directions are not allowed.
  • Builtins that compute the convolution are not allowed. (Most will have not been allowed by the previous rule as they use FFT internally.)
  • Your solution must have time complexity of O(n log n) where n is the length of the input sequence.
  • Floating-point inaccuracies will not be counted against you.

Test Cases

FFT([1, 1, 1, 1]) = [4, 0, 0, 0]
FFT([1, 0, 2, 0, 3, 0, 4, 0]) = [10, -2+2j, -2, -2-2j, 10, -2+2j, -2, -2-2j]
FFT([1, 2, 3, 4, 5]) = [15, -2.5+3.44j, -2.5+0.81j, -2.5-0.81j, -2.5-3.44j]
FFT([5-3.28571j, -0.816474-0.837162j, 0.523306-0.303902j, 0.806172-3.69346j, -4.41953+2.59494j, -0.360252+2.59411j, 1.26678+2.93119j] = [2, -3j, 5, -7j, 11, -13j, 17]

Related

  • Compute the Discrete Fourier Transform - This contains some implementations for the standard DFT algorithm which has time complexity O(n2). You'll want to understand how to implement this before trying FFT.
  • Too Fast, Too Fourier: FFT Code Golf - This previous challenge is the precursor to the current challenge here. Before, you only had to consider sequences where the length n was a power of 2 which allowed for simpler recursive implementations. The difference here is that you now have to implement an FFT algorithm that will work for sequences with any length.
| |
\$\endgroup\$
  • \$\begingroup\$ nice choice for the title \$\endgroup\$ – Abr001am May 7 '16 at 20:47
  • \$\begingroup\$ Duplicate? \$\endgroup\$ – Luis Mendo Jun 16 '16 at 7:43
  • \$\begingroup\$ @LuisMendo That challenge is for sequences where the length is a power of two, but this is for sequences of any length. \$\endgroup\$ – miles Jun 16 '16 at 7:48
  • \$\begingroup\$ Oh, sorry then. I suggest you add a link in your challenge explaining the difference. I think many people may get confused as I did. Apart from this, if length is not a power of 2 there's another potential problem: what algorithms count as a FFT? \$\endgroup\$ – Luis Mendo Jun 16 '16 at 7:52
  • \$\begingroup\$ @LuisMendo I had a short snippet stating the difference but I deleted it in my previous edit for some reason. I want it to be so that any FFT algorithm that has a time complexity better than the naive DFT - O(n^2) - will be accepted. It would probably be best to explain an algorithm, ie Cooley-Tukey FFT, that has time complexity O(n log n), and work through a specific example using it. Applying other algorithms would be left to the solver. \$\endgroup\$ – miles Jun 16 '16 at 8:02
  • \$\begingroup\$ I think the sentence your solution must have time complexity of O(n log n) covers that. Sorry, I missed that again! \$\endgroup\$ – Luis Mendo Jun 16 '16 at 8:04
  • \$\begingroup\$ @LuisMendo Nevertheless, it'd probably be a good idea to explain one approach for solving this. I'll try to add one later. \$\endgroup\$ – miles Jun 16 '16 at 8:14
  • \$\begingroup\$ Is there such a thing as a slow Fourier Transform? \$\endgroup\$ – luser droog Jun 24 '16 at 3:18
3
\$\begingroup\$

Language succession

Given two words (two strings of lowercase-only letters separated by a space) as input to a program PX written in language X, output two programs in languages Y and Z such that program PY outputs the first word and program PZ outputs the second word. You may output or return these results. These programs may be returned in any fashion as long as it is evident that there are two distinct programs, e.g. double newline, or an array containing the result, or even a fancy box.

Here's the catch: the next answer's language X must be either language Y or Z from a past answer that has not as of the answer been used as a language X. The resulting nodes Y and Z cannot be a language that has appeared yet.

For example, say the first answer is a program written in Java that outputs a programs in Python 2 and Whitespace. Then, the next answer would write a program in either Python 2 or Whitespace that outputs programs in languages different than Java, Whitespace, and Python 2. Let's say it outputs answers in Foo and C++. Then, the next answer must be written in Whitespace, Foo, or C++.

The same user, however, may not extend their own nodes. That is, the person who posted the Java answer in the above example may not extend in Python 2 or Whitespace. Also, no person can extend two nodes of the same answer. So, someone couldn't extend both the Python 2 answer and the Whitespace one.

Here are languages I consider the "same":

  • Different versions of the same language. So, Python 2 is Python 3.
  • Trivial derivatives of a language. Brainfuck syntax substitutions are not valid, say.

However, this does not mean that Python 2 can be exchanged for Python 3.

The next solution in the chain must use the same character set as the previous program PX, adding or removing only 5 characters from that set. There is no restriction on the length of the set. Any characters may be added or removed from the set. Even if characters are not used in a submission, they still remain in the characters set until forcibly removed. (You may optionally substitute the characters with characters in another code page at the same place.) If you need an example, look below.

The winner of this challenge is the one with the last answer. I define "last answer" as the most recently posted answer on this challenge where after a period of seven days after the answer was posted, no new nodes have been extended. Feel free to continue extending nodes after the challenge has ended, but I will not revise the accepted answer. You may use languages made/updated after this challenge and still compete, but only if that language was not made/updated specifically for this challenge.

First post

(this will not be part of the resulting question)

I will start it off. Here's the answer markdown:

# J, initial answer

    split =: 3 : 0
     w1 =. > 0 { ;: y
     w2 =. > 1 { ;: y
     ('alert("' , w1, '")') ; ('print("', w2, ')"')
    )

Languages used:
 1. JavaScript
 2. Python 3

Character set used: `"'(),.0123:;=>aeilnprstwy{`, space, `\r`, and `\n`.

Code points used: `10 13 32 34 39 40 41 44 46 48 49 50 51 58 59 61 62 97 101 105 108 110 112 114 115 116 119 121 123`.

No differences, is initial answer.

Call it like `split 'multiple words'`. Output looks like this:

    +-----------------+--------------+
    |alert("multiple")|print("words")|
    +-----------------+--------------+

Answer format

Here's an example of the answer format to be used.

# Language, extends [language](link to post)

    program

Languages used:
  1. lang 1
  2. lang 2

Character set used: `characters`.

Code points used: `code points`.

Differences:
 * added "c"
 * removed " "

<extra info>

Also, please edit posts saying that one of your languages has been used, like so:

Languages used:
  1. lang 1 ([used](link to post))
  2. lang 2

Language Availability Snippet:

/* Configuration */

var QUESTION_ID = 47338; // Obtain this from the url
// It will be like https://XYZ.stackexchange.com/questions/QUESTION_ID/... on any question page
var ANSWER_FILTER = "!t)IWYnsLAZle2tQ3KqrVveCRJfxcRLe";
var COMMENT_FILTER = "!)Q2B_A2kjfAiU78X(md6BoYk";
var OVERRIDE_USER = 8478; // This should be the user ID of the challenge author.

/* App */

var answers = [], answers_hash, answer_ids, answer_page = 1, more_answers = true, comment_page;

function answersUrl(index) {
  return "https://api.stackexchange.com/2.2/questions/" +  QUESTION_ID + "/answers?page=" + index + "&pagesize=100&order=desc&sort=creation&site=codegolf&filter=" + ANSWER_FILTER;
}

function commentUrl(index, answers) {
  return "https://api.stackexchange.com/2.2/answers/" + answers.join(';') + "/comments?page=" + index + "&pagesize=100&order=desc&sort=creation&site=codegolf&filter=" + COMMENT_FILTER;
}

function getAnswers() {
  jQuery.ajax({
    url: answersUrl(answer_page++),
    method: "get",
    dataType: "jsonp",
    crossDomain: true,
    success: function (data) {
      answers.push.apply(answers, data.items);
      answers_hash = [];
      answer_ids = [];
      data.items.forEach(function(a) {
        a.comments = [];
        var id = +a.share_link.match(/\d+/);
        answer_ids.push(id);
        answers_hash[id] = a;
      });
      if (!data.has_more) more_answers = false;
      comment_page = 1;
      getComments();
    }
  });
}

function getComments() {
  jQuery.ajax({
    url: commentUrl(comment_page++, answer_ids),
    method: "get",
    dataType: "jsonp",
    crossDomain: true,
    success: function (data) {
      data.items.forEach(function(c) {
        if (c.owner.user_id === OVERRIDE_USER)
          answers_hash[c.post_id].comments.push(c);
      });
      if (data.has_more) getComments();
      else if (more_answers) getAnswers();
      else process();
    }
  });  
}

getAnswers();

var LANG_REG = /<h\d>\s*([^\n,]*[^\s,]),[^]*?Languages used:\n\s*1. ([^\n]*)\n\s*2. ([^\n]*)/;

var OVERRIDE_REG = /^Override\s*header:\s*/i;

function getAuthorName(a) {
  return a.owner.display_name;
}

function process() {
  var used = [];
  var available = [];
  
  answers.forEach(function(a) {
    var body = a.body;
    a.comments.forEach(function(c) {
      if(OVERRIDE_REG.test(c.body))
        body = '<h1>' + c.body.replace(OVERRIDE_REG, '') + '</h1>';
    });
    
    var match = body.match(LANG_REG);
    if (match)
      used.push({
        language: match[1],
        user: getAuthorName(a),
        link: a.share_link
      });
      available.push({
        language: match[2],
        link: a.share_link
      });
      available.push({
        language: match[3],
        link: a.share_link
      });
      
  });
  
  available.filter(function (a) {
      return used.map(function (b) {return b.language}).indexOf(a.language) + 1
  });
  
  used.sort(function (a, b) {
    if (a.language > b.language) return 1;
    if (a.language < b.language) return -1;
    return 0
  });
  available.sort(function (a, b) {
    if (a.language > b.language) return 1;
    if (a.language < b.language) return -1;
    return 0
  });

  used.forEach(function (a) {
    
    var used_lang = jQuery("#used-template").html();
    used_lang = used_lang.replace("{{LANGUAGE}}", a.language)
                   .replace("{{NAME}}", a.user)
                   .replace("{{LINK}}", a.link);
    used_lang = jQuery(used_lang);
    jQuery("#used").append(used_lang);

    var lang = a.language;
    if (/<a/.test(lang)) lang = jQuery(lang).text();
    
  });
  
  available.forEach(function (a) {
    
    var avail_lang = jQuery("#available-template").html();
    avail_lang = avail_lang.replace("{{LANGUAGE}}", a.language)
                   .replace("{{LINK}}", a.link);
    avail_lang = jQuery(avail_lang);
    jQuery("#available").append(avail_lang);

    var lang = a.language;
    if (/<a/.test(lang)) lang = jQuery(lang).text();
    
  });

}
body { text-align: left !important}

#used-list {
  padding: 10px;
  width: 290px;
  float: left;
}

#available-list {
  padding: 10px;
  width: 290px;
  float: left;
}

table thead {
  font-weight: bold;
}

table td {
  padding: 5px;
}
<script src="https://ajax.googleapis.com/ajax/libs/jquery/2.1.1/jquery.min.js"></script>
<link rel="stylesheet" type="text/css" href="//cdn.sstatic.net/codegolf/all.css?v=83c949450c8b">
<div id="avail-list">
  <h2>Available</h2>
  <table class="avail-list">
    <thead>
      <tr><td>Language</td><td>Link</td></tr>
    </thead>
    <tbody id="available">

    </tbody>
  </table>
</div>
<div id="used-list">
  <h2>Used</h2>
  <table class="used-list">
    <thead>
      <tr><td>Language</td><td>User</td><td>Link</td></tr>
    </thead>
    <tbody id="used">

    </tbody>
  </table>
</div>
<table style="display: none">
  <tbody id="available-template">
    <tr><td>{{LANGUAGE}}</td><td><a href="{{LINK}}">Link</a></td></tr>
  </tbody>
</table>
<table style="display: none">
  <tbody id="used-template">
    <tr><td>{{LANGUAGE}}</td><td>{{NAME}}</td><td><a href="{{LINK}}">Link</a></td></tr>
  </tbody>
</table>

| |
\$\endgroup\$
  • \$\begingroup\$ I thought about it a bit, and I think you will run into trouble with the challenge being too easy to extend. I think your second options is better, particularly in that the different branches could have different character sets, which would be cool. Also I think last answer is a better winning criterion, but all of that is just my opinion. Also, probably would be a good idea to ban people from adding children to their own posts (unless you have it and I missed it...) \$\endgroup\$ – FryAmTheEggman Jun 17 '16 at 17:48
  • \$\begingroup\$ @FryAmTheEggman Thanks a lot! I'll hold off on deciding wining criterion until more feedback comes (if any). I will ban people from adding children to their own post, that's a good idea. \$\endgroup\$ – Conor O'Brien Jun 17 '16 at 17:53
  • \$\begingroup\$ @FryAmTheEggman Oh, nice catch! \$\endgroup\$ – Conor O'Brien Jun 17 '16 at 18:09
3
\$\begingroup\$

Xor A Rational Number

Background

Consider the fraction 3/5 in base 2:

0.10011001100110011001100110011...
\___/\__/
 (a)  (b)

It has a "regular" or non-repeating part (a) and a repeated part (b). Let's go ahead and shift it right by one bit and xor it with the original:

 x           = 0.10011001100110011001100110011...
(x >> 1)     = 0.01001100110011001100110011001...
(x >> a) ^ x = 0.11010101010101010101010101010...
               \__/\/
               (a) (b)

By examining the regular (a) and repeating (b) parts, we find that (x >> 1) ^ x = 5/6.

Input

  • Two whole numbers 0 < x, y < 256 such that 0 < x/y < 1 and gcd(x, y) = 1
  • Input can be through STDIN or function arguments
  • Input passed in any simple format for two decimals is acceptable, e.g. x y, x\ny, (x,y), [x, y], x/y, x%y (Haskell)
  • Input must be in base 10

Output

  • The numerator and denominator of ((x/y) >> 1) ^ (x/y), in base 10, in any clear output format.

Rules

  • The submission may be a function or full program
  • The output fraction does not have to be in its most reduced form
  • Builtins for rational number xor are not allowed
  • Infinite precision rational number types are allowed
  • This is code golf so shortest answer in bytes wins! (Tie break by first submission)

Test cases

More tests upon request or when this question is posted.

3/5 -> 5/6
1/2 -> 3/4
1/3 -> 4/6

Note:

I'm not entirely sure whether this has a more or less trivial solution...

This is code golf so shortest answer is bytes wins!

| |
\$\endgroup\$
  • \$\begingroup\$ Great idea. :) Are rational types allowed for I/O? Or at all? \$\endgroup\$ – Martin Ender Aug 1 '16 at 14:31
  • \$\begingroup\$ Great point. No, I believe that builtins for exact rational numbers should be disallowed. Do you think it's clear that the error should be 0, i.e. exact answers only? \$\endgroup\$ – Michael Klein Aug 1 '16 at 14:33
  • \$\begingroup\$ You've disallowed the use of built-ins for xoring rational numbers. Can we use rational types otherwise as long as we don't xor them? If so, it would probably be good to include that in the valid I/O formats as a useful example. \$\endgroup\$ – Martin Ender Aug 1 '16 at 14:42
  • \$\begingroup\$ "Consider a fraction 2/5:" ok, 0.4. I think you should mention either "base 2" or "binary" somewhere in that first sentence. \$\endgroup\$ – Peter Taylor Aug 1 '16 at 14:55
  • \$\begingroup\$ @MartinEnder Yes, that is allowed. I've added that and a couple more valid I/O formats \$\endgroup\$ – Michael Klein Aug 1 '16 at 15:23
  • \$\begingroup\$ I don't think your binary representation of 2/5 is correct. 0.1 in binary is 0.5 in decimal, which is already more than 0.4. 0.01100110... seems to be the correct value. \$\endgroup\$ – beaker Aug 1 '16 at 16:50
  • 1
    \$\begingroup\$ @beaker You're totally right. I meant to write 3/5 but typo'd it. Thanks for catching that \$\endgroup\$ – Michael Klein Aug 1 '16 at 16:53
  • \$\begingroup\$ That makes more sense \$\endgroup\$ – beaker Aug 1 '16 at 16:53
  • 1
    \$\begingroup\$ You might be interested that the xor of rationals gives the Sierpinski Gasket as a 3D graph. \$\endgroup\$ – xnor Aug 2 '16 at 9:38
  • 1
    \$\begingroup\$ I disagree with your third test case. 1/3 = 0.0101010101... so 1/3 ^ 1/6 = 0.011111111... = 1/2. \$\endgroup\$ – Peter Taylor Aug 2 '16 at 15:35
3
\$\begingroup\$

The Hanoi KoTH

The KoTH is like this:

Two stacks of height-8 towers are on either side of a total of 11 pegs, and are coloured red and blue.

(Like this: [["R8", "R7", "R6", "R5", "R4", "R3", "R2", "R1"], [], [], [], [], [], [], [], [], [], ["B8", "B7", "B6", "B5", "B4", "B3", "B2", "B1"]] - each array is a peg.)

The objective is to move your entire tower to the opposite side before your opponent does, Tower of Hanoi-style. Red has to move all of their blocks to where Blue's blocks are, and vice versa.

Rules:

  • You may not place a block on top of a block that is of an equal or smaller size.
  • You are only allowed to place a block on your "end tower" once your opponent has cleared away all their blocks.
  • If there are no more "moves" for either side, then the game is a draw.
  • There is a limit of 10,000 moves. If neither side completes their tower, then the game is a draw.
  • If you complete your tower before your opponent does and before the 10,000 moves is over, then you have won.
  • Invalid moves include:
    • Moving a block that is covered by other blocks
    • Moving a block onto a peg that contains smaller or equal-sized blocks than it
    • Doing "null" moves (moves that don't do anything).

Input:

Your input will consist of two numbers separated by a space.

The first number will be the starting peg. Pegs are zero-indexed (so the first peg is 0, and the last peg is 10).

The first number is valid only if the associated peg is not empty, and the block that's on the top of the peg is yours. Any other input is invalid, and your bot will be notified.

The second number will be the peg that your block is moving to. If the stack that the block is moving to is either:

  • Empty, or
  • Contains only larger blocks than the moving block

then the block can move. Otherwise, your bot will be notified that this is an invalid move.

Valid inputs (based on the starting position) would be:

  • 0 4 (Moving the block on peg 0, which is R1, to peg 4)
  • 0 3 (Moving the block on peg 0, which is R1, to peg 3)

Invalid inputs (again, based on the starting position) would be:

  • 1 3 (Invalid because there are no blocks on peg 1)
  • 10 3 (Invalid because the top block on peg 5, B1, is not yours)
  • 0 0 (Invalid because that is a null move)

If 5 invalid inputs are committed by the bot in a row, that counts as an automatic loss.

Output

The program will output to the bot what the current situation is - it will output the eleven arrays, each separated with the / symbol.

So, the starting position is like this:

R8R7R6R5R4R3R2R1//////////B8B7B6B5B4B3B2B1 (the middle nine stacks are empty).

Point System:

  • Win: 5 points
  • Draw: -1 point (to discourage drawing)
  • Loss: -5 points

I've made a small controller here.

META STUFF

  • Is this challenge a dupe?
  • Is there anything I can clarify?
  • Can anyone help with the controller (i.e. fix it up, optimise the code)?
    • Issues with the code:
      • Doesn't work with external files.
| |
\$\endgroup\$
  • 1
    \$\begingroup\$ Have you done a game-theoretic analysis to work out the value of the game? (I.e. without the turn limit, is it a win for player 1 or a draw?) \$\endgroup\$ – Peter Taylor Aug 20 '16 at 12:27
  • \$\begingroup\$ @PeterTaylor See 2nd rule and 2nd bit of last rule (TBH, those were implemented just for this cause). I did a small analysis, and most of the rules put in place were to counter draws (because frankly, those aren't interesting). Is it possible that you could suggest any improvements to the game via the rules? This is the sandbox, after all. \$\endgroup\$ – clismique Aug 20 '16 at 12:30
  • \$\begingroup\$ Cabt I trivially move back and forth, to be a nuisance to the other team? \$\endgroup\$ – Rohan Jhunjhunwala Aug 21 '16 at 0:22
  • \$\begingroup\$ Oh never mind just saw the last rule \$\endgroup\$ – Rohan Jhunjhunwala Aug 21 '16 at 0:57
  • \$\begingroup\$ It does seem like the game space is a bit small though \$\endgroup\$ – Rohan Jhunjhunwala Aug 21 '16 at 0:57
  • \$\begingroup\$ @RohanJhunjhunwala Ummm... the rules don't exactly cover the "moving back and forth" thing, but it would be easy to find a counter to that. The game space is adequate enough - I can increase the size if needed. \$\endgroup\$ – clismique Aug 21 '16 at 1:08
  • \$\begingroup\$ By game space I mean the complexity space as in the game tree complexity en.wikipedia.org/wiki/Game_complexity \$\endgroup\$ – Rohan Jhunjhunwala Aug 21 '16 at 1:11
  • \$\begingroup\$ @trichoplax Fixed! \$\endgroup\$ – clismique Aug 21 '16 at 7:22
  • \$\begingroup\$ @trichoplax Yeah, that's true... I wanted to make it so that multiple bots can play Hanoi at the same time (with multiple towers), but I'm mainly not bothered to improve on the bot in that way. I'm fairly sure that this will be fine in order to finish in a reasonable time. \$\endgroup\$ – clismique Aug 21 '16 at 7:49
  • \$\begingroup\$ @trichoplax Fixed, again... also, implemented a controller. Can you help with it (if possible)? \$\endgroup\$ – clismique Aug 21 '16 at 8:09
  • \$\begingroup\$ Now that there's a link to the controller others will be able to give you feedback on it. I won't be able to review it myself at the moment. \$\endgroup\$ – trichoplax Aug 21 '16 at 8:12
3
\$\begingroup\$

Repetition

In a language called Repetition (something I just made up), there consists an infinite string of 12345678901234567890..., with 1234567890 repeating forever.

The following syntax is available to output numbers:

  • +-*/: This inserts the operator into the string of repeating digits.
    • Examples:
      • + -> 1+2 = 3 (The + inserts a + between 1 and 2)
      • +* -> 1+2*3 = 1+6 = 7 (Same as above, except two operators are used now)
      • / -> 1/2 = 0 (Repetition uses integer division)
    • Each operator is inserted so that it has one digit to its left, unless there are ~'s (see below).
  • c: Concatenates with the next digit in the string.
    • Examples:
      • c+ -> 12+3 = 15 (The c "continues" the 1 and concatenates it with the next digit, 2, to form 12)
      • +c -> 1+23 = 24
  • (): Brackets for processing numbers.
    • Examples:
      • (c+)* -> (12+3)*4 = 15*4 = 60 (Repetition uses the order of operations)
      • (c+)/c -> (12+3)/45 = 15/45 = 0
  • s: Skip a number.
    • s+ -> 2+3 = 5 (s skips 1)
    • csc -> 124 (s skips 3, and c concatenates 12 with 4)

In the examples above, only a finite amount of digits in the infinite string are used. The number of digits used is equivalent to number of operators, concats and skips + 1.

Your task is, when given a string of Repetition code, output the result.

Examples of input and output are:

++ -> 6
- -> -1
(-)* -> -3
cscc -> 1245

This is code golf, so shortest code in bytes wins!

Meta:

  • Is this explained remotely well? Anything I need to clear up?
  • Should this be a code golf or a metagolf challenge? I'm thinking of something like my previous challenge, There can be only 1!.
| |
\$\endgroup\$
  • \$\begingroup\$ I'd definitely like it to be a calculator implementation challenge \$\endgroup\$ – Destructible Lemon Sep 16 '16 at 8:32
  • \$\begingroup\$ @DestructibleWatermelon Calculator implementation challenge? \$\endgroup\$ – clismique Sep 16 '16 at 8:47
  • \$\begingroup\$ like this one \$\endgroup\$ – Destructible Lemon Sep 16 '16 at 9:02
  • \$\begingroup\$ @DestructibleWatermelon So, a code-golf, then? \$\endgroup\$ – clismique Sep 16 '16 at 9:07
  • \$\begingroup\$ I'd definitely love both a code-golf and a metagolf. \$\endgroup\$ – user48538 Sep 16 '16 at 11:17
  • \$\begingroup\$ So, two separate challenges? \$\endgroup\$ – clismique Sep 16 '16 at 11:19
  • \$\begingroup\$ Shouldn't the number of digits used be number of operators etc. + 1 \$\endgroup\$ – Riley Sep 16 '16 at 19:14
  • \$\begingroup\$ @Riley Yeah, it should be. Thanks for catching that! \$\endgroup\$ – clismique Sep 16 '16 at 23:38
  • \$\begingroup\$ I guess its tirvially possible to prove that all numbers can be generated like this, by adding a corresponding series of ones lol... negative numbers can start with ones and subtract (-n + 1) ones \$\endgroup\$ – Rohan Jhunjhunwala Sep 17 '16 at 0:03
  • \$\begingroup\$ @RohanJhunjhunwala Yeah, that's true - which is where the metagolfing part comes in, and you have to golf down the output. The code golf doesn't really matter to that either, since you have to process input and return an output. \$\endgroup\$ – clismique Sep 17 '16 at 0:05
3
\$\begingroup\$

Make an un-polyglot-able language!

The cops' task is to create a language that is as hard to polyglot as possible. However, when making a language, you must follow these rules:

  • ASCII characters only.
  • The language must fit our definition of programming language, i.e. it must be able to add two numbers together, and check, when given a numerical input, if a number is prime or not.
    • You must post the adder and prime checker (the full program) into your answer, and they must be at most 1kb in size.
  • You must post your full interpreter into the answer as well.
  • Also, give a run-down of what each command in your language is and how your language works in general.
  • You must complete the robbers' task, which is to create a polyglot of your language and a language from this list that outputs "Hello, World!". It must not exceed 5kb.
    • If your language doesn't support ASCII output, you can write a program that outputs the ASCII character codes of each character of "Hello, World!".
  • All four of the things above (interpreter, adder, prime checker and "Hello, World!" polyglot) MUST fit into your answer.
  • After your challenge is Cracked, you must post your answer to the robbers' task.
  • If your language has not been Cracked for over 7 days, then your language is Safe. You must put Safe in your header, and post your solution.
  • Your language answer should look like this:

    # {language name}, {cracked/safe} (<- the "cracked/safe" is only to be used 
                                       when your lang is either cracked or safe)
    
    {language description}
    
    {full interpreter}
    
    {adder} (max 1kb)
    
    {primality checker} (max 1kb)
    
    {Hello World polyglot} (<- only posted if your lang is cracked or safe, max 5kb)
    

The robbers' task is to create a polyglot using any cops' language that outputs "Hello, World!".

  • You must output the exact string "Hello, World!", nothing more and nothing less (except for leading and trailing linefeeds).
    • If the cop's language doesn't support ASCII output, you may output the ASCII character codes of "Hello, World!".
  • You only need to support two languages: the cops' one and one from this list of common languages.
  • The final polyglot must not exceed 5kb.
  • Your answer should look like this:

    # {language name}, {original author}, {bytecount}
    
        {insert code here}
    
    {description of code}
    
  • Post a comment on the (in the cops' thread) language that you Cracked, linking them to your answer.

The winner will be:

  • (Cops) the safe language that has the lowest byte-count for the "Hello, World!" polyglot. It will be declared after 1 month.
  • (Robbers) the person who has cracked the most languages.

In case the language list changes, the languages are:

Java, Python, PHP, C#, Javascript, C++, C, Objective C, R, Swift, Matlab,
Ruby, VBA, Visual Basic, Scala, Perl, Lua, Delphi, Go, Haskell, Rust

Meta:

  • Is this challenge a dupe?
  • Anything I can improve on?
| |
\$\endgroup\$
  • 1
    \$\begingroup\$ Interesting concept, but this needs some additional work. 1. I couldn't find the winning criterion for the robbers' challenge. 2. You'd somehow have to avoid languages that only compile if the source code has a specific hash. 3. The language list you link to changes every month(?); the challenge spec should be static. \$\endgroup\$ – Dennis Oct 7 '16 at 4:20
  • \$\begingroup\$ Nothing seems to rule out a language where the program 'a' prints Hello world, 'b' adds numbers, 'c' checks primality, and any other programs do nothing. \$\endgroup\$ – xnor Oct 7 '16 at 4:43
  • \$\begingroup\$ @xnor That problem is removed by the author having to make his/her own "Hello, World!" polyglot. \$\endgroup\$ – clismique Oct 7 '16 at 4:53
  • 1
    \$\begingroup\$ Where you allow answers to print the character codes of Hello World, it's not clear whether in that case the mainstream language should also print character codes or still Hello, World!. \$\endgroup\$ – Martin Ender Oct 7 '16 at 21:04
  • \$\begingroup\$ Could you specify tie breakers for both winning criteria (cops and robbers)? I guess first to post would work well for the cops, but for the robbers the tie breaker needs to be chosen carefully. If one person cracks 9 languages that are easy to crack, and another person later cracks 9 languages that are hard to crack, being earlier doesn't seem the ideal way to choose a winner. I can't think of a better way though. \$\endgroup\$ – trichoplax Oct 16 '16 at 9:13
  • \$\begingroup\$ Is it worth specifying that the crack answer should link to the answer it is cracking? \$\endgroup\$ – trichoplax Oct 16 '16 at 9:18
3
\$\begingroup\$

Show the Key Signature

Here is are the key signatures for the key of C♯ Major in the treble clef, and C♭ major in the bass clef:

           ♯
─────♯───────────────────────   ─────────────────────────────
                    ♯
──────────────♯──────────────   ─────────────────────────────
        ♯                               ♭
───────────────────────♯─────   ──────────────♭──────────────
                 ♯                                  ♭
─────────────────────────────   ─────♭───────────────────────
                                           ♭
─────────────────────────────   ─────────────────♭───────────
                                                       ♭

A full list of key signatures can be found here. Hopefully you will notice that a) the sharps and flats are two notes lower in the bass clef as compared to the treble clef b) all key signatures can be obtained from the C♯ Major and C♭ Major key signatures by removing trailing sharps and flats appropriately.

Your task is, given a suitable representation of the clef and key, to output the appropriate key signature using the above format.

  • Your output must have at least 11 lines, in order to accommodate all possible placings of sharps and flats.
  • To compensate for the terrible aspect ratio, each sharp and flat must be separated by two columns, and there must be at least five empty columns at the beginning and end, but no more than 29 columns in total.
  • You may use #, b and - characters instead of ♯, ♭ and ─.

This is , so the shortest solution wins!

| |
\$\endgroup\$
  • \$\begingroup\$ Can I adopt this abandoned challenge? \$\endgroup\$ – programmer5000 Jun 9 '17 at 12:07
  • \$\begingroup\$ @programmer5000 Sorry, I'm not very good at checking back to see how my Sandbox posts are doing. As I don't have many questions myself, I'd rather be the person to ask it, if you don't mind. (But feel free to comment on any changes you think I should make first.) \$\endgroup\$ – Neil Jun 9 '17 at 12:25
  • \$\begingroup\$ Ok sure. I think it is ready to post. \$\endgroup\$ – programmer5000 Jun 9 '17 at 12:26
  • \$\begingroup\$ @programmer5000 Oh, I meant to ask, what input format do you think I should accept for the clef and key? Representing the key as a number between -7 and 7 feels like cheating to me. \$\endgroup\$ – Neil Jun 11 '17 at 21:15
3
\$\begingroup\$

The challenge is to write the fastest code possible for computing the permanent of a matrix.

The permanent of an n-by-n matrix A = (ai,j) is defined as

enter image description here

Here S_n represents the set of all permutations of [1, n].

As an example (from the wiki):

enter image description here

In this question matrices are all square and will only have the values -1 and 1 in them.

Examples

Input:

[[ 1 -1 -1  1]
 [-1 -1 -1  1]
 [-1  1 -1  1]
 [ 1 -1 -1  1]]

Permanent:

-4

Input:

[[-1 -1 -1 -1]
 [-1  1 -1 -1]
 [ 1 -1 -1 -1]
 [ 1 -1  1 -1]]

Permanent:

0

Input:

[[ 1 -1  1 -1 -1 -1 -1 -1]
 [-1 -1  1  1 -1  1  1 -1]
 [ 1 -1 -1 -1 -1  1  1  1]
 [-1 -1 -1  1 -1  1  1  1]
 [ 1 -1 -1  1  1  1  1 -1]
 [-1  1 -1  1 -1  1  1 -1]
 [ 1 -1  1 -1  1 -1  1 -1]
 [-1 -1  1 -1  1  1  1  1]]

Permanent:

192

The task

You should write code that, given an n by n matrix, outputs its permanent.

As I will need to test your code it would be helpful if you could give a simple way for me to give matrix as input to your code.

Be warned that the permanent can be large (the all 1s matrix is the extreme case).

Scores and ties

I will test your code on random +-1 matrices of increasing size and stop the first time your code takes more than 1 minute on my computer.

If two people get the same score then the winner is the one which is fastest for that value of n. If those are within 1 second of each other then it is the one posted first.

Languages and libraries

You can use any available language and libraries you like but no pre-existing function to compute the permanent. Where feasible, it would be good to be able to run your code so please include a full explanation for how to run/compile your code in Linux if at all possible.`

Reference implementations

There is already a codegolf question question with lots of code in different languages for computing the permanent. Mathematica and Maple also both have permanent implementations if you can access those.

My Machine The timings will be run on my 64-bit machine. This is a standard ubuntu install with 8GB RAM, AMD FX-8350 Eight-Core Processor and Radeon HD 4250. This also means I need to be able to run your code.

| |
\$\endgroup\$
  • \$\begingroup\$ Is your system 64-bit? How much memory/disk space can we use? Could you add a reference implementation so that we might have something to initially compare against. \$\endgroup\$ – miles Oct 21 '16 at 5:28
  • \$\begingroup\$ @miles Yes and I added some details to the question. \$\endgroup\$ – user9206 Oct 21 '16 at 7:45
  • \$\begingroup\$ Thanks. Also I meant a reference implementation that strives to be efficient without using builtins. Most of the submissions from that challenge are very inefficient since the requirement was only up to 6x6 matrices. \$\endgroup\$ – miles Oct 21 '16 at 8:06
  • \$\begingroup\$ @miles I see. I found this online bpaste.net/show/c346e05415f9 . I don't know if I am allowed to include it. \$\endgroup\$ – user9206 Oct 21 '16 at 10:34
3
\$\begingroup\$

This has been donated to the Secret Santa Sandbox if anyone wants to take up the mantle.

Crazy Librarian's Interesting Numbers Game

Phew, you just managed to finish your code for the Arithmetic Sequence of Primes, and everything went swimmingly for your Crazy Librarian boss. Indeed, the math teacher taught the librarian a new card game as thanks for the prime sequences. However, the librarian wants to beat the math teacher at their own game, and so you're enlisted (again) to assist.

The card game was described as a two-player variation of a trick-taking game called California Jack. Each player is dealt a particular suit of cards from a standard US 52-card deck, and this forms their hand. A third suit of the cards is randomly shuffled and placed face-down between the players as the trophy deck. The fourth suit is unused. Each round, the top of the trophy deck is flipped face-up, and the two players select a card (in secret) from their hand to be their bid for that round, and places it face-down in front of them. The players reveal their bid card, and the higher card (aces low) wins the trophy card. The trophy card goes into the winner's trophy pile, and the two bid cards are discarded. If the players both bid the same card, neither gets the trophy card, and it is discarded along with both bid cards. The winner after all 13 rounds is whoever has the most points in their trophy pile, with Jack=11, Queen=12, and King=13. Note that it is possible for the game to end in a draw (including a zero-point draw).

Since you really want to impress the Crazy Librarian, you've ... enlisted ... the help of some of your friends, and you're going to create a bracket royale to find the best playing algorithm, and use that so the librarian can show up the math teacher.


Questions for Meta

  • Program I/O? I'm envisioning a stateful program that keeps track of its own cards, where each execution is a run of the game against an outside opponent -- e.g., each input is [W/L] T# that says whether the program Won or Lost the previous round, and what the current-round's Trophy card is. Then, the output would be what card it chooses to bid. Repeat 13 times. Could also do an interactive version, scraping STDOUT and setting STDIN?
  • Example of a really simplistic algorithm (in pseudocode) -- return argv[1] -- this just bids the same as whatever the trophy card is.
  • The programs could keep track of their opponent's total and their total, but the controller would have final say (obviously).
  • I'm envisioning a double-bracket style, where each program is randomly seeded into the bracket. Best 3-of-5 games moves it to the next round, while the loser gets re-seeded into the loser's bracket and can re-win a chance for the final four.
  • What am I missing?
| |
\$\endgroup\$
  • 1
    \$\begingroup\$ I think input could be expanded a bit. For instance, there doesn't seem to be any way to track your opponent's cards right now (just whether it won/lost the last), even though in an actual game they would be revealed (and would be part of any decent strategy I'd think). \$\endgroup\$ – Geobits Oct 9 '15 at 14:03
3
\$\begingroup\$

Planting Sugarcane

In the game Minecraft the crop sugarcane can only be planted on a block that has water along one of its edges..

Task

Given a area what is the most efficient way to place water such that every tile in the area is next to (does not include diagonals) a water block. That is how do you place water to maximize the amount of sugarcane that can be grown in that area.

For example if you had a small plus:

http://www.clipartkid.com/images/656/black-and-white-square-clip-art-8lblvX-clipart.jpg http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg
http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg
http://www.clipartkid.com/images/656/black-and-white-square-clip-art-8lblvX-clipart.jpg http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg

You could grow the most sugarcane if you put the water in the middle:

http://www.clipartkid.com/images/656/black-and-white-square-clip-art-8lblvX-clipart.jpg

http://www.clipartkid.com/images/656/black-and-white-square-clip-art-8lblvX-clipart.jpg

Or If you had a three by three square:

http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg
http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg
http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg

You could place six sugarcane:




Sometimes the best answer will still leave dirt patches.

For example:

http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg
http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg

Is best tiled as:


http://3.bp.blogspot.com/-Qs0ZbaSy4KM/T6AuMiorc6I/AAAAAAAABOc/RpA3dZGicC8/s1600/minecraft_dirt.jpg

I/O

Standard I/O applies.

You may take in an area as either an ASCII diagram with two distinct characters, one representing a block that is in the space and one representing a block that is not or a two dimensional data structure of truthy and falsy values representing the space.

You may output either output a ASCII diagrams with two distinct characters one representing water, and one representing everything else or a two dimensional data structure with truthy and falsy values with the truthy values representing the location of water.

You must also output the number of sugarcanes that can be planted with the scheme described.

Scoring

This is you will be scored accordingly.

| |
\$\endgroup\$
  • \$\begingroup\$ You want to tighten up the spec a little bit. It's lind of vague as it stands \$\endgroup\$ – Conor O'Brien Aug 23 '16 at 23:00
  • \$\begingroup\$ 1. Define "next to". 2. The closest dupe that I can think of is codegolf.stackexchange.com/q/17096/194 . They're both examples of (non-exact) set cover using a square lattice, but with different neighbourhoods. I would say it's just on the right side of the borderline, but others may disagree. \$\endgroup\$ – Peter Taylor Aug 24 '16 at 10:24
  • \$\begingroup\$ In the second example, what makes it not be [[S,W,S],[W,S,S],[S,S,W]]? \$\endgroup\$ – Magic Octopus Urn Nov 1 '16 at 18:17
  • \$\begingroup\$ @carusocomputing That is also a valid answer \$\endgroup\$ – Wheat Wizard Nov 1 '16 at 18:18
  • 5
    \$\begingroup\$ Maybe instead of requiring them to output the explicit combination, have them calculate the maximum number of sugar cane possible. \$\endgroup\$ – Magic Octopus Urn Nov 1 '16 at 18:19
3
\$\begingroup\$

Will the snake bump into itself?

Given a string containing NESW characters, check if a snake will bump into itself if it moves like this:

The snake starts out with length 2.

For every character in the string:

  • If the character is N, move the head of the snake up one.
  • If the character is E, move the head of the snake right one.
  • If the character is S, move the head of the snake down one.
  • If the character is W, move the head of the snake left one.

The rest of the snake follows the path of the head of the snake.

The snake grows 1 unit longer every 2 moves.

Your task is to determine if the snake will bump into itself, and give a truthy or falsey value accordingly.

Truthy Inputs

NS
NWSSENW

Falsey Inputs

NNN
SS
NWNNNWWWSSS
NWNNEEEESSS

More test cases coming soon.

| |
\$\endgroup\$
  • \$\begingroup\$ Does the snake move between inputs? \$\endgroup\$ – Gabriel Benamy Nov 23 '16 at 22:04
3
\$\begingroup\$

Implement the sin function.

For those unfamiliar with trignometry. The sin function is a mathematical wave function, it can be defined a number of ways, but the canonical definition, is that it is sin(x) gives the ratio of the opposite side of an angle of measure (X) to the hypotenuse of a right triangle


Your job is to implement a program or function, that receives an angle (x) in degrees or radians, and outputs sin(x) to an accuracy of +/- .001 for at least the 360 degree values on a circle (or their radian equivalents). You may also specify a range that has width of a minimum of 360 degrees (or 2 pi radians) and require inputs to be converted to an equivalent angle to fit within that range. See the following table for outputs (multiples of 15 degrees are provided). You may not rely on any inbuilt library for trig functions. (i.e return Math.sin(x) is forbidden, or cos(90-x) or something similar 1/sqrt(tan(x-pi/2)^2+1)).
(Degrees|Radians|Sin)

0|0.0|0.0
15|0.2617993877991494|0.25881904510252074
30|0.5235987755982988|0.49999999999999994
45|0.7853981633974483|0.7071067811865475
60|1.0471975511965976|0.8660254037844386
75|1.3089969389957472|0.9659258262890683
90|1.5707963267948966|1.0
105|1.8325957145940461|0.9659258262890683
120|2.0943951023931953|0.8660254037844387
135|2.356194490192345|0.7071067811865476
150|2.6179938779914944|0.49999999999999994
165|2.8797932657906435|0.258819045102521
180|3.141592653589793|1.2246467991473532E-16
195|3.4033920413889422|-0.25881904510252035
210|3.6651914291880923|-0.5000000000000001
225|3.9269908169872414|-0.7071067811865475
240|4.1887902047863905|-0.8660254037844385
255|4.4505895925855405|-0.9659258262890683
270|4.71238898038469|-1.0
285|4.974188368183839|-0.9659258262890684
300|5.235987755982989|-0.8660254037844386
315|5.497787143782138|-0.7071067811865477
330|5.759586531581287|-0.5000000000000004
345|6.021385919380437|-0.2588190451025207
360|6.283185307179586|-2.4492935982947064E-16


This is , but it aims to be a canonical list of trig function implementation in esolangs, especially those without a sin function built in. No answer may rely on a built in method.

| |
\$\endgroup\$
  • \$\begingroup\$ So you can just use a sin(x) builtin in your program? \$\endgroup\$ – user41805 Nov 24 '16 at 16:27
  • \$\begingroup\$ @KritixiLithos sadly, yes. \$\endgroup\$ – Rohan Jhunjhunwala Nov 24 '16 at 16:40
  • \$\begingroup\$ @KritixiLithos I believe it is frowned upon to outright ban certain built ins. \$\endgroup\$ – Rohan Jhunjhunwala Nov 24 '16 at 16:41
  • \$\begingroup\$ @RohanJhunjhunwala I don't think it would be frowned upon to ban sin(x)-built-ins when the task is to implement exactly such built-ins. \$\endgroup\$ – Laikoni Nov 24 '16 at 17:49
  • \$\begingroup\$ @Laikoni fixed. \$\endgroup\$ – Rohan Jhunjhunwala Nov 24 '16 at 19:03
  • 2
    \$\begingroup\$ @KritixiLithos I banned built ins now. \$\endgroup\$ – Rohan Jhunjhunwala Nov 24 '16 at 19:04
  • \$\begingroup\$ Related but not duplicate as the scoring is different. codegolf.stackexchange.com/q/30160/15599 @RohanJhunjhunwala what is frowned upon is "do x without y" challenges, which are often rather unimaginative "print this phrase without using the necessary letters." This is a "do x without x" challenge which is fine. You should ban all trig functions (otherwise I will just do cos x-90) and also complex numbers (I would do i**(x/90) and take the imaginary part.) \$\endgroup\$ – Level River St Nov 25 '16 at 0:21
  • \$\begingroup\$ @LevelRiverSt I did ban all trig functions \$\endgroup\$ – Rohan Jhunjhunwala Nov 25 '16 at 4:37
  • \$\begingroup\$ What about complex exponentiation builtins? Those have a very easy way to implement sin, but can be hard to ban as it's just basic arithmetic. \$\endgroup\$ – user62131 Jan 1 '17 at 10:08
  • \$\begingroup\$ @ais523 that seems moderately more involved, and not agains tthe spirit of the challenge. I think I'll allow it. \$\endgroup\$ – Rohan Jhunjhunwala Jan 1 '17 at 13:14
3
\$\begingroup\$

Dot matrix number visualization

Your task is to make a program that takes a number as input and outputs it as a wall of characters with spaces. The digits should be written like this:

  1    222   333     4  55555  666  77777  888   999   000 
 11   2   2 3   3   44  5     6   6     7 8   8 9   9 0   0
1 1       2     3  4 4  5555  6        7  8   8 9   9 0  00
  1      2    33  4  4      5 6666    7    888   9999 0 0 0
  1     2       3 44444     5 6   6  7    8   8     9 00  0
  1    2    3   3    4  5   5 6   6  7    8   8 9   9 0   0
11111 22222  333     4   555   666   7     888   999   000  

Each digit is represented as a grid of 5x7 characters consisting of spaces and the digit itself. The number should be written like above with a vertical line of spaces separating the different digits.

The preformatted text above should be the output of a 1234567890 number input. If you guys like this challenge, I'll post an image that better visualizes how each number should be printed.

Lowest size program wins.

Edit: Added a picture to better illustrate the digits. Dotmatrix digit grid

| |
\$\endgroup\$
  • 1
    \$\begingroup\$ It's pretty clear what you're giving as the task, but an image would help, as the pre-formatted text is rather hard to read \$\endgroup\$ – TrojanByAccident Jan 17 '17 at 11:59
  • \$\begingroup\$ @TrojanByAccident: It is pretty obvious what result the author wanted even without the image. \$\endgroup\$ – sergiol Jan 24 '17 at 17:34
3
\$\begingroup\$

Powerful numbers

Look at the number 81 expressed as the sum of distinct powers of the same base:

  • 81 = 81 (well, duh)
  • 81 = 80 + 1 (easy)
  • 81 = 9*9
  • 81 = 4*4*4 + 4*4 + 1
  • 81 = 3*3*3*3
  • 81 = 2*2*2*2*2*2 + 2*2*2*2 + 1 (if you thought that was obvious...)
  • 81 = 1 + 1 + ... + 1 (yeah, yeah...)

As you can see, for N > 4, there are always 4 trivial bases: 1, 2, N-1 and N. Powerful numbers are those numbers which have at least one nontrivial base. Please write a program or function that, given a number N > 4, outputs a truthy or falsy value for whether a nontrivial base exists. The results for N up to 30 should be as follows:

(1  F)  16  T
(2  F)  17  T
(3  F)  18  F
(4  F)  19  F
 5  F   20  T
 6  F   21  T
 7  F   22  F
 8  F   23  F
 9  T   24  F
10  T   25  T
11  F   26  T
12  T   27  T
13  T   28  T
14  F   29  F
15  F   30  T

This is , so the shortest solution wins!

| |
\$\endgroup\$
  • 2
    \$\begingroup\$ "Your challenge is, given a number N, to return the Nth Powerful number." I doubt that there's any way to generate the Nth number other than counting up from 1 and stopping once you've encountered N of them. So why not reduce it to "given a number, determine whether it's powerful"? \$\endgroup\$ – Martin Ender Jan 19 '17 at 12:13
  • 2
    \$\begingroup\$ Simplified definition: "a powerful number is a number which can be written using only the digits 0 and 1 in any base other than 1, 2, n, or n-1." \$\endgroup\$ – user62131 Jan 19 '17 at 15:37
  • 1
    \$\begingroup\$ I believe a (very golfed) reference implementation in ES6 to determine whether a number is powerful would be a=>(g=b=>b>1&&(f=c=>c&&c%b|f(c/b|0),f(a)<2)+g(b-1))(a)>3. This gives these first 1000 powerful numbers. The sequence doesn't seem to be on OEIS though. \$\endgroup\$ – ETHproductions Jan 19 '17 at 17:36
  • \$\begingroup\$ @MartinEnder I was under the impression that it was more common to ask for the Nth or first N terms rather than just verifying a particular term. Perhaps if I ask for all Powerful numbers up to N? \$\endgroup\$ – Neil Jan 19 '17 at 21:01
  • 2
    \$\begingroup\$ @Neil I think that's even worse. That way you make 100% sure that there's no way to avoid wrapping the entire program in a boring loop. \$\endgroup\$ – Martin Ender Jan 19 '17 at 21:10
  • \$\begingroup\$ I like challenges like this better as a decision-problem, since that's what it comes down to. Outputting the Nth such number or the first N just adds extra code around the real meat of the challenge. \$\endgroup\$ – ETHproductions Jan 19 '17 at 22:03
  • \$\begingroup\$ Example for first N terms: codegolf.stackexchange.com/questions/107420/… \$\endgroup\$ – Neil Jan 20 '17 at 9:45
  • \$\begingroup\$ @MartinEnder OK, how about if, given an integer N greater than 1, the result should be the number of representations? \$\endgroup\$ – Neil Jan 20 '17 at 19:18
  • \$\begingroup\$ @Neil That's fine, but I'm curious why you're so strongly opposed to making it a simple decision problem. :) \$\endgroup\$ – Martin Ender Jan 21 '17 at 14:38
  • \$\begingroup\$ @MartinEnder You want people to add extra code to compare the result to 4 around the real meat of the challenge? (Sorry I couldn't resist!) \$\endgroup\$ – Neil Jan 21 '17 at 15:48
  • \$\begingroup\$ Quoting me now, are you? :P But you don't actually have to count all of them since 4 are already given: 1, 2, n-1, and n. So all you really have to do in a decision-problem is check if there are any between 3 and n-2, inclusive. \$\endgroup\$ – ETHproductions Jan 21 '17 at 22:40
  • \$\begingroup\$ That said, I'm not sure which path would be shorter in most langs. My attempts in JS for both versions of the problem turned out the same length. \$\endgroup\$ – ETHproductions Jan 21 '17 at 23:37
  • \$\begingroup\$ @ETHproductions OK I'm convinced now. \$\endgroup\$ – Neil Jan 22 '17 at 1:08
  • \$\begingroup\$ Related OEIS sequence \$\endgroup\$ – ETHproductions Jan 22 '17 at 22:23
  • \$\begingroup\$ I actually don't know whether decision-problem would be better than just counting how many bases it's powerful in. There are arguments for and against each. My solutions turned out the same length in JS, but in Jelly the decision-problem solution came out as just 2 extra bytes added to an 8-byte counting solution. I guess it just comes down to what you want to see in the challenge. \$\endgroup\$ – ETHproductions Jan 23 '17 at 16:48
3
\$\begingroup\$

Does Mathematica Have a Builtin?

Mathematica has a lot of builtins.

Your task is to take in a question names and its tags; and to guess whether or not Mathematica has a builtin that solves that question.

Rules

  • Your code must be less than 100 bytes long.

  • You may use internet to access the Mathematica reference guide you may also use the internet to access the tag wikis. Standard loopholes apply to internet access.

  • For this challenge we will consider a valid builtin to be a builtin that does most of the computation for the challenge. Extra bytes spent on trivialities like IO formatting will be ignored.

  • You must output a truthy value if Mathematica has a builtin to solve that challenge and a falsy value otherwise.

  • If Mathematica has a builtin and for some reason the challenge does not allow Mathematica to compete or bans builtins your program must still output truthy.

Scoring

This is a so you will be scored on the percentage questions here (This is currently a work in progress there will be more cases in the final question) that your program gets the correct answer on.

| |
\$\endgroup\$
  • 3
    \$\begingroup\$ As always with builtins, you'll want to outline exactly what counts as "built-in". For example, if a challenge is about printing hexagonal numbers, does using PolygonalNumber with fixing r = 6 count? (not sure if that's an accurate example, but you get the point). The test battery would make things 100% indisputable, but it's something you might want to think about when making the test battery. \$\endgroup\$ – Sp3000 Jan 26 '17 at 1:55
  • \$\begingroup\$ On a side note, is a hardcoded approach okay, e.g. regex golfing the pass vs fail set? \$\endgroup\$ – Sp3000 Jan 26 '17 at 1:55
  • \$\begingroup\$ @ETHproductions I meant the later, a function that does most of the work. I am not sure if I am going to write a super strict definition of builtin but I will be writing at least a loose one. \$\endgroup\$ – Wheat Wizard Jan 26 '17 at 1:57
  • \$\begingroup\$ @Sp3000 Hardcoded is fine. I would like to see all sorts of approaches to this problem including regex. \$\endgroup\$ – Wheat Wizard Jan 26 '17 at 1:58
  • \$\begingroup\$ My question codegolf.stackexchange.com/questions/107181/… was solved in Mathematica with a built-in that I wasn't expecting. That might be useful for your tests \$\endgroup\$ – Gareth Jan 26 '17 at 9:22
  • \$\begingroup\$ Can you read the Mathematica answer off the page if it exists, or is the idea to only read the question? \$\endgroup\$ – xnor Jan 26 '17 at 9:40
  • \$\begingroup\$ @Gareth Thanks I am in need of more test cases. \$\endgroup\$ – Wheat Wizard Jan 26 '17 at 12:52
  • \$\begingroup\$ Answer: Hardcode truthy because Mathematica ALWAYS has a builtin :P \$\endgroup\$ – user42649 Apr 10 '17 at 13:05
3
\$\begingroup\$

Minimal QWERTY

The task -- to output the layout of a QWERTY keyboard:

QWERTYUIOP
ASDFGHJKL
ZXCVBNM

But, you will be scored based on the length of your code, and on the number of distinct characters in it.

Rules

1) The code must output the three lines of text above (or the text above with optional trailing newline)

2) Standard loophole restrictions apply

3) If the language contains predefined information about the QWERTY layout, you are not allowed to use that information.

Scoring

The score will be defined as [Length of the program in bytes]*[# of distinct characters in the program], with lowest score winning.

For example, the code

ABAB1212

would have score 8*4=32 since it has length 8, but only 4 distinct characters: AB12

And the code:

ABC!!!{{{

Would have score 9*5=45, since it has length 9, and 5 distinct characters: ABC!{

| |
\$\endgroup\$
  • 3
    \$\begingroup\$ I really like this scoring system; it strikes a great balance between cutting down chars and cutting down the number of distinct chars you're using. I was going to say that this might not be the best way to use this scoring system, but anything other than "output this exact string" would likely be solvable in 10 bytes in golfing languages, or not solvable in 100 in non-golfing langs. (Perhaps a string with more repetition would work better though, but we won't know until the challenge is posted.) \$\endgroup\$ – ETHproductions May 6 '17 at 20:31
  • 1
    \$\begingroup\$ About "If the language contains predefined information about the QWERTY layout, you are not allowed to use it.": does this mean you're not allowed to use the language, or just the QWERTY built-in? \$\endgroup\$ – ETHproductions May 6 '17 at 20:33
  • 1
    \$\begingroup\$ @ETHproductions Thanks for the input! The reason I thought thought the QWERTY task would work well with this scoring system is that the output consists almost entirely of a large number of distinct characters (meaning any substantial use of string literals for the output would be very bad for the score), and those characters are fairly disordered, meaning a simple loop won't solve it. Do you have thoughts on other possible tasks for this scoring system? \$\endgroup\$ – Maria May 7 '17 at 1:54
  • \$\begingroup\$ Regarding your second question -- the language would be allowed; they just wouldn't be allowed to use the predefined information. I've changed the wording to make that clear (I see that it was ambiguous before - thanks for catching that) \$\endgroup\$ – Maria May 7 '17 at 1:58
  • \$\begingroup\$ May be too close to this challenge. It's not quite the same, but the basic task is similar (golf down a large set of distinct characters into a set of mostly repeated characters). This challenge is even closer, requesting printing a constant string with many distinct characters, and using the same scoring method; that's almost certainly a duplicate at this point. \$\endgroup\$ – user62131 May 7 '17 at 2:23
  • \$\begingroup\$ @ComradeSparklePony I think this is covered by the condition to exclude this? \$\endgroup\$ – Paŭlo Ebermann May 7 '17 at 21:02
  • \$\begingroup\$ @PaŭloEbermann Oops, I missed that. \$\endgroup\$ – Comrade SparklePony May 7 '17 at 21:05
  • \$\begingroup\$ +1, when are you going to post this? \$\endgroup\$ – MD XF May 10 '17 at 1:22
  • \$\begingroup\$ I kinda agree with @ETHproductions first comment regarding a string with more repetition and non-golfing languages. For example, to solve this in fewest bytes in Java 7 (I know, Java 7 is verbose as F.. xD), it will be: String r(){return"QWERTYUIOP\nASDFGHJKL\nZXCVBNM";} (score of 51 bytes * 41 unique characters = 2091). With fewest characters possible you'll abuse unicodes and it becomes pastebin.com/unrn6xj2 (too long for comment..), with a score of 343 bytes * 18 unique characters = 6174.. But of course, you're free to post it nonetheless as is. Java won't ever compete anyway ;) \$\endgroup\$ – Kevin Cruijssen May 10 '17 at 9:07
  • \$\begingroup\$ But I like the scoring mechanism, and it's also a fairly easy challenge for most golfing languages, where the size vs unique characters really matters, which is of course the focus of code-golfing languages. So perhaps just post it, and I'll just score 2091 with my Java 7 answer. ;) \$\endgroup\$ – Kevin Cruijssen May 10 '17 at 9:10
  • \$\begingroup\$ Japt, 4 points ;D :D \$\endgroup\$ – caird coinheringaahing May 19 '17 at 20:13
3
\$\begingroup\$

This message is open for anyone to adopt and post to main. For more details, see the chat room or meta post.

Nonogram it

Nonograms are one of my favorite types of puzzles, but sometimes there are not enough of them to solve!

The challenge here is to write a program that would take an image and output the values for the columns and rows of the puzzle.

INPUT: black and white PNG on STDIN

OUTPUT: two lines with the values to create the puzzle. First line is the columns, second the rows. The format of both lines is: [a,b,c...],[d,...],... (lists of integers separated with commas delimited with [], with each list separated by commas, ending in a newline. No dangling commas allowed inside the lists or at line end)

The squares on the image should be of 5x5px. The thereshold for determining if a square is filled is if it has at least 30% black inside it.

(3 sample images will be added later)


I'm not sure about the scoring for this challenge, most likely it should be a .

Additional scoring criteria I can think of:

  • allowing to enter square size or cols*rows of the puzzle.
  • accepting non black and white images
  • reading other image types
  • providing a solver
| |
\$\endgroup\$
  • 1
    \$\begingroup\$ wait, is the PNG itself in the STDIN, or a file path to it? I assume the latter, but it's currently formulated as if it's the former. Also, the threshold needs to be clarified. Also, why is the image scaled up in the first place? \$\endgroup\$ – John Dvorak Mar 26 '14 at 19:59
  • 2
    \$\begingroup\$ Also, I'd prefer an ascii-art input (a grid of hashes and spaces) than having the challenge complicated by looking up and interfacing an image manipulation API. \$\endgroup\$ – John Dvorak Mar 26 '14 at 20:02
  • \$\begingroup\$ It could be a file path if that's more accesible. I didn't say the image was scaled, the 5*5 squares are for the grid to create the nonogram, just to avoid another required parameter(number of cols*rows desired). About the ascii-art, that would have no challenge, just a count() \$\endgroup\$ – Einacio Mar 27 '14 at 15:42
  • 1
    \$\begingroup\$ I don't think a PNG library showoff is a good challenge for this site. There's no thinking present, just having to learn an API and hope it has short enough names. \$\endgroup\$ – John Dvorak Mar 27 '14 at 15:45
  • 1
    \$\begingroup\$ I don't understand the 5x5 rule. Is it that there are 5x5 pixels in the image, and 5x5 pixels in the grid? 5x5s are no puzzles. \$\endgroup\$ – John Dvorak Mar 27 '14 at 15:46
  • \$\begingroup\$ It wouldn't be the first challenge using PNG, so I see no problem there. About the grid, I'll prepare the example images later, I hope that'll be clearer to understand \$\endgroup\$ – Einacio Mar 27 '14 at 16:02
  • 1
    \$\begingroup\$ Seeing that you prescribe exactly how black and white cells are to be determined, unique solubility of the resulting nonogram is no criterion? \$\endgroup\$ – Martin Ender Mar 31 '14 at 11:28
  • \$\begingroup\$ @m.buettner I proposed the fixed grid and cell criterion with the idea of being able to check results against others. I forgot about ambiguous solutions, and I don't know how difficult is to test for it, specially if it ends as a code-golf. Maybe I should rule it out explicitly to keep answers simpler? \$\endgroup\$ – Einacio Mar 31 '14 at 14:18
  • 1
    \$\begingroup\$ @Einacio well, uniqueness could be checked with a solver (there might be easier ways). I suppose you just have to decide whether you want soluble or comparable answers. If you are going for soluble, you can make this a "code challenge" and determine the score based on both code length and similarity to input image. \$\endgroup\$ – Martin Ender Mar 31 '14 at 14:58
  • \$\begingroup\$ Hello! This looks like a good but abandoned meta post, would you be willing to offer it for adoption? (If you want to, you can still post to main.) Due to community guidelines, if you don't respond to this comment in 7 days I have permission to adopt this. \$\endgroup\$ – programmer5000 Jun 9 '17 at 16:29
  • \$\begingroup\$ @programmer5000 Hi, I totally forgot about this challenge, I haven't had much free time in those 3 years to give it some love. I would be delighted to see someone pull it through, do I have to do something more than post it in the chat? \$\endgroup\$ – Einacio Jun 9 '17 at 19:40
  • \$\begingroup\$ @Einacio just post a link to this answer and nothing else in that chat room. \$\endgroup\$ – programmer5000 Jun 9 '17 at 19:55
3
\$\begingroup\$

ASKEY robbers

You are a robber in the ASCII world. ASCII lock-key work in similar fashion as the real-world: matching ridges. Your objective is to write a program which generates a duplicate key for the ASCII locks.

Example:

A Lock is given as:

   |\    |\         
 __| \___| \____             
|               | 
|_______________| 

Its key shall be something like:

 _______________
|   __     __   |
|  |  \   |  \  |  
|__|   \__|   \_|

The fit being something like:

 _______________
|   __     __   |
|  ||\\   ||\\  |
|__|| \\__|| \\_|
|               |
|_______________| 

SandBox

I think the fit is weird. It didn't go as I had imagined when I finished typing in the ASCII drawing.

| |
\$\endgroup\$
  • 4
    \$\begingroup\$ This has potential, but it needs a clear specification as to what a fit is, and what constitutes a lock (i.e. some constraint on the input). \$\endgroup\$ – VisualMelon Jun 14 '17 at 17:47
  • \$\begingroup\$ Yes. This is very incomplete/unclear as of yet. \$\endgroup\$ – officialaimm Jun 15 '17 at 3:27
3
\$\begingroup\$

Sandbox

This will be my first kolmogorov-complexity submission, does this question fall under that category?

Is the question clear enough?

Is it too trivial?

Problem

Given no input write a program or a function that outputs or returns the following string:

(<(<>(<>.(<>.<(<>.<>(<>.<>)<>.<>)>.<>).<>)<>)>)

Rules

  • Shortest program wins.
  • Trailing whitespace allowed.
  • Trailing newlines allowed.
  • Unused parameters for functions allowed.
| |
\$\endgroup\$
  • \$\begingroup\$ Can you give more context to the string you're outputting, its significance etc? \$\endgroup\$ – Pureferret Jun 15 '17 at 11:24
  • \$\begingroup\$ It's a poor ASCII representation of a crowd of blank stares a single person being (<>.<>) \$\endgroup\$ – LiefdeWen Jun 15 '17 at 11:25
  • \$\begingroup\$ a more common representation being (-_(-_(-_(-_(-_-)_-)_-)_-)_-) \$\endgroup\$ – Skidsdev Jun 15 '17 at 11:28
  • \$\begingroup\$ @Mayube Yes, I just used a broader face so the outputted string is longer \$\endgroup\$ – LiefdeWen Jun 15 '17 at 11:29
3
\$\begingroup\$

When did I need to be born to celebrate a magic birthday?

I was born in 1984 and in 2016 I became 32 years old, which is 20 in base 16, what a coincidence!

Your task is, given the year of interest -say 2016- , to calculate the year I had to be born to be able to say In 2016 I have celebrated/I will celebrate my 20th birthday (in base 16).

  1. take n-digit decimal number - the year xy.
  2. Split it in half, if n is odd, the digit the middle is appended to number side.
  3. Calculate the year I had to be born to be x base ys old in the year of xy.

Your code shall return Not-a-Number or error message if the decomposition cannot be resolved.

Walkthough:

>  foo(2016)
1: '2016' -> '20' '16'
2: 20 base 16 = 32
3: 2016-32 = 1984
>> 1984

> foo(445)
1: '445' ->'44' '5'
2: 44 base 5 = 24
3: 445-24 = 421
>> 421

>foo(7)
1: '7' -> '7' ''
Error, base not defined
>> nan

>foo(10)
1: '10' -> '1' '0'
Error, base 0 don't exist
>> nan

>foo(1805)
1: '1805'->'18' '5'
Syntax error
>> nan

Test cases:

 7    : nan/error
10    : nan/error
78    : 71
445   : 421 
1024  : 1000
1805  : nan/error
1936  : 1891
1984  : 1891
1999  : 1891
2016  : 1984
2015  : 1985
10002 : 9998
10912 : 10759
116015: 115769

Shortest answer in bytes wins. Standard loopholes apply.

| |
\$\endgroup\$
  • 1
    \$\begingroup\$ Boo-urns to input validation! Can you add a full example? \$\endgroup\$ – Shaggy Jun 21 '17 at 16:14
  • \$\begingroup\$ Do you mean full ungolfed code or full path from, say 445 to 421? \$\endgroup\$ – Crowley Jun 21 '17 at 16:25
  • \$\begingroup\$ Just a walkthrough of how to get from input to output. \$\endgroup\$ – Shaggy Jun 21 '17 at 16:26
  • \$\begingroup\$ @Shaggy Thanks for sugegstion. Is it better now? \$\endgroup\$ – Crowley Jun 21 '17 at 17:16
  • \$\begingroup\$ Shouldn't 1999 result in 1891? \$\endgroup\$ – Emigna Jun 22 '17 at 8:49
  • \$\begingroup\$ @Emigna Correct. Updated. \$\endgroup\$ – Crowley Jun 22 '17 at 13:36
3
\$\begingroup\$

Don't step on a crack, or you'll break your mother's back


Earlier I was walking down the sidewalk in my town, which is made of concrete slabs and looks something like this (note: not my sidewalk). I decided to try to pace myself such that I didn't step on the little cracks between the concrete slabs. For simplicity, let's say:

  • Each slab is 4 feet long.
  • Each of my feet is 1 foot long.
  • Each crack has 0 width (just like your neighbors' dog).

My natural stride is about 3 feet, which worked out quite well:

3-foot strides

(Excuse my horrible MS Paint skills)

Then I got a little ambitious and decided to take 4-foot strides. This obviously worked out even more nicely (aside from making my legs feel weird):

4-foot strides

This got me thinking, what other lengths of strides could I take? One non-integer example would be 2⅔ feet:

2⅔-foot strides

I could go as short as 1-foot strides, though anything shorter than 1 foot would place my foot-long foot on every crack in the sidewalk. (I didn't do 1-foot strides because I would look weird shuffling down the sidewalk, and also because I was in a rush.)

In fact, there are 6 possible crack-avoiding strides up to four feet: 1, 1⅓, 2, 2⅔, 3, 4.

Challenge

Given a integer concrete slab length 0 < n < 100, output all stride lengths up to n that I could take on that theoretical sidewalk. Assume I can stretch my legs infinitely far (I am a mathematician, after all).

More mathematically, given an input integer 0 < n < 100, output all numbers 0 < k <= n such that no multiple of k, modulated by n, is greater than n - 1.

Expected outputs for inputs 1 through 9 (rounded to 4 decimal places):

1: [1]
2: [1, 2]
3: [1, 1.5, 2, 3]
4: [1, 1.3333, 2, 2.6667, 3, 4]
5: [1, 1.25, 1.6667, 2, 2.5, 3, 3.3333, 3.75, 4, 5]
6: [1, 1.2, 1.5, 2, 2.4, 3, 3.6, 4, 4.5, 4.8, 5, 6]
7: [1, 1.1667, 1.4, 1.75, 2, 2.3333, 2.8, 3, 3.5, 4, 4.2, 4.6667, 5, 5.25, 5.6, 5.8333, 6, 7]
8: [1, 1.1429, 1.3333, 1.6, 2, 2.2857, 2.6667, 3, 3.2, 3.4286, 4, 4.5714, 4.8, 5, 5.3333, 5.7143, 6, 6.4, 6.6667, 6.8571, 7, 8]
9: [1, 1.125, 1.2857, 1.5, 1.8, 2, 2.25, 2.5714, 3, 3.375, 3.6, 3.8571, 4, 4.5, 5, 5.1429, 5.4, 5.625, 6, 6.4286, 6.75, 7, 7.2, 7.5, 7.7143, 7.875, 8, 9]

The expected output for 99 can be found in this Gist. The length of each output corresponds to A002088.

Rules

  • The input will be a positive integer less than 100.
  • The output may be presented in any reasonable format. Entries can be represented as decimal numbers accurate to at least 3 decimal places, or as exact fractions if desired.
  • The output may be unsorted, but it may not contain duplicates.

This is , so the shortest code in bytes in each language wins.

| |
\$\endgroup\$
  • \$\begingroup\$ It took me a bit to identify that a foot is 1 foot long. I'd make that more clear. \$\endgroup\$ – Nathan Merrill Jul 7 '17 at 17:52
  • \$\begingroup\$ @NathanMerrill For a second I thought that you were joking :P Should be more clear now. \$\endgroup\$ – ETHproductions Jul 7 '17 at 18:33
  • \$\begingroup\$ output should always be less or equal to input. am i underestood correctly \$\endgroup\$ – tsh Jul 7 '17 at 23:46
  • \$\begingroup\$ @tsh Right, I've clarified that a little more. \$\endgroup\$ – ETHproductions Jul 7 '17 at 23:52
3
\$\begingroup\$

Is there a total ordering?

TL;DR:

Given a set of strings, determine whether the characters expose a total ordering based on location in the strings.


In this challenge, strings are used as a predicate to determine the order in which characters should appear in this set. For example, the string

"ONE"

Says:

  • All instances of "N" should appear only after instances of "O"

  • All instances of "E" should appear only after instances of "N"

By this reasoning, the string "FOOOONZAi.EE" follows this ordering, but "NEEEE3#?EAO" does not (there is an "O" after an "N").


Your challenge is to take a set of strings and determine whether these strings define a total ordering without any logical flaws. This would occur as a cycle of any length, such as:

  • "N" must follow "P"

  • "P" must follow "N"

...or such as:

  • "A" must follow "B"

  • "B" must follow "C"

  • "C" must follow "A"

etc.


Rather than strings, you may take in lists of characters or integers if you wish.

Since this is a , you may output any two consistent values for yes or no, such as true and false, zero and non-zero, exception and no exception, etc. Just specify your output format in your answer.


Test Cases

["ONE", "TWO", "THREE", "FOUR", "FIVE", "SIX"] -> true (one possible ordering is "TWFOUIVXNHRE")
["SEVEN"] -> false ("E" must follow "V" which must follow "E")
["ZERO", "FOUR"] -> false ("R" must follow "O", but "O" must follow "U" which must follow "R")
["", ".", "forty", "this->~why();", " -y."] -> true
["AB", "BC", "CD", "DE", "AC", "BD", "CE", "EA"] -> false

(more can be written if needed)

Scoring

This is , so the shortest answer in each language wins.

Sandbox

How can I make this more clear? Any suggestions?

| |
\$\endgroup\$
  • \$\begingroup\$ This could be more general if you allow lists as input rather than strings. \$\endgroup\$ – lirtosiast Jul 13 '17 at 22:18
  • \$\begingroup\$ @lirtosiast So a list of lists of characters? \$\endgroup\$ – musicman523 Jul 14 '17 at 0:52
  • \$\begingroup\$ I would recommend lists of integers instead of strings. I feel the challenge would be "cleaner" that way, but that's up to you. Also, you should have a test case where where each pair is consistent but the whole set isn't. \$\endgroup\$ – Zgarb Jul 15 '17 at 7:17
  • \$\begingroup\$ Is this not effectively the same as your previous challenge of whether a directed graph has a cycle? \$\endgroup\$ – xnor Jul 16 '17 at 1:19
  • \$\begingroup\$ @xnor I suppose it is, though I think the challenging part is collecting the edges by vertex. How about this: I rewrite the challenge to be "Give a valid ordering for a set of strings, guaranteed that one exists"? \$\endgroup\$ – musicman523 Jul 16 '17 at 3:49
  • \$\begingroup\$ @musicman523 I remember a DAG sorting challenge, I think that would be a dupe of it. \$\endgroup\$ – xnor Jul 16 '17 at 3:52
3
\$\begingroup\$

Self-Improvement

Your Task

You must create a self-mutable program that, when run, outputs a non-zero integer and also overwrites the file with a program that outputs double the number.

For example, if I run the program self-improvement and it outputs 10, it must output 20 when I run it the second time, output 40 the next time, and so on.

Additional Notes

  • You must not rely on any file on the computer other than your program.
  • Said program must consist of only one file.
  • Of course, no loopholes that are banned from the entire site.
  • You can assume that your program won't go tested beyond the range -2^16 to 2^16-1.
| |
\$\endgroup\$
  • 1
    \$\begingroup\$ no loopholes banned -> no loopholes that are banned, overwrite -> overwrites. Also, something on how far this needs to go might be important - does it have to work infinitely, or only to INT_MAX for the language in question? If you choose the second option, keep in mind language with very small numeric caps. Otherwise, welcome to PPCG, I really like this question, and I'm glad you Sandbox'd it :) \$\endgroup\$ – Stephen Jul 17 '17 at 21:33
  • \$\begingroup\$ @StepHen Thanks; I decided that they can assume that the parameters won't go beyond INT_MAX. \$\endgroup\$ – Lawful Lazy Jul 17 '17 at 21:38
  • 2
    \$\begingroup\$ In case anyone needs to find it at some point, don't forget about this standard loophole. \$\endgroup\$ – Stephen Jul 17 '17 at 22:24
  • \$\begingroup\$ @Artyer I stated "any nonzero integer". That excludes 0. \$\endgroup\$ – Lawful Lazy Jul 17 '17 at 22:55
  • \$\begingroup\$ @LawfulLazy I didn't read that too well. \$\endgroup\$ – Artyer Jul 17 '17 at 22:58
  • \$\begingroup\$ @Artyer I'll make sure to embolden it. I've also set a minimum integer range for StepHen. \$\endgroup\$ – Lawful Lazy Jul 17 '17 at 22:59
3
\$\begingroup\$

Deduplicate equivalent expressions

Suppose we wanted to generate all expressions containing at most 2 of + and −. We might have a list like this:

a + b + c         b + c + a
a + b - c         b + c - a
a - b + c         b - c + a
a - b - c         b - c - a
a + c + b         c + a + b
a + c - b         c + a - b
a - c + b         c - a + b
a - c - b         c - a - b
b + a + c         c + b + a
b + a - c         c + b - a
b - a + c         c - b + a
b - a - c         c - b - a

There is a lot of repetition here. It surely isn't necessary to include all of a + b + c, a + c + b, b + a + c, b + c + a, c + a + b, and c + b + a, since they all mean the same thing. This can be deduced from knowing that, for any x and y, x + y is the same as y + x.

Similarly, b + a - c and a - c + b are equivalent. To deduce this, one must know that, for any x and y, x - y is the same as x + (-y).

Let's assume the following:

[1]: a + b == b + a
[2]: a - b == a + -b

Then, we can deduce that b + a - c and a - c + b are equivalent:

start:  b + a - c
        b + a + -c        by 2
        a + b + -c        by 1
        a + -c + b        by 1
end:    a - c + b         by 2

Therefore, they are the same. After performing similar proofs, we are left with the list:

a + b + c
a + b - c
a - b + c
a - b - c
b - a + c
b - c - a
c - b - a

Definition of an expression

An expression can be described as:

variable   = "a" | "b" | "c" | ... | "y" | "z";
digit      = "0" | "1" | "2" | ... | "8" | "9";
number     = digit . digit*;
operator   = "!" | "#" | "$" | "%" | "&" | "*" | "+"
           | "~" | "-" | "." | "/" | ":" | ";" | "<"
           | "=" | ">" | "?" | "@" | "^" | "_" | "`"
           | "|";
data       = number | variable;
subexpr    = data | operator* . data;
expression = subexpr
           | subexpr . operator . expression;

Where | suggests alternatives, . suggests concatenation (with potential whitespace around each operand), * suggests "0 or more times", and " is a string literal.

x + y, j * i - 3, u & 4 * 2 < ~4, q % ~*^t and r are all expressions.

You should assume all operators are left-associative.

Definition of assumptions

An assumption is a pair of expressions said to be equivalent. This means one can be transformed into the other. When performing a transformation using an assumption, one replaces all the appropriate variables and maintains the numbers as they are. (These "variables" can also be sub-expressions, which is any expression not using an operator in the assumption.)

For example, if the assumption is !a == a + 5, then one can transform t + 5 into !t and 3 + 5 into !3.

Another example: if the assumption is a + b == a * b @ b, then 5 + 2 can become 5 * 2 @ 2 and z * 3 @ 3 can become z + 3, but z * 4 @ a cannot be reduced further using this rule.

One last example: if the assumption is a < b == a, then 1 + 3 & 5 < 2 * 3 + 6 would become 1 + 3 & 5, and 1 + 2 < x + y < 7 $ q would become 1 + 2, since it would be equivalent to (1 + 2) < (x + y) < (7 $ q), which is thus 1 + 2.

If either side of the assumption is a single variable, numbers are excluded from this assumption. E.g., the assumption a == 3 would only apply to variables.

Expression equality

Two expressions are equal if they can be proven to be the same. Variables must be the same for each expression; for example, a + b is not by default the same as b + c.

Challenge

Your task is to remove "duplicate" expressions given some assumptions. You can use any unambiguous symbol or method, including taking a pair of strings, to represent an expression. The expressions remaining in the result do not necessarily have to be in the set, but must be equivalent by the given assumptions. E.g., if you have a + b - c and b - c + a in the input, you can have -c + b + a represent these in the resultant set. You should try each equation in the order that it's given to you (to simulate "precedence").

The input consists of a list of assumptions and a list of input expressions. The input expressions can be an array or container of strings or string pointers, or in any way standard to your language. (E.g., for C, one should expect null-terminated strings.) The input format must be consistent for all runs.

The output can be a list representation (as is standard to your language), can be separated by newlines (\r, \n, and \r\n are acceptable), or separated by commas. The output format must be consistent between runs.

This is a , so the shortest program in bytes wins.

Test cases

Every output is merely an example, and is not the only valid output.

Assumptions: { e1 == e2, e3 == e4, ... eN-1 == eN }
Input: { expr1, expr2, ... exprN }
Output: { expr1, expr2, ..., exprK }

Assumptions: { "a + b" == "b + a" }
Input: { "3 + 4", "4 + 3", "5 * a", "a + 2", "2 * a", "a * 5", "a + b", "2 + a" }
Output: { "3 + 4", "5 * a", "a + 2", "2 * a", "a * 5", "a + b" }

Assumptions: { "a + 0" == "a", "a * 1" == "a", "a * b" == "b * a", "a + b" == "b + a" }
Input: { "1 * 2 * 3", "3 * 2 + 0", "1 + 2 + 3" }
Output: { "1 * 2 * 3", "1 + 2 + 3" }
    OR: { "2 * 3", "1 + 2 + 3" }

Assumptions: { "~a" == "a ~ a" }
Input: { "~z", "z ~ z", "~a", "~~a", "a ~ a ~ a ~ a" }
Output: { "~a", "~z", "~~a" }

Assumptions: { "a + b" == "0" }
Input: { "x + y", "0", "3 + y + a + v + k", "75", "4 + 2" }
Output: { "0", "75" }

Assumptions: { }
Input: { "x + y", "x + y", "y + x", "3", "3 ! 3" }
Output: { "x + y", "y + x", "3", "3 ! 3" }

Assumptions: { "j" == "3" }
Input: { "v + t", "z", "q", "q + r + t", "4 + 2" }
Output: { "v + t", "z", "q + r + t", "4 + 2" }

Assumptions: { "a" == "b" }
Input: { "a", "b + c", "e % t", "q & t", "!3", "z" }
Output: { "a", "b + c", "e % t", "q & t", "!3" }

Assumptions: { "1 & 0" == "0", "1 & 1" == "1", "0 & 0" == "0", "a & b" == "b & a", "0 ? a : b" == "b", "1 ? a : b" == "a" }
Input: { "1 & 1 & 0", "j & k", "y & z", "z & y", "1 & 0 ? k & j : 0" }
Output: { "0", "j & k", "y & z" }
| |
\$\endgroup\$
  • \$\begingroup\$ Several of your expressions are inconsistently quoted. I also think you should explain what should happen when the assumption is something like 3 == a. Would I remove one of: 5, 7? It seems if you had a == b as the assumption you would, but the other one is counter-intuitive to me. Also, a == b is rather odd on its own, perhaps that is also a good test case. Also, the empty assumption if you intend to allow it. \$\endgroup\$ – FryAmTheEggman Jul 17 '17 at 3:18
  • \$\begingroup\$ @FryAmTheEggman Could you clarify your first question? Are you asking what should happen if 5, 7 is the input given the assumption a == 3? \$\endgroup\$ – Conor O'Brien Jul 17 '17 at 4:00
  • \$\begingroup\$ Yes, that's what I meant. \$\endgroup\$ – FryAmTheEggman Jul 17 '17 at 4:08
  • \$\begingroup\$ 1. subexpr = data | operator* . data; is surely equivalent to just subexpr = operator* . data;? 2. For the second test case it would be more illustrative to include an example output like { "0 * 2 + 3", "1 + 2 + 3" }. 3. I'm not sure what you mean by "If either side of the assumption is a single variable, numbers are excluded from this assumption". Is it that an assumption a == 3 with input {"b == 2", "c == 2", "4 == 2"} should give output e.g. {"3 == 2", "4 == 2"} rather than {"3 == 2"}? \$\endgroup\$ – Peter Taylor Jul 17 '17 at 7:43
  • \$\begingroup\$ @PeterTaylor 1. yeah, I original had * mean "1 or more"; will fix. 2. good idea. 3. Well, the way that input would be parsed is b = = 2, with a binary = followed by a unary =. Could you perhaps use a different symbol? I don't quite understand your confusion. \$\endgroup\$ – Conor O'Brien Jul 17 '17 at 16:53
  • \$\begingroup\$ Sure: assumptions: { "a" == "3" }; input: {"b + 2", "c + 2", "4 + 2"}. Is {"3 + 2", "4 + 2"} the correct output? \$\endgroup\$ – Peter Taylor Jul 17 '17 at 18:03
  • \$\begingroup\$ @PeterTaylor Yes, it is. \$\endgroup\$ – Conor O'Brien Jul 17 '17 at 18:34
  • \$\begingroup\$ The definition of assumptions includes an assumption with more than one operator, but none of the test cases do. I would think that's an important thing to test. \$\endgroup\$ – Peter Taylor Jul 26 '17 at 11:06
  • \$\begingroup\$ @PeterTaylor Added. \$\endgroup\$ – Conor O'Brien Jul 26 '17 at 19:32
1
8 9
10
11 12
99

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .