Ein zweigeteiltes Diagramm ist ein Diagramm, dessen Scheitelpunkte in zwei nicht zusammenhängende Gruppen unterteilt werden können, sodass keine Kante zwei Scheitelpunkte in derselben Gruppe verbindet. Ein Graph ist genau dann zweiteilig, wenn er zweifarbig ist.

Herausforderung

Ihre Aufgabe ist es, anhand der Adjazenzmatrix eines ungerichteten einfachen Diagramms zu bestimmen, ob es sich um ein zweigliedriges Diagramm handelt. Das heißt, wenn eine Kante die Eckpunkte i und j verbindet, sind sowohl der (i, j) als auch der (j, i) Eintrag der Matrix 1.

Da der Graph ungerichtet und einfach ist, ist seine Adjazenzmatrix symmetrisch und enthält nur 0 und 1.

Besonderheiten

Sie sollten eine N-mal-N-Matrix als Eingabe verwenden (in beliebiger Form, z. B. Liste der Listen, Liste der Zeichenfolgen, C-ähnlich int**und Größe, abgeflachtes Array, unformatierte Eingabe usw.).

Die Funktion / das Programm sollte einen Wahrheitswert zurückgeben / ausgeben, wenn der Graph zweiteilig ist, und ansonsten falsch.

Testfälle

['00101',
 '00010',
 '10001',
 '01000',
 '10100'] : False
['010100',
 '100011',
 '000100',
 '101000',
 '010000',
 '010000'] : True (divide into {0, 2, 4, 5} and {1, 3})
['00',
 '00'] : True

Wertung

Builtins, die die Antwort direkt berechnen, sind gesperrt.

Das ist Code-Golf , also gewinnt das kürzeste Programm (in Bytes) bis Ende dieses Monats!

Schale , 17 Bytes

§V¤=ṁΣṠMSȯDfm¬ṀfΠ

Gibt eine positive Ganzzahl aus, wenn das Diagramm zweigeteilt ist 0. Probieren Sie es online!

Erläuterung

Dies ist ein Brute-Force-Ansatz: Durchlaufen Sie alle Untergruppen S von Scheitelpunkten und prüfen Sie, ob alle Kanten im Diagramm zwischen S und seinem Komplement liegen.

§V¤=ṁΣṠMSȯDfm¬ṀfΠ  Implicit input: binary matrix M.
                Π  Cartesian product; result is X.
                   Elements of X are binary lists representing subsets of vertices.
                   If M contains an all-0 row, the corresponding vertex is never chosen,
                   but it is irrelevant anyway, since it has no neighbors.
                   All-1 rows do not occur, as the graph is simple.
      ṠM           For each list S in X:
              Ṁf   Filter each row of M by S, keeping the bits at the truthy indices of S,
        S  fm¬     then filter the result by the element-wise negation of S,
         ȯD        and concatenate the resulting matrix to itself.
                   Now we have, for each subset S, a matrix containing the edges
                   from S to its complement, twice.
§V                 1-based index of the first matrix
  ¤=               that equals M
    ṁΣ             by the sum of all rows, i.e. total number of 1s.
                   Implicitly print.

Wolfram-Sprache (Mathematica) , 26 25 Bytes

