Mir ist bewusst, dass dies eine sehr dumme (oder zu naheliegende) Frage ist. Irgendwann bin ich jedoch verwirrt. Wir können zeigen, dass P NP=== genau dann ist, wenn wir einen Algorithmus entwerfen können, der ein gegebenes Problem in NP in polynomialer Zeit löst . Ich verstehe jedoch nicht, wie um...
Ich dachte, alle regulären Sprachen könnten mit regulären Ausdrücken ausgedrückt werden (wenn eine Sprache regulär ist, kann sie mit regulärem Ausdruck ausgedrückt werden), aber mir wurde gesagt, dass Sie alle drei regulären Operationen (Verkettung, Vereinigung und Stern) dafür benötigen halten....
Ich habe Probleme, mich mit den Problemen PRIME, COMPOSITE, FACTOR und deren Beziehung zur Komplexität auseinanderzusetzen. Ich verstehe, dass PRIME durch den AKS-Primalitätstest als wurde, und ich glaube, dass dies auch für COMPOSITE funktioniert.PPP Wie für FACTOR, FA CTO R = { ( m , r ) :∃ s ,...
Es scheint, als hätten die Leute die manuelle Speicherverwaltung satt, also haben sie die Müllabfuhr erfunden, und das Leben war einigermaßen gut. Aber was ist mit allen anderen Ressourcentypen? Dateideskriptoren, Sockets oder sogar vom Benutzer erstellte Daten wie Datenbankverbindungen? Das fühlt...
Eine der beliebtesten Fragen aus den Bereichen Datenstruktur und Algorithmus, die meistens beim Telefoninterview gestellt
Ich habe auf dieser Site einige Fragen zu Deep Dream gesehen, aber keine von ihnen scheint tatsächlich darüber zu sprechen, was DeepDream speziell tut. Soweit ich festgestellt habe, scheinen sie die Zielfunktion und auch die Backpropagation geändert zu haben, sodass sie das Eingabebild...
Alice, eine Studentin, hat in den nächsten Wochen eine Menge Hausaufgaben. Jede Hausaufgabe dauert genau einen Tag. Jeder Punkt hat auch eine Frist und einen negativen Einfluss auf ihre Noten (eine reelle Zahl voraussetzen, Bonuspunkte nur für die Annahme der Vergleichbarkeit), wenn sie die Frist...
Um den Unterschied herauszufinden, bin ich gerade auf Aussagen über die zeitliche Logik in Wikipedia gestoßen : Eine andere Variante der Modallogik, die viele Gemeinsamkeiten mit der dynamischen Logik aufweist, unterscheidet sich von allen oben genannten Logiken durch das, was Pnueli als "endogene"...
Wenn wir ein beliebiges Computerprogramm haben, das seine Anweisungen ändern kann, ist es möglich, dieses Programm mit einem Programm zu simulieren, das seine Anweisungen nicht ändern kann? Bearbeiten: Ich bin neu in StackExchange, also nicht sicher, ob ich hier eine NEUE Frage stellen darf, aber...
Es scheint, dass "Basic Regular Expressions", wie sie in POSIX.1-2008 definiert sind, keine Alternative unterstützen a|b(obwohl einige grep-Implementierungen die maskierte Version erkennen \|). Bedeutet dies, dass POSIX BRE weniger Ausdruckskraft hat als ein endlicher Automat, da die regulären...
Wir haben viele Probleme, wie die Faktorisierung, die stark vermutet, aber nicht bewiesen werden, dass sie außerhalb von P liegen. Gibt es Fragen mit der entgegengesetzten Eigenschaft, nämlich, dass sie stark vermutet werden, aber nicht bewiesen werden, dass sie innerhalb von P
Eine heuristische Funktion h(n)h(n)h (n) ist ... Konsistent, wenn die geschätzten Kosten vom Knoten nnn zum Ziel nicht größer sind als die Schrittkosten für seinen Nachfolger n′n′n' zuzüglich der geschätzten Kosten vom Nachfolger zum Ziel. Zulässig, wenn h(n)h(n)h(n) niemals die wahren Kosten für...
Hintergrund: Ich bin ein kompletter Laie in der Informatik. Ich las über Busy Beaver Zahlen hier , und ich fand die folgende Passage: Die Menschheit kann den Wert von BB (6) niemals genau kennen, geschweige denn den von BB (7) oder eine höhere Zahl in der Sequenz. In der Tat entziehen sich uns...
Momentan muss ich Coq lernen und weiß nicht, wie ich damit umgehen soll or: Als Beispiel, so einfach es ist, kann ich nicht beweisen: Theorem T0: x \/ ~x. Ich würde mich sehr freuen, wenn mir jemand helfen könnte. Als Referenz verwende ich diesen Spickzettel . Auch ein Beispiel für einen Beweis, an...
Das lineare Programmierproblem: Finden Sie einen stark polynomiellen Zeitalgorithmus, der für die gegebene Matrix A ∈ Rm × n und b ∈ Rm entscheidet, ob x ∈ Rn mit Ax ≥ b existiert. Ich weiß, dass Steve Smale einige der ungelösten Probleme in der Mathematik auflistet. Aber ein solches lineares...
In praktischen Grundlagen für Programmiersprachen , sagt Robert Harper Wenn ein Satz, der wahr ist, einen Beweis dafür hat, was bedeutet es dann, wenn ein Satz falsch ist? Es bedeutet, dass wir eine Widerlegung haben, die zeigt, dass es nicht bewiesen werden kann. Das heißt, ein Satz ist falsch,...
Oder: Brauchen wir Rupert, um überhaupt Geschenke zu bekommen? Abgesehen von Routing-Problemen steht der Weihnachtsmann vor dem folgenden Problem (viele, viele Male): Mit einer Tasche mit einer Kapazität von und einer Reihe von Geschenken , die jeweils die Größe , möchte er Kinder glücklich machen....
Ich schreibe gerade Code, um Binärdaten zu generieren. Ich muss speziell 64-Bit-Zahlen mit einer bestimmten Anzahl von gesetzten Bits generieren. Genauer gesagt sollte die Prozedur einige annehmen und eine pseudozufällige 64-Bit-Zahl mit genau auf gesetzten Bits und den Rest auf 0 setzen.0 < n...
Es kommt aus der Big-Data-Perspektive. Grundsätzlich "kompensieren" viele Frameworks (wie Apache Spark) den Mangel an relationalen Operationen, indem sie Functor / Monad-ähnliche Schnittstellen bereitstellen, und es gibt eine ähnliche Tendenz zu Cat-to-SQL-Konvertierungen (Slick in Scala). Zum...
Was bedeutet es, wenn wir sagen, dass ein Algorithmus asymptotisch effizienter ist als Y ?X.XXY.YY ist eine bessere Wahl für alle Eingänge.X.XX ist eine bessere Wahl für alle Eingänge außer kleinen Eingängen.X.XX ist eine bessere Wahl für alle Eingänge außer großen Eingängen.X.XX ist die bessere...