Four distinct 8-bit integers

Question

Submit a well-formed program or function with usual I/O rules which satisfy the input, output, and algorithm conditions below. Shortest submission (in bytes) wins. As always, standard loopholes are forbidden.

In short: Two distinct 8-bit integer inputs must produce two 8-bit integer outputs so that all four numbers are distinct, i.e., not equal.

Input Conditions

Two distinct 8-bit integers, a and b, both of which are in 8-bit signed (or unsigned at your discretion) format.

Output Conditions

Two 8-bit integers, c and d, which are in the same format as the input (signed or unsigned), such that a, b, c, and d are distinct, i.e., no two of them are equal to each other.

Algorithm Conditions

The algorithm must halt for all possible valid inputs.
- Valid inputs are those where a and b are distinct. When a and b are equal, the behaviour of the algorithm is unspecified.
The algorithm must be deterministic.
- Running the algorithm with the same input must produce the same output.
The algorithm must satisfy the output conditions for all valid inputs.

Verification

There are two ways to verify your algorithm.

Brute force: explicitly check the program for all valid input combinations.
Prove/show, by analysis, that a clash is impossible (preferred).

FAQ

What if my programming language doesn't provide 8-bit integers?
What if my programming language doesn't support fixed-width integers?
- Only the range of the outputs matter; internal computations may be in any precision. If the outputs can be rounded/scaled to the required integral range, then the programming language is good to go.

Edits

Edit 1: Thank you for the submissions! I am glad to see so many creative solutions! Initially, I planned to restrict the algorithm to one-to-one mapping (i.e., invertible), however, decided against it to make the problem simpler. Looking at the enthusiastic response, I will consider submitting a second code golf with the one-to-one mapping requirement.

I would suggest explicitly allowing the deterministic output to be unordered, e.g. an input can produce [1,2] or [2,1] or a set that contains 1 and 2. — Jo King, Commented Mar 23, 2020 at 14:20
Just to be sure, 0s have to be taken into account right? The input may have one 0? — RGS, Commented Mar 23, 2020 at 14:28
@JoKing sorry, without any disrespect, I do not think this is acceptable. The reason being that the original requirements of determinism are for output integers "c" and "d;" combining them into a set is only a convenience, which is allowed per the rules. — user92857, Commented Mar 23, 2020 at 14:33
@RGS, yes, input range for 8-bit signed is [-128,127] and for 8-bit unsigned is [0,255]. — user92857, Commented Mar 23, 2020 at 14:34
Similar to codegolf.stackexchange.com/questions/139606/the-third-string — the default., Commented Mar 23, 2020 at 15:46

PaMu · Accepted Answer · 2020-03-24 08:03:25Z

8

JavaScript (Node.js), 35 31 27 23 bytes

-4 bytes thanks to Arnauld and Kevin Cruijssen

-4 bytes thanks to xnor

a=>b=>[c=3^a&1^b&2,c^4]

Try it online!

Explanation:

Takes the flipped 1 bit of the first number, and adds the flipped 2 bit of the second number, guaranteeing a number different from both inputs in the 2 least significant bits. Outputs this number, and 4 added to this number

edited Mar 24, 2020 at 8:03

answered Mar 23, 2020 at 14:06

PaMu

3011 silver badge4 bronze badges

2

\$\begingroup\$ If you change the + to |, it looks like you can cut out the inner parens. Or better: Try it online! \$\endgroup\$
– xnor
Commented Mar 23, 2020 at 20:00

Add a comment |

Jo King · Accepted Answer · 2020-03-23 14:15:07Z

5

Perl 6, 20 bytes

{grep(.none,^4)[^2]}

Try it online!

Outputs the first two numbers from the range 0 to 3 that aren't in the input.

answered Mar 23, 2020 at 14:15

Jo King♦

47.5k5 gold badges125 silver badges186 bronze badges

Add a comment |

Helena · Accepted Answer · 2020-03-24 16:12:56Z

brainfuck, 69 bytes

,+[->+>+>+<<<],[->>->-<<<]++>>>[[-]<<<->.>>]<+<+>[[-]<<->.>]<+<[->.<]

Try it online!

