Implementa un sommatore a 8 bit


12

La sfida

Implementare una funzione che accetta due numeri interi i cui valori vanno da 0 a 255 e restituisce la somma di questi numeri interi mod 256. È possibile utilizzare solo operatori negazione bit a bit (~), bit a bit o (|), bit shifting (>>, <<) e assegnazione (=).

Le cose che non puoi usare includono (ma non sono limitate a)

  • Addizione, sottrazione, moltiplicazione e divisione
  • Loops
  • Dichiarazioni condizionali
  • Chiamate di funzione

Vince il minor numero di operazioni binarie o di negazione binaria e di spostamento dei bit . In caso di pareggio, vince la soluzione più popolare. Come sempre, si applicano scappatoie standard .

Ecco un esempio di un semplice sommatore a 2 bit. Usa 77 negazioni binarie, 28 binari e 2 bit-shift per un punteggio totale di 107 (questo può essere visto eseguendo il preprocessore C con gcc -E). Potrebbe essere reso molto più efficiente rimuovendo le #defines e semplificando le espressioni risultanti, ma le ho lasciate chiare per chiarezza.

#include <stdio.h>

#define and(a, b) (~((~a)|(~b)))
#define xor(a, b) (and(~a,b) | and(a,~b))

int adder(int a, int b)
{
    int x, carry;
    x = xor(and(a, 1), and(b, 1));
    carry = and(and(a, 1), and(b, 1));
    carry = xor(xor(and(a, 2), and(b, 2)), (carry << 1));
    x = x | carry;
    return x;
}

int main(int argc, char **argv)
{
    int i, j;
    for (i = 0; i < 4; i++) {
        for (j = 0; j < 4; j++) {
            if (adder(i, j) != (i + j) % 4) {
                printf("Failed on %d + %d = %d\n", i, j, adder(i, j));
            }
        }
    }
}

Aggiornamento: esempio aggiunto e modifica dei criteri di punteggio


2
perché non bitwise "e"?
rdans,

@Ryan La maggior parte delle persone ha più familiarità con le porte NAND rispetto alle porte NOR :)
Orby,

1
la ricorsione conta come un ciclo?
rdans,

@Ryan Recursion conta come un ciclo, anche se non sono sicuro di come lo implementeresti senza una dichiarazione condizionale.
Orby,

L'overflow è definito o posso semplicemente emettere qualcosa se trabocca?
Comintern,

Risposte:


8

Python, 36 operazioni

Un metodo logaritmico nel parametro "8"!

def add(a,b):
    H = a&b   #4 for AND
    L = a|b   #1 
    NX = H | (~L) #2
    K = NX 

    H = H | ~(K | ~(H<<1)) #5
    K = K | (K<<1) #2

    H = H | ~(K | ~(H<<2)) #5
    K = K | (K<<2) #2

    H = H | ~(K | ~(H<<4)) #5

    carry = H<<1 #1

    neg_res = NX ^ carry  #7 for XOR
    res_mod_256 = ~(neg_res|-256) #2
    return res_mod_256

L'idea è di capire quali indici traboccano e causa porta. Inizialmente, questo è solo il luogo in cui entrambi aandd bhanno a 1. Ma poiché i bit trasportati possono causare ulteriori ricadute, questo deve essere determinato iterativamente.

Invece di traboccare ogni indice nel successivo, acceleriamo il processo spostando 1 indice, quindi 2 indici, quindi 4 indici, assicurandoci di ricordare i luoghi in cui si è verificato un overflow (H) e in cui un overflow non può più avvenire (K ).


Una soluzione iterativa più semplice con 47 operazioni:

def add(a,b):
    H = a&b   #4 for AND
    L = a|b   #1 
    NX = H | (~L) #2

    c=H<<1  #1

    for _ in range(6): #6*5
        d = (~c)|NX
        e = ~d
        c = c|(e<<1)

    res = c ^ NX  #7 for XOR

    res_mod_256 = ~(res|-256) #2
    return res_mod_256

Banco di prova, per chiunque voglia copiarlo.

errors=[]
for a in range(256):
    for b in range(256):
        res = add(a,b)
        if res!=(a+b)%256: errors+=[(a,b,res)]

print(len(errors),errors[:10])

8

C - 0

Utilizza operatori al di fuori di ~, |, >>, <<, e =, ma vedo soluzioni che utilizzano operatori di cast e virgola, quindi immagino che la regola non sia troppo rigida a condizione che non stia utilizzando gli operatori proibiti.

unsigned char sum(unsigned char x, unsigned char y)
{
    static unsigned char z[] = {
        0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
        16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,
        32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,
        48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,
        64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,
        80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,
        96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,
        112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,
        128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,
        144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,
        160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,
        176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,
        192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,
        208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,
        224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,
        240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,
        0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
        16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,
        32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,
        48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,
        64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,
        80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,
        96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,
        112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,
        128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,
        144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,
        160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,
        176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,
        192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,
        208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,
        224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,
        240,241,242,243,244,245,246,247,248,249,250,251,252,253,254
    };

    return (&z[x])[y];
}

Questa è ovviamente una scappatoia, ma +1 per segnalarlo.
Orby,