Tr[#//.x_:>#.#.Clip@x]<1&

Probieren Sie es online!

Wie es funktioniert

Bei gegebener Adjazenzmatrix A finden wir den Fixpunkt, bei dem wir mit B = A beginnen und dann B durch A ² B ersetzen. Dabei werden gelegentlich Werte größer als 1 bis 1 abgeschnitten. Der k- ^te Schritt dieses Prozesses entspricht der ClipErmittlung von Potenzen A ^{2k + 1} , in dem der Eintrag (i, j) die Anzahl der Pfade der Länge 2k + 1 vom Scheitelpunkt i bis j zählt; Daher hat der feste Punkt einen Eintrag ungleich Null (i, j), wenn wir in einer ungeraden Anzahl von Schritten von i nach j gehen können.

Insbesondere hat die Diagonale des Fixpunkts nur dann Einträge ungleich Null, wenn sich ein Eckpunkt in einer ungeraden Anzahl von Schritten selbst erreichen kann: wenn es einen ungeraden Zyklus gibt. Die Kurve des Fixpunkts ist also genau dann 0, wenn der Graph zweiteilig ist.

Eine andere 25-Byte-Lösung dieser Form ist Tr[#O@n//.x_:>#.#.x]===0&, falls dies jemandem Ideen darüber gibt, wie die Byteanzahl noch weiter gesenkt werden kann.

Frühere Bemühungen

Ich habe eine Reihe von Ansätzen für diese Antwort ausprobiert, bevor ich mich für diese entschieden habe.

26 Bytes: Matrixexponentiale

N@Tr[#.MatrixExp[#.#]]==0&

Beruht auch auf ungeraden Potenzen der Adjazenzmatrix. Da x * exp (x ² ) x + x ³ + x ^{5/2 ist} ! + x ^7/4 ! + ..., wenn x eine Matrix A ist, hat dies einen positiven Term für jede ungerade Potenz von A, so dass es auch eine Nullspur gibt, wenn A einen ungeraden Zyklus hat. Diese Lösung ist für große Matrizen sehr langsam.

29 Bytes: große ungerade Leistung

Tr[#.##&@@#~Table~Tr[2#!]]<1&

Findet für eine n mal n-Matrix A A ^{2n + 1} und führt dann die Diagonalenprüfung durch. Hier werden #~Table~Tr[2#!]2n Kopien der Eingangsmatrix n #.##& @@ {a,b,c,d}x n generiert und entpackt, wodurch a.a.b.c.d2n + 1 Kopien der Matrix multipliziert werden.

53 Bytes: Laplace-Matrix

(e=Eigenvalues)[(d=DiagonalMatrix[Tr/@#])+#]==e[d-#]&

Verwendet ein obskures Ergebnis in der Spektralgraphentheorie ( Proposition 1.3.10 in diesem PDF ).

JavaScript, 78 Byte

m=>!m.some((l,i)=>m.some((_,s)=>(l=m.map(t=>t.some((c,o)=>c&&l[o])))[i]&&s%2))

Eingabearray des Arrays von 0/1, Ausgabe wahr / falsch.

f = 

m=>!m.some((l,i)=>m.some((_,s)=>(l=m.map(t=>t.some((c,o)=>c&&l[o])))[i]&&s%2))

run = () => o.value=f(i.value.trim().split('\n').map(v=>v.trim().split('').map(t=>+t)))

<textarea id=i oninput="o.value=''" style="width:100%;display:block;">010100
100011
000100
101000
010000
010000
</textarea>
<button type=button onclick="run()">Run</button>
<div>Result = <output id=o></output></div>

Pyth , 25 Bytes

xmyss.D.DRx0dQx1d.nM*FQss

Probieren Sie es online!

Dies -1ergibt eine falsche Zahl und eine nicht negative ganze Zahl für die Wahrheit.

Wie es funktioniert

xmyss.D.DRx0dQx1d.nM * FQss ~ Vollständiges Programm, erhält eine Adjazenzmatrix von STDIN.

                    * FQ ~ Nach kartesischem Produkt reduzieren (falten).
                 .nM ~ Jeweils abflachen.
 m ~ Karte mit einer Variablen d.
         RQ ~ Für jedes Element in der Eingabe
       .D ~ Löschen Sie die Elemente an den Indizes ...
          x0d ~ Alle Indizes von 0 in d.
     .D ~ Und aus dieser Liste löschen Sie die Elemente an den Indizes ...
              x1d ~ Alle Indizes von 1 in d.
    s ~ Abflachen.
   s ~ Summe. Ich hätte s benutzen können, wenn [] nicht aufgetaucht wäre.
  y ~ Double.
x ~ In der obigen Abbildung erhalten Sie den ersten Index von ...
                       ss ~ Die Gesamtzahl der Einsen in der Eingabematrix.

Dies funktioniert in commit d315e19 , der aktuellen Pyth-Version von TiO.