Golf cho tôi một OOP!

Hai thành phần quan trọng của lập trình hướng đối tượng là kế thừa và thành phần. Cùng nhau, chúng cho phép tạo ra hệ thống phân cấp lớp đơn giản nhưng mạnh mẽ để giải quyết vấn đề. Nhiệm vụ của bạn là phân tích một loạt các câu lệnh về một hệ thống phân cấp lớp và trả lời các câu hỏi về hệ thống phân cấp.

Đầu vào

Một loạt các câu lệnh và câu hỏi về hệ thống phân cấp lớp, đọc từ tệp hoặc đầu vào tiêu chuẩn, tùy theo điều kiện nào là tốt nhất cho ngôn ngữ của bạn. Nếu bạn sử dụng tùy chọn tệp, tên tệp sẽ được chuyển làm đối số đầu tiên cho mã của bạn (đối số hàm hoặc đối số dòng lệnh, tùy theo bạn chọn). Định dạng như sau:

<statement> : <name> is a <name>. | <name> has a <name>.
<question> : Is <name> a <name>? | Does <name> have a <name>?
<name> : a-z | A-Z | sequence of alphanumerics or underscores, starting with a letter

Đầu vào sẽ luôn là câu lệnh, sau đó là câu hỏi. Tất cả các tên lớp sẽ bắt đầu bằng một chữ cái tiếng Anh viết hoa ( A-Z) và tất cả các tên thành viên sẽ bắt đầu bằng một chữ cái tiếng Anh viết thường ( a-z). Tất cả các tên đều phân biệt chữ hoa chữ thường - ABC123không cùng loại với Abc123.

Sẽ không có bất kỳ sự thừa kế theo chu kỳ nào - nếu Bđược thừa kế từ A, Asẽ không được thừa kế từ Bhoặc bất kỳ Bđứa con nào.

Chỉ tên lớp sẽ là một phần của hệ thống phân cấp - các câu lệnh như foo is a bar.hoặc document has a name.sẽ không xảy ra.

Đầu ra

Một loạt các giá trị trung thực hoặc falsey, dưới dạng câu trả lời cho các truy vấn, được ghi vào đầu ra tiêu chuẩn hoặc là giá trị trả về của hàm của bạn. Nếu bạn không có đủ thông tin để trả lời một câu hỏi (ví dụ: các câu hỏi liên quan đến tên mà bạn chưa thấy trong các tuyên bố), hãy trả lời với giá trị falsey.

Các trường hợp thử nghiệm

Trường hợp 1:

Đầu vào:

B is a A.
C is a B.
A has a foo.
Does B have a foo?
Is C a A?
Is D a A?

Đầu ra:

True
True
False

Trường hợp 2:

Đầu vào:

Cop is a Person.
Criminal is a Person.
Sheriff is a Cop.
Crooked_Cop is a Cop.
Crooked_Cop is a Criminal.
BankRobber is a Criminal.
Cop has a badge.
Criminal has a criminal_record.
Person has a name.
Is Crooked_Cop a Person?
Does Criminal have a name?
Is Crooked_Cop a BankRobber?
Does Person have a potato?
Is Cop a Cop?

Đầu ra:

True
True
False
False
True

Quy tắc

• Bạn có thể trả lời với một chức năng hoặc một chương trình
• Sơ hở tiêu chuẩn bị cấm
• Đây là môn đánh gôn , vì vậy câu trả lời đúng ngắn nhất bằng byte thắng
• Câu trả lời chiến thắng sẽ được chọn trong một tuần

Chúc may mắn, và có thể OOP sẽ ở bên bạn!

Bảng xếp hạng

Đoạn trích Stack ở cuối bài này tạo bảng xếp hạng từ các câu trả lời a) dưới dạng danh sách các giải pháp ngắn nhất cho mỗi ngôn ngữ và b) dưới dạng bảng xếp hạng tổng thể.

Để đảm bảo rằng câu trả lời của bạn hiển thị, vui lòng bắt đầu câu trả lời của bạn bằng một tiêu đề, sử dụng mẫu Markdown sau:

## Language Name, N bytes

nơi Nlà kích thước của trình của bạn. Nếu bạn cải thiện điểm số của mình, bạn có thể giữ điểm số cũ trong tiêu đề, bằng cách đánh bại chúng thông qua. Ví dụ:

## Ruby, <s>104</s> <s>101</s> 96 bytes

