เขียนโปรแกรม / ฟังก์ชั่นที่รับจำนวนเต็มสองจำนวนในช่วง$0$ถึง$255$และส่งคืนว่ารูปแบบไบนารีของตัวเลขนั้นแตกต่างกันเพียงหนึ่งบิตหรือไม่

ตัวอย่างเช่น$1$และ$0$มีรูปแบบไบนารี00000001และ00000000ซึ่งอยู่ห่างกันหนึ่งบิต ในทำนองเดียวกัน$152$และ$24$คือ010011000และ000011000ดังนั้นพวกเขาจึงกลับมาจริง

อย่างไรก็ตามรหัสของคุณต้องเก่าแก่เช่นถ้าหนึ่งบิตในโปรแกรมของคุณพลิกมันควรจะเกิดข้อผิดพลาด ตัวอย่างเช่นหากโปรแกรมของคุณเป็นไบต์เดียวa(01100001) ดังนั้น 8 โปรแกรมที่ปรับเปลี่ยนได้ทั้งหมด:

á ! A q i e c `

จะต้องโยนข้อผิดพลาด ตรวจสอบให้แน่ใจว่าคุณกำลังแก้ไขด้วยไบต์ (เช่นด้านáบนนั่นหมายถึงไบต์$225$ไม่ใช่อักขระสองไบต์จริงá)

กรณีทดสอบ:

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

กฎ:

• จัดเตรียมเฟรมเวิร์กการทดสอบที่สามารถตรวจสอบว่าโปรแกรมของคุณนั้นมีความถูกต้องอย่างแท้จริงเนื่องจากจะมีโปรแกรมที่เป็นไปได้จำนวนมาก (จำนวนไบต์ * 8) หรือการพิสูจน์ความสมบูรณ์แบบอื่น ๆ
  • โปรดตรวจสอบว่าโปรแกรมของคุณใช้ได้ก่อนโพสต์
• ผลลัพธ์จะต้องเป็นจริง / เท็จ (อย่างใดอย่างหนึ่งเป็นเรื่องปกติ) หรืออื่น ๆ สองค่าที่ไม่ใช่ข้อผิดพลาดที่แตกต่างกัน
• ข้อผิดพลาดอาจเป็น runtime, คอมไพเลอร์, ล่าม ฯลฯ

Python 2 , 35 ไบต์

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

ลองออนไลน์!

ใช้การตรวจสอบการจ่ายพลังงานสองครั้งn&-n==nเพื่อกำจัดค่าn==0บวกที่ผิดพลาด

สำหรับการอ้างอิงนี่เป็นคู่ของตัวดำเนินการไบนารีหนึ่งตัวที่แยกออกไปหนึ่งบิตทำให้พวกมันใช้งานยาก:

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

โชคดี&และ^ไม่ได้อยู่ในกลุ่มเหล่านี้

นอกจากนี้ทราบว่า==จะกลายเป็น<=และสามารถกลายเป็นตัวละครที่แสดงความคิดเห็น+#

Python 2 , 41 ไบต์

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

ลองออนไลน์!

การTFeld ของ lambda a,b:bin(a^b).count('1')==1และทำให้มันเป็นที่เก่าแก่โดยการเปลี่ยน 1 ไป+Trueและจะ== isขอบคุณ Jo King สำหรับ 1 ไบต์

Python 2 , 72 67 50 ไบต์

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

ลองออนไลน์!

_{-5 ไบต์ขอบคุณ Jo King}

ส่งคืนTrue/ Falseสำหรับค่าจริง / เท็จ

โปรแกรมนั้นโดยทั่วไปเหมือนกับlambda a,b:bin(a^b).count('1')==1แต่ไม่มีตัวเลขและตัวอักษรอื่น ๆ ที่ใช้งานได้เมื่อบิตพลิก

ทำงานโดยตรวจสอบให้แน่ใจว่าเกือบทุกอย่างเป็นฟังก์ชั่นที่มีชื่อ (ซึ่งค่อนข้างเก่าแก่)

การทดสอบที่เก่าที่สุดในตอนท้ายจะพลิกเพียงเล็กน้อย (สำหรับทุก ๆ บิต) และลองใช้ฟังก์ชันกับอินพุต หากใช้งานได้ (ถูกต้องหรือไม่) รูปแบบนั้นจะถูกพิมพ์ ไม่มีโปรแกรมที่พิมพ์ออกมา = ฟังก์ชั่นที่เก่าแก่

Java 8, 68 61 56 45 ไบต์

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

-11 ไบต์ขอบคุณที่@EmbodimentOfIgnoranceเปลี่ยนอย่างต่อเนื่อง กับjava.awt.Font.BOLD-~(a^a)

ลองออนไลน์

คำอธิบาย:

ฟังก์ชันพื้นฐานที่สั้นที่สุดคือ:

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

ลองออนไลน์

นี้มีการแก้ไขจึงมีไม่หลัก, =หรือหนึ่งใน+/*ตัวถูกดำเนินการในนั้นสำหรับการคำนวณตัวเลข (ดังนั้น+สำหรับ String-เรียงต่อกันเป็นดี):

+""และ.equalsจะเปรียบเทียบโดยแทนString.equals(String) หมายเหตุ: สามารถนำมาใช้ที่นี่ แต่จะเป็นไบต์มากขึ้นเนื่องจากทั้งสองและดั้งเดิมแทน-objects ดังนั้นเพิ่มเติมจะต้องเปลี่ยนหนึ่งในสองสระ-object ก่อนที่เราจะสามารถใช้int==int
Integer.equals(int).bitCountjava.awt.Font.BOLDintIntegernew Integer(...)Integer.equals

C (gcc) , 56 ไบต์

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

ลองออนไลน์!

ผลตอบแทน0ถ้าคู่แตกต่างกัน 1 ไม่เป็นศูนย์มิฉะนั้น ผิดปกติเล็กน้อยสำหรับ C ยกเว้นว่าคุณพิจารณาที่จะกลับมาEXIT_SUCCESSหากทั้งคู่แตกต่างกัน 1 ค่าอื่นใด

ใช้sizeof((char)d))ในการผลิตค่าคงที่1ในทางที่บริสุทธิ์ในขณะที่ยังบังคับให้ชื่อฟังก์ชั่นที่จะเก่าแก่

จากนั้น XORs ที่ 1 ที่มี popcount ของ XOR ของอาร์กิวเมนต์ โชคดีสัญลักษณ์เป็นเรื่องง่ายที่จะเก็บไว้ที่เก่าแก่ที่เป็นตัวบ่งชี้ที่ยาวมาก^__builtin_popcount

ในขณะเดียวกันนี่คือสคริปต์ที่ใช้ในการทดสอบวิธีแก้ปัญหา:

#!/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

ซึ่งใช้./flipbitเครื่องมือที่ฉันเขียนซึ่งมีที่มาเพียง:

#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;
}

บิตหากินคือ:

• ช่องว่าง: ช่องว่างทั้งหมด (รวมถึงการขึ้นบรรทัดใหม่) มีฝาแฝดที่เก่าแก่ซึ่งจะทำงานในทำนองเดียวกัน
• การเปรียบเทียบ: =ใช้งานไม่ได้เนื่องจากสามารถเปรียบเทียบได้ในทุกกรณีที่อาจปรากฏขึ้น ในทำนองเดียวกัน-ทำงานได้ไม่ดี ดังนั้น^ใช้เพื่อยืนยันความเสมอภาคกับ 1
• ชื่อตัวแปร: f จะปะทะกับ b ดังนั้นจึงต้องใช้ d เป็นชื่อฟังก์ชันแทน

R , 38 37 ไบต์

-1 ไบต์ต้องขอบคุณ Nick Kennedy

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

ลองออนไลน์! (ขอบคุณ Giuseppe สำหรับการตั้งค่า TIO อย่างถูกต้อง)

พิสูจน์ว่ามันเก่าแก่ (ใช้ตัวตรวจสอบของ Nick Kennedy )

เอาต์พุต 0 สำหรับความเท็จและค่าบวกสำหรับความจริงซึ่งฉันเข้าใจว่าเป็นที่ยอมรับได้เนื่องจาก R จะตีความสิ่งเหล่านี้ว่าเป็นเท็จและจริง

คำอธิบาย: bitwXor(a,b)ให้ (เป็นจำนวนเต็ม) บิต XOR ระหว่างabและ หากต้องการตรวจสอบว่าเป็นกำลัง 2 ให้ตรวจสอบว่าการเข้าสู่ระบบฐาน 2 เป็นจำนวนเต็มหรือไม่ ฟังก์ชันdpoisให้ฟังก์ชันความหนาแน่นของความน่าจะเป็นของการแจกแจงปัวซอง: ค่าเป็น 0 สำหรับค่าที่ไม่ใช่จำนวนเต็มและสิ่งที่เป็นบวกสำหรับจำนวนเต็มไม่เป็นลบ Tมีเพราะdpoisต้องใช้อาร์กิวเมนต์ที่สอง (ทำงานจริงใด ๆ ในเชิงบวกและTถูกตีความว่าเป็น 1)

หากเรายืนยันในการแสดงผลเป็นค่าที่แตกต่างรุ่นต่อไปนี้จะแสดงผลลัพธ์เป็น FALSE หรือ TRUE ใน 42 ไบต์ (ขอบคุณ Giuseppe สำหรับ -8 ไบต์):

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

และยังเป็นที่เก่าแก่ ลองออนไลน์!

R , 83 ไบต์

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

ลองออนไลน์!

พิสูจน์ว่านี่คือสิ่งที่บริสุทธิ์

ทำงานรอบความจริงที่ว่าas.integer, as.doubleฯลฯ เป็นเพียงเล็กน้อยห่างจากis.integer, is.doubleฯลฯ เป็นบิตยากที่สุด ในที่สุดการใช้sum(T^el(.[-T])เป็นวิธีสร้างทั้งคู่และตรวจสอบว่าas.doubleได้คืนเวกเตอร์ความยาว> 1 เป็นสิ่งที่ดีที่สุดที่ฉันสามารถทำได้ ห่อtคือการจัดการกับความจริงที่ว่ามิฉะนั้นจะกลายเป็นidenticalide~tical

Julia 0.7 , 20 ไบต์

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

ลองออนไลน์!

นี่คือเครื่องมือตรวจสอบที่เก่าแก่ซึ่งพยายามเรียกใช้ฟังก์ชันที่ไม่ระบุตัวตนที่ได้รับการดัดแปลงแต่ละตัวกับอินพุตบางส่วนและไม่ผ่านการทดสอบสำเร็จ โปรดทราบว่ารหัสมีอักขระ Unicode หลายไบต์และผลลัพธ์ที่เป็นไปได้บางอย่างจากการพลิกบิตจะไม่รวมอยู่ด้วยเนื่องจากเป็นรายการที่สร้างสตริง UTF-8 ที่ไม่ถูกต้อง

C # (Visual C # Interactive คอมไพเลอร์) , 37 ไบต์

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

a=>b=>ส่วนหนึ่งไม่สามารถเปลี่ยนแปลงหรืออื่น ๆ ฟังก์ชั่นไม่ถูกต้อง

ในa!=bที่=ไม่สามารถเปลี่ยนแปลงได้เนื่องจากไม่สามารถแปลงเป็นintbool

ลองออนไลน์!

C # (Visual C # Interactive Compiler) , 128 101 77 70 61 74 ไบต์

-27 ไบต์ขอบคุณAscii-Only

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

ลองออนไลน์!

คุณต้องมีความคิดสร้างสรรค์ในการรับตัวเลขใน C # โดยไม่ต้องใช้ตัวอักษร ใช้ตัวดำเนินการ ^ เท่านั้น ตัวแปร a, b อยู่ห่างจากกันมากกว่า 1 บิตและทุกอย่างเป็นคำสำคัญ / ชื่อ

JavaScript (ES6 in strict mode), 61 bytes

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

Try it online! or Make sure that all modified programs are wrong

Groovy, 47 36 bytes

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

Try it online!

Adapted version of Kevin Cruijssen's Java answer.

MATLAB, 37 bytes

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

Sorry, no TIO link, because I can't get the test suite to work under Octave. Thanks @ExpiredData for some helpful comments.

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 bytes

Thanks to Jo King for -33 bytes.

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

This is equivalent to

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

1 was rewritten as elems([""]). 2 was rewritten as sum(elems([""]),elems([""])); elems(["",""]) might seem to work but elems([""-""]) is also valid and seems to hang the tester.

Try it online!

JavaScript (Node.js), 20 bytes

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

Try it online!

validator by Arnauld, modified (not use strict)