Computerwissenschaften

2

Effizienter Algorithmus für die Eindämmung von Rechtecken

Gegeben eine Reihe von nnn Intervalle auf einer Linie gibt es eine O ( n logn )Ö(nLog⁡n)O(n \log n)Algorithmus zum Finden von Intervallen, die in anderen Intervallen enthalten sind (z. B. Manber, "Using Induction to Design Algorithms", 1988). Gibt es einO ( n logn )Ö(nLog⁡n)O(n \log n) Algorithmus für achsenausgerichtete …

7 algorithms computational-geometry

2

Schleifenvariante für eine while-Schleife, die gelegentlich nicht abnimmt?

Ich arbeite an Übungsproblemen für einen Test, den ich habe, und jedes Beispiel einer Schleifenvariante nahm mit jeder Iteration der Schleife ab. In diesem Fall bleiben die Werte gleich, wenn a <b. Meine Versuche haben mir auch eine Schleifenvariante gebracht, die die Chance auf ein Negativ hat, da gelegentlich a …

7 algorithms loops loop-invariants

2

Warum zeigt dieses Diagramm die Enge der 2-Näherungsgrenze der MST-Heuristik?

Dies ist ein Hausaufgabenproblem, das mir gegeben wurde, und ich habe stundenlang mein Gehirn geharkt (also bin ich mit einigen Hinweisen zufrieden). Ich weiß bereits, dass das Approximationsverhältnis nicht schlechter als . Ich habe ein Raddiagramm, in dem jede Kante kostet und der Abstand zwischen allen Knoten, die nicht durch …

7 algorithms algorithm-analysis approximation traveling-salesman

1

Welche Quadrate erreicht der Ball bei einem sich bewegenden Ball in einem Gitter?

Sie erhalten ein mxn-Raster. Eine dimensionslose Kugel wird in der Mitte eines der Gitterquadrate platziert und bewegt sich in eine von vier Richtungen: Nordosten, Nordwesten, Südosten oder Südwesten. Der Ball bewegt sich weiter, bis er den Rand des Bretts erreicht. An diesem Punkt springt er gemäß den Gesetzen der Physik …

7 algorithms computational-geometry

1

Welche realen Computersprachen können nicht durch deterministische Grammatiken beschrieben werden?

Gibt es Beispiele für reale Computersprachen, die nicht deterministisch sind? Unter Computersprachen verstehe ich Programmiersprachen, Markup-Sprachen, Abfragesprachen, Modellierungssprachen, Transformationssprachen usw. Mit nicht deterministisch meine ich, dass sie nicht mit deterministischen Grammatiken analysiert werden können.

7 formal-grammars programming-languages nondeterminism

1

Sortieren eines ungeordneten Stapels von Gegenständen in Schubladen mit minimalen Schubladenbewegungen

Vor einiger Zeit habe ich spät abends meine Wäsche gewaschen. Als ich meine Wäsche zurück in meinen Schlafsaal brachte, fing ich an, sie wegzulegen. Mein Kleiderschrank ist wie folgt aufgebaut: Meine Schubladen sind nach der Art der Kleidung kategorisiert, die sie tragen, und das ist mir sehr wichtig. Das heißt, …

7 algorithms optimization sorting randomized-algorithms

2

Welcher Satz entspricht im Curry-Howard-Isomorphismus, der auf Hindley-Milner-Typen angewendet wird, a -> [a]?

(Verwenden der Haskell-Syntax, da die Frage von Haskell inspiriert ist, sie gilt jedoch für allgemeine polymorphe Hindley-Milner-Systeme wie SML oder Elm.) Wenn ich eine Typensignatur habe f :: a -> [a], wie lautet der logische Satz, der von dieser Typensignatur codiert wird? Ich weiß , dass Typkonstruktoren mag ->, (,)entspricht …

7 programming-languages type-theory functional-programming curry-howard

3

Eine Funktion mit maschinellem Lernen erforschen und interpolieren?

