Давши список (key, value)пар, визначте, чи представляє вона функцію, тобто кожен ключ відображає на послідовне значення. Іншими словами, коли два записи мають рівні ключі, вони також повинні мати однакові значення. Повторні записи в порядку.

Наприклад:

# 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)]

Введення: Впорядкована послідовність (key, value)пар за допомогою цифр від 1 до 9. Можливо, вам не знадобиться певне замовлення. Ви також можете взяти список ключів та список значень як окремі входи.

Вихід: Послідовне значення для функцій та інше послідовне значення для не функцій.

Тестові приклади: перші 5 входів - це функції, останні 5 - ні.

[(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)]

Ось вони є двома списками входів:

[[(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)]]

Табло:

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 байти

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

Спробуйте в Інтернеті!

Створює словник та набір із вхідних даних та порівнює їх довжину.
Словники не можуть мати дублюваних ключів, тому всі незаконні (і повторні) значення видаляються.

Haskell, 36 байт

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

Спробуйте в Інтернеті!

Зовнішня (-> (k,v)) та внутрішня (-> (m,n)) петля над парами та щоразу k==mзбирайте значення істинності v==n. Перевірте, чи всі правдиві.

Брахілог , 5 4 байти

dhᵐ≠

Спробуйте в Інтернеті!

Повна програма. Наскільки я можу сказати, причиною того, що це побиття більшості інших мов для гри в гольф, є те, що ≠це вбудований в Брахілог, тоді як для більшості інших мов для гольфу потрібно його синтезувати.

Пояснення

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

Як повноцінна програма, ми отримуємо, trueякщо твердження вдалося, або falseякщо воно не вдалося .

Pyth , 5 байт

Я дуже задоволений цим.

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

Спробуйте в Інтернеті!

Сітківка , 25 байт

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

Спробуйте в Інтернеті!

Формат вводу є {k,v},{k,v},.... Друкується 0для функцій та 1для нефункцій. Я міг би зберегти два байти, використовуючи рядки каналів замість коми у форматі введення, але це зіпсовано.

Брахілог , 13 байт

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

Спробуйте в Інтернеті!

Пояснення

¬{          }      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 байт

1Z?gs2<A

Вхідними даними є: масив з values, а потім масив з keys.

Вихід призначений 1для функцій, 0інакше.

Спробуйте в Інтернеті! . Або перевірити всі тестові випадки .

Пояснення

1Z?

Побудовує розріджену матрицю. Спочатку всі записи містять 0; і 1додаються до кожного запису (i, j)де jі iє вхідними key, valueпаром.

g

Матриця перетворюється на логічну; тобто записи, що перевищують 1(відповідають дублікатам key, valueпарам), встановлюються 1.

s

Обчислюється сума кожного стовпця. Це кількість різних values для кожного key.

2<A

Функція матиме всі такі суми менше, ніж 2.

R, 33 байти

Це моя версія для Р. Це використовує aveфункцію. Я дозволив ввести порожній введення, встановивши за замовчуванням параметри ключа та значення. aveвиробляє середнє значення для кожної з клавіш. На щастя, це повертає засоби в тому ж порядку, що і вхідні значення, тому порівняння з вхідним сигналом вказуватиме, чи є різні значення. Повертає, TRUEякщо це функція.

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

Спробуйте в Інтернеті!

05AB1E , 11 9 7 байт

Збережено 2 байти завдяки kalsowerus .

Ùø¬DÙQ,

Спробуйте в Інтернеті!

Пояснення

Ù           # 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 байт

Збережено 6 байт завдяки @Neil

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

Повертає falseабо trueдля функцій, і не функцій відповідно.

Це працює, постійно віднімаючи старе значення кожної функції ( m[k]) і нове ( m[k]=vяке також зберігає нове значення). Щоразу трапляються три випадки:

• Якщо старого значення не було, m[k]повертається undefined. Віднімання будь-чого з undefinedрезультатів у NaN, що є помилковим.
• Якщо старе значення таке ж , як на новий, m[k]-vпризводить 0, що falsy.
• Якщо старе значення відрізняється від нового, то m[k]-vвиходить ненульове ціле число, яке є правдою.

Тому ми просто повинні переконатися, що m[k]-(m[k]=v)це ніколи не є правдою.

Математика, 24 байти

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

Пояснення: Unionвидаляє повторювані пари, потім#&@@@ отримує перший елемент від кожної пари (як, First/@але з меншою кількістю байтів). Якщо в цих перших елементах є якесь повторення, пари не роблять функції, яку ми перевіряємо UnsameQ.

(Це може мати найвищу щільність @символів у будь-якій програмі, про яку я писав…)

R, 36 33 байт

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

Спробуйте в Інтернеті!

анонімна функція; повертає FALSEдля функцій, а TRUEне для.

Це побиття, нарешті, пов'язане з відповіддю MickyT! !

Bash + coreutils, 17

sort -u|uniq -dw1

Введення даних здійснюється через STDIN. keyі valueякі Tabрозділені і кожна пара є новим рядком з роздільниками.

