556
\$\begingroup\$

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

Sandbox FAQ

Posting

To post to the sandbox, scroll to the bottom of this page 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, though you can optionally add a title at the top. 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, and replace the post here with a link to the challenge and delete the sandbox post.

Discussion

The purpose of the sandbox is to give and receive feedback on posts. If you want to, feel free to give feedback to any posts you see here. Important things to comment about can include:

  • Parts of the challenge you found unclear
  • Comments addressing specific points mentioned in the proposal
  • Problems that could make the challenge uninteresting or unfit for the site

You don't need any qualifications to review sandbox posts. The target audience of most of these challenges is code golfers like you, so anything you find unclear will probably be unclear to others.

If you think one of your posts requires more feedback, but it's been ignored, you can ask for feedback in The Nineteenth Byte. It's not only allowed, but highly recommended! Be patient and try not to nag people though, you might have to ask multiple times.

It is recommended to leave your posts in the sandbox for at least several days, and until it receives upvotes and any feedback has been addressed.

Other

Search the sandbox / Browse your pending proposals

The sandbox works best if you sort posts by active.

To add an inline tag to a proposal, use shortcut link syntax with a prefix: [tag:king-of-the-hill]. To search for posts with a certain tag, include the name in quotes: "king-of-the-hill".

Get the Sandbox Viewer to view the sandbox more easily!

\$\endgroup\$
0

3993 Answers 3993

1
101 102
103
104 105
134
0
\$\begingroup\$

Super Permutations

Find the super permutation for a set of size n. A super permutation of a set is one string that contains all permutations of that set. Here is a helpful video by Matt Parker

Example

For a set of size 2 all the permutations are AB, BA but the super permutation is ABA because it contains the string AB and BA.
For a set of 3 all permutations are ABC,ACB,BAC,BCA,CBA,CAB and the super permutation is ABCABACBA.

Challenge

Given a certain size n (n>=1) find a super permutation of that set. To do this you have to use a pattern explained in the video.

Input

An integer greater than 0. This can be a function input superperm(n) or be taken from user input.

Output

super permutation of that sized set. This can either be printed out or the return value of a function

Sample Inputs

all of these are the shortest for that length but this is not a requirement.

    1: A
    2: ABA
    3: ABCABACBA
    4: ABCDABCADBCABDCABADABACDBACBDACBADCBA
\$\endgroup\$
4
  • 2
    \$\begingroup\$ Are you sure you don't want the shortest length to be the requirement? As you stated yourself, just concatenating all permutations is trivial, but if this is a [codegolf] challenge, everyone will use that trivial approach to save (loads of) bytes. I know a few programming language which could get all permutations and join them in 2 bytes.. Finding the shortest permutation would prove more difficult however, and seems like a more interesting challenge tbh. \$\endgroup\$ Jan 30, 2019 at 7:42
  • \$\begingroup\$ @KevinCruijssen the problem with the shortest permutation is that it's not known about 7 or 8. There is a pattern that gives one of the shortest solutions so maybe you should be required to follow that. \$\endgroup\$
    – Jackson
    Jan 30, 2019 at 23:53
  • \$\begingroup\$ This feels very dupey to me but I can't come up with the right search term(s) at the moment to find a possible target. I also agree with @KevinCruijssen on the scoring - some combination of byte count and length of output for a specific n would work better. \$\endgroup\$
    – Shaggy
    Feb 1, 2019 at 1:25
  • \$\begingroup\$ I don't know of a duplicate from before this sandbox answer was posted, but there is now a superpermutation challenge on main that uses a different scoring mechanism to encourage shorter superpermutations \$\endgroup\$
    – trichoplax
    Feb 8, 2019 at 20:53
0
\$\begingroup\$

Recently i made a post, but jumped the gun a little... I posted it before getting feedback and ended up getting it put on hold for being too arbitrary, but I have finally come here to get it properly fixed. Also I just got my Meta User fixed, so now I can post here!

Link to original post

Link to chat where all of this is being discussed

Basically I want to make the challenge where you create a quine that when given an input of 0 it outputs itself, and if given some other number it outputs a different quine. For example, abc outputting abc if given 0, abc outputting gef if given 1, abc outputting qwerty when given 255 etc... The scoring will be based on how little bytes can be used and how many extra different quines that it can output.

The problem comes with defining what defines different quine and how to balance the scoring so that coders will be encouraged to write short code, but still try to create different quines that aren't just altered copies of the original or each other

Examples of what not to do

abc      //original
abcd     //output
abcabcabc//output
aabc     //output
aaabc    //output
aaabbbccc//output

stuff like this wouldn't be allowed, I just don't know how to turn that into a rule that can't be abused.

What I want examples

abc      //original
gefh     //output
qwetryiop//output
uiop     //output
kerdp    //output
tttuiiree//output

Basically all of the output quines are different from each other, nor are they similar

And of course no examining source code.

\$\endgroup\$
4
  • \$\begingroup\$ I would say output a quine without using the same characters from the previous quine but there is already a challenge like that \$\endgroup\$ Feb 6, 2019 at 20:13
  • \$\begingroup\$ @LuisfelipeDejesusMunoz Yes, that would work, but I want to see if there is another way to do this without branching away from the original challenge \$\endgroup\$ Feb 6, 2019 at 20:21
  • 1
    \$\begingroup\$ Perhaps you can go back to the polyglot specs, and say that the outputted quines all have to be in different languages? \$\endgroup\$
    – Jo King Mod
    Feb 7, 2019 at 13:10
  • \$\begingroup\$ @JoKing That might just work, if I do that I'll have to change the scoring system so that it doesn't push too hard on golfing, but hard enough that people are encouraged to make small programs, and also to try and make it output as many quines as possible. \$\endgroup\$ Feb 7, 2019 at 14:04
0
\$\begingroup\$

Break Hello World (Cops)/Fix Hello World (Robbers)

Cops

Your job is to write a broken hello world program. What do I mean by that? Well, you write a valid hello world program, and make changes to it.

Your probably thinking "easy peasy", right? Well, there's one other condition: it must be hard to fix.

Anyways, for the actual rules. First you write a valid hello world program. That means:

  • The characters sent to stdout form the string "Hello World!" exactly. Then the program halts gracefully (if given enough time and resources).
  • Nothing is read from stdin or sent to stderr.
  • No interacting with the operating system (i.e. no modifying files, randomness (unless it is pseudorandom and the seed is the same each run), internet, other commands, etc...)
  • No using built-in or imported hashes or cryptographic primitives. If the program implements cryptographic primitives, that's fine though.
  • Should work no matter how or on what platform it is run, assuming default options. The language it is written in should be reasonably cross platform and not cost money as well.

Now, make any changes you want to it. However, your score will be based on the edit distance between the valid and broken program (the lesser the better). The exact scoring will be described below.

The broken program can be any string you like (so calling it a "program" is technically a misnomer). Your submission will consist of:

  • The broken program
  • The edit distance between the valid and broken program, or any greater distance. (The reason you might want a greater distance is if the exact distance would reveal too much information. However, your score will suffer, and the robbers will have more flexibility, so be careful exercising this option). This number will be called your "brokenness" number.
  • The language and language version of the valid program. This language should not be one written for this challenge.
  • The sequence of literals appearing in the valid program, in the order they appear. (This is to encourage cops to scramble the program structure, not just hard coded values.)
  • What the score will be if it is not cracked and after you reveal the solution.
  • The date and time at which the program will be safe (as described below). (This way your program will be safe as soon as this time is reached, even if you have not had an opportunity to reveal the solution yet.) You may edit this in immediately after posting the solution, if you prefer, so that you will now the submission time.

After that, the robbers will have 168 hours (one week) to crack your submission from the date posted. If your submission is not cracked by then, your entry is safe. However, you can not claim your score until after you reveal the solution. To do this, edit your answer to include the valid program and an explanation as to why it works (if it takes a while to run). Also include what edits where made (since calculating the edit distance can be hard) and the word "safe" in the title.

How can your program be cracked? A robber just needs to write a valid hello world program (not necessarily the same as you wrote) whose edit distance from your broken program is less than or equal to your submission's brokenness number. The only other stipulation is that it has the same language and language version. In particular, it is not required to use the same literals as your program (this is to discourage cops from making their submission harder to crack this way).

And now for score. If the length of the broken program is L, the brokeness number is b, and the number of characters that can be used in your programming language is k, your score is (k^b)*(L+b)!/(L!b!), which you are trying to minimize. If your wondering were the heck that formula came from, it is very roughly the number of strings whose edit distance from your broken program is less than or equal to your submission's brokenness number (the exact value is hard to compute) (NOTE TO SANDBOX READERS: If you know a more accurate metric that isn't too complicated, let me know.). The idea is that the smaller the search space the robbers have to search, the more impressive it is if it does not get cracked. Also, please post the score in scientific notation for easy comparison.

This is , so the submission which claims the lowest score wins!

Example Answer:

Python 2.7, score 7.5×10^53 (Safe)
Broken Program: salida "Hola Mundo!"
Brokenness Number: 18
Literals: "Hello World"
Safe Date: Feburary 12th, 3:42 PM UTC.

Valid program: print "Hello World!"
Edits: Make 7 replacements to get to saida "Holao dorld!". Make 4 deletions to get to saida "Hola do!". Make 4 insertions to get to salida "Hola Mundo!".
Explanation: Uses python's builtin print command to send `"Hello World!" to standard output.

Robbers

Welp, the cops did it again. They broke some hello world programs. Its your job to fix them.

Your probably thinking "easy peasy, I'll just rewrite it from scratch", right? Well, there's one other condition: you have a limited number of edits.

Anyways, for the actual rules. Pick a submission from the cop's thread that has not already been cracked, and is not safe. A submission is safe if it is over 168 hours (one week) old. The submission will have a broken hello world program, a brokenness number, and a programming language and language version, as well as some other useful information (including what literals in the cop's valid hello world program). Your submission must contain a valid hello world program in that language and language version whose edit distance to the broken program is less than or equal to the brokenness number. See the cop thread for what constitutes a valid hello world program. Also note that you are not required to use the same literals the cop used. They are only meant to give you a hint.

Your robber submission should consist of:

  • A link to the cop entry you are trying to break.
  • Your valid hello world program.
  • An explanation as to why it works (if it takes a while to run).
  • The edits you made to create the program (since calculating edit distance can be hard).