Welche allgemeinen Methoden des maschinellen Lernens gibt es, die versuchen, eine glatte multivariate Funktion zu "lernen" oder zu interpolieren, und die tatsächlich die Punkte auswählen können, an denen die Funktion während des Lernprozesses bewertet wird (Exploration)? Die Idee wäre, dass jede Funktionsbewertung mehr oder weniger kostspielig ist und der Algorithmus …

7 machine-learning artificial-intelligence

2

Beweisen Sie, dass REGULAR_TM unentscheidbar ist

Ich studiere den Beweis des folgenden Satzes: Angesichts der Sprache R E G U L A R.T M.= { ⟨ M⟩ | M.REGULARTM={⟨M⟩|M\mathit{REGULAR}_\mathit{TM} = \{\langle M \rangle | M ist eine Turingmaschine und ist regulärA c c e p t (M.)Accept(M)\mathit{Accept}(M)}}}\} R E G U L A R.T M.REGULARTM\mathit{REGULAR}_\mathit{TM} ist …

7 computability turing-machines undecidability

2

Gibt es eine Strategie für die Brute-Force-Suche?

Ich weiß nicht, wie ich es elegant ausdrücken soll, aber im Grunde möchte ich einen Brute-Force-Suchalgorithmus implementieren, aber es gibt viele verschiedene Möglichkeiten, die ich durch den Suchraum aufzählen könnte. Das mag für mich naiv sein, aber ich stelle mir vor, dass die Art und Weise, wie ich durch den …

7 algorithms search-algorithms decision-problem np search-problem

1

Seitenverwaltung in Betriebssystemkernen

Ich habe mir einige meiner alten Bücher zur OS-Theorie angesehen und festgestellt, dass eine eklatante Lücke in all diesen OS-Büchern darin besteht, wie man tatsächlich freie physische Seiten verfolgt (dh Algorithmen zur tatsächlichen Implementierung der freien Liste). Ich weiß ziemlich gut, wie Userland-Speicherzuordnungen funktionieren, aber ein großer Unterschied bei der …

7 operating-systems memory-management virtual-memory

1

Sind dies gültige Gegenbeispiele zu Proofs für CF-Sprachen mit Nicht-CF-Ergänzungen?

Jemand fragte nach Beispielen für kontextfreie Sprachen mit nicht kontextfreien Ergänzungen . Die erste Antwort lautet: Die Sprache L.1= { w w ∣ w ∈ { a , b}}∗}}L.1={ww∣w∈{ein,b}}∗}}L_1= \{ww \mid w \in \{a,b\}^*\}ist nicht kontextfrei (wie mit dem Pump-Lemma gezeigt werden kann; siehe hier ). Seine ErgänzungL.2= { a …

7 formal-languages context-free formal-grammars

2

Finde k nächste Nachbarn auf einer Kugel

Gegeben ein Satz S.SS von N.NN zeigt auf eine Kugel und einen anderen Punkt P.PP auf der Kugel möchte ich die finden kkk Punkte in S.SS das sind die nächsten (euklidische oder Großkreisentfernung). Ich bin bereit, eine angemessene Menge an Vorberechnungen durchzuführen. Die Lösung muss genau und effizient sein (schneller …

7 data-structures computational-geometry nearest-neighbour

2

Gibt es einen rechnerisch sinnvollen Algorithmus zum Erzeugen einer Menge von Polygonen aus einer Menge von 2D-Punkten?

Gibt es einen bekannten / vorhandenen Algorithmus, um eine 2D-Leinwand, die mit willkürlich / zufällig verteilten Punkten bedeckt ist, vollständig in eine Reihe nicht überlappender Polygone zu unterteilen? Ein Beispiel für das Ergebnis, nach dem ich suche:

7 algorithms graphs

2

Komprimierungstyp, der durchsucht werden kann

Gibt es ANY Komprimierungstyp, der eine Datei komprimieren kann, und dann die komprimierte Datei durchsucht werden kann , ohne Entpacken Sie die Datei?

7 search-algorithms strings data-compression