sortвидаляє повторювані пари ключ-значення. uniq -dвиводить лише дублікати, і таким чином виводить порожню рядок у випадку функції, а непусту рядок інакше - коли є дублікати ключів, які відображають різні значення.

Спробуйте в Інтернеті .

05AB1E , 9 байт

Код:

ãü-ʒ¬_}}Ë

Пояснення:

ã            # 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

Використовує кодування 05AB1E . Спробуйте в Інтернеті!

Желе , 6 байт

QḢ€µQ⁼

Спробуйте в Інтернеті!

Пояснення

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.

Ось альтернативний метод, також 6 байт:

QḢ€ṢIẠ

Спробуйте в Інтернеті!

Замість тестування з видаленням повторюваних ключів, це сортує ( Ṣ) і перевіряє, чи різниця між термінами ( I) є всім truthy ( Ạ)

R , 95 66 байт

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

Збережено 29 байт завдяки Ярко Дуббелдам.

Анонімна функція. Виходи, FALSEякщо функція, а TRUEякщо ні (вибачте). В якості аргументів приймає список ключів і список значень, як це.

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

Прокручує всі клавіші і схоплює довжину набору унікальних значень для цього ключа. Якщоany з них> 1, поверніться TRUE.

Це побито відповіддю Мікі , а також Джузеппе . підтримати одне з них.

J-uby , 48 33 25 21 байт

-3 байти завдяки Йорданії!

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

Пояснення

: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 }

Перший підхід, 33 байти

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

Це довше, ніж еквівалентне рішення Ruby, але це було цікаво зробити.

Спроба пояснення шляхом перетворення на 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 }                             

Я міг би зберегти 2 байти з новою версією, замінивши :uniqна~:|

V , 30 байт

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

Спробуйте в Інтернеті!

Виходи 1для функцій і нічого для нефункцій.

Математика, 35 байт

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

Чистий функція приймає список упорядкованих пар в якості вхідних даних і повернення Trueабо False. Експлуатує той факт, що Union@#видаляє повторні впорядковані пари, але <|Rule@@@#|>(асоціація) видаляє всі, крім однієї впорядкованої пари, з певним першим елементом. Таким чином, ми можемо просто порівняти Lengths з двох виходів, щоб перевірити, чи є список входів функцією.

Желе , 6 байт

nþ`ḄCȦ

Спробуйте в Інтернеті!

Як це працює

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 байт

Збережено 2 байти завдяки Мартіну Ендеру

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

Виходи 0для функцій і 1для нефункцій.

Спробуйте в Інтернеті!

Пояснення

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 байт

(∪≡⊢)⊃¨∘∪

Спробуйте в Інтернеті!

Пояснення

∪             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

Друкується 0за помилкові та 1правдиві

Власне , 4 байти

╔♂F═

Спробуйте в Інтернеті!

Пояснення:

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

мозковий ебать , 71 байт

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

Спробуйте в Інтернеті!

Введення приймається як плоский рядок: наприклад, перший тестовий випадок був би 35356444 . Щоб представлення відображалось в оригінальному запитанні, просто додайте до програми шість коми в потрібних точках.

Вихід призначений Uдля функцій таV для нефункціональних функцій.

Пояснення

Для будь-якої кодової точки ASCII n, f (n) зберігається у комірці 2n + 1. Клітини 2n і 2n + 2 - це робочий простір, а 0, 2, 4, 6, ... 2n-2 - це хлібні сухарі, які ведуть назад до комірки 0. Коли доведено, що вхід не є функцією, f ( 0) встановлюється на 1 (серед різних побічних ефектів).

,                  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 байт

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

Спробуй це

Pyth - 9 8 байт

ql.d{Ql{

Спробуй це

Це працює, спочатку видаляючи повторювані пари ({Q); потім він порівнює довжину списку з довжиною словника, створеного зі списку (якщо одне і те ж значення трапляється більше одного разу, конструктор словника використовує лише останнє, в результаті чого словник коротший за список)

MATL , 12 байт

iFFvXu1Z)SdA

Вхід - матриця з двома стовпцями, де перший стовпець є ключовим, а другий - значенням.

Спробуйте в Інтернеті!

Пояснення

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 байт

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

Не друкує нічого для функцій та nдля нефункцій.

CJam , 14 11 9 байт

_&0f=__&=

Спробуйте в Інтернеті!

Приймає введення як масив пар ключів / значень на стеку, повертається, 1якщо введення є функцією, а 0якщо ні.

Це рішення засноване на фрагменті _& , який дедублює масив, приймаючи заданий перетин його із собою. Я роблю це двічі, спочатку на повному введенні (щоб позбутися будь-яких точно дублюються пар ключів / значень), а потім лише на клавішах (щоб побачити, чи є ще дублікати ключів після першого дедуплікації).

Ось повний код із коментарями:

_&           "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";

Рубі, 39 30 29 байт

Дякуємо @ValueInk за збереження 9 байт!

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

Порт @ Rod's відповідь Python 2 .