In Bezug auf den Heartbleed-Bug schrieb Bruce Schneier in seinem Crypto-Gram vom 15. April: "Catastrophic" ist das richtige Wort. Auf der Skala von 1 bis 10 ist dies eine 11. ' Ich habe vor einigen Jahren gelesen, dass ein Kernel eines bestimmten Betriebssystems mit einem modernen...
Ich suche nach einem Typinferenzalgorithmus für eine Sprache, die ich entwickle, aber ich konnte keinen finden, der meinen Anforderungen entspricht, da dies normalerweise entweder der Fall ist: à la Haskell, mit Polymorphismus, aber ohne Ad-hoc-Überlastung à la C ++ (Auto), bei dem Sie eine...
Wenn bei der Simulation des Algorithmus zum Ersetzen der Uhrenseite eine Referenz eingeht, die sich bereits im Speicher befindet, erhöht sich der Uhrzeiger dann noch? Hier ist ein Beispiel: Mit 4 Steckplätzen unter Verwendung des Algorithmus zum Ersetzen der Uhrenseite Referenzliste: 1 2 3 4 1 2 5...
Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei...
Wenn ich ein Set habe EINEINA mit positiven und negativen Zahlen und einer Zahl, um C zu finden. Es ist möglich, das Problem auf eins mit nur positiven Zahlen im Satz zu reduzieren EINEINA? Ich meine, es ist möglich, ein neues Set zu finden EINEINA und eine neue Nummer C.C.C, damit EINEINA waren...
Die meisten Smalltalk-Dialekte implementieren derzeit einen naiven ungenauen schwebenden Modul (fmod / rest). Ich habe dies nur geändert, um die Einhaltung von Squeak / Pharo und eventuell anderen Smalltalk-Standards (IEEE 754, ISO / IEC 10967) zu verbessern, wie ich es bereits für andere...
StackOverflow hat mich hier gezeigt, daher könnte die Frage für Laien etwas zutreffend sein. Wikipedia definiert reine Funktionen als In der Computerprogrammierung kann eine Funktion als reine Funktion beschrieben werden, wenn beide Aussagen über die Funktion gelten: Die Funktion wertet immer den...
Im Rahmen einer Hausaufgabe zur Implementierung von Introsort werde ich gefragt, warum Heapsort anstelle von Mergesort (oder anderen -Algorithmen) verwendet wird. O ( n log( n ) )Ö(nLog(n))O(n\log(n)) Introsort ist ein hybrider Sortieralgorithmus, der sowohl eine schnelle Durchschnittsleistung als...
Eine formale Sprache L.LL über ein Alphabet ΣΣ\Sigma ist eine Teilmenge von Σ∗Σ∗\Sigma^* , die eine Reihe von Worten über dieses Alphabet ist. Zwei formale Sprachen L.LL und L.'L′L' sind gleich, wenn die entsprechenden Mengen als Teilmengen von weitgehend gleich sind L ∪ L.'L∪L′L\cup L'. Man kann...
Eine Boolesche Funktion ist eine Funktion .f: { 0 , 1 }n→ { 0 , 1 }f::{0,1}}n→{0,1}}f:\{0,1\}^n\rightarrow\{0,1\} Die boolesche Basis ist bekanntermaßen Turing-vollständig, da jede Sequenz umgedreht oder unverändert gelassen werden kann. Gleiches gilt für Gates.s ∈ { 0 , 1 } X O R.( ∨ , ∧...
Ich betrachte das folgende Problem: Gegeben -dimensionalen Vektoren des natürlichen Zahlen und einiger Eingangsvektor ist eine lineare Kombination der ‚s mit natürlicher Zahl Koeffizienten?nnnv1,…,vmv1,…,vmv_1, \ldots, v_muuuuuuviviv_i dh gibt es einige wobei ?t1,…,tm∈Nt1,…,tm∈Nt_1, \ldots, t_m \in...
Diese Frage betrifft die Schnittstelle von Wahrscheinlichkeitstheorie und Rechenkomplexität. Eine wichtige Beobachtung ist, dass einige Verteilungen einfacher zu generieren sind als andere. Zum Beispiel das Problem Geben Sie bei einer gegebenen Zahl eine gleichmäßig verteilte Zahl i mit 0 ≤ i <...
Die Verwendung des Earley-Vektors als Erkenner ist recht einfach: Wenn das Ende der Zeichenfolge erreicht ist, müssen Sie nur noch nach einer abgeschlossenen axiomatischen Produktion suchen, die an Position 0 gestartet wurde. Wenn Sie mindestens eine haben, wird die Zeichenfolge akzeptiert. Die...
Betrachten Sie das folgende Problem: Sei eine endliche Teilmenge der natürlichen Zahlen.S.= { s1, s2, . . . sn}}S.={s1,s2,...sn}}S = \{ s_1, s_2, ... s_n \} Sei | wobei der größte gemeinsame Teiler von undg c d ( s i , s j ) s i , s j ∈ S , s i ≠ s j } g c d ( x , y ) x yG = {G={G = \{ Gc d( sich,...
Ich bin bei der folgenden Übung in Software Foundations : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type [baz] have? (* FILL IN HERE *)...
Ich habe darüber nachgedacht, ein Hobby-Betriebssystem für einige der ARM-Prozessoren zu schreiben. Es gibt viele beliebte Einplatinencomputer mit ARM MPU, daher wollte ich einfach einen davon kaufen (einen mit offenerer Dokumentation auswählen). Ich war überrascht, als ich herausfand, dass selbst...
Ich habe mich gefragt, ob dieses Problem einen Namen hat: Bei einem einfachen Graphen, dessen Kanten rot, blau und grün gefärbt sind, , gibt es eine Scheitelpunktfärbung c : V → { B , R , G }, so dass jede Kante einen Endpunkt hat mit der gleichen Farbe?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup...
Angenommen, Listen sind definiert als List a = Nil | Cons a (List a) Dann ist in Haskell List xder größte oder kleinste Fixpunkt? Ich frage, weil das lfp unendliche Listen ausschließen sollte (aber Sie können sie in Haskell erstellen), während das gfp endliche ausschließen
Die Antwort von @ Babou auf eine kürzlich gestellte Frage erinnert mich daran, dass ich einmal einen Artikel über die Äquivalenz (sowohl hinsichtlich der Fakten, die abgeleitet oder bewiesen werden können, als auch hinsichtlich der zeitlichen Komplexität der Ausführung des Inferenzalgorithmus) der...
Sollte bei der Aktualisierung der Gewichte eines neuronalen Netzwerks unter Verwendung des Backpropagation-Algorithmus mit einem Impulsausdruck die Lernrate auch auf den Impulsausdruck angewendet werden? Die meisten Informationen, die ich über die Verwendung von Momentum finden konnte, sehen...