Nếu bạn muốn bao gồm nhiều số trong tiêu đề của mình (ví dụ: vì điểm của bạn là tổng của hai tệp hoặc bạn muốn liệt kê riêng các hình phạt cờ của thông dịch viên), hãy đảm bảo rằng điểm thực tế là số cuối cùng trong tiêu đề:

## Perl, 43 + 2 (-p flag) = 45 bytes

Bạn cũng có thể đặt tên ngôn ngữ thành liên kết sau đó sẽ hiển thị trong đoạn trích:

## [><>](http://esolangs.org/wiki/Fish), 121 bytes

<style>body { text-align: left !important} #answer-list { padding: 10px; width: 290px; float: left; } #language-list { padding: 10px; width: 290px; float: left; } table thead { font-weight: bold; } table td { padding: 5px; }</style><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="language-list"> <h2>Shortest Solution 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> <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> <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><script>var QUESTION_ID = 61097; var ANSWER_FILTER = "!t)IWYnsLAZle2tQ3KqrVveCRJfxcRLe"; var COMMENT_FILTER = "!)Q2B_A2kjfAiU78X(md6BoYk"; var OVERRIDE_USER = 45941; var answers = [], answers_hash, answer_ids, answer_page = 1, more_answers = true, comment_page; function answersUrl(index) { return "https://api.stackexchange.com/2.2/questions/" + QUESTION_ID + "/answers?page=" + index + "&pagesize=100&order=desc&sort=creation&site=codegolf&filter=" + ANSWER_FILTER; } function commentUrl(index, answers) { return "https://api.stackexchange.com/2.2/answers/" + answers.join(';') + "/comments?page=" + index + "&pagesize=100&order=desc&sort=creation&site=codegolf&filter=" + COMMENT_FILTER; } function getAnswers() { jQuery.ajax({ url: answersUrl(answer_page++), method: "get", dataType: "jsonp", crossDomain: true, success: function (data) { answers.push.apply(answers, data.items); answers_hash = []; answer_ids = []; data.items.forEach(function(a) { a.comments = []; var id = +a.share_link.match(/\d+/); answer_ids.push(id); answers_hash[id] = a; }); if (!data.has_more) more_answers = false; comment_page = 1; getComments(); } }); } function getComments() { jQuery.ajax({ url: commentUrl(comment_page++, answer_ids), method: "get", dataType: "jsonp", crossDomain: true, success: function (data) { data.items.forEach(function(c) { if (c.owner.user_id === OVERRIDE_USER) answers_hash[c.post_id].comments.push(c); }); if (data.has_more) getComments(); else if (more_answers) getAnswers(); else process(); } }); } getAnswers(); var SCORE_REG = /<h\d>\s*([^\n,<]*(?:<(?:[^\n>]*>[^\n<]*<\/[^\n>]*>)[^\n,<]*)*),.*?(\d+)(?=[^\n\d<>]*(?:<(?:s>[^\n<>]*<\/s>|[^\n<>]+>)[^\n\d<>]*)*<\/h\d>)/; var OVERRIDE_REG = /^Override\s*header:\s*/i; function getAuthorName(a) { return a.owner.display_name; } function process() { var valid = []; answers.forEach(function(a) { var body = a.body; a.comments.forEach(function(c) { if(OVERRIDE_REG.test(c.body)) body = '<h1>' + c.body.replace(OVERRIDE_REG, '') + '</h1>'; }); var match = body.match(SCORE_REG); if (match) valid.push({ user: getAuthorName(a), size: +match[2], language: match[1], link: a.share_link, }); else console.log(body); }); valid.sort(function (a, b) { var aB = a.size, bB = b.size; return aB - bB }); var languages = {}; var place = 1; var lastSize = null; var lastPlace = 1; valid.forEach(function (a) { if (a.size != lastSize) lastPlace = place; lastSize = a.size; ++place; var answer = jQuery("#answer-template").html(); answer = answer.replace("{{PLACE}}", lastPlace + ".") .replace("{{NAME}}", a.user) .replace("{{LANGUAGE}}", a.language) .replace("{{SIZE}}", a.size) .replace("{{LINK}}", a.link); answer = jQuery(answer); jQuery("#answers").append(answer); var lang = a.language; lang = jQuery('<a>'+lang+'</a>').text(); languages[lang] = languages[lang] || {lang: a.language, lang_raw: lang.toLowerCase(), user: a.user, size: a.size, link: a.link}; }); var langs = []; for (var lang in languages) if (languages.hasOwnProperty(lang)) langs.push(languages[lang]); langs.sort(function (a, b) { if (a.lang_raw > b.lang_raw) return 1; if (a.lang_raw < b.lang_raw) return -1; return 0; }); for (var i = 0; i < langs.length; ++i) { var language = jQuery("#language-template").html(); var lang = langs[i]; language = language.replace("{{LANGUAGE}}", lang.lang) .replace("{{NAME}}", lang.user) .replace("{{SIZE}}", lang.size) .replace("{{LINK}}", lang.link); language = jQuery(language); jQuery("#languages").append(language); } }</script>

