Im Zusammenhang mit dem Slither-Link- Puzzle habe ich mich gefragt: Angenommen, ich habe ein Gitter aus quadratischen Zellen, und ich möchte einen einfachen Zyklus von Gitterkanten finden, der unter allen möglichen einfachen Zyklen gleichmäßig zufällig ist.n×nn×nn\times n Ein Weg, dies zu tun,...
Das Erfüllbarkeit Problem ist natürlich, ein grundsätzliches Problem in der theoretischen CS. Ich habe mit einer Version des Problems mit unendlich vielen Variablen gespielt. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Grundeinstellung. Sei eine nicht leere und...
Da der Begriff überladen ist, eine kurze Definition zuerst. Ein Poset ist eine Menge mit einer Teilordnung ≤ . Gegeben seien zwei Elemente a , b ∈ X , können wir definieren x ∨ y (Join) als ihre kleinste obere gebunden in X und in ähnlicher Weise definieren x ∧ y (treffen) (zusammen) als größte...
Ich habe zwei Partitionen von und suche nach dem Bearbeitungsabstand zwischen ihnen.[1…n][1…n][1 \ldots n] Auf diese Weise möchte ich die minimale Anzahl von einzelnen Übergängen eines Knotens in eine andere Gruppe finden, die erforderlich sind, um von Partition A zu Partition B zu gelangen. Zum...
Betrachten Sie das folgende Problem: Eingabe : eine Hyperebene H={y∈Rn:aTy=b}H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , gegeben durch einen Vektor a∈Zna∈Zn\mathbf{a} \in \mathbb{Z}^n und b∈Zb∈Zb \in \mathbb{Z} in binärer Standarddarstellung....
Ich habe diese Frage vor einigen Wochen bei mathoverflow gestellt , aber keine Antwort erhalten. Hier meine ich mit 3D-Gitter der Seitenlänge den Graphen G = ( V , E ) mit V = { 1 , … , k } 3 und E = { ( ( a , b , c ) , ( x , y , z ) ) ∣ | a - x | + | b - y | + |
EDIT (von Tara B): Ich wäre immer noch an einem Hinweis auf einen Beweis dafür interessiert , da ich ihn selbst für meine eigene Arbeit beweisen musste. Ich suche nach dem Beweis von Satz 4, der in diesem Artikel erscheint: Eine unendliche Hierarchie von Schnittpunkten kontextfreier Sprachen von...
Hiroimono ist ein beliebtes vollständiges Puzzle. Ich interessiere mich für die rechnerische Komplexität eines verwandten Puzzles.N.P.NPNP Das Problem ist: Eingabe : Gegeben eine Menge von Punkten auf einem x n quadratischen Gitter und einer ganzen Zahl knnnnnnkkk Frage : Gibt es ein geradliniges...
Zuerst auf math.SE ohne Antworten gefragt . Angenommen, ich habe ein planares Diagramm mit einer planaren Einbettung. Wie finde ich die Baumzerlegung? Was ist die optimale Baumzerlegung eines by- d- Quadratgitters? Nicht ganz sicher, wie man "optimal" definiert, aber es sollte zwischen Zersetzung...
Tarskis Fixpunktsatz besagt, dass die Fixpunkte eines monotonen Operators auf einem vollständigen Gitter ein vollständiges Gitter sind. Infolgedessen haben wir einen eindeutigen größten Fixpunkt und einen eindeutigen kleinsten Fixpunkt für einen monotonen Operator auf einem vollständigen Gitter....
Meine Frage bezieht sich auf den Beweis von Ajtais Hauptsatz in seiner bahnbrechenden Arbeit von 1996, Generieren harter Fälle von Gitterproblemen , die einen Zusammenhang zwischen harten und durchschnittlichen harten Gitterproblemen im schlimmsten Fall anzeigt. Dieser Beweis ist für mich schwer zu...