and then place a comment in the cops submission with a link to your submission. You get a point for each submission cracked. Note that only the first robber to crack a given cop submission gets a point. If you post a submission cracking a cop's submission, but it turns out another robber posted one before you, edit your submission to say that it is non-competing (or you can delete it if you want to). It is also non-competing if you crack a submission that is already safe.

This is , so whichever robber gets the most points wins!

\$\endgroup\$
6
  • 2
    \$\begingroup\$ I don't think the requirement for solutions to include "The sequence of literals appearing in the valid program" is a great idea; in particular I suspect it would run into similar arguments over the definition of "literals" as we've previously had when challenges tried to regulate builtins, comments, strings, etc. Perhaps this won't end up that way, but I don't think it's worth the risk. \$\endgroup\$ Feb 12, 2019 at 15:19
  • 3
    \$\begingroup\$ I basically understand what you were trying to do with the scoring formula, but I don't think using "number of characters that can be used in your programming language" is a good idea. For one thing, I'm pretty sure there are at least some languages where all unicode could validly appear somewhere in the source code. I think a formula that only uses b and L would be better. Since L is calculated in bytes, I think the most neutral change would be to just replace k with 256. \$\endgroup\$ Feb 12, 2019 at 15:27
  • 1
    \$\begingroup\$ I also think it would be a good idea to put "also known as 'Levenshtein Distance'" next to your "edit distance" link, or even just use the term Levenshtein Distance instead. It's not a huge deal, but Levenshtein Distance seems to be the more common term in existing challenges (though "Levenshtein edit distance" seems to be a compromise with some precedent). \$\endgroup\$ Feb 12, 2019 at 15:33
  • \$\begingroup\$ Your scoring system is weird and confusing. Why not have the cop score be the Levenshtein Distance and say the lowest scoring safe program wins? \$\endgroup\$
    – Beefster
    Feb 13, 2019 at 0:35
  • 1
    \$\begingroup\$ @KamilDrakari Well, regarding literals, I'm not sure of a good way to encourage cops to scramble the program structure other than this and a popularity contest. Without that restriction, the challenge basically becomes "for what input does this program make it to the "print 'Hello World'". Also, yes, I think I'll make L and b be specified in bytes and k=256. And I'll edit Levenshtein Distance into the question. \$\endgroup\$
    – PyRulez
    Feb 13, 2019 at 0:39
  • 1
    \$\begingroup\$ @Beefster Then they came make the program as long as they want. They could either have a small "changeable" section, and make the rest of the program either raise an error or print hello world based on some NP-complete problem, or have a massive hello world program with only four or five errors. \$\endgroup\$
    – PyRulez
    Feb 13, 2019 at 0:41
0
\$\begingroup\$

Is This Randomizer Seed Beatable?


Randomizers of Pokemon, Zelda, Metroid games (among other games) have gained a lot of popularity in the last few years within the speedrunning community. Basically these are programs that shuffle around items, Pokemon, and even cosmetic things in a ROM of the game. It gives speedrunners a new and exciting challenge for a game they have played perhaps hundreds of times since items affect progression and can lead them to play the game very differently.

Randomizers also have logic that prevents them from making unbeatable configurations. We'll be looking at a simple, but generalized, form of this logic in this challenge.

Challenge Explanation

You will be given a list of rules as input describing some game world and its item requirements and a list of item locations. Your task is to determine if the item locations represent a beatable seed within the rules.

World Rules

The rules are a list of required items for accessing a location. A required item may have an associated quantity. For example, a simplified sampling of Super Metroid:

[] => Morph
[Morph] => BlueBrinstarBottomMissiles
[Missiles, Morph] => Bombs
[HighJump] => BlueBrinstarETank
[Morph, Bombs] => CrateriaDescentETank
...
[Supers, HighJump, Morph, Bombs] => Kraid
[Kraid] => Varia
[Varia] => Speed
[Varia, Speed] => IceBeam
...
[Kraid, Phantoon, Draygon, Ridley, Morph, IceBeam, Charge, 3 Missiles, 3 Supers, 3 ETank, Varia, Gravity] => END

It's possible for a location to be reachable by different sets of requirements. Conceptually, this means that any one set of requirements. Here's an example from Zelda: Ocarina of Time (referencing some glitches):

[DekuTreeBeaten] => ForestExit
[Stick] => ForestExit
[Nut] => ForestExit
[KokiriSword, DekuShield] => ForestExit

Keep in mind that the right hand side of the rules list in my example is actually a location id, not an item id. The special location id END indicates the ability to beat the game with those items.

Item Locations

You will receive a mapping of location IDs and which item they contain. For example:

KokiriSwordChest: HeartPiece
MidoHouse1: Hookshot
MidoHouse2: 5Rupees
...
DampeDig: ForestTempleBossKey
DampeRace1: NayrusLove
DampeRace2: HeartPiece
...
GoldGauntletsChest: DoubleMagic
...

What does it mean to be beatable?

A player begins a game with no items. If it is possible for the player to, through the continued acquisition of available items, reach the END location, then the seed is beatable. It doesn't matter if all items are obtainable as long as the END location is reachable.

This maps to a variant of graph reachability problems which can be solved relatively easily with a breadth-first search. (Other approaches may work as well)

Simple example (beatable)

World Rules:

[] => SwordChest
[] => ShieldChest
[Sword, Shield] => FireballScroll
[Fireball] => IceBeamScroll
[Fireball, Sword] => LightningScroll
[Fireball, IceBeam, Lightning] => END

Item Locations:

SwordChest: Fireball
ShieldChest: Sword
FireballScroll: Shield
IceBeamScroll: Lightning
LightningScroll: IceBeam

This seed is beatable with this item order: Fireball, Sword, Lightning, IceBeam. It's impossible to get the Shield because it's locked behind the FireballScroll which requires the Shield. But that doesn't matter because the END only requires the three elemental spells.

Simple example (unbeatable)

World Rules:

[] => SwordChest
[] => ShieldChest
[Sword, Shield] => FireballScroll
[Fireball, Shield] => IceBeamScroll
[Fireball, Sword] => LightningScroll
[Fireball, IceBeam, Lightning] => END

Item Locations:

SwordChest: Fireball
ShieldChest: Shield
FireballScroll: Sword
IceBeamScroll: Lightning
LightningScroll: IceBeam

This seed is unbeatable because Lightning is required, but is locked behind the Ice Beam Scroll, which requires the sword, which in turn is locked behind the Fireball Scroll, which itself requires the sword to access.

More test cases

More test cases can be found here.

Other Notes and Rules

  • You can accept the world rules and the item locations in any convenient format or representation, given these restrictions:
    • When multiples of one item are in a requirements list, you can represent it by repeating that item multiple times or by having a quantity and item id.
    • Both item and location ids must be taken in as alphanumeric strings. (i.e. no converting it to numbers or other more convenient values before passing it into your program/function)
    • The sentinel value for the "beating the game" location id must be END, all caps, three letters.
  • Item and location ids are case sensitive and must match exactly between the two inputs to be considered the same item or location
  • Each location can be reached only once, even if it is reachable from multiple sets of requirements
  • You may assume that every location id on the locations list appears at least once on the rules list and that there is at least one END in the rules list
  • You may assume that each location id on the locations list appears exactly once and contains exactly one item.
  • There is no concept of one-way doors that block off access to previously accessible locations. The requirements list is unordered.
  • Location ids and item ids are separate and distinct. For instance, Morph as a location is different from Morph as an item.
  • Output a truthy value for a beatable seed and a falsy value for an unbeatable seed.

Happy golfing!


Sandbox: there's a lot here. Any suggestions for explaining things better? Should I add more test cases?

\$\endgroup\$
1
  • \$\begingroup\$ You might be interested in Rado, a language that's attempting to quickly(ish) solve this problem more generally. I'm not related to the project in any way, I just think it's interesting. \$\endgroup\$ Feb 13, 2019 at 21:40
0
\$\begingroup\$

MisterGeeky's query-to-list challenges:

It is up to you whether you interpret these challenges as following a pattern.


Challenge 1:- Given an array of random numbers and a target number, sample pairs in the array whose sum is closest to the target.

Minimize the error function. To explain this challenge, I need elucidate on the random list.

L = [8.76, 7.89, 6.98, 9.99]

That's just a handmade random list. Yours can be auto-generated of any length.

Say target = 42.

Find a tuple made from cartesian LxL whose sum of elements is closest to target.

These are obviously not the best words to pose the challenge with, they will be refined. How close is this to golf?

Challenge 1.5:- Extend the above problem with all known operations, and even increase the number of numbers that can be taken at a time to reach the target.

op = ['*', '**', '^', '/', '+', '-']

Assume usual meaning for each, ** is sometimes for exponentiation but you can use it for tetration, similar to knuth's up arrow notation. '^' is either XOR or exponentiation. You have the liberty to choose operators. I meant operators known to you in general. Just normal arithmetic should even do.

op = ['+', '-', '*', '/']

I also allow any binary function that doesn't trivially output the target value.


Challenge 2:- Find list of Adjacent Elements to a given element or element position in any 4-dimensional matrix. (ie, m rows* n columns * p sheets * 4th dim whatever)

Even I'm not sure how this is golf. But I typically like to think there's only one approach that's the correct answer. Feel free to argue with me on that :D The idea is that this knowledge gives you a starting point to find n-neighbours of a cell location.

So, you typically have 8 directions of search (4 pure and 4 combined). You start with listing the immediate neighbours

Challenge 2.5:- Find specified number of adjacent elements of a point in n-space. You are free to either sample at random, use rank of the point or use minimum euclidean distances.

Here, you find n-neighbors of a given item. Points for creativity.


Challenge 3:- build a simple recommender, takes a query and outputs a list (recommender as a suggestions lister is not easily defineable)

Challenge 3.5:- improve recommendation efficiency (too advanced for golf)

Third challenge is anything that combines knowledge from first and second challenge.

...

The above are to be refined as golfing challenges, shortest code is the best code.

Please comment your thoughts below. Thanks.

