(key, value)Bestimmen Sie anhand einer Liste von Paaren, ob es sich um eine Funktion handelt. Dies bedeutet, dass jeder Schlüssel einem konsistenten Wert zugeordnet ist. Mit anderen Worten, wenn zwei Einträge gleiche Schlüssel haben, müssen sie auch gleiche Werte haben. Wiederholte Eingaben sind OK.

Zum Beispiel:

# Not a function: 3 maps to both 1 and 6
[(3,1), (2,5), (3,6)]

# Function: It's OK that (3,5) is listed twice, and that both 6 and 4 both map to 4
[(3,5), (3,5), (6,4), (4,4)]

Eingabe: Eine geordnete Folge von (key, value)Paaren mit den Ziffern 1 bis 9. Möglicherweise ist keine bestimmte Reihenfolge erforderlich. Alternativ können Sie die Tastenliste und die Werteliste als separate Eingänge verwenden.

Ausgabe: Ein konsistenter Wert für Funktionen und ein anderer konsistenter Wert für Nichtfunktionen.

Testfälle: Die ersten 5 Eingänge sind Funktionen, die letzten 5 nicht.

[(3, 5), (3, 5), (6, 4), (4, 4)]
[(9, 4), (1, 4), (2, 4)]
[]
[(1, 1)]
[(1, 2), (2, 1)]

[(3, 1), (2, 5), (3, 6)]
[(1, 2), (2, 1), (5, 2), (1, 2), (2, 5)]
[(8, 8), (8, 8), (8, 9), (8, 9)]
[(1, 2), (1, 3), (1, 4)]
[(1, 2), (1, 3), (2, 3), (2, 4)]

Hier sind sie als zwei Listen von Eingaben:

[[(3, 5), (3, 5), (6, 4), (4, 4)], [(9, 4), (1, 4), (2, 4)], [], [(1, 1)], [(1, 2), (2, 1)]]
[[(3, 1), (2, 5), (3, 6)], [(1, 2), (2, 1), (5, 2), (1, 2), (2, 5)], [(8, 8), (8, 8), (8, 9), (8, 9)], [(1, 2), (1, 3), (1, 4)], [(1, 2), (1, 3), (2, 3), (2, 4)]]

Bestenliste:

var QUESTION_ID=118960,OVERRIDE_USER=20260;function answersUrl(e){return"https://api.stackexchange.com/2.2/questions/118960/answers?page="+e+"&pagesize=100&order=desc&sort=creation&site=codegolf&filter="+ANSWER_FILTER}function commentUrl(e,s){return"https://api.stackexchange.com/2.2/answers/"+s.join(";")+"/comments?page="+e+"&pagesize=100&order=desc&sort=creation&site=codegolf&filter="+COMMENT_FILTER}function getAnswers(){jQuery.ajax({url:answersUrl(answer_page++),method:"get",dataType:"jsonp",crossDomain:!0,success:function(e){answers.push.apply(answers,e.items),answers_hash=[],answer_ids=[],e.items.forEach(function(e){e.comments=[];var s=+e.share_link.match(/\d+/);answer_ids.push(s),answers_hash[s]=e}),e.has_more||(more_answers=!1),comment_page=1,getComments()}})}function getComments(){jQuery.ajax({url:commentUrl(comment_page++,answer_ids),method:"get",dataType:"jsonp",crossDomain:!0,success:function(e){e.items.forEach(function(e){e.owner.user_id===OVERRIDE_USER&&answers_hash[e.post_id].comments.push(e)}),e.has_more?getComments():more_answers?getAnswers():process()}})}function getAuthorName(e){return e.owner.display_name}function process(){var e=[];answers.forEach(function(s){var r=s.body;s.comments.forEach(function(e){OVERRIDE_REG.test(e.body)&&(r="<h1>"+e.body.replace(OVERRIDE_REG,"")+"</h1>")});var a=r.match(SCORE_REG);a&&e.push({user:getAuthorName(s),size:+a[2],language:a[1],link:s.share_link})}),e.sort(function(e,s){var r=e.size,a=s.size;return r-a});var s={},r=1,a=null,n=1;e.forEach(function(e){e.size!=a&&(n=r),a=e.size,++r;var t=jQuery("#answer-template").html();t=t.replace("{{PLACE}}",n+".").replace("{{NAME}}",e.user).replace("{{LANGUAGE}}",e.language).replace("{{SIZE}}",e.size).replace("{{LINK}}",e.link),t=jQuery(t),jQuery("#answers").append(t);var o=e.language;/<a/.test(o)&&(o=jQuery(o).text()),s[o]=s[o]||{lang:e.language,user:e.user,size:e.size,link:e.link}});var t=[];for(var o in s)s.hasOwnProperty(o)&&t.push(s[o]);t.sort(function(e,s){return e.lang>s.lang?1:e.lang<s.lang?-1:0});for(var c=0;c<t.length;++c){var i=jQuery("#language-template").html(),o=t[c];i=i.replace("{{LANGUAGE}}",o.lang).replace("{{NAME}}",o.user).replace("{{SIZE}}",o.size).replace("{{LINK}}",o.link),i=jQuery(i),jQuery("#languages").append(i)}}var ANSWER_FILTER="!t)IWYnsLAZle2tQ3KqrVveCRJfxcRLe",COMMENT_FILTER="!)Q2B_A2kjfAiU78X(md6BoYk",answers=[],answers_hash,answer_ids,answer_page=1,more_answers=!0,comment_page;getAnswers();var SCORE_REG=/<h\d>\s*([^\n,]*[^\s,]),.*?(\d+)(?=[^\n\d<>]*(?:<(?:s>[^\n<>]*<\/s>|[^\n<>]+>)[^\n\d<>]*)*<\/h\d>)/,OVERRIDE_REG=/^Override\s*header:\s*/i;

