Bitte lesen Sie zuerst diesen Artikel.
In diesem Artikel implementieren wir in Python den im ursprünglichen Artikel angeforderten "Algorithmus, der bestimmt, ob die Welt inkonsistent ist, wenn ein Party-Name angegeben wird".
Wenn NHK "0" ist und die Leute "1" sind, kann die "Partei, die die Leute vor NHK schützt" als "Partei, die die Leute vor 0 bis 1 schützt" ausgedrückt werden.
Wenn wir es weiter weglassen und die Liste "[0, 1]" verwenden, können alle Parteien durch eine Liste der Länge 2 dargestellt werden.
Zum Beispiel wird "die Partei, die die Menschen vor der Partei schützt, die NHK vor den Menschen schützt" durch "[[1, 0], 1]" ausgedrückt. "Die Partei, die die Menschen vor NHK schützt, gegenüber der Partei, die NHK vor den Menschen schützt" kann einfach ausgedrückt werden als "[[[0,1], [1,0]], 0]". Ich werde.
Und jede denkbare Partei (auch widersprüchliche) kann so geschrieben werden.
Im Allgemeinen wird erwartet, dass Folgendes gilt, wenn die Partei "[x, y]" existiert.
Der Originalartikel geht auch von folgenden Aussagen aus.
Wenn Sie nun "x ~ y" schreiben, dass "x" und "y" freundlich sind ", Die obige Agenda kann umformuliert werden als "Beziehung" ~ "ist vorübergehend".
Da davon ausgegangen wird, dass das Reflexgesetz (ich bin mit mir selbst befreundet) und das symmetrische Gesetz (wenn "x" und "y" freundlich sind, gelten "y" und "x" ebenfalls freundlich) ebenfalls als "Beziehung" gelten ~ `Hat die gleiche Wertebeziehung **.
Daher ist ersichtlich, dass alle Parteien den gleichen Wert haben und ohne Doppelarbeit geteilt werden.
Nun stellt sich heraus, dass alle Parteien ordentlich in ein Lager aufgeteilt sind, Wie viele Lager können existieren? Gibt es eine "dritte Kraft", die weder NHK noch die Menschen wirklich haben?
Ab Apokalypse 1 gilt "[x, y] ~ y" für jede Partei "[x, y]", Es ist klar, dass letztere weniger "Anzahl der zur Notation verwendeten Klammern" hat als erstere.
Mit anderen Worten, Sie können eine freundliche Partei (oder NHK oder Bürger) mit weniger Klammern für jede Partei finden.
Und als ich weiterhin eine freundliche Party mit weniger Klammern als ich fand, Schließlich werden Sie feststellen, dass die Klammern "0" sind, dh NHK oder die Personen.
Daher ist jede Partei "[x, y]" immer freundlich zu NHK oder den Menschen. Sie können sehen, dass es keine dritte Potenz gibt, da sie in einem der Äquivalente enthalten ist.
Nach Axiom 2 gilt "[x, y]! ~ X" für jede Partei "[x, y]", Dies bedeutet, dass "x" zu einem Lager gehört, zu dem "[x, y]" nicht gehört, da alle Parteien gemäß der obigen Diskussion dem NHK oder dem nationalen Lager angehören.
Wenn zu diesem Zeitpunkt "[x, y]" zu beiden Lagern gehört, gehört "x" zu keinem der beiden Lager, was inkonsistent ist.
Daher kann es in einer konsistenten Welt keine Partei geben, die sowohl auf der Seite der NHK als auch der Menschen steht. Auch wenn es eine Party gibt, müssen ** NHK und die Leute feindlich sein **.
Um es anders herum auszudrücken: In einer Welt, in der NHK und die Menschen freundlich sind, ist keine politische Partei erforderlich.
Unter der Annahme, dass sich "x" und "y" im selben Lager befinden, gehört "[x, y]" zum Lager von "y" (dem Lager von "x") aus Agenda 1 und gehört nicht zum Lager von "x" gemäß Agenda 2. Es wird inkonsistent sein.
Vereinfachung der Handhabung der entsprechenden Logik im Programm Stellen Sie sich eine Welt vor, in der es in Ordnung ist, politische Parteien zu beiden Lagern zu haben.
Betrachten Sie das nächste Axiom 2 ', das einst das Axiom 2 geschwächt hat.
[x, y]Wenn x das NHK-Lager ist, gehört es zum nationalen Lager, und wenn x das nationale Lager ist, gehört es zum NHK-Lager.
Wenn Satz 2 gilt, gilt auch Satz 2 (unter Satz 1). Das Gegenteil ist nicht der Fall.
Auch unter Apokalypse 2 'gibt es keinen Widerspruch, selbst wenn es politische Parteien gibt, die sowohl auf der Seite der NHK als auch des Volkes stehen. Denn selbst wenn eine Partei zu einem Lager gehört, kann man nicht sagen, dass sie zu keinem Lager gehört, und es kann kein Widerspruch auftreten.
Zum Beispiel gehört "die Partei, die NHK vor NHK schützt" zum NHK-Lager vor Apokalypse 1. Es ist inkonsistent, weil es nicht zum NHK-Lager aus Apokalypse 2 gehört. Wenn dies Agenda 2 'ist, kann nur gesagt werden, dass es zum Nicht-NHK-Lager und zum nationalen Lager gehört. Es gibt keinen Widerspruch. Es geht nur darum, gute Freunde zu sagen.
In dieser freundlichen Welt denke ich, dass es klar ist, dass die Parteien, die mit beiden Lagern gut befreundet sind, widersprüchliche Parteien in der ursprünglichen Welt sind.
Wenn Sie also das Lager in der befreundeten Welt untersuchen, können Sie den Widerspruch zur ursprünglichen Welt feststellen.
Eine Funktion, die das Lager, zu dem es gehört, einer Partei in einer freundlichen Welt zuweist
T(x): x \mapsto \{ \{0\}, \{1\}, \{0, 1\} \}
Kann definiert werden.
Zu diesem Zeitpunkt für jede Partei "[x, y]"
T(x) \cap T(y) \neq \varnothing \Rightarrow T([x, y]) = \{0, 1\} \\
T(x) \cap T(y) = \varnothing \Rightarrow T([x, y]) = T(y)
Sie können sehen, dass dies zutrifft.
Mit anderen Worten, ob die Partei "[x, y]" in der ursprünglichen Welt inkonsistent ist oder nicht, kann durch rekursive Untersuchung des Lagers in der befreundeten Welt bestimmt werden.
Machen Sie den Inhalt des vorherigen Abschnitts so wie er ist zu einem Programm.
def T(party):
if party in [0, 1]:
return [party]
else:
p = T(party[0])
q = T(party[1])
if len(set(p) & set(q)) != 0:
return [0, 1]
else:
return q
print(T([[[0,1],[1,0]],0])) # => [0, 1]
Da sie zu beiden Lagern gehören, stellte sich heraus, dass dies inkonsistent war.
das ist alles. Bitte lassen Sie mich wissen, wenn Sie einen Fehler machen.
Definieren Sie nun den Parteirang "R (x)" wie folgt:
R(0) = R(1) = 0, \\
R(x, y) = max(R(x), R(y)) + 1
Zum Beispiel ist
Es gibt nur zwei Ränge, NHK und die Menschen, und keiner ist inkonsistent (abgesehen von der tatsächlichen Situation).
Es gibt vier Parteien des Ranges 1, "[0, 0], [0, 1], [1, 0], [1, 1]", von denen zwei konsistent sind.
Rang 2 Parteien werden als eine Kombination von jeder der 6 Gruppen von Rang 1 und darunter erhalten, so dass wir sehen können, dass es "6 * 6 = 36" gibt. Darüber hinaus gibt es zwei NHK-Lager und zwei nationale Lager unter den konsistenten politischen Parteien mit Rang 1 oder niedriger, und nur in Kombination mit dem feindlichen Lager kann eine konsistente Partei gebildet werden. Sie können sehen, dass es "4 * 2 = 8" konsistente Parteien von Rang 2 gibt.
In ähnlicher Weise ist ersichtlich, dass es "(2 + 4 + 36) ^ 2 = 1764" politische Parteien von Rang 3 gibt, von denen nur "12 * 6 = 72" konsistent sind.
Dieser Unterschied vergrößert sich mit zunehmendem Rang, so dass gesagt werden kann, dass ** fast alle politischen Parteien auf der Welt inkonsistent sind **.
Wenn die Anzahl der Parteien mit dem Rang "n" "p_n" und die Anzahl der konsistenten Parteien "c_n" ist, sind sie es im Allgemeinen
p_0 = 2, \\
p_n = (\Sigma_{k=1}^{n-1} p_k)^2 \\
Wann
c_0 = 2, \\
c_n = \frac{1}{2} (\Sigma_{k=1}^{n-1} c_k)^2
Sie wird nach der allmählichen Formel von berechnet.
[Ende des Nachtrags]
Recommended Posts