\$\endgroup\$
6
  • 1
    \$\begingroup\$ all known operations, adjacent, recommender, efficiency? I'm missing some definitions here. \$\endgroup\$
    – Adám
    Feb 25, 2019 at 8:08
  • \$\begingroup\$ Hi, and thanks for using the sandbox! While this seems pretty clearly to be a work in progress, I don't think there is particularly much for readers to comment on at the moment. You might consider expanding the first idea into a more complete challenge first so you can receive more useful feedback. From the way the first challenge is worded, I think you may have some trouble with ensuring the error is sufficiently minimised if golf is the goal. \$\endgroup\$ Feb 25, 2019 at 20:54
  • \$\begingroup\$ @FryAmTheEggman Yes, I aso think there are more eleqouent ways to pose the problem. I'm actually not sure what golf is. Is it heuristic shorthand? I'm slowly completing the challenge definitions. My aim is to also make them feel good to read, not just sound jibberish one can't relate with. So, your inputs would be most useful. \$\endgroup\$ Feb 26, 2019 at 9:39
  • \$\begingroup\$ @Adám Um, I'll remember to do that, but I meant english words. Operation is assumed as binary input function yielding one result value. Adjacent is the direct nearest neighbours, left and right elements incase of a 1D list or array. There will be 8 adjacent elements for an element is a matrix and 26 adjacent elements for an element in a datacube. A recommender is a function that you assume can give you a list of suggestions based on an input-query or item selection. Efficiency is same as the time to get solution. I'll be more than happy to clarify further doubts. \$\endgroup\$ Feb 26, 2019 at 9:50
  • 1
    \$\begingroup\$ I think I see what you mean by the first challenge now. Sorry about my language, I mean "golf" in the sense that the ultimate goal is code golf, that is, writing as short a program as possible. The first challenge appears fine in this regard now, but 1.5 will suffer from this the way you have it worded now. Since each competitor will want to minimise their code, they will implement as few operators as possible. You should certainly specify precisely which operators need to be supported. \$\endgroup\$ Feb 26, 2019 at 15:31
  • \$\begingroup\$ @FryAmTheEggman I am yet to generalize to the maximum extent possible. Writing the question seems so much harder than actually answering it. Um, in 1.5, I mean to say replace the summation of tuples with any other operation to get near to target. I'd have liked to added more challenges along the lines of, you can sample more than two elements to get output, you can reuse but according to some limitation et cetera. These are not simple to pose, especially when this 1d/2d concept is supposed to analogize a higher dimensional thing. \$\endgroup\$ Feb 27, 2019 at 15:56
0
\$\begingroup\$

Reducing switches in a binary matrix

A row's switch count is the amount of times the array switches from 1 -> 0 or 0 -> 1 when reading the array sequentially. As a Python function this looks like:

def row_switch_count(row):
    switch_total = 0

    last_r = row[0]

    for rr in row[1:]:
        if last_r != rr:
            switch_total += 1

        last_r = rr

    return switch_total

A matrix's switch count is the maximum switch count of all it's rows:

def mat_switch_count(bin_mat):
    max_switch = 0

    for row in bin_mat:
        count = row_switch_count(row)

        if max_switch < count:
            max_switch = count

    return max_switch

Write a function to reduce a matrix's switch count for each row to be less than a desired toggle count by permuting the elements in the nth column. You should permute as few columns as possible.

Permissible permutations

The only permutation allowed is moving the column. You can move a column's index, but you cannot mutate the column itself. For example, you cannot change a column [1, 0, 0] -> [0, 0, 1]. However, you can move a column within a matrix:

([1, 0, 0], ->  ([0, 0, 1],
 [0, 0, 0])      [0, 0, 0])

Input

A binary array with rows > 1 and cols > 5. The sum of all rows in any given column less than 1.

A desired_toggle_count >= rows.

Examples

Note the solutions are not unique and not all solutions need to be provided. However, there is guaranteed to be a solution, since the trivial solution where you sort all the columns, is valid.

desired_toggle_count=3
([1,0,1,0,1,0,0],
 [0,0,0,1,0,1,1]) 
=> 
([1,0,1,1,0,0,0],
 [0,0,0,0,1,1,1])

-----

desired_toggle_count=4
([1,0,1,0,1,0,0],
 [0,0,0,1,0,1,1])
=>
([1,0,1,0,0,0,1],
 [0,0,0,1,1,1,0])

or

([1,0,1,1,0,0,0],
 [0,0,0,0,1,1,1]))

----

desired_toggle_count=4
([1,1,1,0,1,0,1,0,0],
 [0,0,0,1,0,1,0,0,1])
=>
([1,1,1,0,1,0,0,0,1],
 [0,0,0,1,0,0,1,1,0])

or

([1,1,1,0,1,1,0,0,0],
 [0,0,0,1,0,0,1,1,0])

----

desired_toggle_count=5
([1,1,1,0,1,0,1,0,0],
 [0,0,0,1,0,1,0,0,1])
=> 
([1,1,1,0,1,0,1,0,0],
 [0,0,0,1,0,1,0,0,1])

----

desired_toggle_count=4
([1,0,1,0,1,0,1],
 [0,1,0,1,0,0,0],
 [0,0,0,0,0,1,0])
=>
([1,0,1,0,0,1,1],
 [0,1,0,0,1,0,0],
 [0,0,0,1,0,0,0])

Sandbox comments

I think this question might have too many requirements to be interesting? Brevity is the soul of wit and this question is not very brief.

\$\endgroup\$
6
  • \$\begingroup\$ 1. I think the definitions are not standard enough to assume in the first paragraph, and the task would be much more readable if the definitions came before the task specification. 2. NumPy is rather cryptic: it's optimised for speed rather than legibility (especially to non-Python programmers), so it's not very effective as a communication format. 3. The output section should be about formatting, not processing. 4. What happened to "n-dimensional" from the first line? \$\endgroup\$ Feb 28, 2019 at 9:14
  • \$\begingroup\$ 5. I've clearly not understood the definition of toggle count, because I think ([1,0,1,0,0,0,1], [0,0,0,1,1,1,0]) from the second example has a toggle count of at least six. 6. Since each column has zero or one 1s, the Hamming distance constraint can be given without mentioning Hamming distance: the permitted operations are permuting the elements in the \$n\$th column, and you should permute as few columns as possible. \$\endgroup\$ Feb 28, 2019 at 9:18
  • \$\begingroup\$ @PeterTaylor thank you for your feedback. I tried to address all of your suggestions. Please let me know if I can improve this puzzle further! \$\endgroup\$
    – Seanny123
    Feb 28, 2019 at 16:09
  • \$\begingroup\$ OK, I get it now. I'm still not convinced by the test cases: why isn't ([1,0,1,1,1,0,0], [0,0,0,0,0,1,1]) a strictly better solution for the first one? Also, it might be worth adding a guarantee that there will be a solution. \$\endgroup\$ Feb 28, 2019 at 18:16
  • \$\begingroup\$ @PeterTaylor in your example, you've modified one of the columns, which isn't permitted. I've added example mutations. Sorry, I got confused, when you said "permutation". \$\endgroup\$
    – Seanny123
    Feb 28, 2019 at 18:36
  • 2
    \$\begingroup\$ I feel like the python code at the beginning is not particularly illuminating. I think the rest of your description is adequate, and I think you risk hiding more important details like the moving as few columns as possible. Speaking of, it is probably a good idea to state the number of columns moved in each solution. In fact, it may be a better idea to simply make that the output, as it will make other answers easier to verify and it capture what seems to be important. \$\endgroup\$ Mar 1, 2019 at 20:01
0
\$\begingroup\$

(bit)Wise Images

Given a truth table and two images, use the truth table as a bitwise operation to the two images.

For example with the truth table:

  1 0
1 0 0
0 1 0

(Note that the top is the first image and the left is the second)

and the two images (0, 2, 4) (a 1x1 image, with the numbers being RGB values) and (30, 20, 10):

You would apply the above truth table to the numbers 0 and 30, of which's binary representations are 00000 and 11110. Using the truth table as a bitwise operation would get us 00000, or in decimal form 0.

This means that the red value of the first pixel would be 0.

Continuing this with the other RGB values would get us 2 and 4 for green and blue respectively.

So the output for this would be a 1x1 image with the only pixel having an RGB value of 0, 2, 4.

NOTES:

You can use any default input or output method.

You can assume that the two input images are the same dimensions.

You can support any image format you want as long as the image format supports RGB values from #000000 (0, 0, 0) to #ffffff (255, 255, 255).

The truth table can be in any format you want

\$\endgroup\$
10
  • 1
    \$\begingroup\$ Are the images guaranteed to be the same dimension? What image formats should be supported (or is it up to us?)? Are we generating a 3rd photo or overwriting the two existing ones (due to asymmetric truth tables, 1+2 can be different from 2+1)? \$\endgroup\$
    – Veskah
    Mar 2, 2019 at 4:27
  • \$\begingroup\$ I think you should more clearly specify your value ranges. One would assume, your image channels contain eight bits of entropy. \$\endgroup\$ Mar 2, 2019 at 4:30
  • \$\begingroup\$ @Veskah I think both format and overwriting are covered by default I/O. \$\endgroup\$ Mar 2, 2019 at 4:31
  • \$\begingroup\$ @JonathanFrech I'll yield format. And a second reread shows it as the inputs being Source image + Modifier image, whereas I thought it was "do this to both" at first \$\endgroup\$
    – Veskah
    Mar 2, 2019 at 4:40
  • \$\begingroup\$ @Veskah I am sorry, but I neither understand what you mean by "I'll yield format." nor "Modifier image". \$\endgroup\$ Mar 2, 2019 at 4:42
  • \$\begingroup\$ @JonathanFrech The former is "Yeah, fair enough on format, you are correct", the latter is "Image order matters due to the possibly asymmetric truth tables. So you can say the 1st image is the source and the 2nd image is the modifier which will result in the 3rd output image." \$\endgroup\$
    – Veskah
    Mar 2, 2019 at 4:50
  • \$\begingroup\$ @Veskah Edited. \$\endgroup\$
    – MilkyWay90
    Mar 2, 2019 at 16:13
  • \$\begingroup\$ @JonathanFrech Sorry, but what do you mean by "image channels" \$\endgroup\$
    – MilkyWay90
    Mar 2, 2019 at 16:15
  • \$\begingroup\$ @MilkyWay90 with the numbers being RGB values -- I mean the image's three color channels. In what value range do they live? \$\endgroup\$ Mar 2, 2019 at 22:43
  • \$\begingroup\$ @JonathanFrech From 0 (0x00) to 255 (0xff) \$\endgroup\$
    – MilkyWay90
    Mar 3, 2019 at 2:32
0
\$\begingroup\$

Perfectly stable code

You are a.... Let's say prepared, programmer. You are working on the code to end all code, and it must be perfectly stable. No crashes, memory corruptions, mispellings, or anything else must get in your way. Everything else was set, but to your horrer you discovered that you had not accounted for the possiblity that the sun could actually flip a bit in your code! Naturally, you must now account for this.