7

pitone, punteggio = 83 80

def g(x,y):
    for i in xrange(7):
        nx = ~x
        ny = ~y
        x,y = ~(x|ny)|~(nx|y), (~(nx|ny))<<1
    x = ~(x|~y)|~(~x|y)
    return ~(~x|256)

Srotolare il ciclo. Sono 10 operazioni per ciclo volte 7 cicli, 7 per l'ultimo xor e 3 per schiacciare il nono bit alla fine.

Implementa l'equazione x+y = x^y + 2*(x&y)ripetendola 8 volte. Ogni volta c'è un altro zero bit nella parte inferiore di y.


7

C, Punteggio: 77 60

Giocato a golf per l'inferno, 206 169 131 byte:

#define F c=((~(~c|~m))|n)<<1;
a(x,y){int m=(~(x|~y))|~(~x|y),n=~(~x|~y),c;F F F F F F F return (unsigned char)(~(m|~c))|~(~m|c);}

Allargato:

int add(x,y)
{
    int m=(~(x|~y))|~(~x|y);
    int n=~(~x|~y);
    int c = 0;
    c=((~(~c|~m))|n)<<1; 
    c=((~(~c|~m))|n)<<1; 
    c=((~(~c|~m))|n)<<1; 
    c=((~(~c|~m))|n)<<1; 
    c=((~(~c|~m))|n)<<1;    
    c=((~(~c|~m))|n)<<1; 
    c=((~(~c|~m))|n)<<1; 
    return (int)((unsigned char)(~(m|~c))|~(~m|c));
}

Sostanzialmente la stessa soluzione (matematicamente) di @KeithRandall @JuanICarrano, ma sfrutta la capacità di C di giocare veloce e sciolto con tipi e puntatori variabili per cancellare tutto dopo i primi 8 bit senza usare altri operatori.

Dipende dall'endianità della macchina e dalla dimensione di () un int e un carattere, ma dovrebbe essere in grado di essere portato alla maggior parte delle applicazioni specifiche della macchina con la matematica puntatore appropriata.

EDIT: Questa è una sfida che C (o altre lingue di basso livello) avranno un netto vantaggio a meno che qualcuno non abbia un algoritmo che non deve portare.


Se hai intenzione di gestire l'avvolgimento in quel modo, potresti semplicemente lanciarlo unsigned char. È più pulito e più portatile.
Orby,

@Orby - Immagino che la digitazione unsignednon mi venga naturale nel code golf. Hai ragione ovviamente - aggiornato.
Comintern,

4

Python - Punteggio 66 64

def xand(a,b):
    return ~(~a|~b) #4

def xxor(a,b):
    return (~(a|~b))|~(~a|b) #7

def s(a,b):
    axb = xxor(a,b)   #7
    ayb = xand(a,b)   #4

    C = 0
    for i in range(1,8):
        C = ((xand(C,axb))|ayb)<<1    #(1+1+4)x7=6x7=42

    return xxor(axb,xand(C,255))    #7 + 4 = 11
    #total: 7+4+42+11 = 64

È l'equazione per un sommatore sommerso. C è il carry. Viene calcolato un bit alla volta: in ogni iterazione il carry viene propagato a sinistra. Come sottolineato da @Orby, la versione originale non ha fatto un'aggiunta modulare. L'ho corretto e ho anche salvato un ciclo nell'iterazione, poiché il primo carry-in è sempre zero.


3
Bel lavoro, ma il tuo codice non si avvolge correttamente (cioè s(255,2)restituisce 257piuttosto che 1). Puoi correggerlo cambiando l'ultima riga a return ~(~xxor(axb,C)|256) cui vengono aggiunti 3 punti.
Orby,

2

C ++ - punteggio: 113

#define ands(x, y) ~(~x | ~y) << 1
#define xorm(x, y) ~(y | ~(x | y)) | ~(x | ~(x | y))

int add(int x, int y)
{
int x1 = xorm(x, y);
int y1 = ands(x, y);

int x2 = xorm(x1, y1);
int y2 = ands(x1, y1);

int x3 = xorm(x2, y2);
int y3 = ands(x2, y2);

int x4 = xorm(x3, y3);
int y4 = ands(x3, y3);

int x5 = xorm(x4, y4);
int y5 = ands(x4, y4);

int x6 = xorm(x5, y5);
int y6 = ands(x5, y5);

int x7 = xorm(x6, y6);
int y7 = ands(x6, y6);

int x8 = xorm(x7, y7);
int y8 = ands(x7, y7);

return (x8 | y8) % 256;
}

add(1, 255)sta tornando 128 per me, @Ryan.
Orby,

@Orby è stato risolto ora
rdans

%Non è sulla lista degli operatori consentiti, vale a dire ~, |, >>, e <<. Forse sostituirlo con ands(x8|y8, 255)>>1?
Orby,

In realtà, ~(~x8 | y8 | 0xFFFFFF00)farebbe il trucco bene con solo 4+ per il tuo punteggio.
Orby,

2
Ma non creare il tipo byteinvece intche farlo traboccare automaticamente?
orgoglioso haskeller il
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.