Diese Frage ist mir in den Sinn gekommen, nachdem ich die Beiträge von András Salamon und Colin McQuillan zu meiner vorherigen Frage gelesen hatte . Zählen von Lösungen für monotone 2CNF-Formeln . EDIT 30 th März 2011 hinzugefügt Frage n ° 2. EDIT 29 th Oktober 2010 Frage nach András Vorschlag...
Angesichts eines stark verbundenen Digraphen G mit gewichteten Kanten möchte ich Kanten identifizieren, die nachweislich nicht Teil eines minimalen stark verbundenen Teilgraphen (MSCS) von G sind. Eine Methode zum Auffinden solcher Kanten ist ein modifizierter Floyd-Warshall-Algorithmus. Mit dem...
Gibt es ein Tool, mit dem man herausfinden kann, ob zwei Personen mitautorisiert haben oder nicht? Wie das Werkzeug, mit dem man die Erdos- Nummer von jemandem herausfinden
Eine vereinfachte klassische Datenbanktransaktion kann wie folgt angesehen werden: M Elemente lesen Durchführen einiger Berechnungen basierend auf diesen Lesevorgängen Schreiben einiger N-Ergebnisse basierend auf diesen Berechnungen, die die ursprünglich gelesenen Elemente enthalten können. Bei der...
Ich habe die folgende LP: /* Zielfunktion */ min: 1 w + 2 x + 0,5 y + z; / * Variable Grenzen * / w + x <= T1; w + y = U1; x + z = U2; T1 = 50; U1 = 70; U2 = 25; In diesem Fall ist U1 + U2> T1 und die optimale Lösung ist y = 70 und z = 25. Ich möchte die Bedingung erzwingen, dass w- und...
Ich habe eine Machbarkeitsfrage, die wie folgt gestellt werden kann. Ich erhalte einen Punkt in einem dimensionalen Vektorraum und möchte den Punkt , der am nächsten kommt und eine Reihe von " Einschränkungen" der Form erfülltd q p ℓ 0pppdddqqqpppℓ0ℓ0\ell_0 Bei einer Menge kann höchstens eines 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...
Sei π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* eine Permutation. Beachten Sie, dass ππ\pi auf eine unendliche Domäne einwirkt, seine Beschreibung jedoch endlich sein kann. Mit Beschreibung meine ich ein Programm, das die Funktionalität von beschreibt ππ\pi. (Wie bei der...
In Universal Blind Quantum Computation beschreiben die Autoren ein messungsbasiertes Protokoll, das es einem fast klassischen Benutzer ermöglicht, beliebige Berechnungen auf einem Quantenserver durchzuführen, ohne fast irgendetwas über den Inhalt der Berechnung preiszugeben. In der...
Kennt jemand eine Reihe von Problemen, die einheitlich variieren und eine der "interessanten" Hierarchien von Komplexität und Berechenbarkeit umfassen? Mit interessant meine ich zum Beispiel die Polynomhierarchie, die arithmetische Hierarchie oder die analytische Hierarchie. Oder vielleicht (N) P,...
Frage : Ist die Vorhersage (wie unten definiert) berechenbarer Sequenzen so schwierig wie das Stoppproblem? Ausarbeitung : "Vorhersagen" bedeutet erfolgreich vorhersagen, was bedeutet, dass nur endlich viele Fehler bei der Aufgabe gemacht werden, das n-te Bit der Sequenz vorherzusagen, wenn Zugriff...
Zunächst bin ich mir immer noch nicht sicher, ob die Theorie für diese Frage gut geeignet ist, also werde ich nicht beleidigt sein, wenn die Menge denkt, dass dies nicht der Fall ist ... Im Suchmaschinenmarketing sind mehrere Probleme interessant. Das Design fairer (und profitabler)...
Harvey Friedman zeigte, dass es ein ordentliches Fixpunktergebnis gibt, das in ZFC nicht bewiesen werden kann (die übliche Zermelo-Frankel-Mengenlehre mit dem Axiom of Choice). Viele moderne Logiken basieren auf Fixpunktoperatoren, daher habe ich mich gefragt: Gibt es irgendwelche bekannten...
Die Auflösung ist ein Schema zum Nachweis der Unzufriedenheit von CNFs. Ein Beweis in der Auflösung ist eine logische Ableitung der leeren Klausel für die anfänglichen Klauseln in der CNF. Insbesondere kann jede Anfangsklausel abgeleitet werden, und aus zwei Klauseln A ∨ xA∨xA \lor x und B ∨ ¬...
Wenn ich mich mit domänentheoretischen Kategorien befasse (z. B. CPO und CPO), wünsche ich mir häufig ein Wörterbuch für die Sprache der Kategorietheorie in der Domänentheorie.ωω\omega Das heißt, wenn ein Konzept gegeben ist, sagen wir monischer Pfeil, könnte ich es im Wörterbuch nachschlagen und...
Ich versuche, eine Taxonomie von Algorithmen zur Umwandlung regulärer Ausdrücke in Automaten zu erstellen, um einige empirische Tests ihrer Komplexitätseigenschaften in bestimmten Bereichen durchzuführen. Mir sind einige der "größeren" Namen bekannt, z. Thompson "Regular Expression Search...
Smyths Kapitel im Handbuch der Logik in der Informatik und andere Referenzen beschreiben, wie metrische Räume als Domänen verwendet werden können. Ich verstehe, dass vollständige metrische Räume eindeutige Fixpunkte ergeben, aber ich verstehe nicht, warum metrische Räume wichtig sind. Ich würde...
Hintergrund Die Schaltungskomplexität ist definiert als der Satz von Schaltungsfamilien (dh Folgen von Schaltungen, eine für jede Eingangsgröße) mit begrenzter Tiefe und Polynomgröße, die unter Verwendung von unbegrenztem Fan-In AND, OR und NOT erstellt wurden.AC0AC0AC^0 Die Paritätsfunktion mit...
In einer früheren Frage zur Zeithierarchie habe ich gelernt, dass Gleichheiten zwischen zwei Klassen auf komplexere Klassen und Ungleichungen auf weniger komplexe Klassen übertragen werden können, wobei Argumente mit Auffüllung verwendet werden. Daher kommt eine Frage in den Sinn. Warum untersuchen...
Sei ein verwurzelter Binärbaum. Jeder Weg von der Wurzel von T zu einem Blatt hat die Länge n . Jeder Knoten von T hat immer einen linken und einen rechten untergeordneten Knoten, aber es ist möglich, dass sie gleich sind (es sind also immer 2 n Pfade möglich). Die Größe von T ist durch O ( p o l y...