The objective: A hello world program that still works if a single char is changed.

Questions:

  • Has this been asked?
  • What kinds of limits should I impose to make it possible? Allow 10% of chars to be safe, limit the charset to just ASCII, ect.
  • Is it possible?
\$\endgroup\$
6
  • \$\begingroup\$ This challenge is similar. \$\endgroup\$ Mar 7, 2019 at 6:15
  • \$\begingroup\$ Of course it's possible \$\endgroup\$
    – ASCII-only
    Mar 7, 2019 at 6:16
  • \$\begingroup\$ In fact, it's solvable rather trivially in certain languages. \$\endgroup\$ Mar 7, 2019 at 6:18
  • \$\begingroup\$ Would it be sufficiently different if I didn't have the requirement that the modification is syntactically valid? \$\endgroup\$
    – J Atkin
    Mar 7, 2019 at 6:18
  • \$\begingroup\$ Of course. But that would probably heavily restrict the possible language set, as seen in the other linked challenge \$\endgroup\$
    – ASCII-only
    Mar 7, 2019 at 6:43
  • 3
    \$\begingroup\$ The tag you're looking for is radiation-hardened, though most challenges deal with deletion rather than modification. I would strongly recommend using bytes rather than characters. In fact, if you want to make it more interesting and closer to the original premise (as well as a little easier), how about using changing bits instead? You should also add a winning criteria (I assume code-golf) and specify the exact output of (Hello, World!) \$\endgroup\$
    – Jo King Mod
    Mar 7, 2019 at 10:56
0
\$\begingroup\$

Centurion Counter

The drinking game Centurion is extremely simple - 1 shot of alcohol (usually beer or cider) once a minute for 100 minutes.

Whilst playing the other day a friend commented that we didn't need the tracking app, and that we could have just written the program ourselves. So now it is your turn.

Task

Write a program that once every 60 seconds produces a beep or sound to alert players a minute has passed, and then add one to the counter of how many shots have been had.

The counter starts at 1 (the first shot) and then ends at 100 when the last counter is taken.

\$\endgroup\$
2
  • 2
    \$\begingroup\$ What's the winning criterion here? code-golf? \$\endgroup\$
    – Ven
    Mar 14, 2019 at 15:37
  • 2
    \$\begingroup\$ Aside from choosing a winning criterion, I think you need to be more explicit about what counts as a sound, or on what hardware this should work on. However, this is extremely similar to this challenge as it is, so you might consider changing up what you want. \$\endgroup\$ Mar 14, 2019 at 18:30
0
\$\begingroup\$

There doesn't seem to be a "l337 5P34K" challenge, or I have not yet found one. How about it? Simple string manipulation so it should fall under "C0D3 60LF", right? I.E, Leet speak encoder (challenge one), and leet speak decoder (challenge two).

\$\endgroup\$
2
  • 3
    \$\begingroup\$ You'll need to define the question a lot better than this. i.e. What substitutions define leet speak? If the challenge winning criteria is shortest program size, than code-golf is correct. The string part would be probably be tagged substitution . The closest I could find was the code-challenge Leet to English \$\endgroup\$
    – Jo King Mod
    Mar 15, 2019 at 10:50
  • \$\begingroup\$ As you've found a translator, I'll think about an encoder challenge. \$\endgroup\$ Mar 15, 2019 at 14:04
0
\$\begingroup\$

Plot an NACA Airfoil

NACA airfoils are described using a series of digits that represent the miscellaneous properties of the airfoil profile.

The purpose of this challenge is to receive an airfoil number as input, and plot the profile of the airfoil.

Background information:

4-digit NACA airfoils are generally described by their string NACA ABCC, where A,B are single digit integers, and CC is a 2-digit integer.

  • A is the maximum camber as a percentage of the chord length. Eg. A=2 means that the camber is 2% of the chord length.
  • B is the location (divided by 10) of maximum camber as a percentage of the chord length. Eg. B=4 means that point of maximum camber is 40% down the length of the chord.
  • CC is the profile thickness as a percentage of the chord width. Eg. CC=12 means that the width of the airfoil is 12% of the maximum chord length.

Using the example given above, NACA2412, a suitable profile plot would look something like this: NACA 2412 and NACA 0012

Note that in the image above, the Red line is the camber line and the purple is representative of the symmetrical airfoil NACA 0012.

Any airfoils with a representative number of NACA 00XX are symmetrical in nature because they possess zero camber.

Possible scoring criteria are and

Any feedback is welcome. I also plan on having more challenges for the 5-digit and 6-digit profiles. Eventually, I will add equations to this post too.

Another way this challenge could be run would be to have the programmer return a series of points around the profile. This could be judged both for accuracy and quantity of points returned. If this approach is used, this would probably be a challenge.

\$\endgroup\$
5
  • 2
    \$\begingroup\$ What are you trying to achieve with popularity-contest? I highly recommend against using it unless you really know what you're doing, most of such challenges are closed as too broad (popularity-contest isn't a broadness waiver). On the other hand, code-golf is the most common winning criterion around here, so I highly recommend it. There are other issues, however, which make the challenge unclear. For example, what constitutes a valid plot image (including how axes, lines, areas and points can be represented)? How would the answer be judged on its accuracy? If the winning... \$\endgroup\$ Mar 17, 2019 at 22:31
  • \$\begingroup\$ ... criterion isn't just code golf, then I recommend using the code-challenge tag, since code-golf implies a pure golfing competition. \$\endgroup\$ Mar 17, 2019 at 22:32
  • \$\begingroup\$ There are well-defined equations relating the x and y coordinates, so perhaps submissions could return a set of (x,y) points, and they could be judged by how closely the entire set of points follows the profile lines? \$\endgroup\$
    – JPeroutek
    Mar 17, 2019 at 22:33
  • 3
    \$\begingroup\$ The spec is completely opaque to me. It should be written without assuming any aerofoil-specific knowledge, not as a refresher for someone who already knew it but may have forgotten. \$\endgroup\$ Mar 19, 2019 at 8:52
  • \$\begingroup\$ I think your idea is good, but the details are pretty vague. \$\endgroup\$
    – dfeuer
    Mar 19, 2019 at 22:23
0
\$\begingroup\$

Optimize the JSON (WIP)

Consider function f which takes two objects data and default, and merge anything from default into data if data contains no such element. Take the two objects(if the one in your language can handle the required elements) or JSON as input, output a shortest JSON that, when given as data, output the same object as the original data do, as long as default doesn't change.

\$\endgroup\$
5
  • 1
    \$\begingroup\$ If posted as it is now, I would flag it: closed as unclear what you're asking \$\endgroup\$
    – Beefster
    Mar 19, 2019 at 17:15
  • \$\begingroup\$ @Beefster That's what WIP means \$\endgroup\$
    – l4m2
    Mar 20, 2019 at 9:34
  • 1
    \$\begingroup\$ I really have no idea what this challenge is. The title suggests making a representation smaller while the text seems to indicate some sort of merging process that really needs to be fleshed out. \$\endgroup\$
    – Beefster
    Mar 20, 2019 at 16:23
  • 2
    \$\begingroup\$ add some examples! \$\endgroup\$
    – vityavv
    Mar 20, 2019 at 16:53
  • \$\begingroup\$ @zevee Actually I don't know what I want on some situations, so this will be here for long time \$\endgroup\$
    – l4m2
    Mar 20, 2019 at 22:17
0
\$\begingroup\$

Draw these shapes

Given: a width, a height, and a set of sets of points. Output: An image where each set of points is connected and colored in (like a shape). Each shape must be a different color from all of the other shapes, but the difference doesn't matter. The shapes must be in order; whether you start at the end or the beginning of the set doesn't matter, though.

Examples

//the code here has nothing to do with the actual challenge and just shows examples

document.getElementById("one").getContext("2d").fillRect(0, 0, 300, 300)
const ctx = document.getElementById("two").getContext("2d")
ctx.fillStyle = "black"
ctx.beginPath();ctx.moveTo(0,0);ctx.lineTo(0,300);ctx.lineTo(300,0);ctx.closePath();ctx.fill()
ctx.fillStyle = "lime"
ctx.beginPath();ctx.moveTo(200,0);ctx.lineTo(600,0);ctx.lineTo(300,300);ctx.closePath();ctx.fill()
canvas {border: 1px dotted black}
<pre>Width: 500, Height: 500, Set: [[[0, 0], [0, 300], [300, 300], [300, 0]]]</pre>
<canvas id="one" width="500" height="500"></canvas>

<pre>Width: 600, Height: 300, Set:
[
  [[0,0], [0,300], [300,0]],
  [[200,0], [600,0], [300,300]]
]</pre>
<canvas id="two" width="600" height="300"></canvas>

Scoring is .

\$\endgroup\$
7
  • \$\begingroup\$ is there any rules about how long I have to wait before posting to the main site? \$\endgroup\$
    – vityavv
    Mar 20, 2019 at 23:52
  • \$\begingroup\$ It's usually best to wait at least 72 hours before going from the Sandbox to main. As for the actual challenge: do the colors need to be visually difference, or is changing a color from #FFFFFF to #FFFFFE enough difference (I assume the second, but if not, please explain how much different the colors have to be)? Also, is the input order of the points for the shapes important, where the last is always in front of the first? Or are we also allowed to have the green triangle behind the black one in your second example? \$\endgroup\$ Mar 21, 2019 at 12:01
  • 2
    \$\begingroup\$ @KevinCruijssen any difference is enough. Order can be either descending or ascending, but must go sequentially. I'll add those to the question \$\endgroup\$
    – vityavv
    Mar 21, 2019 at 15:12
  • \$\begingroup\$ You may want to add something about jpegs and other lossy image formats, and whether they are allowed. Also I think you should explain "in order" a bit more: do you mean later shapes will be drawn over earlier shapes (or vice versa)? \$\endgroup\$ Mar 22, 2019 at 17:25
  • \$\begingroup\$ @FryAmTheEggman. In order means later shapes will be drawn over earlier shapes or vice versa, that's why I said "whether you start at the beginning or the end of the set doesn't matter though." Also, codegolf.meta.stackexchange.com/questions/9093/… says stuff about lossy formats (Programs may output via a common raster graphics image format) \$\endgroup\$
    – vityavv
    Mar 23, 2019 at 21:53
  • \$\begingroup\$ What are the width and height? \$\endgroup\$
    – Artemis
    Mar 26, 2019 at 23:18
  • \$\begingroup\$ the width and height of the outputted image. BTW, I've posted this: codegolf.stackexchange.com/questions/182104/draw-these-shapes (only need one more re-open vote) \$\endgroup\$
    – vityavv
    Mar 26, 2019 at 23:34