CJam, 59 byte

q_'.e=\N/{)'?=\S/>_,(%}%/(__,*{(2$z~@f=.*\m*|}/ff{1$e=>:=N}

Điều này kết thúc ngay lập tức cho cả hai trường hợp thử nghiệm.

Nó hoặc in tên tên thứ hai của câu hỏi hoặc 1(cả hai sự thật), hoặc 0(giả).

Hãy thử trực tuyến trong trình thông dịch CJam .

Ý kiến

Do sự khác biệt giữa các lớp và các thành viên, thử thách tập trung vào việc tạo ra một thứ tự mà đầu vào cung cấp một định nghĩa một phần.

Chúng tôi xác định rằng x ≺ y iff x là một y hoặc x có một y .

Đối với trường hợp thử nghiệm đầu tiên, các tiểu bang đầu vào B ≺ Một , C ≺ B và A ≺ foo . Bởi vì bắc cầu, chúng tôi cũng có B ≺ foo , C ≺ Một và Một ≺ foo . Ngoài ra, vì tính phản xạ, x ≺ x luôn luôn đúng.

Do đó, đối với một đầu vào nhất định, do đó chúng tôi có thể trích xuất định nghĩa một phần của ≺ từ các câu lệnh, áp dụng độ xuyên sáng đủ số lần để hoàn thành định nghĩa và cuối cùng trả lời các câu hỏi.

Mã

q_     e# Push all input from STDIN and a copy.
'.e=   e# Count the number of dots/statements (C).
\N/    e# Split the original input at linefeeds.
{      e# For each line:
  )'?= e#   Pop the last character and check if it is a question mark.
       e#   Pushes 1 for '?', 0 for '.'.
  \S/  e#   Split the modified line at spaces.
  >    e#   Remove the first chunk ("Does" or "Is") for questions.
  _,(% e#   Keep the first and last element of the resulting array.
}%/    e# Split the line array into chunks of length C.
(_     e# Extract the first chunk (statements) and push a copy.
       e# The original becomes an accumulator for ≺.
_,*    e# Repeat the statements C times.
{      e# For each of the repeated statements:
  (    e#   Shift out the first name.
       e#     ["w" "x"] -> ["x"] "w"
  2$z~ e#   Copy the accumulator, zip it and dump.
       e#     [["x" "y"] ["z" "w"]] -> ["x" "z"] ["y" "w"]
  @f=  e#   Rotate the shifted out name on top and check for equality.
       e#     ["y" "w"] "w" -> [0 1]
  .*   e#   Vectorized string repetition.
       e#     ["x" "z"] [0 1] -> ["" "z"]
  \m*  e#   Swap the result with the shifted array and apply Cartesian product.
       e#     ["" "z"] ["x"] -> [["" "x"] ["z" "x"]]
       e#   This accounts for transitivity; we had ["w" "x"] and ["z" "w"],
       e#   so now we have ["z" "x"].
  |    e#   Perform set union with the accumulator to add the new pairs.
}/     e#
ff{    e# For each of the questions on the bottom of the stack.
  1$e= e#   Count the occurrences of the question pair in the accumulator.
  >    e#   Remove 0 or 1 elements from the question pair.
  :=   e#   Check for equality.
       e#   If the question pair occurs in the accumulator, this pushes the
       e#   second name of the question pair. Otherwise, it pushes 1 if the
       e#   names are equal (to account for reflexivity) and 0 otherwise.
  N    e#   Push a linefeed.
}      e#

Python 3, 431 331 308 byte

o={}
f={}
def h(z,f):
 if z not in o:f[z]=[z];o[z]=[]
while 1:
 g=input().split(' ');r=2;l=g[-1][:-1]
 if'.'in g[3]:
  if'i'in g[1]:h(g[0],f);h(l,f);f[g[0]]+=f[l]
  if'h'in g[1]:o[g[0]]+=l,
 else:
  if'I'in g[0]:r=any(l in z for z in f[g[1]])
  if'D'in g[0]:r=any(l in o[z] for z in f[g[1]])
 if r<2:print(r)

Đây là phiên bản đầy đủ với ý kiến

objects = {}
synonyms = {}

def createObject(name):
    """
    Create a object with `name` if is does not yet exist and start a synonym tree.
    """
    if name not in objects:
        synonyms[name] = [name]
        objects[name] = []

# use this to read from a file
# with open("questions.txt") as file: 
#     for l in file:
        # print(">>> " + l, end='')
        # inArg = l.replace("\n","").split(" ")


while True: # to read from a file comment this
        inArg = input(">>> ").split(" ") # and this out

        out = -1

        if '.' in inArg[3]: # statement
            last = inArg[3].replace('.','')

            if 'i' in inArg[1]: # is a
                createObject(inArg[0])
                createObject(last)
                synonyms[inArg[0]] += synonyms[last]

            if 'h' in inArg[1]: # has a
                objects[inArg[0]] += [last]

        else:# question
            last = inArg[-1].replace('?','')

            createObject(inArg[1])
            if 'I'in inArg[0]: # Is a
                out = any([last in syn for syn in synonyms[inArg[1]]])

            if 'D'in inArg[0]: # Does have a
                out = any(last in objects[syn] for syn in synonyms[inArg[1]])

        if out != -1:
            print(out)

Đầu ra cho trường hợp thử nghiệm # 1:

True
True
False

Trường hợp 2

True
True
False
False
True

_{Tôi đã xóa các lệnh gỡ lỗi cho rõ ràng trong chương trình chính, nhưng nếu bạn muốn thấy chúng chỉ cần nhìn vào lịch sử}

Haskell, 157 byte

o s=v(x 0#k)#(x 1#q)where(k,q)=break((=='?').l.l)(words#lines s)
x n w=(w!!n,init$l w)
v k(a,c)=a==c||or[v k(b,c)|b<-snd#(filter((==a).fst)k)]
(#)=map
l=last

Đưa chuỗi cho o. Không chắc chắn nếu các phần tử tạo xvà v('giải nén' và 'xác minh') cắt giảm nhiều hơn so với việc tạo mapmột phần tử, hoặc nếu cả hai đều có thể.

EDIT: Giải thích

Vì vậy, (#)là cách bạn xác định một toán tử infix, tôi sử dụng nó như một cách viết tắt map, áp dụng một hàm cho từng thành phần của danh sách. Giải quyết bí danh này và các bí danh khác l, tránh toán tử 'ứng dụng chức năng trực tiếp' $và thêm nhiều dấu ngoặc đơn và khoảng cách mọi thứ, và với tên hàm thực chúng ta đến:

oop string = map (verify (map (extract 0) knowledge)) (map (extract 1) questions)
 where (knowledge,questions) = break ((=='?').last.last) (map words (lines string))

extract n wordlist = (wordlist!!n,init (last wordlist))

verify knowledge (a,c) = (a==c)
               || or [verify knowledge (b,c) | b <- map snd (filter ((==a).fst) knowledge)]

map words (lines string) là danh sách các danh sách từ của từng dòng trong chuỗi đầu vào.

(=='?').last.last là một vị ngữ cho biết liệu chữ cái cuối cùng trong từ cuối cùng của dòng có phải là dấu hỏi hay không, tức là dòng đó có phải là câu hỏi hay không.

break phá vỡ danh sách trong một bộ của phần đầu tiên mà không có câu hỏi (tất cả các câu) và phần từ câu hỏi đầu tiên trên (tất cả các câu hỏi).

mapping extract ntrên những từ này lấy ra từ mỗi danh sách các yếu tố chúng ta thực sự muốn, từ nthứ nhất (trong câu lệnh là từ đầu tiên - vì vậy n == 0, và trong câu hỏi là từ thứ hai - vì vậy n == 1) sử dụng !!toán tử và từ cuối cùng, từ đó chúng ta phải cắt chữ cái cuối cùng ( '.'hoặc '?') bằng cách sử dụng init.

(Lưu ý rằng tôi hoàn toàn bỏ qua viết hoa, đó là vì tôi hoàn toàn bỏ qua sự phân biệt giữa các lớp và các thành viên, các thành viên chỉ là những chiếc lá được xây dựng bởi cơ sở tri thức (nhưng không phải tất cả các lá đại diện cho các thành viên, chúng cũng có thể là các lớp không có lớp con cũng không phải thành viên ), trong đó mỗi nút con đại diện cho một lớp con hoặc thành viên của nút cha mẹ của nó đại diện cho điều gì. TÔI CHỈ THỰC HIỆN ĐÂY LÀ MỘT ĐIỀU SAU ĐỂ LÀM trong trường hợp không được OP đề cập. Sẽ sớm chỉnh sửa giải pháp.)

Bây giờ, map (extract 0) knowledgevà map (extract 1) questionslà danh sách các bộ tên đại diện cho mối quan hệ lớp con hoặc thành viên của mối quan hệ thứ nhất với thứ hai.

Các bộ dữ liệu trong map (extract 0) knowledgetất cả các mối quan hệ thực sự, những bộ trong map (extract 1) questionshiện được ánh xạ verifyhàm, với đối số đầu tiên được đặt thành map (extract 0) knowledge.

(Từ bây giờ, bên trong verify, knowledgelà một tên tham số và đề cập đến extractdanh sách tuple đã ed.)

(Ngoài ra, khi đọc verify, hãy lưu ý rằng trong khi ||(sau khi ngắt dòng không liên tục để tránh cuộn ngang trên SE) là một sự phân biệt boolean bình thường giữa trường hợp 'phản xạ' và 'đệ quy', hãy orgập nó qua danh sách, nghĩa là kiểm tra nếu có danh sách thành phần là đúng.)

Bây giờ, một mối quan hệ rõ ràng là chính xác nếu nó là phản xạ. Nói đúng ra, không, một potatokhông có một potato(và nó không phải là ngay cả một theo nghĩa 'là' được sử dụng ở đây, như trong 'A Cop là một Cop'), nhưng đó mới chỉ là điều kiện chấm dứt mà bao gồm tất cả các mối quan hệ sau đi xuống cây (không giống như trong trường hợp cây thật có nghĩa là 'hướng về phía những chiếc lá').

Trong tất cả các trường hợp khác, chúng tôi cố gắng lấy một tuple từ knowledge(sau khi chúng tôi chỉnh filtersửa để đảm bảo rằng chúng tôi chỉ nhìn thấy các cặp có cùng yếu tố đầu tiên mà chúng tôi muốn kiểm tra) và tiếp tục từ nơi nó chỉ đến. Việc hiểu danh sách liên quan đến tất cả các bộ dữ liệu có thể để tiếp tục và gọi verifylại trong mỗi trường hợp. Một ngõ cụt sẽ chỉ có một danh sách trống ở đây và trả về falsetổng thể, và do đó không ảnh hưởng đến thể hiện của verifynó được gọi bởi.

JavaScript, 265 263 byte

for(o={};i=prompt().split(/\W/);)a=i[0],b=i[1],d=i[2],b=="is"?((o[a]=o[a]||{p:[],k:{}}).p.push(d),o[d]=o[d]||{p:[],k:{}}):b=="has"?o[a].k[d]=1:alert(o[b]&&(a>"E"?b==d|(c=n=>~(p=o[n].p).indexOf(d)|p.some(c))(b):(c=n=>o[n].k.hasOwnProperty(i[4])|o[n].p.some(c))(b)))

Nhập một chuỗi trống để thoát.

Giải trình

for(
  o={};                               // o = all objects
  i=prompt().split(/\W/);             // i = command as an array of words
)
  a=i[0],                             // a = first word
  b=i[1],                             // b = second word
  //c=i[2],                           // c = third word
  d=i[3],                             // b = fourth word
  //e=i[4],                           // e = fifth word

  // Case: <name> is a <name>.
  b=="is"?(
    (o[a]=o[a]||{p:[],k:{}})          // create the object if it does not exist
      .p.push(d),                     // add the parent to the object's list of parents
    o[d]=o[d]||{p:[],k:{}}            // create the parent if it does not exist
  ):

  // Case: <name> has a <name>.
  b=="has"?
    o[a].k[d]=1                       // set the specified property

  :
  alert(                              // display the responses to the questions
    o[b]                              // false if the queried object does not exist
    &&(

      // Case: Is <name> a <name>?
      a>"E"?                          // "Is" > "E" and "Does" < "E"
        b==d                          // check if it is itself
        |(c=n=>
          ~(p=o[n].p)                 // p = direct parents of current object
            .indexOf(d)               // check direct parents for the object
          |p.some(c)                  // check the grandparents
        )(b)

      // Case: Does <name> have a <name>?
      :
        (c=n=>
          o[n].k.hasOwnProperty(i[4]) // check if this object has the property
          |o[n].p.some(c)             // check it's parents for the property also
        )(b)
    )
  )