body{text-align:left!important}#answer-list,#language-list{padding:10px;width:290px;float:left}table thead{font-weight:700}table td{padding:5px}

<script src="https://ajax.googleapis.com/ajax/libs/jquery/2.1.1/jquery.min.js"></script> <link rel="stylesheet" type="text/css" href="//cdn.sstatic.net/codegolf/all.css?v=83c949450c8b"> <div id="answer-list"> <h2>Leaderboard</h2> <table class="answer-list"> <thead> <tr><td></td><td>Author</td><td>Language</td><td>Size</td></tr></thead> <tbody id="answers"> </tbody> </table> </div><div id="language-list"> <h2>Winners by Language</h2> <table class="language-list"> <thead> <tr><td>Language</td><td>User</td><td>Score</td></tr></thead> <tbody id="languages"> </tbody> </table> </div><table style="display: none"> <tbody id="answer-template"> <tr><td>{{PLACE}}</td><td>{{NAME}}</td><td>{{LANGUAGE}}</td><td>{{SIZE}}</td><td><a href="{{LINK}}">Link</a></td></tr></tbody> </table> <table style="display: none"> <tbody id="language-template"> <tr><td>{{LANGUAGE}}</td><td>{{NAME}}</td><td>{{SIZE}}</td><td><a href="{{LINK}}">Link</a></td></tr></tbody> </table>

Python 2 , 34 Bytes

lambda x:len(dict(x))==len(set(x))

Probieren Sie es online!

Erstellt aus der Eingabe ein Wörterbuch und ein Set und vergleicht deren Längen.
Wörterbücher dürfen keine doppelten Schlüssel haben, daher werden alle ungültigen (und wiederholten) Werte entfernt.

Haskell, 36 Bytes

f x=and[v==n|(k,v)<-x,(m,n)<-x,k==m]

Probieren Sie es online!

Äußere (-> (k,v)) und innere (-> (m,n)) Schleife über die Paare und wann immer k==m, sammeln Sie den Wahrheitswert von v==n. Überprüfen Sie, ob alle zutreffen.

Brachylog , 5 4 Bytes

dhᵐ≠

Probieren Sie es online!

Volles Programm. Soweit ich das ≠beurteilen kann, liegt der Grund dafür, dass dies die meisten anderen Golfsprachen schlägt, darin, dass es in Brachylog eingebaut ist, während die meisten anderen Golfsprachen dies synthetisieren müssen.

Erläuterung

dhᵐ≠
d     On the list of all unique elements of {the input},
 h    take the first element
  ᵐ     of each of those elements
   ≠  and assert that all those elements are different