0
\$\begingroup\$

Patch one line

First question I've written, feedback is highly appreciated. If you can think of a clever title, I'll take that too.


Challenge

In an effort to prove to your employer that Git commit count is a worthless metric, you've decided to break up all your changes from now on line by line.

Golf a program which can edit a patch file to remove all changed lines except for one.

Patch file format

The patch file will be given by Git in the unified diff format, although git will append multiple file changes together:

diff --git a/afile b/afile
index bf70e9e..d2df230 100644
--- a/afile
+++ b/afile
@@ -1,8 +1,9 @@
-Lorem ipsum dolor sit amet,
+Lorem IPSUM dolor sit amet,
+++ (good luck parsing this line)
 consectetur adipiscing elit.
    Duis est elit, imperdiet ac dolor quis,
    volutpat commodo nunc.
diff --git a/bfile b/bfile
index c484b2b..db4afe5 100644
--- a/bfile
+++ b/bfile
@@ -1,11 +1,7 @@
-#
-# /etc/bash.bashrc
-#
-
 # If not running interactively, don't do anything
 [[ $- != *i* ]] && return
 
 [[ $DISPLAY ]] && shopt -s checkwinsize

Here are two accepted outputs for the above patch file:

diff --git a/afile b/afile
index bf70e9e..d2df230 100644
--- a/afile
+++ b/afile
@@ -1,8 +1,9 @@
 Lorem ipsum dolor sit amet,
+++ (good luck parsing this line)
 consectetur adipiscing elit.
    Duis est elit, imperdiet ac dolor quis,
    volutpat commodo nunc.
diff --git a/afile b/afile
index bf70e9e..d2df230 100644
--- a/afile
+++ b/afile
@@ -1,8 +1,9 @@
-Lorem ipsum dolor sit amet,
 consectetur adipiscing elit.
    Duis est elit, imperdiet ac dolor quis,
    volutpat commodo nunc.
diff --git a/bfile b/bfile
index c484b2b..db4afe5 100644
--- a/bfile
+++ b/bfile
@@ -1,11 +1,7 @@
 #
 # /etc/bash.bashrc
 #
 
 # If not running interactively, don't do anything
 [[ $- != *i* ]] && return
 
 [[ $DISPLAY ]] && shopt -s checkwinsize

Assumptions

Any other corner cases I'm missing?

You do not need to handle the following cases:

  • A file is deleted, renamed, or added
  • A file has changed its mode

You do need to handle the following cases:

  • An added line starts with ++
  • A removed line starts with --
  • There are changes in multiple files (although you can remove one of the diffs and git will still patch okay)

Input/Output

Is this much explanation necessary?

I added the stdin/stdout method since I imagine it's more conducive to golfing in some langs... Should I do any kind of bonus/penalty?

Your program may either take the name of the patch file as its first parameter and do an in-place edit (this will let GIT_EDITOR=/path/to/your/program git add -e apply the patch), or read from stdin and write to stdout such that the following will correctly apply the patch:

$ cat > oneline.sh << EOF
#!/bin/sh
mv "$1" "$1.old"
/path/to/your/program < "$1.old" > "$1"
EOF
$ chmod +x oneline.sh; GIT_EDITOR=./oneline.sh git add -e

Refer to the EDITING PATCHES section of man git-add for some helpful info on editing the patch file.

\$\endgroup\$
0
\$\begingroup\$

A Gödel numbering

Task

In order to solve this challenge, you need to enumerate all possible programs in a turing-complete language given by you.

Rules

  • Either, you need to provide a function from a string-like type into a big-nat-like type, or you need to provide a program reading the program from STDIN and printing its Gödel number into STDOUT.

  • Your function needs to be bijective, such that every different (as given by its behaviour) function gets mapped to a different natural number.

    • Example: If your turing-complete language is Brainfuck where I/O is the tape before/after the program ran, +- and ++-- may be mapped to the same number, since they both are no-ops.
  • Your program must terminate for every possible input.
  • Give a specification of your used language in the post or link it.
  • This is a code golf (measuring in bytes).
\$\endgroup\$
8
  • \$\begingroup\$ Our I/O rules are usually a bit more relaxed (e.g. you can print from a function to STDOUT), there's no need to restrict them as that's not the core of the challenge. \$\endgroup\$ Mar 25, 2019 at 18:28
  • \$\begingroup\$ @EriktheOutgolfer Well, that would actually be allowed, I'll still remove that rule \$\endgroup\$
    – univalence
    Mar 25, 2019 at 18:32
  • \$\begingroup\$ Yes, because "program" means "program or function", however that might not be the impression you'll give to everyone. \$\endgroup\$ Mar 25, 2019 at 18:33
  • \$\begingroup\$ I think the word you are seeking is injective (modulo effect) rather than bijective. \$\endgroup\$ Mar 25, 2019 at 20:33
  • \$\begingroup\$ If you allow for arbitrary languages, I can choose the language defined on \$\mathbb{N}\$ which executes the corresponding Turing machine using some Gödel numbering and submit the identity function as an answer to this challenge. \$\endgroup\$ Mar 25, 2019 at 20:36
  • \$\begingroup\$ @JonathanFrech Slightly less arbitrary: esolangs.org/wiki/Jot \$\endgroup\$ Mar 26, 2019 at 2:01
  • \$\begingroup\$ @JonathanFrech Injective with restrictions, yes. About the arbitrary language thing: I think this challenge is more about finding the right language, but I don't know how to imclude that in the score \$\endgroup\$
    – univalence
    Mar 26, 2019 at 14:46
  • \$\begingroup\$ @ØrjanJohansen This was actually in my mind when creating this cg \$\endgroup\$
    – univalence
    Mar 26, 2019 at 14:46
0
\$\begingroup\$

Mutual quine without sharing characters

Write a chain of at least 2 programs in different languages, that each program except the last one outputs the next, and the last program outputs the first. You may not reuse a character used in one program in any other programs.

Each language you use must have an entry in Fewest (distinct) characters for Turing Completeness.

Your score is the sum of the square of the best score in that challenge for each language you use. Highest score wins. Other users could challenge your score by posting better answers in that challenge.


Problems:

  • Bytes / characters.
  • How to define a proper quine for mutual quines? Without the restrictions specific to this challenge, someone will probably just print a string in most of the languages, and do all the encoding job in one most powerful language. But it might be not that relevant in this case, as that would most likely result in reusing characters.
  • Scoring: sum(ank - c), currently k=2 and c=0.
  • Is this cops-and-robbers?
\$\endgroup\$
2
  • \$\begingroup\$ Ah oops, I actually did see that >.<. In that case Mutually Exclusive Quines in only one language \$\endgroup\$
    – Jo King Mod
    Mar 28, 2019 at 0:41
  • \$\begingroup\$ @JoKing In addition to scoring, it also requires different languages. \$\endgroup\$
    – jimmy23013
    Mar 28, 2019 at 0:51
0
\$\begingroup\$

Is the Art Gallery Fully Guarded? (WIP)


The Art Gallery Problem is a well-studied visibility problem concerning the minimum number of guards that must be placed within a polygon. This challenge will explore a simplified grid-based decision-problem variant to make input and visibility checking simpler.

You will receive a grid of walls and floors as input, representing the layout of the art gallery, and a number of guards (either as a list of locations or another value in the grid input.) You must determine whether all floor tiles are visible by at least one guard and return a truthy value if so and a falsy value otherwise.

Visibility

