Sind die beiden Sätze gleich?

9

{}ist die leere Menge. Sie können verwenden ()oder []wenn Sie möchten.

Wir werden "set" nicht rigoros definieren, aber alle Sets erfüllen die folgenden Eigenschaften:

Mengen folgen der üblichen mathematischen Struktur. Hier sind einige wichtige Punkte:

  • Sets werden nicht bestellt.
  • Kein Satz enthält sich selbst.
  • Elemente sind entweder in einer Menge oder nicht, dies ist boolesch. Daher können Mengenelemente keine Multiplizitäten haben (dh ein Element kann nicht mehrmals in einer Menge enthalten sein.)
  • Elemente einer Menge sind ebenfalls Mengen und {}sind das einzige primitive Element.

Aufgabe

Schreiben Sie ein Programm / eine Funktion, die bestimmt, ob zwei Sätze gleich sind.

Eingang

Zwei gültige Mengen über stdin oder Funktionsargument. Das Eingabeformat ist im Rahmen der Vernunft locker.

Einige gültige Eingaben sind:

{} {{}}
{{},{{}}} {{{{{},{{}}}}}}
{{},{{},{{}}}} {{{},{{}}},{{{{{},{{}}}}}}}

Ungültige Eingaben:

{{} {}              Brackets will always be balanced.
{{},{}} {}          Set contains the same element twice

Ausgabe

Ein wahrer Wert, wenn die Eingaben gleich sind, andernfalls falsch.

Testfälle

Ihre Einreichung sollte für alle gültigen Eingaben korrekt sein, nicht nur für die Testfälle. Diese können jederzeit aktualisiert werden.

Wahrheit:

{} {}
{{},{{}}} {{{}},{}}
{{},{{},{{{}},{}}}} {{{{},{{}}},{}},{}}

Falsch:

{} {{}}
{{},{{},{{{}},{}}}} {{{{}}},{},{{}}}
{{},{{}},{{{}}},{{},{{}}}} {}

Wertung

Code-Golf

Zusätzliche Regeln

Es wurde eine zusätzliche Regel hinzugefügt, die ungeordnete iterierbare Typen insgesamt verbietet. Sie sind zu häufig und trivialisieren diese Herausforderung viel zu sehr. Fühlen Sie sich frei, Antworten zu hinterlassen, die dies verletzen. Bitte geben Sie einfach an, dass sie vor der Regeländerung gemacht wurden.

code-golf  decision-problem  balanced-string 
— Liam
quelle
Kann eine Sprache mit einem verschachtelbaren Mengen-Typ nur die Gleichheit überprüfen?
— xnor
@xnor Built-Ins sollten faires Spiel sein, ja
— Liam
1
@Dennis gut, obwohl dies eine "Balanced-String" -Herausforderung ist, habe ich es nie wirklich als Parsing-Herausforderung angesehen. Aber jetzt, wo ich darüber nachdenke, indem ich davon ausgehe, dass alle Eingaben gültig sind, habe ich es zu einer Art Parsing-Herausforderung gemacht. Ich denke du hast recht. Genug Sprachen haben wahrscheinlich die Idee einer ungeordneten Liste, die dies trivialisieren würde.
— Liam
1
Ich werde mit jeder Entscheidung, die Sie treffen, einverstanden sein. Persönlich, obwohl ich denke, dass die Verwendung von Sets irgendwie immer noch kreativ sein kann, ohne die Herausforderung zu trivialisieren (wie meine Julia-Antwort, die ein verschachteltes Array rekursiv in ein verschachteltes Set konvertiert), macht das Zulassen verschachtelter Sets als Eingabe das Ganze etwas zu einfach ( ==in Julia, 2 Bytes, frozenset.__eq__in Python 16 Bytes usw.).
— Dennis
8
See the comments for an explanation. Bitte tu das nicht. Kommentare sind flüchtig und verschwinden sehr leicht, so dass wichtige Sutff in den
— Katze

Antworten:

3

Brachylog , 8 Bytes

{p:1a.}.

Dies erwartet Klammern in Eingabe und Ausgabe.

Beispielsweise: 

?- run_from_atom('{p:1a.}.', [[]:[[]]], [[[]]:[]]).
true .

Erläuterung

{     }.   True if the predicate inside brackets is true with input Input and output Output

 p          Unify an implicit variable with a permutation of Input
  :1a       Apply this same predicate to each element of that implicit variable
     .      True if Output can be unified with the resulting list
— Fatalisieren
quelle
2

Mathematica, 16 Bytes

Equal@@Sort//@#&

Eine unbenannte Funktion, die eine Liste erwartet, die beide Mengen enthält, z

Equal@@Sort//@#& @ {{{}, {{}}}, {{{}}, {}}}

Wir verwenden //@( MapAll), um die Mengen auf jeder Ebene zu sortieren und dann zu behaupten, dass die Ergebnisse gleich sind.

— Martin Ender
quelle
2

JavaScript (ES6), 42 Byte

f=(a,b,g=a=>0+a.map(g).sort()+1)=>g(a)==g(b)

Akzeptiert Eingaben mit []s z f([[],[[]]],[[[]],[]]). Konvertiert die Arrays in Strings und sortiert sie dann von innen nach außen. 0und 1werden verwendet , weil sie kürzer als '['und ']', so zum Beispiel g([[[]],[]])ist 001,00111die darstellt [[],[[]]].

— Neil
quelle
Sie verwenden keine Rekursion, so dass Sie es anonym machen können
— Bálint
Warum ist das 0+da?
— Bálint
@ Bálint Denn ohne das 0+und +1alles was ich bekommen würde sind Kommas.
— Neil
@ Bálint Ich weiß nicht, warum ich vergessen habe, das zu entfernen f=, ich habe es nicht in die Anzahl der Bytes aufgenommen und ich bin zu faul, um den Beitrag nur dafür zu bearbeiten.
— Neil
2

Python 2, 49 Bytes

f=lambda x:sorted(map(f,x))
lambda a,b:f(a)==f(b)

Beispiel: Aufruf der anonymen Funktion g:

>>> g( [[],[[]]] , [[[]],[]] )
True
— Lynn
quelle
g([[],[[],[]],[[],[[]]],[[]],[[[]]]], [[[],[]],[[[]],[]],[[]],[[[]]],[]])gibt zurück False, aber die Mengen sind gleich. Dies sollte vor dem Sortieren durch Zuordnung behoben werden.
— Dennis
2

Prolog (SWI) , 37 Bytes

X+Y:-permutation(X,Z),maplist(+,Z,Y).

Probieren Sie es online aus!

Nimmt Eingaben als verschachtelte Listen auf, dh mit eckigen Klammern anstelle von geschweiften Klammern. Ursprünglich war dies der X+Y:-sort(X,M),sort(Y,N),maplist(+,M,N).Fall, aber dann habe ich versucht, die Antwort von Fatalize auf Brachylog v1 zu übersetzen, und es stellte sich heraus, dass sie 3 Byte kürzer war.

X+Y :-                    X+Y succeeds when
    permutation(X, Z),    for some permutation Z of X
    maplist(+, Z, Y).     + succeeds for every pair in Z zipped with Y.
                          (where maplist will succeed without the recursive call to + for
                          two empty lists, and fail if the lists have different lengths)

Es kann stattdessen geschweifte Klammern verarbeiten, für 23 weitere Bytes:

Prolog (SWI) , 60 Bytes

{A}*C:-A=..[,|B],sort(B,C).
X+Y:-X=Y;X*M,Y*N,maplist(+,M,N).

Probieren Sie es online aus!

*Hier wird ein (nicht leerer, daher der X=Y;) Klammerbegriff auf seiner rechten Seite in eine Liste der Elemente des Begriffs konvertiert und dann auf seiner linken Seite sortiert.

{A}*C :-            X*C succeeds when X is the brace term containing A
    A =.. [,|B],    where A is a comma-tuple and B is a list of its elements,
    sort(B, C).     and C is B sorted.

Da beide Argumente bereits +durchlaufen werden *, spart das Einfügen von sortin *7 Bytes gegenüber der Verwendungpermutation in +.

Und schließlich ist hier eine Version, die die Eingabelisten behandelt, die möglicherweise doppelte Elemente enthalten. Dies hat mich dazu inspiriert, zunächst eine Lösung in Prolog zu schreiben:

Prolog (SWI) , 57 Bytes

X+Y:-X/Y,Y/X.
X/Y:-maplist(-(Y),X).
Y-E:-member(F,Y),E+F.

Probieren Sie es online aus!

X+Y :-                   X+Y succeeds when
    X/Y, Y/X.            X/Y and Y/X succeed.
X/Y :-                   X/Y succeeds when
    maplist(-(Y), X).    for every element E of X, Y-E succeeds
                         (or when X is empty).
Y-E :-                   Y-E succeeds when
    member(F, Y),        there exists some element F of Y
    E+F.                 such that E+F succeeds.

X/YErklärt im Wesentlichen, dass X eine Teilmenge von Y ist, indem deklariert wird, dass für jedes Element von X ein gleiches Element von Y vorhanden ist, X/Y,Y/Xund dass X und Y gleiche Mengen sind.

— Nicht verwandte Zeichenfolge
quelle
Und jetzt brauche ich Schlaf
— Unrelated String
2

APL (NARS2000), 4 Bytes

≡⍦

⍦ ist der Multiset-Operator, der Funktionen so ändert, dass ihre Argumente als Mengen anstelle von Listen behandelt werden
≡ ist die Äquivalenzfunktion, die einen Booleschen Wert zurückgibt, der angibt, ob die Argumente in Wert und Form vollständig äquivalent sind

Zu der zusätzlichen Regel: Beachten Sie, dass diese Antwort keinen ungeordneten festgelegten Datentyp verwendet, sondern nur normale Listen (die mehrere identische Elemente enthalten können). Es behandelt nur sie nur als Sets.

Die Byteanzahl beträgt 4, da NARS2000 ausschließlich UCS-2 verwendet.

— Adam
quelle
1

SETL, 1 Byte

=

Nimmt Sätze als linkes und rechtes Argument.

Beachten Sie, dass dies NICHT der hinzugefügten Regel entspricht, die ungeordnete festgelegte Datentypen verbietet.

— Adam
quelle
1

Brachylog v2, 3 Bytes

p↰ᵐ

Probieren Sie es online aus!

Nimmt einen Satz durch die Eingangsvariable und den anderen Satz durch die Ausgangsvariable. Erfolgreich, wenn die Sätze gleich sind, und fehlgeschlagen, wenn sie nicht gleich sind.

Wie meine Hauptantwort auf Prolog, eine Übersetzung von Fatalizes Brachylog v1-Antwort (auf die man meiner Meinung nach zurückgreifen könnte p:0a?).

       The input
p      can be re-ordered so that
 ↰     when this predicate is applied again to
  ᵐ    all of its elements,
       it is the output.
— Nicht verwandte Zeichenfolge
quelle
0

𝔼𝕊𝕄𝕚𝕟 7 Zeichen / 9 Bytes

ѨƾꞨî,Ꞩí

Try it here (ES6 browsers only).

Erläuterung

         // implicit: î=input1,í=input2
  Ꞩî,Ꞩí // apply the Set method to both inputs
Ѩƾ      // check if the Sets are equal
        // implicit output
— Mama Fun Roll
quelle
0

Haskell, 77 Bytes

import Data.List
data S=L[S]deriving(Eq,Ord)
f(L x)=L$sort$f<$>x
a!b=f a==f b
— Lynn
quelle
Warum mussten Sie aus Interesse hier Ihren eigenen Listentyp definieren? (Sind ==und <nicht standardmäßig für Listen definiert?)
1
Der Datentyp ist rekursiv: Ich definiere Sals (eingewickelte L) Liste von Ses. Haskell hat keinen eingebauten Typ, der Listen von Listen von Listen von…
— Lynn
0

Perl 6 , 55 Bytes

my&f=->\a,\b {a==b&&all map {f(|$_)},(a.sort Z,b.sort)}

Nimmt Eingabe mit [] .

Probieren Sie es online aus!

— bb94
quelle
Einige Dinge: Sie brauchen kein Leerzeichen nach den Argumenten für den Codeblock, es ist oft kürzer, $^stattdessen die Syntax zu verwenden, und ich denke nicht, dass die []Eingabe funktioniert, da alle [[]],[[[]]],[[[[]]]]usw. zu[]
— Jo King
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.