Als vollständiges Programm erhalten wir, trueob die Assertion erfolgreich ist oder falsefehlschlägt.

Pyth , 5 Bytes

Ich bin ziemlich glücklich mit diesem.

{IhM{
       implicit input
    {  removes duplicate pairs
  hM   first element of each pair
{I     checks invariance over deduplication (i.e. checks if no duplicates)

Probieren Sie es online!

Retina , 25 Bytes

1`({\d+,)(\d+}).*\1(?!\2)

Probieren Sie es online!

Eingabeformat ist {k,v},{k,v},.... Druckt 0für Funktionen und 1für Nichtfunktionen. Ich könnte zwei Bytes sparen, indem ich Zeilenvorschübe anstelle der Kommas im Eingabeformat verwende, aber das ist durcheinander.

Brachylog , 13 Bytes

¬{⊇Ċhᵐ=∧Ċtᵐ≠}

Probieren Sie es online!

Erläuterung

¬{          }      It is impossible...
  ⊇Ċ               ...to find a subset of length 2 of the input...
   Ċhᵐ=            ...for which both elements have the same head...
       ∧           ...and...
        Ċtᵐ≠       ...have different tails.

MATL , 8 Bytes

1Z?gs2<A

Eingaben sind: ein Array mit dem values, gefolgt von einem Array mit dem keys.

Der Ausgang ist 1für die Funktion, 0ansonsten.

Probieren Sie es online! . Oder überprüfen Sie alle Testfälle .

Erläuterung

1Z?

Erstellt eine dünne Matrix. Anfangs enthalten alle Einträge 0; und 1wird zu jedem Eintrag hinzugefügt, (i, j)wo jund isind die Eingabe key, valuePaare.

g

Die Matrix wird in logisch konvertiert. Das heißt, Einträge, die höher sind 1(entsprechend Duplikaten key, valuePaaren), werden auf gesetzt 1.

s

Die Summe jeder Spalte wird berechnet. Dies ist die Anzahl der verschiedenen values für jeden key.

2<A

Eine Funktion hat alle diese Summen kleiner als 2.

R, 33 Bytes

Dies ist meine Version für R. Dies nutzt die aveFunktion. Ich habe die Leereingabe zugelassen, indem ich die Standardeinstellungen für die Schlüssel- und Wertparameter festgelegt habe. aveerzeugt einen Mittelwert der Werte für jeden der Schlüssel. Glücklicherweise gibt dies das Mittel in der gleichen Reihenfolge wie die Eingabewerte zurück, sodass ein Vergleich mit der Eingabe anzeigt, ob es unterschiedliche Werte gibt. Gibt zurück, TRUEob es sich um eine Funktion handelt.

function(k=0,v=0)all(ave(v,k)==v)

Probieren Sie es online!

05AB1E , 11 9 7 Bytes

2 Bytes dank kalsowerus gespart .

Ùø¬DÙQ,

Probieren Sie es online!

Erläuterung

Ù           # remove duplicates
 ø          # zip
  ¬         # get the first element of the list (keys)
   D        # duplicate list of keys
    Ù       # remove duplicates in the copy
     Q      # compare for equality
      ,     # explicitly print result

JavaScript (ES6), 45 38 Bytes

6 Bytes dank @Neil gespart

a=>a.some(([k,v])=>m[k]-(m[k]=v),m={})

Gibt falsebzw. truefür Funktionen und Nichtfunktionen zurück.

Dies funktioniert, indem ständig der alte Wert jeder Funktion ( m[k]) und m[k]=vder neue Wert ( der auch den neuen Wert speichert ) subtrahiert werden . Jedes Mal gibt es drei Fälle:

• Wenn es keinen alten Wert gab, wird m[k]zurückgegeben undefined. Subtrahieren Sie alles von den undefinedErgebnissen NaN, was falsch ist.
• Wenn der alte Wert der gleiche wie der neue ist, m[k]-vergibt sich 0, was falsch ist.
• Wenn der alte vom neuen Wert m[k]-vabweicht , wird eine ganze Zahl ungleich Null ausgegeben, was der Wahrheit entspricht.

Deshalb müssen wir nur sicherstellen, dass m[k]-(m[k]=v)das niemals wahr ist.

Mathematica, 24 Bytes

UnsameQ@@(#&@@@Union@#)&

Erläuterung: UnionLöscht doppelte Paare und ruft dann #&@@@das erste Element von jedem Paar ab (wie, First/@aber mit weniger Bytes). Wenn sich diese ersten Elemente wiederholen, bilden die Paare keine Funktion, die wir überprüfen UnsameQ.

(Dies könnte die höchste Dichte an @Zeichen in jedem Programm haben, das ich geschrieben habe ...)

R, 36 33 Bytes

function(k,v)any(v[match(k,k)]-v)

Probieren Sie es online!

anonyme Funktion; Gibt FALSEfür Funktionen und TRUEfür nicht zurück.

Dies wird geschlagen von ist endlich mit MickyTs Antwort verbunden! !

Bash + Coreutils, 17

sort -u|uniq -dw1

Die Eingabe erfolgt über STDIN. keyund valuesind Tabgetrennt und jedes Paar ist durch Zeilenumbrüche getrennt.

sortEntfernt die doppelten Schlüssel-Wert-Paare. uniq -dGibt nur Duplikate aus und gibt daher im Fall einer Funktion die leere Zeichenfolge und andernfalls eine nicht leere Zeichenfolge aus, wenn es doppelte Schlüssel gibt, die unterschiedlichen Werten zugeordnet sind.

Probieren Sie es online aus .

05AB1E , 9 Bytes

Code:

ãü-ʒ¬_}}Ë

Erläuterung:

ã            # Cartesian product with itself
 ü-          # Pairwise subtraction
   ʒ  }}     # Filter out elements where the following is not true:
    ¬_       #   Check whether the first digit is 0
        Ë    # Check if all equal

Verwendet die 05AB1E- Codierung. Probieren Sie es online!

Gelee , 6 Bytes

QḢ€µQ⁼

Probieren Sie es online!

Erläuterung

QḢ€µQ⁼
Q      - Remove duplicate pairs
 Ḣ€    - Retrieve the first element of each pair
   µ   - On the output of what came before..
     ⁼ - Are the following two equal (bit returned)?
    Q  - The output with duplicates removed
       - (implicit) the output.

Hier ist eine alternative Methode, ebenfalls 6 Bytes:

QḢ€ṢIẠ

Probieren Sie es online!

Anstatt zu testen Ṣ, ob doppelte Schlüssel entfernt wurden, Iwird hiermit sortiert ( ) und geprüft, ob der Unterschied zwischen den Begriffen ( ) wahr ist ( Ạ).

R , 95 66 Bytes

function(k,v)any(sapply(k,function(x){length(unique(v[k==x]))-1}))

29 Bytes dank Jarko Dubbeldam gespeichert.

Anonyme Funktion. Gibt aus, FALSEob eine Funktion und TRUEwenn nicht (sorry). Nimmt als Argumente eine Liste von Schlüsseln und eine Liste von Werten wie folgt.

> f(c(1,2,5,1,2),c(2,1,2,2,5))
[1] TRUE # not a function

Durchläuft alle Schlüssel und ermittelt die Länge des Satzes eindeutiger Werte für diesen Schlüssel. Wenn einer anyvon ihnen> 1 ist, kehre zurück TRUE.

Dies wird von MickyTs Antwort und auch von Giuseppe 's geschlagen. stimme einem von denen zu.

J-uby , 48 33 25 21 Bytes

-3 Bytes dank Jordanien!

:size*:==%[:to_h,~:|]

Erläuterung

:size*:==%[:to_h,~:|]

# "readable"
(:size * :==) % [:to_h, ~:|]

# transform :% to explicit lambda
->(x){ (:size * :==).(:to_h ^ x, ~:| ^ x)

# apply explicit x to functions
->(x){ (:size * :==).(x.to_h, x|x) }

# expand :* (map over arguments)
->(x){ :==.(:size.(x.to_h), :size.(x|x) }

# simplify symbol calls to method calls
->(x){ x.to_h.size == (x|x).size }

# :| is set union for arrays; x|x just removes duplicates, like :uniq but shorter
->(x){ x.to_h.size == x.uniq.size }

Erster Ansatz, 33 Bytes

-[:[]&Hash,:uniq]|:*&:size|:/&:==

Diese ist länger als die entsprechende Ruby-Lösung, aber es hat Spaß gemacht, sie zu erstellen.

Erklärungsversuch durch Umwandlung in Ruby:

-[:[]&Hash,:uniq]|:*&:size|:/&:==

# "readable"
-[:[] & Hash, :uniq] | (:* & :size) | (:/ & :==)                  

# turn into explicit lambda
->(x){ (:/ & :==) ^ ((:* & :size) ^ (-[:[] & Hash, :uniq] ^ x)) } 

# simplify expressions now that we have an explicit x
->(x){ :== / (:size * [Hash[x], x.uniq]) }                          

# translate to equivalent Ruby code
->(x) { [Hash[x], x.uniq].map(&:size).reduce(:==) }               

# simplify reduce over explicit array
->(x) { Hash[x].size == x.uniq.size }                             

Ich kann 2 Bytes mit einer neueren Version speichert durch Ersetzen :uniqmit~:|

V , 30 Bytes

Úç^¨.*©î±$/d
ÎwD
ç/HdG
Íî
Ò1lD

Probieren Sie es online!

Ausgänge 1für Funktionen und nichts für Nichtfunktionen.

Mathematica, 35 Bytes

(l=Length)@Union@#==l@<|Rule@@@#|>&

Reine Funktion, die eine Liste geordneter Paare als Eingabe und Rückgabe von Trueoder verwendet False. Nutzt die Tatsache aus, dass Union@#wiederholte geordnete Paare gelöscht werden, aber <|Rule@@@#|>(eine Assoziation) alle bis auf ein geordnetes Paar mit einem bestimmten ersten Element löscht. Wir können also einfach die Lengths der beiden Ausgänge vergleichen, um zu überprüfen, ob die Eingangsliste eine Funktion ist.

Gelee , 6 Bytes

nþ`ḄCȦ

Probieren Sie es online!

Wie es funktioniert

nþ`ḄCȦ  Main link. Argument: M (n×2 matrix)

nþ`     Construct the table of (a != b, c != d) with (a, b) and (c, d) in M.
   Ḅ    Unbinary; map (0, 0), (0, 1), (1, 0), (1, 1) to 0, 1, 2, 3 (resp.).
    C   Complement; map each resulting integer x to 1 - x.
     Ȧ  All; test if all resulting integers are non-zero.

CJam , 19 17 Bytes

2 Bytes gespart dank Martin Ender

0l~$2ew{:.=~!&|}/

Ausgänge 0für Funktionen und 1für Nichtfunktionen.

Probieren Sie es online!

Erläuterung

0                     e# Push a 0. We need it for later.
 l~                   e# Read and eval a line of input.
   $                  e# Sort it by the keys.
    2ew               e# Get all consecutive pairs of the sorted list.
       {              e# For each pair of pairs:
        :.=           e#  Check if the keys are equal and if the values are equal.
           ~!&        e#  Determine if the keys are equal AND the values are not equal.
              |       e#  OR with 0. If any pair indicates that the input is not a function,
                      e#  this will become 1 (and remain 1), otherwise it will be 0.
               }/     e# (end block)

APL (Dyalog) , 16 12 11 9 Bytes

(∪≡⊢)⊃¨∘∪

Probieren Sie es online!

Erläuterung

∪             Unique, remove duplicates; (3 5) (3 5) => (3 5)
¨∘            For each element
⊃             Pick the first sub element (3 5) (2 3) => 3 

 ≡            Check whether the arguments (listed below) are the same
  ⊢           The right argument
∪             And the right argument with duplicates removed

Druckt 0für falsch und 1für wahr

Eigentlich 4 Bytes

╔♂F═

Probieren Sie es online!

Erläuterung:

╔♂F═
╔     uniquify (remove duplicate pairs)
 ♂F   take first items in each pair (keys)
   ═  are all of the keys unique?

Brainfuck , 71 Bytes

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

Probieren Sie es online!

Die Eingabe erfolgt als flache Zeichenfolge. Dies ist beispielsweise der erste Testfall 35356444. Um die in der ursprünglichen Frage gezeigte Darstellung zu erhalten, fügen Sie dem Programm an den richtigen Stellen einfach insgesamt sechs Kommas hinzu.

Die Ausgabe erfolgt Ufür Funktionen und Vfür Nichtfunktionen.

Erläuterung

Für jeden ASCII-Codepunkt n wird f (n) in Zelle 2n + 1 gespeichert. Die Zellen 2n und 2n + 2 sind der Arbeitsbereich, und 0, 2, 4, 6, ... 2n-2 sind eine Spur von Semmelbröseln, die zur Zelle 0 zurückführen. Wenn sich herausstellt, dass die Eingabe keine Funktion ist, wird f ( 0) wird auf 1 gesetzt (unter verschiedenen Nebenwirkungen).

,                  input first key
[                  start main loop
 [-[->>+<<]+>>]    move to cell 2n, leaving a trail of breadcrumbs
 ,                 input value corresponding to current key
 >[                if key already has a value:
   [->+<<->]<      copy existing value, and compare to new value
   [<<]            if values are different, go to cell -2
   >               go back to cell 2n+1 (or -1 if mismatch)
 ]
 >[-<+>]           move existing value back to cell 2n+1 (NOP if no existing value, move the 1 from cell 0 to cell -1 if mismatch)
 <<[->+<]          copy new value to cell 2n+1 (NOP if there was already a value)
 +[-<<]>>          follow breadcrumbs back to cell 0 (NOP if mismatch)
 ,                 input next key
]                  (if mismatch, cell -2 becomes the next "cell 0", and the next key is also effectively changed by the breadcrumbs left lying around)
-[--->+<]>.        add 85 to cell 1 and output the result

Perl 6 , 38 Bytes

!*.unique(:as(~*)).repeated(:as(*[0]))

Versuch es

Pyth - 9 8 Bytes

ql.d{Ql{

Versuch es

Es funktioniert, indem alle wiederholten Paare zuerst entfernt werden ({Q); dann vergleicht es die Länge der Liste mit der Länge eines aus der Liste erstellten Wörterbuchs (wenn der gleiche x-Wert mehrmals vorkommt, verwendet der Wörterbuchkonstruktor nur den letzten, was dazu führt, dass das Wörterbuch kürzer als die Liste ist)

MATL , 12 Bytes

iFFvXu1Z)SdA

Die Eingabe ist eine Matrix mit zwei Spalten, wobei die erste Spalte der Schlüssel und die zweite der Wert ist.

Probieren Sie es online!

Erläuterung

i     % Input: 2-column matrix
FFv   % Postpend a row with two zeros. This handles the empty case
Xu    % Unique rows. This removes duplicate (key, value) pairs
1Z)   % Select first column, that is, key. We need to check if all
      % keys surviving at this point are different
S     % Sort
d     % Consecutive differences
A     % Are all values nonzero?

PHP, 49 Bytes

foreach($_GET as[$x,$y])($$x=$$x??$y)-$y&&die(n);

Druckt nichts für Funktionen und nfür Nichtfunktionen.

CJam , 14 11 9 Bytes

_&0f=__&=

Probieren Sie es online!

Übernimmt die Eingabe als Array von Schlüssel / Wert-Paaren auf dem Stapel, gibt zurück, 1ob die Eingabe eine Funktion ist, und 0wenn dies nicht der Fall ist .

Diese Lösung basiert auf dem Snippet _&, das ein Array desupliziert, indem es den festgelegten Schnittpunkt mit sich selbst nimmt. Ich mache das zweimal, zuerst bei der vollständigen Eingabe (um alle genau duplizierten Schlüssel / Wert-Paare zu entfernen) und dann nur bei den Schlüsseln (um zu sehen, ob nach der ersten Deduplizierung noch doppelte Schlüssel übrig sind).

Hier ist der vollständige Code mit Kommentaren:

_&           "remove duplicate key/value pairs from input";
  0f=        "remove the values, leaving only the keys";
     _       "make a copy of the array of keys";
      _&     "remove duplicate keys from the copy";
        =    "compare the de-duplicated key array with the original";

Ruby, 39 30 29 Bytes

Vielen Dank an @ValueInk für die Einsparung von 9 Bytes!

->x{Hash[x].size==(x|x).size}

Port von @ Rods Python 2 Antwort .