Nehmen wir an, ich habe zwei Funktionen FFF und GGG und bin daran interessiert festzustellen, ob F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Nehmen wir an, meine Funktionen bestehen aus Elementarfunktionen (Polynome, Exponentiale, Protokolle und trigonometrische Funktionen), aber nicht...
Ich habe eine Bandmatrix - eine spärliche, quadratische, symmetrische Matrix, deren Struktur wie folgt aussieht:N.× N.N.×N.N \times N Hier ist der Bereich unter den blauen Streifen die Nicht-Null-Elemente; alles andere ist Null Gibt es einen Algorithmus zum Invertieren dieser Art von Matrix, der...
String ist eine unveränderliche Klasse in Java. Eine unveränderliche Klasse ist einfach eine Klasse, deren Instanzen nicht geändert werden können. Warum wählt die Java-Programmiersprache Objekte der Klasse String
Haftungsausschluss: Ich bin Biologe und entschuldige mich für (vielleicht) grundlegende Fragen, die so grob formuliert sind. Ich bin mir nicht sicher, ob ich diese Frage hier oder auf DS / SC stellen soll, aber CS ist die größte von drei. (Nachdem ich gepostet hatte, kam mir der Gedanke, dass...
Wir hören manchmal "Swift macht keine klassische (Tracing-) GC, es verwendet ARC." Ich bin mir jedoch nicht sicher, ob die Swift-Semantik irgendetwas enthält, das eine Referenzzählung erfordert. Es scheint, dass man seinen eigenen Swift-Compiler und seine eigene Laufzeit erstellen könnte, um...
Bei einem String , würde Ich mag die längste Wiederholung (mindestens zweimal) Teilfolge zu finden. Das heißt, ich möchte einen String w finden, der eine Teilfolge (muss nicht zusammenhängend sein) von s ist, so dass w = w ' ⋅ w ' . Das heißt, w ist eine Zeichenfolge, deren Hälften zweimal...
Ich möchte wissen, inwieweit ein Typensystem in einer Programmiersprache von Vorteil sein kann. Ich weiß zum Beispiel, dass wir in einer abhängig typisierten Programmiersprache eine VectorKlasse erstellen können, die die Größe des Vektors in die Typensignatur einbezieht. Es ist wie ein...
Ich lerne Aussichtspunktbäume und habe dies beim Lesen des Artikels Datenstrukturen und Algorithmen für die Suche nach nächsten Nachbarn in allgemeinen metrischen Räumen von Peter Yianilos ( Proceedings of SODA 1993 , SIAM, Seiten 311–321; PDF ) kennengelernt . Der folgende Pseudocode erscheint in...
Um zu beweisen, dass 3-Färbung entscheidbar ist, reicht es zu sagen: Jeder Knoten in der Grafik hat 3 mögliche Farben Daher können wir alle Möglichkeiten aufzählen und dann überprüfen, ob keine zwei Kanten Knoten mit derselben Farbe verbinden3n3n3^n Beweist das, dass 3-Färbung entscheidbar ist?...
In den 1950er Jahren wurde eine Reihe von Verfahren zur Schaltungsminimierung für Boolesche Funktionen erfunden. Gibt es eine Erweiterung dieser Methoden oder ähnliches zur Optimierung der zeitlichen oder räumlichen Komplexität von Algorithmen? Beispielsweise würde eine Implementierung der...
Wir können DFA bilden, indem wir durch teilbare Binärzahlen akzeptieren .nnn Zum Beispiel kann DFA, das durch 2 teilbare Binärzahlen akzeptiert, wie folgt gebildet werden: In ähnlicher Weise kann DFA, das durch 3 teilbare Binärzahlen akzeptiert, wie folgt gebildet werden: Wir können ein genau...
DFA, NFA und epsilon NFA alle drei ermöglichen es uns, eine bestimmte reguläre Sprache darzustellen. Mit jeder dieser Darstellungen können wir zu demselben regulären Ausdruck gelangen. Warum müssen wir dann alle drei Darstellungsformen endlicher Automaten untersuchen? Es kann eine Erklärung geben,...
Randomisierte meldepflichtige Heaps haben eine Operation "Meld", mit der wir dann alle anderen Operationen definieren, einschließlich Einfügen. Die Frage ist, wie hoch ist die erwartete Höhe dieses Baums mit Knoten?nnn Satz 1 von Gambin und Malinkowski, Randomized Meldable Priority Queues...
Heute beim Mittagessen habe ich dieses Problem mit meinen Kollegen angesprochen , und zu meiner Überraschung hat Jeff E's Argument, dass das Problem entscheidbar ist, sie nicht überzeugt ( hier ist ein eng verwandter Beitrag zu mathoverflow). Eine Problemerklärung, die einfacher zu erklären ist...
Beim parallelen Rechnen weiß ich, dass die Beschleunigungsgleichung lautet 1s +1 - sp1s+1- -sp \frac{1}{ s + \frac{1-s}{p} } Aber was ist mit superlinearer Beschleunigung gemeint? Ist es etwas Theoretisches? Könnten Sie es mit Gleichungen
Diese Frage kam mir über das Problem des Anhaltens und ich konnte online keine gute Antwort finden und fragte mich, ob jemand helfen kann. Ist es möglich, dass das Stoppproblem für jedes TM an einem Eingang entscheidbar ist, solange der Eingang nicht das TM selbst ist? Grundsätzlich: Halts(TM, I)...
Einige Verwirrung über Zeitkomplexität und A *. Laut A * Wiki ist die zeitliche Komplexität in der Tiefe der Lösung exponentiell (kürzester Weg): Die zeitliche Komplexität von A * hängt von der Heuristik ab. Im schlimmsten Fall eines unbegrenzten Suchraums ist die Anzahl der erweiterten Knoten in...
Ich habe etwas über die längsten Pfade gelernt und bin auf die Tatsache gestoßen, dass die längsten Pfade in allgemeinen Graphen durch dynamische Programmierung nicht lösbar sind, weil das Problem keine optimale Unterstruktur aufweist (was meiner Meinung nach die Aussage, dass die längsten...
Ich habe Wiederholungsbeziehungen gelöst. Die erste Wiederholungsbeziehung war T(n)=2T(n/2)+nT(n)=2T(n/2)+nT(n)=2T(n/2)+n Die Lösung für dieses Problem kann durch den Master-Satz oder die Wiederholungsbaummethode gefunden werden. Der Wiederholungsbaum wäre ungefähr so: Die Lösung wäre:...
Ich beschäftige mich mit Implementierungstechniken für Programmiersprachen und bin kürzlich auf Spaghetti-Stacks gestoßen, die angeblich gut für ein Continuation-Passing-Style-Modell geeignet sind (aufgrund ihrer Verwendung in z. B. Scheme und SML / NJ ). Betrachten wir der Einfachheit halber nur...