수학, 164 바이트

f={}
p:=Union@@f
i=Position[p,#][[1,1]]&
m:=Outer[Boole@MemberQ[f,{##}]&,p,p]
a=(#[[i@#2,i@#3]]/._@__->0)>0&
F=(f=#~Tuples~2~Join~f;)&
K=m~a~##&
S=a[m.m,##]&&!K@##&

세 가지 주요 기능 정의 F, S그리고 K원하는 행동. 예를 들어, 명령 순서

F@{David, Bob}
F@{Bob, Alex}
F@{Alex, Kitty}
F@{Daniel, David}
F@{David, Kit}
S[David, Alex]
S[Bob, Kitty]
S[David, Kitty]
S[David, Bob]
K[David, Bob]
F@{Kit, Kitty}
S[David, Kitty]

OP에 링크 된 이미지의 마지막 테스트 사례입니다. F명령은 어떤 출력 (단일 세미콜론이 지불 할 작은 가격을 보인다) 산출 여섯 개 동안 S및 K명령 수율

True
True
False
False
True
True

바라는대로.

어느 순간, f형태의 순서쌍의 목록입니다 알고 있지만, 몇 가지 요소에 나오는 사람들의 목록입니다 . 호출은 네 개의 순서쌍 추가 , , ,과 에 .{A, B}ABpfF@{A, B}{A, B}{B, A}{A, A}{B, B}f

또한, 언제든지 m기본 그래프의 인접 행렬이 있습니다 (사람은 자신과 모든 F라이더에 인접 해 있습니다 ). 행 및 열에 의해 색인 p및 i대응하는 행 / 열 번호에 사용자를 변환한다. 도우미 함수 a는 행렬과 두 사람을 입력으로 취하고 “좌표”가 두 사람인 행렬의 항목을 조회 True하여 숫자가 양수 False인지 0인지를 반환 합니다. ( a예를 들어 친구 선언 전에 KNOW 또는 SUGGEST 쿼리를하거나 친구가없는 가난한 사람에 대해 질문하는 경우) 입력 된 사람 중 하나가 아직 인식되지 않은 경우 호출 할 수도 있습니다 . 어쨌든 /._@__->0출력을 강제합니다 False.)

Calling K[A, B] therefore looks up whether m[A, B] is positive, which implements the Know verb. The matrix product m.m is the length-2-path matrix, containing the number of ways to go from one person to another along a path of length 2; this allows S[A, B] to implement the Suggest verb, as long as we additionally check by hand (&&!K@##) that the input people don’t already know each other.

Fun fact: for free, this implementation allows us to declare cliques of friends—the command F@{A, B, C, D} is equivalent to all of F@{A, B}, F@{A, C}, F@{A, D}, F@{B, C}, F@{B, D}, and F@{C, D} combined.

답변

F=[]
def s(f,c):c=set(c);r=c in F;return F.append(c)if f%2 else not r^(4 in[len(x|c)for x in F])if f else 2>len(c)or r

>>> F=[]
>>> def s(f,c):c=set(c);r=c in F;return F.append(c)if f%2 else not r^(4 in[len(x|c)for x in F])if f else 2>len(c)or r
...
>>> s(1,['A','B'])
>>> s(1,['A','C'])
>>> s(1,['B','D'])
>>> s(2,['A','B'])
False
>>> s(2,['A','D'])
True
>>> s(2,['C','D'])
False
>>> s(0,['D','B'])
True
>>> s(0,['D','C'])
False