A floor tile is considered visible to a guard if the line connecting the center of the floor tile to the center of the tile containing the guard does not pass through any wall tiles. If this line passes through the corner of a wall tile, visibility is not obstructed. (Sandbox: this can be an issue for floating point precision. Maybe a more discrete method should be used? Perhaps Bresenham's line algorithm?) The tile a guard occupies is also visible to that guard.

Examples

Key: . Floor, # Wall, G Guard

# . # G . .
. . # . . #
. . # # . .
# G . . . #
# # # . . #
. . . G # #

==> YES


. # . # # . . .
. # . . . . . #
. . . . . G . .
. . . . . . . .
. # . . . . . #
. # . # # . . .

==> NO

More TBD after visibility is hammered down

Rules, Notes, Assumptions

  • Standard challenge rules, IO methods, and loopholes apply
  • Guards may be taken in either as a list of coordinates or embedded within the grid.
  • You may assume that guards will always be standing on a floor tile
  • You may assume that grids will always be perfect rectangles, not jagged arrays
  • You may assume that grids will never be larger than \$100 \times 100\$

Happy Golfing!

\$\endgroup\$
2
  • \$\begingroup\$ About visibility, It's actually OK. Instead of using floating point, you use rational number. \$\endgroup\$
    – Xwtek
    Apr 8, 2019 at 6:07
  • \$\begingroup\$ And yes, I mean Bresenham's Algorithm. \$\endgroup\$
    – Xwtek
    Apr 8, 2019 at 6:13
0
\$\begingroup\$

Calculator using only addition

Your task is to create a program or function that emulates a four-function calculator, capable of performing addition, subtraction, multiplication, and integer division. However, the catch is that your code must not use any mathematical operations other than addition. In other words, you must use only addition to implement the three other basic arithmetic operations.

Input

Your program should take two numbers and an operation as parameters. Input can come in any form, whether it's through function parameters, standard input, etc. The operation can be represented however you want. You could use +, -, *, ÷, or "add", "subtract", "multiply", "divide", or whatever else is convenient. For division, you can assume that there will be no division by 0, and that the numbers will evenly divide.

Output

Your program should output one number to STDOUT, the result of the calculation.

Restriction

As mentioned earlier, you may not use any mathematical operation in your code other than the addition operator.

Rules

  • No mathematical operators other than addition, as specified above.
  • Bitwise operations are not allowed, but logical and comparison operators are.
  • Data type conversion is allowed.
  • Negation using a built in is allowed (e.g. -x or negate(x) are both fine).
  • Standard loopholes are forbidden.
  • It's , so shortest answer in bytes wins!

Sandbox

  • Wouldn't surprise me if this is a duplicate, but I couldn't find it. If it is, just put a link to the original in the comments please.
  • The input section seems like it could use some work, but I don't know what to change about it.
  • Other than that, let me know if there's anything that could be improved.
\$\endgroup\$
2
  • 1
    \$\begingroup\$ This would work far better if the only operation allowed was subtraction. Then it ultimately looks a lot like a one-instruction computer \$\endgroup\$
    – Beefster
    Apr 5, 2019 at 16:08
  • \$\begingroup\$ Related - this challenge was closed. Do X without Y challenges are generally not well-received on this site. \$\endgroup\$
    – Beefster
    Apr 10, 2019 at 17:10
0
\$\begingroup\$

Word Calculator

This special calculator uses words instead of numbers, with these rules:

  • Addition joins two or more strings together in the same order they were inputted.

Repeated letters (example: aa, bb, etc) in the output become a single letter. If there is more than one repetition, then this is performed only on the first such instance detected, when going in a left-to-right direction.

(eg: tt becomes t, tttt becomes tt, etc)

  • cat+dog+tiger = catdogtiger

  • dog+cat+tiger = dogcatiger

  • dog+cat+tiger+tuna = dogcatigertuna

  • dog+cat+ttiger+tuna = dogcattigertuna

  • dog+cat+tttiger+tuna = dogcattigertuna

    (last example was originally = dogcattttigertuna, tttt is present but only the first repetition is removed, leading to the answer as shown)


  • Subtraction follows the same rules as the addition, but with a twist. Addition proceeds as usual, but when a subtraction is encountered, this subtracts as many characters as that string from whatever the output would have been before the subtraction.

You will not be expected to handle negative values.

  • cat+dog-tiger = c

  • cat+tiger-dog = cati

  • cat+dog+ttiger-tuna = catdogt

  • cat+dog+tttiger-tuna = catdogtt

  • cat+dog+ttiger-tuna-salmon = c

  • cat-dog = 0



The shortest code in bytes that performs the above addition and subtraction functions as described, is the winner.

Standard loopholes are not allowed.

\$\endgroup\$
11
  • 1
    \$\begingroup\$ Does the reduction of even letters happen when the operation that caused the repeating letters finishes or at the end of the expression? Otherwise, seems like a pretty interesting challenge \$\endgroup\$
    – Gymhgy
    Apr 1, 2019 at 1:55
  • \$\begingroup\$ I can't make any sense of "Subtraction removes as many characters as the last string, to all strings combined except it, in the same order they were inputted." Reverse engineering from the examples, I think the definition is that subtraction removes a number of characters equal to the length of the subtrahend from the end of the minuend. An example showing the reduction of even repeats after subtraction would be nice: the current example actually shows reduction after addition before the subtraction is performed. The letter e might work for examples: bee ends in a double letter. \$\endgroup\$ Apr 1, 2019 at 9:50
  • \$\begingroup\$ So non-positive results are literally "0", not the empty string or something? What happens if you try and add to that? (p.s you don't have to define every behaviour. you can just say "you won't get an input that causes this") \$\endgroup\$
    – Jo King Mod
    Apr 6, 2019 at 0:15
  • \$\begingroup\$ @JoKing Fixed. I hope I've included enough examples to clarify what the intention is. I've attempted to cover some stranger cases too to ensure that it's clearer and that there is less ambiguity surrounding what to do when. I generally don't expect negative or otherwise weird values to be handled, and I've added that. \$\endgroup\$
    – Flog Edoc
    Apr 6, 2019 at 0:18
  • \$\begingroup\$ @EmbodimentofIgnorance Let me know if it's clearer now. \$\endgroup\$
    – Flog Edoc
    Apr 6, 2019 at 0:24
  • \$\begingroup\$ This is performed only on the first such instance detected. But on your example dog+cat+tttiger+tuna = dogcattigertuna, there was more than one reduction. Am I missing something? \$\endgroup\$
    – Gymhgy
    Apr 6, 2019 at 0:27
  • \$\begingroup\$ dog+cat+tttiger+tuna would originally have been dogcattttigertuna, the repetitions are tttt, but only one is removed, leaving the other tt intact. \$\endgroup\$
    – Flog Edoc
    Apr 6, 2019 at 0:28
  • 1
    \$\begingroup\$ But it says they become a single letter \$\endgroup\$
    – Gymhgy
    Apr 6, 2019 at 0:29
  • \$\begingroup\$ @EmbodimentofIgnorance Fixed now. Hope it's clearer. \$\endgroup\$
    – Flog Edoc
    Apr 6, 2019 at 0:37
  • \$\begingroup\$ So the amount of repeated letters is just original letters divided by two floored? \$\endgroup\$
    – Gymhgy
    Apr 6, 2019 at 0:44
  • \$\begingroup\$ @EmbodimentofIgnorance Whether you'd be doing that is up to your solution eventually, maybe that isn't the optimal golf. \$\endgroup\$
    – Flog Edoc
    Apr 6, 2019 at 0:48
0
\$\begingroup\$

Compute the order of a Rubik's Cube cycle without trivially counting them

See: Compute the order of a Rubik's Cube cycle without trivially counting them

I asked this question here the other day and it was closed as being a duplicate of another question which I had already linked in the original question followed by an explanation of a constraint that made the my challenge different. A discussion ensued in the comment section debating what made my question a duplicate of the other, mostly revolving around whether this constraint was observable or not.

I understand that the challenge at face value is an example of Do X without Y but I think it's still a quality challenge because:

  1. The constraint does not simply exist to require people to come up with loopholes or clever workaround to preform avoid a particular commonly used feature of programming languages. It's not the same problem with an unrelated constraint to "make it interesting".

  2. There really is no ambiguity in terms of whether or not the constraint is being followed for a particular answer. "Without Y" is not hard to define regardless of the language being used.

  3. It changes entire approach needed for the algorithm itself, not just specifics of the implementation. The trivial solution to the question will automatically be preferred by golfers, so the answers of the "duplicate" were not very interesting to me because they mostly worked in the exact same way. By prohibiting this trivial approach, there is still a very wide range of different degrees of efficiency that are possible to achieve through different implementations, and some of these are likely better suited for some languages than others, so I feel the answers will actually show significant diversity in their implementations, which in my opinion is a hallmark of a high quality challenge.

I really think this constraint introduces a meaningfully different and interesting challenge when compared to the other question and I want to see the creative solutions that golfers will come up with to solve it. But as I originally wrote it, and even with the addition of edits I made to make it more clear, it was apparently not sufficient to reopen the question.

Can anyone think of a way to write this question or define the constraint in a way that would make it more clearly not a duplicate, or eliminate the problems brought up in the comments without restricting the implementation further?

Do you think I'm only facing this scrutiny because I'm a newer member who hasn't posted much? Would someone with more reputation that me be willing to post it on my behalf?

\$\endgroup\$
12
  • 2
    \$\begingroup\$ There is no ambiguity, Isn't there though? How would you tell that this program is following the constraint without actually knowing Pyth? \$\endgroup\$
    – Jo King Mod
    Apr 10, 2019 at 1:28
  • \$\begingroup\$ @JoKing that’s not ambiguity. For example if a challenge were to prohibit the use of the a built in to_lower() function (which I’ve seen before on challenges with plenty of answers and upvotes) how would you know if a given answer was obeying that rule without actually knowing what a call to that language’s to_lower() function looked like? You wouldn’t, but that answer would still break the rules. But it wouldn’t be “ambiguous” because there’s still a clear difference between using such a built in function and not using one. \$\endgroup\$ Apr 10, 2019 at 2:12
  • 1
    \$\begingroup\$ Banning built-ins is also an unobservable requirement, and is common in older questions. In general, the community is leaning towards avoiding banning built-ins. In general though, programs using built-ins are far far easier to distinguish than whether a program is using a specific algorithm. \$\endgroup\$
    – Jo King Mod
    Apr 10, 2019 at 5:34
  • 1
    \$\begingroup\$ The point of what I'm saying is that a constraint being unobservable is entirely different from there being cases where it's ambiguous if it's being followed. Whether or not an algorithm is obeying my constraint I suppose could be difficult to know immediately for some answers, especially if you're unfamiliar with the language it's written in, but at the same time the constraint is still defined quite clearly. Nobody reasonable person could possibly write an answer and not be sure if it is following this rule or not. That's what I mean by there's no ambiguity. \$\endgroup\$ Apr 10, 2019 at 19:10
  • 2
    \$\begingroup\$ It is ambiguous if two people can have different opinions on whether it is following the constraint. For example, what is a simulated cube? Is it a literal Rubik's cube datatype like Cubically uses? Does a 5x5x5 sided cube still count as a Rubik's cube? Does a list of numbers count? Two vectors? Non-cube topologies? I'm sure some answerers will have different opinions to yours, and even if you define all the above cases, there's going to be infinitely more possibilities that skirt the line. \$\endgroup\$
    – Jo King Mod
    Apr 10, 2019 at 22:00
  • \$\begingroup\$ @JoKing A simulated cube is any data structure(s) that represents the state of a 3x3x3 rubik's cube, and is manipulated to represent the changes caused by preforming valid turns. A simulated 5x5x5 Rubik's would be a simulated cube because you can turn a 5x5x5 into a 3x3x3 by just removing stickers (or in the case of a data structure, ignoring them). As for a list of numbers, or two vectors, etc, if the purpose is to of it is to represent the state of the cube, and it is manipulated to simulate preforming valid moves on it, it's a simulated cube. Do you still think this is ambiguous? \$\endgroup\$ Apr 10, 2019 at 22:06
  • \$\begingroup\$ @JoKing Can you think of an example of an algorithm where you feel there could be reasonable, legitimate debate, as to whether or not it counts as "Performing the turns repeatedly on a simulated cube and counting the repetitions that were needed to reach the original state"? \$\endgroup\$ Apr 10, 2019 at 22:11
  • \$\begingroup\$ Maybe the challenge could be for an NNN cube with N as an input? Then, some limit on complexity or run-time should be able to weed out programs that just iterate through the cycle. \$\endgroup\$
    – xnor
    Apr 13, 2019 at 3:58
  • \$\begingroup\$ In the context of this site, we generally use "observable" to mean observable without looking at the code. So even if there's a strong argument that a constraint could be determined unambiguously, it's still a quality of the code, rather than of the output. I'm not aware of an outright rule against this, but it is generally advised against because it leads to unexpected arguments once the answers start coming in. The exceptions that are more likely to be welcomed are the trivial constraints like "source code is a palindrome" or "does not contain the letter e" \$\endgroup\$
    – trichoplax
    Apr 24, 2019 at 22:34
  • \$\begingroup\$ Personally I'd lean away from even those as they tend to suit a smaller set of languages. So there isn't a rule preventing you placing constraints on the source code, but it makes it more likely your challenge will be closed as unclear, so it might be worth considering what alternatives might achieve your underlying aim without the risk of arguments over what counts. \$\endgroup\$
    – trichoplax
    Apr 24, 2019 at 22:37
  • \$\begingroup\$ For example, some challenges exclude the simplest brute force approaches by saying "must complete within 60 seconds for each of the test cases" (the time period being chosen to be very easily achievable for most approaches, so that it doesn't even matter what machine is used to measure the time taken). That's still not perfect but seems to have worked well on several past challenges. \$\endgroup\$
    – trichoplax
    Apr 24, 2019 at 22:39
  • 1
    \$\begingroup\$ I can't think of a similar way of achieving your stated constraint without explicitly including it in the spec, but I thought I'd mention this example in case it prompts someone to think of a similar approach that could work here. \$\endgroup\$
    – trichoplax
    Apr 24, 2019 at 22:42
0
\$\begingroup\$

Product and Sum free set

Given some non-negative integer \$n\$ find a sum- and product-free subset \$S \subset \mathbb N = \{1,2,3,\ldots \}\$ of size \$|S|=n\$

EDIT: with the least possible maximum \$\max_{s\in S} s\$.

Details

  • A set \$S\$ is called sum-free if for all \$a,b\in S\$ their sum \$a+b \not \in S\$.
  • A set \$S\$ is called product-free if for all \$a,b\in S\$ their product \$a\cdot b \not \in S\$.

related

Examples

Note that the sets for each \$n\$ might not necessarily be unique.

  n  S
  1  {2}
  2  {2,3}
  3  {3,4,5}
  5  {4,5,6,7}

EDIT: Ok, no this doesn't work either.

\$\endgroup\$
4
  • \$\begingroup\$ I'm a bit concerned that this would just be output the first n odd primes, but maybe non-golfing languages can do something more interesting than that. \$\endgroup\$
    – Emigna
    Feb 26, 2019 at 10:09
  • \$\begingroup\$ @Emigna Thanks for the feedback, you're right this is not something I considered. Maybe it helps if we allow any number of additions/multiplications? But in this case I think you could just use [k+1,k+2,k+3,...,n] for some large enough k (depending on n). Maybe I should add some condition that requires the numbers to be very small to make it more interesting. It definitely needs some more work. \$\endgroup\$
    – flawr
    Feb 26, 2019 at 10:42
  • \$\begingroup\$ You can make this work by having a secondary scoring algorithm. You could, for example, score the programs by {bytes}*{total score for n=1 to 100}, where the score for an input is the highest number in the output set. \$\endgroup\$ Feb 27, 2019 at 18:28
  • 2
    \$\begingroup\$ Also note that the set {1} is not product free - 1*1=1, which is in {1}. \$\endgroup\$ Feb 27, 2019 at 18:29
0
\$\begingroup\$

Use input letters to create as many words as possible


I have the scrabble letters as magnets on my fridge and I was thinking: how many actual words could I make using only these letters. Obviously it would be hard to work out myself, so I challenge you to create a program which will take a string of characters as input, and your goal is to output as many words as possible using those characters.

Input

  • The characters will be one string
  • Only the 26 letters of the alphabet will appear.
  • Letters may appear more than once
  • Letters can appear in any order. 5 e's might appear next to each other, and there might be other e's in the string.
  • There will always be at least a single letter, but it might not always be possible to create a valid word

Example, using the letters from Scrabble:

eeeeeeeeeeeaaaaaaaaaiiiiiiiiioooooooonnnnnnrrrrrrttttttllllssssuuuuddddgggbbccmmppffhhvvwwyykjxqz

Output

A list of valid English words, which you can separate with a space, newline or comma. A trailing newline at the end is fine.

Default loopholes are forbidden.


Meta discussion (not apart of the question)

  • Is a decent challenge for this? I'm more interested in more words being output than I am short code, but how best can I frame this challenge that the best result would be most words created and fewest characters left?
  • Should I restrict the input list to just the letters from Scrabble? I mean how can I evaluate whether a program prints as many as possible?
  • Should I provide a word list? I know there are challenges on this site where a word list is provided 1 and 2 and I'm sure there are a few others which I could not find.
  • This is my third question, so any other feedback
\$\endgroup\$
3
  • 1
    \$\begingroup\$ I would highly recommend including the wordlist as an input and including a few trivial test cases so that people can easily test their answers. \$\endgroup\$
    – Jo King Mod
    Apr 26, 2019 at 7:45
  • 1
    \$\begingroup\$ Not including the word list as input would benefit languages which have dictionary built-ins - everyone else would have to have a list of all English words in the code, which might be a little long, even given really good compression... \$\endgroup\$
    – Matthew
    Apr 26, 2019 at 8:28
  • \$\begingroup\$ Allow any reasonable output format rather than just text. Pass in word lists and letter sets as arguments. Making both constant turns this into a kolmogorov-complexity challenge. \$\endgroup\$
    – Beefster
    May 1, 2019 at 17:53
0
\$\begingroup\$

Who's serving in table tennis?

Table tennis, also known as ping pong, is a well-known game in which players hit a ball back and forth across a table. One player serves the ball twice, and each time the ball is served, either player can score a point. Once the first player serves the ball twice, the second player gets to serve twice. Every two serves, the player which serves the ball switches. The game ends when one player has a score of 11 or more points and is two or more points higher than the other player.

Your task is to take the current score as input, and output a value depending on if player 1 should serve, player 2 should serve, or the game is over.

Input: The score of the first player to serve followed by the score of the other player. This can be as separate values or in a list, or another convenient data type.

Output: A distinct value for each possible case of output. For the test cases, I will use 1 to represent the player who serves first, 2 to represent the other player, and 0 to represent that the game is over.

Test cases:

player1score, player2score -> output

2, 0    ->  2
0, 0    ->  1
11, 0   ->  0
4, 4    ->  1
3, 2    ->  1
6, 9    ->  2
81, 82  ->  2
0, 29   ->  0
16, 13  ->  0
\$\endgroup\$
0
\$\begingroup\$

Help the library sort books

A library needs to sort its books, located in separate sections by language. Of course, each language has its own rule for collating strings, so your method should handle that ability.

Most languages will want to treat titles case-insensitively, but unfortunately, the library has a section of Klingon books. And Klingon's romanisation, in case you don't already know, is case-sensitive. As a result, you need to give a way to have the sorter treat two given characters as the same.

Some of the titles also contain numbers, and you need to deal with those as well. Fortunately, the friendly people at the library have written some functions for you to deal with that, so all you have to do is take in a handle to a function as one of your inputs.

Your challenge: Sort a list of book titles, given a collating sequence and a function handle that converts a number to its string representation in the respective language.

  • The collating sequence is a list of lists of strings. Given two strings A and B that appear respectively in the entries at indices i and j, respectively:
    • if i > j, then A should sort after B
    • if i = j, then A should sort the same as B
  • In case some elements of the sequence have multiple characters, use the max-munch rule to tokenise the string: e.g. if both l and ll appear in the collating sequence, then lll should be tokenised to ll l.
  • Any string of digits should be parsed as a number and passed to the callback. Each such string should be replaced by the result.
  • Any characters not appearing in the collating sequence should be ignored. If two strings differ only by such characters, then sort them however you like.

Test cases

Assuming

english_letters = [["A", "a"], ["B", "b"], ["C", "c"], ["D", "d"], ["E", "e"], ["F", "f"], ["G", "g"], ["H", "h"], ["I", "i"], ["J", "j"], ["K", "k"], ["L", "l"], ["M", "m"], ["N", "n"], ["O", "o"], ["P", "p"], ["Q", "q"], ["R", "r"], ["S", "s"], ["T", "t"], ["U", "u"], ["V", "v"], ["W", "w"], ["X", "x"], ["Y", "y"], ["Z", "z"]]
arka_letters = [["t"], ["k"], ["x"], ["s"], ["n"], ["v"], ["f"], ["m"], ["d"], ["g"], ["p"], ["b"], ["h"], ["y"], ["c"], ["r"], ["z"], ["j"], ["w"], ["l"]]
function english_num_callback(num) {
  // convert a number to its representation in English
}
function arka_num_callback(num) { // handles nonnegative integers up to 9999
  if (num == 0) return "yuu";
  let kot = 0 | (num / 1000);
  let gal = 0 | (num / 100 % 10);
  let on = 0 | (num / 10 % 10);
  let ko = num % 10;
  let digits = ["yuu", "ko", "ta", "vi", "val", "lin", "kis", "nol", "ten", "los"];
  return (kot == 0 ? "" : digits[kot] + "kot") +
    (gal == 0 ? "" : digits[gal] + "gal") +
    (on == 0 ? "" : digits[on] + "on") +
    (ko == 0 ? "" : digits[ko]);
}
["Stack Exchange", "BB94 Channel!", "BB guns: all you wanted to know about them",
  "carrots", "A Grammar of Jbl", "69"], english_letters, english_num_callback =>
  ["A Grammar of Jbl", "BB guns: all you wanted to know about them", "BB94 Channel!",
    "carrots", "69", "Stack Exchange"]
["melidia", "diaklel", "44 miiko", "I Mess With the Librarians", "an isk ris tu lei",
  "lei e xion", "xagrisren et xep!", "on melkadren"], arka_letters, arka_num_callback =>
  ["xagrisren et xep!", "44 miiko", "melidia", "diaklel", "lei e xion",
    "an isk ris tu lei", "on melkadren", "I Mess With the Librarians"]
\$\endgroup\$
0
\$\begingroup\$

Will it be red sauce, brown sauce, or no sauce at all?

Unfortunately Danny Baker's Sausage Sandwich game has been taken off the air again, and I'm suffering from withdrawal already. Please alleviate my symptoms by writing a program or function to play the Sausage Sandwich game.

You need to guess how the target prefers to eat a sausage sandwich, given one of the three sauce options. Given an input positive integer n, then the following applies:

  • There is a uniformly 1 in n chance that the target chooses no sauce at all.
  • Otherwise, there are equal chances of red sauce or brown sauce.
  • However, if n is even, then there are n-1 remaining chances, which don't divide by 2. If you draw this n-1th chance you should consistently (for a given n) output the same answer. Please indicate how this is chosen in your answer.
  • Output must consist of the phrases "red sauce", "brown sauce", or "no sauce at all", in any of lower, sentence, title or upper case.

This is , so the shortest program or function that breaks no standard loopholes wins.

\$\endgroup\$
0
\$\begingroup\$

Print the Golfican sequence


The Golfican sequence is a sequence of integers, \$u\$, defined as follows:

  • If \$n\$ is a power of \$2\$, then \$u_n=\log_2n+1\$.
  • If \$n\$ in not a power of \$2\$, then \$u_n=u_p\$, where \$p\$ is the number of numbers from \$1\$ to \$n\$ inclusive which are not powers of \$2\$.

So, the first numbers in this sequence are \$1,2,1,3,2,1,3,4\$ and so on. Your job is to write a program which takes a number, \$x\$, as input, and outputs \$u_x\$. This is , so the shortest program in bytes wins.



I couldn't find a corresponding OEIS sequence for this. Thoughts?

\$\endgroup\$
2
  • \$\begingroup\$ So \$p = n - 1 - \lfloor \log_2 n\rfloor = n - u_{b(n)} = n - \ell(n)\$ where \$b(n)\$ is the largest power of 2 less than \$n\$ and \$\ell(n)\$ is the length of \$n\$ in base 2? \$\endgroup\$ May 17, 2019 at 8:27
  • \$\begingroup\$ I suppose it would be. \$\endgroup\$
    – RamenChef
    May 17, 2019 at 16:36
0
\$\begingroup\$

Posted

\$\endgroup\$
4
  • 2
    \$\begingroup\$ (1) IMO the multiple-box requirement is essential to make it an interesting question. Otherwise it's just the hundredth shortest path question, and probably should be closed as a dupe. (2) "If your solution can only retrieve the first box, 10x penalty" is a really bad idea. See Things to avoid when writing challenges: chameleon questions, bonuses in code golf. \$\endgroup\$ May 17, 2019 at 10:34
  • \$\begingroup\$ @PeterTaylor: Thanks, I've removed the bonuses and outlawed brute force. \$\endgroup\$
    – Phil H
    May 17, 2019 at 10:55
  • 2
    \$\begingroup\$ Banning brute force is also discouraged, as a non-observable requirement. Some people use a time limit to rule out the slowest kinds of brute force instead. For example, must process any of the test cases in under 1 minute (the time limit being chosen generous enough to make no difference to most approaches, so it doesn't even matter which computer it's measured on) \$\endgroup\$
    – trichoplax
    May 18, 2019 at 16:28
  • 1
    \$\begingroup\$ @trichoplax: I've modified to replace the brute force note with a time limit \$\endgroup\$
    – Phil H
    May 20, 2019 at 13:42
0
\$\begingroup\$

Output efficient Church encodings of natural numbers

The Church encoding of a natural number \$n\$ in lambda calculus is the higher-order function which takes a function \$f\$ to its \$n\$-fold iterate \$f^n = f \circ \cdots \circ f\$. For example,

0 = \f.\x.x
1 = \f.\x.f x
2 = \f.\x.f (f x)
3 = \f.\x.f (f (f x))
...

Challenge

Write a function or program which takes a natural number \$n\$ and outputs a lambda calculus expression which is \$\beta\eta\$-equivalent to the Church encoding of \$n\$.

Input

Any natural number, including possibly 0.

Output

A lambda calculus expression in any format of your choosing, as long as it's an encoding that is pure data, or an equivalent in your programming language (e.g. if you wanted to write a submission in lambda calculus itself, the output must be a term which has a normal-form equivalent). Acceptable types of output would include a string or a data structure.

Whatever output format you choose, it must be a format which unambiguously maps to lambda calculus terms, and allows specifying any general lambda calculus term. You must then specify the mapping.

One possibility for a somewhat compact string encoding of typical lambda calculus terms would include terms such as:

\(0=\f x.x)(compose f g=\x.f(g x))(succ n=\f.compose f (n f)).succ(succ(succ(succ 0)))

Here, \ represents a lambda; lambda binding is considered right-associative; and function application is written as a concatenation and is considered left-associative. Then for example, \v1 v2 v3.body is syntactic sugar for \v1.\v2.\v3.body. As in the above example, this language also has syntactic sugar for let-style expressions where \(f a1 ... an=fbody).letbody (which in more verbose languages might be read as let f a1 ... an=fbody in letbody) is syntactic sugar for (\f.letbody)(\a1 ... an.fbody).

Requirements

The crucial part of the challenge is that the encoding must be efficient: the output for input \$n\$ must be of length or total size \$O(\log n)\$.

Scoring

This is : shortest submission in bytes wins. (In case of a tie, I might compare the "lambda complexity" of the outputs for input 2019, defined as the number of function applications plus the number of lambdas plus the number of variable terms excluding variables in lambda binders.)

Sandbox questions

I'm wondering whether the output format specification might be too lax. (For example, what if somebody gets a shorter submission using highly nonstandard syntax such as specifying that function application is right associative instead of left associative, so instead of s(s(s(s 0))) they could write s s s s 0?) On the other hand, if I required my "lambda calculus with syntactic sugar" format, then that might be considered akin to "here's my newly invented language, try golfing in it" which I'd think would be frowned on. Plus it might disadvantage languages which are good for golfing data structure creation but not as good for golfing output formatting.

\$\endgroup\$
0
\$\begingroup\$

Optimize Grocery Bagging


You've gone to the store and are at the checkout. Now since you want to be environmentally conscious (or are somewhere that charges for bags and want to save money), you've brought a few reusable bags and would like to minimize the number of plastic bags you use (There are no paper bags here).

Each reusable bag can carry 5 kg (5,000 grams) of groceries and each plastic bag can carry 2.5 kg (2,500 grams) of groceries. You will be given a list of weights of groceries (in whole grams) and a number of reusable bags and your task is to output a configuration of bagging that requires the fewest number of plastic bags.

Examples

  • Input: 1 reusable bag, groceries: [150, 500, 800, 1250, 2000, 300, 550, 400, 750, 900, 1000, 600]
    • Output: Reusable[2000, 1250, 1000, 750], Plastic[600, 900, 550, 150, 300], Plastic[500, 800, 400]

More TBD

Rules and Assumptions

  • Standard rules and loopholes apply
  • Any convenient input or output method is acceptable as long as which bags are reusable is unambiguous in the output (without calculating anything).
  • You may assume that there are no groceries larger than 2.5 kg. (No jugs of milk)
  • All groceries listed require a bag. Unbaggable groceries will not be listed. (No hypothetical 24-packs of toilet paper)
  • Any grocery item can be bagged with any other. (No need to worry about bread and cans of beans being in the same bag)
  • Groceries cannot be split into multiple bags.
  • There is no double-bagging.
  • Complexity doesn't matter. There may be inputs that would require computation past the heat death of the universe to complete.

Happy Golfing!


Related

Sandbox: This could work as a problem or due to the naive solution being in \$O(n!)\$. Thoughts?

\$\endgroup\$
6
  • \$\begingroup\$ Related: codegolf.stackexchange.com/q/109797/25180 \$\endgroup\$
    – jimmy23013
    May 28, 2019 at 22:39
  • \$\begingroup\$ This is NP-hard. \$\endgroup\$
    – jimmy23013
    May 28, 2019 at 22:40
  • \$\begingroup\$ @jimmy23013 yes, indeed. If this were shifted to fastest-code it would necessarily drop the "guaranteed optimality" requirement. \$\endgroup\$
    – Beefster
    May 28, 2019 at 23:13
  • \$\begingroup\$ @jimmy23013 I guess this is only different from that linked challenge in that there are two bag capacities instead of just one. \$\endgroup\$
    – Beefster
    May 28, 2019 at 23:17
  • \$\begingroup\$ Do you mean requiring the minimum number of bags? If not required optimal, how do you decide whether an answer is valid? \$\endgroup\$
    – jimmy23013
    May 28, 2019 at 23:18
  • \$\begingroup\$ As I remembered (USACO fence8), fast solutions to this problem may use strategies depending on the input data (e.g. try putting heavier things in bags first). You may have to specify exactly how it is scored if you change it to fastest-code. \$\endgroup\$
    – jimmy23013
    May 28, 2019 at 23:22
0
\$\begingroup\$

Beziér me a curve!

Task: Create a program that will, given a number N, create a Beziér curve with N control points and output its equation.

The definition of a Beziér curve is $$ B(t) = \sum_{i=0}^n{{n\choose i}(1-t)^{n-i}t^iP_i} $$

Practically, this means that for a quadratic Beziér cuve: $$ B(2) = \sum_{i=0}^2{{2\choose i}(1-t)^{2-i}t^iP_i}\\ B(2) = {2\choose 0}(1-t)^2P_0 + {2\choose 1}(1-t)tP_1 + {2\choose 2}t^2P_2\\ B(2) = (t^2-2t+1)P_0 + 2(t^2-2t+1)P_1 + t^2P_2\\ B(2) = P_0t^2-2P_0t+P_0 + 2P_1t^2-4P_1t+2P_1 + P_2t^2 $$

where \$P_0\$ is the first control point, \$P_1\$ is the second control point and \$P_2\$ is the third control point.

Note that De Casteljau's algorithm may be useful.

Rules

  • The input will be a number (string or number).
  • The output will be a list of lists. Take an element \$l_n\$ of the top-level list. The elements of \$l_n\$ will be all the terms that, in the expanded form, are multiplied by \$P_n\$. -1t and t^1, as well as t^0 are all fine.
  • Standard loopholes are not allowed.

Test cases

2:

[
  ["t^2", "-2t", "1"],
  ["2t^2", "-4t", "2"],
  ["t^2"]
]

5:

[
  ["-t^5", "5t^4", "-10t^3", "10t^2", "-5t", "1"],
  ["t^5", "-4t^4", "6t^3", "-4t^2", "t"],
  ["t^5", "2t^4", "t^3"],
  ["-t^5", "t^4"],
  ["t^5"]
]

The program with the shortest length wins. Be creative!

\$\endgroup\$
1
  • \$\begingroup\$ It would be more accurate (and IMO less confusing) to say that the task is to output the Bernstein basis polynomials of degree n, $$b_{a,n}(t) = \sum_{k=a}^n (-1)^{a+k} \binom{n}{k} \binom{k}{a} t^k$$ In line with Avoid cumbersome I/O formats I would also suggest outputting the polynomials as lists of coefficients, i.e. as a double array / matrix with $$A_{ij} = (-1)^{i+j} \binom{n}{i,j}$$. However, all of this is moot because now that I've rewritten it like that I see it's a dupe of codegolf.stackexchange.com/q/69424/194 \$\endgroup\$ May 29, 2019 at 8:22
1
101 102
103
104 105
134

You must log in to answer this question.

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