My solution takes the first input and counts it upwards and prints the first two numbers unless they are the second input. So if the first input is A and the second input is B the output will be:
A+2, A+3 if B = A+1 or
A+1, A+3 if B = A+2 or
A+1, A+2 else

This initializes position 1,2,3 of the band as the first input incremented by 1
,[->>->-<<<]
This substracts the second input from positions 2 and 3.
++
Set position 0 to 2, counting the numbers still to print
The band now reads: (2) a+1 a-b+1 a-b+1
>>>[[-]<<<->.>>]
If position 3 is not 0, print out position 1 and decrement position 0
<+<+>
Increment the band in position 1 and 2
[[-]<<->.>]
If position 2 is not 0, print out position 1 and derement position 0
<+<[->.<]
Increment at position 1, Position 0 is now either 1 or 0. If it is 1 print position 1 one more time. ```

Community · Accepted Answer · 2020-06-17 09:04:33Z

3

05AB1E, 9 5 bytes

∞IK2£

I/O as a pair of integers.

Try it online or verify some more test cases.

Explanation:

∞      # Push an infinite positive list [1,2,3,...]
 IK    # Remove the values of the input-pair
   2£  # Only leave the first two values
       # (after which the result is output implicitly)

edited Jun 17, 2020 at 9:04

CommunityBot

1

answered Mar 23, 2020 at 14:01

Kevin Cruijssen

132k13 gold badges144 silver badges384 bronze badges

Add a comment |

RGS · Accepted Answer · 2020-03-23 14:39:39Z

3

Haskell, 32 bytes

a#b=take 2[i|i<-[1..],a/=i,b/=i]

Try it online! We pick the first two positive integers that aren't input numbers.

answered Mar 23, 2020 at 14:39

RGS

14.1k1 gold badge57 silver badges116 bronze badges

Add a comment |

Community · Accepted Answer · 2020-06-17 09:04:33Z

2

JavaScript (ES6), 32 27 26 bytes

Takes input as (x)(y).

x=>y=>[x^=k=y^x^1?1:2,y^k]

Try it online!

edited Jun 17, 2020 at 9:04

CommunityBot

1

answered Mar 23, 2020 at 14:12

Arnauld

198k20 gold badges180 silver badges650 bronze badges

Add a comment |

Luis Mendo · Accepted Answer · 2020-03-23 19:06:47Z

2

Octave, 28 22 bytes

@(x)setxor(1:4,x)(1:2)

Try it online!

Explanation

Anonymous function that outputs the first 2 entries from the sorted symmetric difference between [1 2 3 4] and the input.

edited Mar 23, 2020 at 19:06

answered Mar 23, 2020 at 18:56

Luis Mendo

105k9 gold badges135 silver badges372 bronze badges

Add a comment |

Neil · Accepted Answer · 2020-03-23 19:40:11Z

2

Charcoal, 27 10 bytes

Ｉ…⁻Ｅ⁴ιＥ²Ｎ²

Try it online! Link is to verbose version of code. Uses the same set difference algorithm as everyone else. Less boring 27-byte version actually tries to produce interesting outputs for all inputs:

ＮθＮηＩ﹪⁺÷¹²⁸⊕¬﹪⁻θη¹²⁸⟦θη⟧²⁵⁶

Try it online! Link is to verbose version of code. Takes unsigned integers. Explanation: Flips the top bits of the values, unless this would exchange them, in which case adds 64 (modulo 256) instead.

edited Mar 23, 2020 at 19:40

answered Mar 23, 2020 at 13:57

Neil

177k12 gold badges74 silver badges281 bronze badges

Add a comment |

ZaMoC · Accepted Answer · 2020-03-23 14:40:19Z

1

Wolfram Language (Mathematica), 32 bytes

port of @Jo King's answer

Complement[Range@4,{##}][[;;2]]&

Try it online!

answered Mar 23, 2020 at 14:40

ZaMoC

25k2 gold badges30 silver badges81 bronze badges

Add a comment |

RGS · Accepted Answer · 2020-03-23 14:50:15Z

1

Python 3, 27 bytes

lambda s:[*{0,1,2,3}-s][:2]

Try it online! The input is a set s with the integers. We build the set {0, 1, 2, 3, 4, 5, 6, 7, 8} and then perform set subtraction to remove, from that set, any input numbers. We then convert to a list and extract two elements.

Thanks Surculose for saving me 2!

edited Mar 23, 2020 at 14:50

answered Mar 23, 2020 at 14:37

RGS

14.1k1 gold badge57 silver badges116 bronze badges

1

\$\begingroup\$ {0,1,2,3}-s should works \$\endgroup\$
– Surculose Sputum
Commented Mar 23, 2020 at 14:47

Add a comment |

Community · Accepted Answer · 2020-06-17 09:04:33Z

1

Japt, 8 bytes

Hõ kU ¯2

Try it

edited Jun 17, 2020 at 9:04

CommunityBot

1

answered Mar 23, 2020 at 19:44

Shaggy

43.5k4 gold badges36 silver badges94 bronze badges

Add a comment |

Noodle9 · Accepted Answer · 2020-03-23 23:11:44Z

1

Python 3.8, ³¹ 29 bytes

Saved 2 bytes thanks to xnor!!!

lambda x,y:(k:=~x&1|~y&2,k+4)

Try it online!

edited Mar 23, 2020 at 23:11

answered Mar 23, 2020 at 21:13

Noodle9

20.3k3 gold badges21 silver badges46 bronze badges

\$\begingroup\$ The parens around the first entry aren't necessary. \$\endgroup\$
– xnor
Commented Mar 23, 2020 at 22:34
\$\begingroup\$ @xnor Interesting - thanks! :-) \$\endgroup\$
– Noodle9
Commented Mar 23, 2020 at 23:12
\$\begingroup\$ k:=(x|1)^(y|2) seems like a it could save bytes, but I don't a way to get rid of the parens. \$\endgroup\$
– xnor
Commented Mar 25, 2020 at 1:24

Add a comment |

score 1 · Accepted Answer · 2020-03-24 00:19:51Z

1

Pyth, 5 bytes

>2-Uy

Try it online!

Explanation

    y # Repeat the input
   U  # Generate a length range: [0 .. 3]
  -   # Difference with implicit input
>2    # Slice out the last 2 items of the resulting list

edited Mar 24, 2020 at 0:19

answered Mar 23, 2020 at 14:37

user92069

\$\begingroup\$ You probably mean "repeat" the input, not "repeat twice"? \$\endgroup\$
– Luis Mendo
Commented Mar 23, 2020 at 18:53
\$\begingroup\$ y is powerset, not repeat the input. Still length 4, which is what counts. \$\endgroup\$
– isaacg
Commented Mar 24, 2020 at 4:11

Add a comment |

Noodle9 · Accepted Answer · 2020-03-24 10:29:55Z

1

C (gcc), ^{36 34} 28 bytes

Saved 2 8 bytes thanks to ceilingcat!!!

f(x,y){x=(~y&2|~x&1)*257+4;}

Try it online!

Uses Paul Mutser's formula.
Returns the two 16-bit values in a 32-bit int since there are no tuples &c in C.

edited Mar 24, 2020 at 10:29

answered Mar 23, 2020 at 17:29

Noodle9

20.3k3 gold badges21 silver badges46 bronze badges

Add a comment |

Mitchell Spector · Accepted Answer · 2020-03-27 06:09:00Z

1

Bash + Core utilities, 29 bytes

seq 4|egrep -v $1\|$2|head -2

Try it online!

Input is passed in two arguments, and the output is printed to stdout.

This prints the first two positive integers that aren't either of the two arguments.

edited Mar 27, 2020 at 6:09

answered Mar 23, 2020 at 20:45

Mitchell Spector

7,9631 gold badge17 silver badges35 bronze badges

\$\begingroup\$ This seems to give only one number if passed in 1 and 2. \$\endgroup\$
– xnor
Commented Mar 23, 2020 at 20:50
\$\begingroup\$ @xnor Thanks -- that was a dumb mistake. It's fixed now (no scoring change). \$\endgroup\$
– Mitchell Spector
Commented Mar 24, 2020 at 5:52

Add a comment |

user92069user92069 · Accepted Answer · 2020-03-23 14:20:13Z

0

Erlang (escript), 43 bytes

Outputs the first two numbers from the range 0 to 3 that aren't in the input.

f(A)->lists:sublist(lists:seq(0,3)--A,1,2).

Try it online!

answered Mar 23, 2020 at 14:20

user92069

Add a comment |

score 0 · Accepted Answer · 2020-03-23 14:31:28Z

0

W, 5 bytes

Takes input as a pair of integers.

%G?←√

Uncompressed:

4k     Range from 1 to 4
  at   Trim out all items that appear in the input
    2< Take the first two items of the output list.

edited Mar 23, 2020 at 14:31

answered Mar 23, 2020 at 14:25

user92069

Add a comment |

user92069user92069 · Accepted Answer · 2020-03-23 14:57:22Z

0

Io, 46 bytes

Port of RGS's Python answer.

method(x,list(1,2,3,4)difference(x)slice(0,2))

Try it online!

answered Mar 23, 2020 at 14:57

user92069

Add a comment |

Nitrodon · Accepted Answer · 2020-03-23 18:55:56Z

Alchemist, 60 bytes

_->In_x+In_y+2n
n+x+y->Out_z+z+Out_" "
x+0y->z+3y
y+0x->z+3x

Try it online!

As with many answers here, prints the first two non-negative integers not in the input. Input is unsigned, since Alchemist doesn't have signed numbers.

I similarly can't just let a variable "go negative" after it hits zero, so I just let an input value x also exclude x+4, x+8, and so on. This has no effect on anything, provided both variables don't hit zero at the same time. Fortunately, if they ever become the same, both outputs will happen before they hit zero.

G B · Accepted Answer · 2020-03-24 06:25:34Z

0

Ruby, 22 bytes

->*a{([*6..9]-a)[0,2]}

Try it online!

Same method as almost everybody.

answered Mar 24, 2020 at 6:25

G B

22.8k1 gold badge20 silver badges53 bronze badges

Add a comment |

Stack Exchange Network

Four distinct 8-bit integers

Input Conditions

Output Conditions

Algorithm Conditions

Verification

FAQ

Edits

20 Answers 20

JavaScript (Node.js), 35 31 27 23 bytes

Perl 6, 20 bytes

brainfuck, 69 bytes

05AB1E, 9 5 bytes

Haskell, 32 bytes

JavaScript (ES6), 32 27 26 bytes

Octave, 28 22 bytes

Explanation

Charcoal, 27 10 bytes

Wolfram Language (Mathematica), 32 bytes

Python 3, 27 bytes

Japt, 8 bytes

Python 3.8, ³¹ 29 bytes

Pyth, 5 bytes

Explanation

C (gcc), ^{36 34} 28 bytes

Bash + Core utilities, 29 bytes

Erlang (escript), 43 bytes

W, 5 bytes

Io, 46 bytes

Alchemist, 60 bytes

Ruby, 22 bytes

Your Answer

Linked

Hot Network Questions

Four distinct 8-bit integers

Input Conditions

Output Conditions

Algorithm Conditions

Verification

FAQ

Edits

20 Answers 20

JavaScript (Node.js), 35 31 27 23 bytes

Perl 6, 20 bytes

brainfuck, 69 bytes

05AB1E, 9 5 bytes

Haskell, 32 bytes

JavaScript (ES6), 32 27 26 bytes

Octave, 28 22 bytes

Explanation

Charcoal, 27 10 bytes

Wolfram Language (Mathematica), 32 bytes

Python 3, 27 bytes

Japt, 8 bytes

Python 3.8, 31 29 bytes

Pyth, 5 bytes

Explanation

C (gcc), 36 34 28 bytes

Bash + Core utilities, 29 bytes

Erlang (escript), 43 bytes

W, 5 bytes

Io, 46 bytes

Alchemist, 60 bytes

Ruby, 22 bytes

Your Answer

Sign up or log in

Post as a guest

Linked

Related

Hot Network Questions

Python 3.8, ³¹ 29 bytes

C (gcc), ^{36 34} 28 bytes