Tulis program / fungsi yang mengambil dua bilangan bulat dalam kisaran hingga inklusif, dan mengembalikan apakah bentuk biner dari angka-angka itu persis berbeda satu bit.$0$$255$

Sebagai contoh, dan memiliki bentuk biner dan , yang terpisah satu bit. Demikian pula, dan adalah dan , jadi mereka mengembalikan true.$1$$0$0000000100000000$152$$24$010011000000011000

Namun , kode Anda harus asli , sehingga jika ada satu bit dalam program Anda dibalik, itu akan menimbulkan kesalahan. Misalnya, jika program Anda adalah byte tunggala(01100001), maka semua 8 program yang mungkin dimodifikasi:

á ! A q i e c `

harus melempar kesalahan. Pastikan Anda memodifikasi dengan byte (misalnya di ásana sebenarnya mewakili byte , bukan karakter dua byte yang sebenarnya ).$225$á

Kasus uji:

0,1     => Truthy
1,0     => Truthy
152,24  => Truthy
10,10   => Falsey
10,11   => Truthy
11,12   => Falsey
255,0   => Falsey

Aturan:

• Berikan kerangka pengujian yang dapat memverifikasi bahwa program Anda benar-benar murni, karena akan ada banyak program yang mungkin (jumlah byte * 8), atau bukti lengkap tentang keaslian.
  • Harap pastikan program Anda berlaku sebelum Anda posting.
• Output harus benar-benar benar / salah (baik jalan baik-baik saja), atau dua nilai non-error yang berbeda
• Kesalahan dapat berupa runtime, compiler, interpreter dll.

Python 2 , 35 byte

lambda a,b:(a^b)&-(a^b)in[a^b or[]]

Cobalah online!

Menggunakan kekuatan dari dua cek n&-n==n, menghilangkan n==0false positive.

Sebagai referensi, ini adalah pasangan dari operator biner satu char yang terpisah satu sama lain, sehingga sulit digunakan:

+ /
- /
* +
% -
< |
< >

Untungnya, &dan ^tidak ada di antara ini.

Perhatikan juga yang ==bisa menjadi <=, dan +bisa menjadi karakter komentar #.

Python 2 , 41 byte

lambda a,b:bin(a^b).count(`+True`)is+True

Cobalah online!

Mengambil TFeld's lambda a,b:bin(a^b).count('1')==1 dan menjadikannya asli dengan mengubah 1's ke +Truedan ==ke is. Terima kasih kepada Jo King untuk 1 byte.

Python 2 , 72 67 50 byte

lambda a,b:sum(map(int,'{:b}'.format(a^b)))is+True

Cobalah online!

_{-5 byte, terima kasih kepada Jo King}

Pengembalian True/ Falseuntuk untuk kebenaran / falsey.

Program ini pada dasarnya sama dengan lambda a,b:bin(a^b).count('1')==1, tetapi tanpa angka dan karakter lain yang berfungsi saat dibalik.

Bekerja dengan memastikan bahwa hampir semuanya adalah fungsi bernama (yang semuanya cukup murni)

Tes murni pada akhirnya membalik bit tunggal (untuk setiap bit), dan mencoba fungsi pada input. Jika itu berhasil (benar atau tidak), variasi itu dicetak. Tidak ada program yang dicetak = fungsi asli.

Java 8, 68 61 56 45 byte

a->b->(a.bitCount(a^b)+"").equals(-~(a^a)+"")

-11 byte terima kasih kepada @EmbodimentOfIgnorance , ganti dengan konstan .java.awt.Font.BOLD-~(a^a)

Cobalah online.

Penjelasan:

Fungsi basis terpendek adalah:

a->b->a.bitCount(a^b)==1

Cobalah online.

Ini dimodifikasi sehingga tidak ada digit,, =atau salah satu +/*operan di dalamnya untuk perhitungan numerik (jadi +untuk rangkaian-string baik-baik saja):

The +""dan .equalsyang untuk membandingkan dengan String.equals(String)bukan int==int.
CATATAN: Integer.equals(int)bisa digunakan di sini, tapi akan lebih byte, karena kedua .bitCountdan java.awt.Font.BOLDprimitif intbukan Integer-objects, sehingga tambahan new Integer(...)akan diperlukan untuk mengubah salah satu dari dua ke Integer-object, sebelum kita bisa menggunakan .equals.

C (gcc) , 56 byte

d(a,b){return(sizeof((char)d))^__builtin_popcount(a^b);}

Cobalah online!

Mengembalikan 0jika pasangan berbeda dengan 1, bukan nol sebaliknya. Agak tidak biasa untuk C, kecuali jika Anda menganggapnya kembali EXIT_SUCCESSjika pasangan berbeda dengan 1, nilai lainnya sebaliknya.

Menggunakan sizeof((char)d))untuk menghasilkan konstanta 1dengan cara yang murni sementara juga memaksa nama fungsi menjadi murni.

Kemudian XOR 1 dengan popcount XOR dari argumen. Untungnya ^simbolnya mudah disimpan, seperti pengenal yang sangat panjang __builtin_popcount.

Sementara itu, berikut ini skrip yang digunakan untuk menguji solusinya:

#!/bin/bash

SOURCE_FILE=$1
FOOT_FILE=$2
TMP_SRC=temp.c

LENGTH="$(wc -c <"$SOURCE_FILE")"
BITS=$((LENGTH*8))

cat "$SOURCE_FILE" >"$TMP_SRC"
cat "$FOOT_FILE" >>"$TMP_SRC"
if gcc -w $TMP_SRC -o t.out >/dev/null 2>&1; then
    if ./t.out; then
        echo "Candidate solution..."
    else
        echo "Doesn't even work normally..."
        exit
    fi
else
    echo "Doesn't even compile..."
    exit
fi

for i in $(seq 1 $BITS); do
    ./flipbit "$i" <"$SOURCE_FILE" >"$TMP_SRC"
    cat "$FOOT_FILE" >>"$TMP_SRC"
    if gcc -w $TMP_SRC -o t.out >/dev/null 2>&1; then
        echo "Testing flipped bit $i:"
        cat "$TMP_SRC"

        ./t.out >/dev/null 2>&1
        STATUS=$?
        if [ "$STATUS" -eq 0 ]; then
            echo "It works!"
            exit
        elif [ "$STATUS" -eq 1 ]; then
            echo "It doesn't work..."
            exit
        else
            echo "It crashes"
        fi
    fi
done

Yang menggunakan ./flipbitalat yang saya tulis sumbernya adalah:

#include <stdio.h>
#include <stdlib.h>

int main(int argc, char *argv[]) {
    int bittoflip = atoi(argv[1]) - 1;
    int ch;

    while ((ch = fgetc(stdin)) != EOF) {
        if (bittoflip < 8 && bittoflip >= 0) {
            putchar(ch ^ (1 << bittoflip));
        } else {
            putchar(ch);
        }

        bittoflip -= 8;
    }

    return 0;
}

Bit yang rumit adalah:

• Ruang putih: Semua ruang putih (termasuk baris baru) memiliki kembar asli yang akan bekerja sama
• Perbandingan: =tidak berfungsi dengan baik, karena bisa menjadi perbandingan dalam setiap kasus itu bisa muncul. Demikian pula -tidak bekerja dengan baik. Dengan demikian ^digunakan untuk menegaskan kesetaraan dengan 1.
• Nama variabel: f akan berbenturan dengan b, jadi harus menggunakan d sebagai nama fungsi.

R , 38 37 byte

-1 byte terima kasih kepada Nick Kennedy.

dpois(log2(bitwXor(scan(),scan())),T)

Cobalah online! (Terima kasih kepada Giuseppe karena mengatur TIO dengan benar.)

Bukti bahwa itu asli (menggunakan checker Nick Kennedy ).

Keluaran 0 untuk falsey, dan nilai positif untuk kebenaran, yang saya mengerti dapat diterima karena R akan menafsirkan ini sebagai False dan True.

Penjelasan: bitwXor(a,b)memberikan (sebagai bilangan bulat) XOR bitwise antara adan b. Untuk memeriksa apakah kekuatan 2, periksa apakah basis 2 masuknya adalah bilangan bulat. Fungsi ini dpoismemberikan fungsi kerapatan probabilitas dari distribusi Poisson: nilainya 0 untuk nilai non-integer, dan sesuatu yang positif untuk integer non-negatif. Itu Tada karena dpoismemerlukan argumen kedua (setiap karya nyata positif, dan Tditafsirkan sebagai 1).

Jika kami bersikeras untuk menghasilkan nilai yang berbeda, versi berikut ini menghasilkan SALAH atau BENAR dalam 42 byte (terima kasih kepada Giuseppe untuk -8 byte):

dpois(log2(bitwXor(scan(),scan())),T)%in%F

dan juga murni . Cobalah online!

R , 83 byte

t(identical(sum(.<-as.double(intToBits(Reduce(bitwXor,scan())))),sum(T^el(.[-T]))))

Cobalah online!

Bukti bahwa ini asli

Mengatasi kenyataan bahwa as.integer, as.doubledll. Hanya berjarak sedikit dari is.integer, is.doubledll. Adalah bagian yang paling sulit. Pada akhirnya, menggunakan sum(T^el(.[-T])sebagai cara menghasilkan satu dan memeriksa yang as.doubletelah mengembalikan vektor> 1 panjang adalah yang terbaik yang bisa saya lakukan. Bungkusnya tadalah untuk menangani fakta bahwa kalau tidak identicalbisa jadi ide~tical.

Julia 0.7 , 20 byte

(a,b)->ispow2(a⊻b)

Cobalah online!

Berikut ini adalah validator murni yang mencoba menjalankan setiap fungsi anonim yang dimodifikasi terhadap beberapa input, dan keduanya tidak berhasil. Perhatikan bahwa kode tersebut memiliki karakter unicode multi-byte, dan beberapa kemungkinan keluaran dari bit flipping bahkan tidak disertakan, karena kode tersebut menghasilkan string UTF-8 yang tidak valid.

C # (Visual C # Interactive Compiler) , 37 byte

a=>b=>a!=b&((a^b)&-(a^b)).Equals(a^b)

Bagian a=>b=>tidak dapat diubah, atau fungsi tersebut tidak valid.

Di a!=b, =tidak dapat diubah karena inttidak dapat dikonversi ke bool.

Cobalah online!

C # (Visual C # Interactive Compiler) , 128 101 77 70 61 74 byte

-27 byte berkat Ascii-Only

a=>b=>{var d=Math.Log(a^b,(int)Math.E);return d.Equals((int)Math.Abs(d));}

Cobalah online!

Anda harus cukup kreatif untuk mendapatkan angka dalam C # tanpa menggunakan literal. Hanya menggunakan operator ^. Variabel a, b semuanya lebih dari 1 bit dari satu sama lain dan yang lainnya adalah kata kunci / nama.

JavaScript (ES6 dalam mode ketat), 61 byte

(y,z,e)=>eval(`(y${(e='^=z)*!(y&~-y)')!='^=z)*!(y&~-y)'||e}`)

Cobalah online! atau Pastikan semua program yang diubah salah

Groovy , 47 36 byte

a,b->a.bitCount(a^b).equals(-~(a^a))

Cobalah online!

Versi adaptasi dari jawaban Java Kevin Cruijssen .

MATLAB, 37 byte

@(c,e)eq(nnz(de2bi(bitxor(c,e))),eye)

Maaf, tidak ada tautan TIO, karena saya tidak bisa menjalankan test suite di bawah Octave. Terima kasih @ExpiredData untuk beberapa komentar bermanfaat.

Test suite:

program = '@(c,e)eq(nnz(de2bi(bitxor(c,e))),eye)';
number_of_characters = nnz(program);
success = [];
for character_counter = 0 : number_of_characters
    for bit_no = 1:8
        prog_temp = program;
        if(character_counter > 0)
            prog_temp(character_counter) = bitxor(double(prog_temp(character_counter)),2^(bit_no-1));
        elseif(bit_no<8) % Test the unmodified program once
            continue
        end
        try
            eval(prog_temp);
            eval('ans(2,3)');
            disp(prog_temp)
            success(end+1)=1;   
        catch
            success(end+1)=0;
        end 
    end
end
assert(nnz(success)==1)

Perl 6 , 77 43 byte

Terima kasih kepada Jo King untuk -33 byte.

{elems(i)eq(sum [+^](@_).polymod(+@_ xx*))}

Ini setara dengan

{1 eq(sum [+^](@_).polymod(2 xx*))}

1ditulis ulang sebagai elems([""]). 2ditulis ulang sebagai sum(elems([""]),elems([""])); elems(["",""])mungkin tampak berfungsi tetapi elems([""-""])juga valid dan tampaknya menggantung tester.

Cobalah online!

JavaScript (Node.js) , 20 byte

b=>d=>[i=d^b][i--&i]

Cobalah online!

validator oleh Arnauld, dimodifikasi (tidak digunakan dengan ketat)